• 통합자연과학논문집
• /
• 제10권4호
• /
• pp.249-257
• /
• 2017

The main focus when developing software is to improve the reliability and stability of a software system. We are enjoying a very comfortable life thanks to modern civilization, however, comfort is not guaranteed to us. Once software systems are introduced, the software systems used in the field environments are the same as or close to those used in the development-testing environment; however, the systems may be used in many different locations. Development of software system is a difficult and complex process. Generally, existing software reliability models are applied to software testing data and then used to make predictions on the software failures and reliability in the field. In this paper, we present an improved exponential NHPP software reliability model in different development environments, and examine the goodness-of-fit of improved exponential model and other model based on two datasets. The results show that the proposed model fits significantly better than other NHPP software reliability model.

• 한국분무공학회지
• /
• 제16권4호
• /
• pp.186-194
• /
• 2011

This study performed the numerical analysis of the internal nozzle flows including cavitation phenomena by using the automated body-fitted grid generator and the multi-fluid model. The effect of grid refinement and the validation of multifluid model were investigated using four computational meshes under two test conditions. The mesh #3 was chosen as the optimum which can reduce the computational time and have good prediction ability to identify the cavitation region simultaneously. In addition, the computed results using multi-fluid model were compared with the reference experimental observations and numerical simulation results using homogeneous equilibrium model. From the distribution of volume fraction and velocity field, the multi-fluid model predicted the internal nozzle flows well when the liquid quality parameters were selected as $1.0{\times}10^{12}$ for initial number density and 25 ${\mu}m$ for bubble diameter.

• 설비공학논문집
• /
• 제12권7호
• /
• pp.632-641
• /
• 2000

The present study concerns the simulation of supply-air control in a variable air volume (VAV) system. A stratified lumped thermal model (multi-zone model) is suggested to predict local thermal response of an air-conditioned space. The effects of various thermal parameters such as the cooling system capacity, the thermal mass of air-conditioned space, the time delay of thermal effect, and the building envelope heat transmission are investigated in detail. Further, the influence of control parameters, PI control factor and the sensor location on a VAV system is quantitatively delineated. The results obtained show that the previous homogeneous lumped thermal model (1-zone model) may predict a significantly different thermal response in the air-conditioned space according to the sensor location.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 1999년도 봄 학술발표회 논문집
• /
• pp.217-224
• /
• 1999

