• 융합보안논문지
• /
• 제7권1호
• /
• pp.45-53
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 이 분야에 적용될 수 있는 hyper-exponential 분포를 이용한 모형을 제안하였다. 수치적인 예에서는 Minitab(version 14) 통계 페키지에 있는 와이블분포(형상모수가 0.5이고 척도모수가 1)에서 발생시킨 30개의 난수를 이용한 모의 실험 고장 간격시간으로 구성된 자료를 이용하였고 모수추정 방법은 최우추정법 과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하였다. 그리고 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정이 사용되었다.

• 디지털산업정보학회논문지
• /
• 제10권3호
• /
• pp.1-9
• /
• 2014

The inverse Rayleigh model distribution and Rayleigh distribution model were widely used in the field of reliability station. In this paper applied using the finite failure NHPP models in order to growth model. In other words, a large change in the course of the software is modified, and the occurrence of defects is almost inevitable reality. Finite failure NHPP software reliability models can have, in the literature, exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the inverse Rayleigh and Rayleigh software reliability growth model, which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, were employed. In order to insurance for the reliability of data, Laplace trend test was employed. In many aspects, Rayleigh distribution model is more efficient than the reverse-Rayleigh distribution model was proved. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can helped.

• 융합보안논문지
• /
• 제7권3호
• /
• pp.7-13
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 오류 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될수 있는 중첩모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE)을 이용하였다.

• 융합보안논문지
• /
• 제7권2호
• /
• pp.1-8
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률 (강도함수)은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형 강도함수를 재조명하고 이 분야에 적용 될수 있는 보다 넓은 왜도와 첨도를 가지는 Burr모형 강도 함수 및 의료정보분야 및 여러 분야에서 널리 사용되는 2모수 카파(Kappa(2)) 분포 모형 강도함수를 제안하여 비교하고자 한다. 수치적인 예에서는 고장 간격시간으로 구성된 NTDS(Naval Tactical Data System)자료를 이용하였고 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하였다. 그리고 모형 설정과 선택 판단기준은 편차 자승합을 이용한 적합도 검정이 사용되었다.

• Nuclear Engineering and Technology
• /
• 제47권5호
• /
• pp.596-607
• /
• 2015

In this paper, we describe a computer program, iBEST (inverse Burnup ESTimator), that we developed to accurately estimate the burnup histories of spent nuclear fuels based on sample measurement data. The burnup history parameters include initial uranium enrichment, burnup, cooling time after discharge from reactor, and reactor type. The program uses algebraic equations derived using the simplified burnup chains of major actinides for initial estimations of burnup and uranium enrichment, and it uses the ORIGEN-S code to correct its initial estimations for improved accuracy. In addition, we newly developed a stable bisection method coupled with ORIGEN-S to correct burnup and enrichment values and implemented it in iBEST in order to fully take advantage of the new capabilities of ORIGEN-S for improving accuracy. The iBEST program was tested using several problems for verification and well-known realistic problems with measurement data from spent fuel samples from the Mihama-3 reactor for validation. The test results show that iBEST accurately estimates the burnup history parameters for the test problems and gives an acceptable level of accuracy for the realistic Mihama-3 problems.

• 융합보안논문지
• /
• 제8권4호
• /
• pp.115-120
• /
• 2008

소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 변화점를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 모형(Goel-Okumoto 모형)을 적용하여 변화점이 백분위수를 가질 경우를 고려하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 을 적용하여 모형들에 대한 효율적인 모형선택을 시도하였다. 수치적인 예에서는 NTDS 자료를 사용하여 백분위수 변화점을 고려한 결과를 나열하였다.

• 한국수정란이식학회지
• /
• 제12권1호
• /
• pp.91-102
• /
• 1997