This Paper shows the results of a series of model tests on the behavior of single rigid Pile, which subjected to lateral load, in non-homogeneous Nak-Dong River sands, consisted of two layers, upper and lower layers. The purpose of the present paper is to investigate the effect of ratio of lower layer thickness to embedded pile length ratio of soil modules of upper to lower layer (E$\sub$h1//E$\sub$h2/) and pile head constraint condition on the characteristics of lateral behavior of single pile. These effects can be quantified only by the results of model tests. As a model test result, in non-homogeneous sand, it shows that the lateral behavior depends upon the ratio of soil modules of upper to lower layer more than other factors. And, in respect of deflection, it was found that the reduction ratio of deflection by pile head fixity is the value of 0.5 and 0.6 for E$\sub$h1//E$\sub$h2/=0.18 and E$\sub$h1//E$\sub$h2/=5.56, respectively. The critical thickness of lower layer on the change of deflection is about 25 - 50% of pile embedded length. Also, in respect of maximum bending moment it was found that the reduction ratio of maximum bending moment by pile head fixity is the value of 0.55 and 0.7 for E$\sub$h1//E$\sub$h2/=0.18 and E$\sub$h1//E$\sub$h2/=5.56, respectively.

• 융합보안논문지
• /
• 제12권6호
• /
• pp.85-92
• /
• 2012

소프트웨어의 디버깅에 오류 발생의 시간을 기반으로 하는 많은 소프트웨어 신뢰성 모델이 제안되어 왔다. 무한고장 모형과 비동질적인 포아송 과정에 의존한 소프트웨어 신뢰성 모형을 이용하면 모수 추정이 가능하다. 소프트웨어를 시장에 인도하는 결정을 내리기 위해서는 조건부 고장률이 중요한 변수가 된다. 유한 고장 모형은 실제 상황에서 다양한 분야에 사용된다. 특성화 문제, 특이점의 감지, 선형 추정, 시스템의 안정성 연구, 수명을 테스트, 생존 분석, 데이터 압축 및 기타 여러 분야에서의 사용이 점점 많아지고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 고장의 예측을 모니터링 함으로써 소프트웨어 신뢰성의 향상에 크게 기여 할 수 있다. 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 공정 관리에 사용되는 도구이다. 본 논문에서 NHPP에 근원을 둔 로그 포아송 실행시간 모형, 로그선형 모형 그리고 파레토 모형의 평균값 함수를 이용한 통계적 공정관리 차트를 이용한 제어 메커니즘을 제안하였다.

• 한국정보통신학회논문지
• /
• 제4권1호
• /
• pp.267-282
• /
• 2000

컴퓨터 및 네트워크 기술이 발전하고 이에 대한 의존도가 증가함에 따라 컴퓨터의 결함은 인적 물적 손실뿐만 아니라 조직의 경쟁력을 약화시키는 결과를 초래하게 되어 정보사회의 역기능으로 컴퓨터 보안 문제가 중요하게 대두되고 있다. 침입탐지시스템(Intrusion Detection System : IDS)은 불법적인 침입에 의한 시스템 결함으로부터 컴퓨터를 보호하기 위해 침입을 탐지하고 이에 대한 적절한 조치를 취하는 역할을 수행한다. 최근까지 IDS에 대한 다양한 기법과 모델들이 개발되고 있으나 컴퓨터 통신망의 복잡성, 대상 시스템의 원초적 취약성, 정보 보호에 대한 이해 부족 및 새로운 불법 침입 기법의 개발 등으로 기존의 어떤 기법 또는 모델도 완전하지 못한 실정이다. 본 논문에서는 동질형 호스트들로 구성된 정보시스템에 적합한 침입탐지시스템을 제안하고, 이를 설계하고 프로토타입을 구현하여 그 타당성을 보인다. 제안한 침입탐지시스템은 여러 동질형 컴퓨터에 단위 센서 침입탐지시스템을 설치하고, 분산된 단위 센서 침입탐지시스템들 중 어느 하나가 프로세스에 의해 발생된 시스템 호출 순서 중 비정상적인 시스템 호출을 탐지한 경우 이를 다른 센서 침입탐지시스템들과 서로 동적으로 공유하여 전체 정보시스템에 대한 새로운 침입에 대하여 효율적으로 탐지할 수 있게 한다.

• 대한수학회지
• /
• 제52권3호
• /
• pp.447-467
• /
• 2015

In this paper, we consider a multi-risk model based on the policy entrance process with n independent policies. For each policy, the entrance process of the customer is a non-homogeneous Poisson process, and the claim process is a renewal process. The loss process of the single-risk model is a random sum of stochastic processes, and the actual individual claim sizes are described as extended upper negatively dependent (EUND) structure with heavy tails. We derive precise large deviations for the loss process of the multi-risk model after giving the precise large deviations of the single-risk model. Our results extend and improve the existing results in significant ways.

• Computers and Concrete
• /
• 제3권6호
• /
• pp.423-437
• /
• 2006

Stress wave propagation through concrete is simulated by finite element analysis. The concrete medium is modeled as a homogeneous material with smeared properties to investigate and establish the suitable finite element analysis method (explicit versus implicit) and analysis parameters (element size, and solution time increment) also suitable for rigorous investigation. In the next step, finite element analysis model of the medium is developed using a digital image processing technique, which distinguishes the mortar and aggregate phases of concrete. The mortar and aggregate phase topologies are, then, directly mapped to the finite element mesh to form a heterogeneous concrete model. The heterogeneous concrete model is then used to simulate wave propagation. The veracity of the model is demonstrated by evaluating the intrinsic parameters of nondestructive ultrasonic pulse velocity testing of concrete. Quantitative relationships between aggregate size and testing frequency for nondestructive testing are presented.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제50권12호
• /
• pp.597-603
• /
• 2001

In the mathematical model for the transmission dynamics of HIV infection described in previous papers, the population under consideration is assumed to be homogeneous community of homosexual males for which the parameter x represents the constant rate at which individual members of the population acquire new sexual partners. This is a gross oversimplification since it is well known that individuals vary widely in their levels of sexual activity and in this papers the heterogeneous model is modified to allow for this variation. The pattern on the epidemic character of HIV, the causative agent of AIDS, was analysed by heterogeneous-mixing model. The computer simulation was performed using real date.

• 한국컴퓨터정보학회논문지
• /
• 제10권5호
• /
• pp.171-177
• /
• 2005

본 논문에서는 Forward Kinematics의 개념을 이용하여 각도변화에 따른 좌표계산 방법을 설명하고, Workspace 생성을 위한 반복적 방정식 (Recursive Equation)을 동차좌표계를 이용하여 수식으로 표현한다. 그리고 이 반복적 방정식(Recursive Equation)과 인체모델 관절의 한계 각도를 접목시켜 인체모델의 Workspace생성을 위한 알고리즘을 제시하고, 제시한 알고리즘을 이용하여 인체모델의 Workspace 생성결과를 그래픽으로 표현하였으며 알고리즘의 적절성을 보였다.