This study was carried out to enhance the efficiency of Korean Native cattle embryos and establish the techniques for producing the twin calves. Bisected embryos without zona pellucida which were divided by simple method not using holding pipette or whole two embryos were transferred to recipients.The pedigrees of monozygotic twin calves produced by transfer of bisected pair embryos were identified. The results obtained were as follows ; The average successful bisection rate was 89.16%. The embryos of blastocyst stage (91.66%) were bisected successfully at significantly (P<0.05) higher rate, compared with the morula stage embryos (86.66%). The average survival rate of bisected embryos following 24 hours culture was 59.02%. The survival rate of morula stage embryos (62.50%) was significantly (P<0.05) higher than that of blastocyst stage embryos (55.5%). For the production of monozygotic twin calves, ten pairs of flesh or frozen demi-em- lymphocytes antigen, the twin calves produced by transfer of bisected pair embryos of Korean Native cattle were identified in pedigrees and confirmed as monozygotes.

• 한국정보통신학회논문지
• /
• 제8권3호
• /
• pp.702-707
• /
• 2004

본 논문은 CCD 카메라와 거리 센서를 사용하여 컨테이너의 자세 측정에 관하여 연구하였다. 특히 특징점을 추출하고 영상의 잡음을 줄이는 방법에 대하여 중점적으로 기술하였다. 가우시안 및 랜덤 노이즈를 제거하기 위하여 Euler-Lagrange 방정식을 소개하였으며 PDE(Partial Differential Equation)를 기초로 한 Euler-Lagrange 방정식을 풀기 위하여 ADI(Alternating Direction Implicit)방법을 적용하였다. 그리고 스프레더와 컨테이너의 특징점을 추출하기 위해서 기존의 황금 분할법과 이분 분할법을 이용한 방법은 지역적 최대 및 최소 값의 경우 정확한 해를 구할 수 없어서 k차 곡률 알고리즘을 이용하였다. 제안된 알고리즘은 영상의 전처리과정에서 잡음제거에 효과적이며 카메라와 거리센서를 이용한 제안 시스템은 기존시스템의 구조적 변경 없이 사용가능하기 때문에 비용이 저렴한 장점이 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1123-1140
• /
• 2019

Many Internet of Things (IoT) applications involving bursty traffic have emerged recently with event detection. A power management scheme qualified for uplink bursty traffic (PM-UBT) is proposed by distinguishing between bursty and general uplink traffic patterns in the IEEE 802.11 standard to balance energy consumption and uplink latency, especially for stations with limited power and constrained buffer size. The proposed PM-UBT allows a station to transmit an uplink bursty frame immediately regardless of the state. Only when the sleep timer expires can the station send uplink general traffic and receive all downlink frames from the access point. The optimization problem (OP) for PM-UBT is power consumption minimization under a constrained buffer size at the station. This OP can be solved effectively by the bisection method, which demonstrates a performance similar to that of exhaustive search but with less computational complexity. Simulation results show that when the frame arrival rate in a station is between 5 and 100 frame/second, PM-UBT can save approximately 5 mW to 30 mW of power compared with an existing power management scheme. Therefore, the proposed power management strategy can be used efficiently for delay-intolerant uplink traffic in event-driven IoT applications, such as health status monitoring and environmental surveillance.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권6호
• /
• pp.2282-2303
• /
• 2021

To solve the problems of heavy computing load and system transmission pressure in energy internet (EI), we establish a three-tier cloud-edge integrated EI network based on a cloud-edge collaborative computing to achieve the tradeoff between energy consumption and the system delay. A joint optimization problem for resource allocation and task offloading in the threetier cloud-edge integrated EI network is formulated to minimize the total system cost under the constraints of the task scheduling binary variables of each sensor node, the maximum uplink transmit power of each sensor node, the limited computation capability of the sensor node and the maximum computation resource of each edge server, which is a Mixed Integer Non-linear Programming (MINLP) problem. To solve the problem, we propose a joint task offloading and resource allocation algorithm (JTOARA), which is decomposed into three subproblems including the uplink transmission power allocation sub-problem, the computation resource allocation sub-problem, and the offloading scheme selection subproblem. Then, the power allocation of each sensor node is achieved by bisection search algorithm, which has a fast convergence. While the computation resource allocation is derived by line optimization method and convex optimization theory. Finally, to achieve the optimal task offloading, we propose a cloud-edge collaborative computation offloading schemes based on game theory and prove the existence of Nash Equilibrium. The simulation results demonstrate that our proposed algorithm can improve output performance as comparing with the conventional algorithms, and its performance is close to the that of the enumerative algorithm.