• The Korean Journal of Applied Statistics
• /
• v.26 no.1
• /
• pp.111-118
• /
• 2013

In this paper we study the effect of failure detection equipment(FDE)s on system availability. A new repair scheme is considered for the step of repairing FDE which becomes out of order in the course of repairing the main system(MS). We compute and compare the availability of MS.

• Tunnel and Underground Space
• /
• v.32 no.2
• /
• pp.144-159
• /
• 2022

The present study developed a sequential approach-based numerical simulator for modeling coupled thermal-hydrological-mechanical (THM) processes in the ground and investigated the computational performance of the coupling analysis algorithm. The present sequential approach linked the two different solvers: an open-source numerical code, OpenGeoSys for solving the thermal and hydrological processes in porous media and a commercial code, FLAC3D for solving the geomechanical response of the ground. A benchmark test of the developed simulator was carried out using a THM problem where an analytical solution is given. The benchmark problem involves the coupled behavior (variations in temperature, pore pressure, stress, and deformation with time) of a fully saturated porous medium which is subject to a point heat source. The results of the analytical solution and numerical simulation were compared and the validity of the numerical simulator was investigated.

• Journal of the Korean Statistical Society
• /
• v.3 no.1
• /
• pp.65-66
• /
• 1974

통계학의 수리론을 전개한 우리의 저서가 별로 없는 터에 윤기중교수의 '수리통계학'이 박영사를 통하여 간행되었다. 이책은 미적분에 관한 수학지식으로 능히 독파할 수 있도록 순차적으로 차분하게 기술되어 있다. 집합론의 개념에서부터 시작하여 확률론의 기초사항을 친절하게 설명하고 연속확률변수의 분포, 확률표본, 점추정, 다변량정규분포, 각종 통계량의 분포, 통계적 가설검정, 구간추정, 그리고 끝으로 회귀와 상관분석에 이르기까지 각종항목에 걸쳐서 통계학이론이 빠짐없이 기술되어 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.9-10
• /
• 2019

항공기 소프트웨어는 기능적 실패 시 인명피해나 재산피해와 같은 큰 사고로 이어질 수 있다. 따라서 항공기 소프트웨어 개발과정에서 엄격한 검증 프로세스를 수행하지만 오류를 완벽히 제거하는 것은 어렵다. 병행 프로그램에서 발생하는 동시성 오류는 잘못된 동기화에 의하여 공유자원을 사용할 때 발생할 수 있다. 하지만 복잡한 인터리빙을 모두 고려하여 디버깅하기 어렵기 때문에 자율적으로 수리되어야 한다. 본 논문은 항공기 소프트웨어에서 함수 호출을 기반으로 동시성 오류를 자율적으로 수리하는 기법을 제시한다. 제시하는 기법은 모니터 및 컨트롤 엔진, 순차정보 제공 엔진, 건전성 관리시스템으로 구성된다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.11
• /
• pp.30-36
• /
• 2010

In recent memories, repair is an unavoidable method to maintain its yield and quality. Although many word oriented memories as well as embedded memories in system-on-chip (SOC) consists of multiple local memory blocks with a global spare architecture, most of previous studies on built-in redundancy analysis (BIRA) algorithms have focused on single memory block with a local spare architecture. In this paper, a new BIRA algorithm for multiple blocks with a global spare architecture is proposed. The proposed BIRA is basd on CRESTA which is able to achieve optimal repair rate with almost zero analysis time. In the proposed BIRA, all repair solutions for local memory blocks are analyzed by local analyzers which belong to each local memory block and then compared sequentially and judged whether each solution can meet the limitation of the global spare architecture or not. Experimental results show that the proposed BIRA achieves much faster analysis speed compared to previous BIRAs with an optimal repair rate.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.755-760
• /
• 2005

본 연구에서는 농업기반공사에서 구성한 AWDS (Agricultural Water Demand & Supply Estimation System: 농촌용수 수요공급량 산정시스템)를 기반으로 대상지역인 안고용수구역에 대한 정보를 추출하였다. 또한 이를 ArcGIS Hydro Data Model을 이용하여 유역의 공간객체와 하천 네트워크의 연관성을 부여하여 위상관계을 가지게 하였으며, 24개의 저수지, 18개의 양수장, 28개의 취입보 등 총 70개의 수리시설물의 네트워크를 모델링하였다. 이로 수리시설물의 공간위치를 가시적으로 표현하여 특정한 시설물 파악이 쉬우며, 하천망과 더불어 표현함으로써 순차적인 물수지의 체계를 이해하기 쉽도록 하였다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.522-525
• /
• 2000

본 연구에서는 고객의 재고 수준을 고려하면서 동시에 연간 수송비용을 최소로 하는 차량 경로결정문제 IRP(Inventory Routing Problem)에 새로운 위성창고 (Satellite facility)개념을 도입한 수리모델과 알고리즘을 개발하였다. 위성창고는 수송 가능 용량을 초과하는 수요가 발생했을 때 수송 도중에 물량을 보충하여 재고 보충 일정 시간 내에 운반을 할 수 있도록 하는 장치이며 여기서는 용량의 한계를 고려한 위성창고 개념을 도입하였다. 또한 재고 보충 일정 관리 문제와 차량 경로 결정 문제를 분리하여 순차적으로 발견적 기법을 이용하는 기존의 방법을 통합 최적화 알고리즘으로 구현하였다.

• Journal of Korea Water Resources Association
• /
• v.36 no.1
• /
• pp.105-115
• /
• 2003

The computation model which evaluates combined hydraulic and mechanical reliability, is developed to analyze the integrated reliability in water distribution system. The hydraulic reliability is calculated by considering uncertain variables like water demand, hydraulic pressure, pipe roughness as random variables according to proper distribution type. The mechanical reliability is evaluated by analyzing the effect of pipe network with sequential failure of network components. The result of this study model applied to the real pipe network shows that this model can be used to simulate the uncertain factors effectively in real pipe network. Therefore, The pipe-line engineers can design and manage the network system with more quantitative reliability, through applying this model to reliable pipe network design and diagnosis of existing systems.

• Journal of the Korean Geotechnical Society
• /
• v.15 no.5
• /
• pp.217-228
• /
• 1999

The three methods of analysis (i) REV(representative elemental volume), (ii) non-REV and (iii) joint network analysis are introduced in this paper to analyze the groundwater flow in jointed rock mass and the inflow into underground excavations. The results from those methods are compared one another to reveal their characteristics by varying the number of joints and the diameter of the opening. The pre-processor, the so-called sequential analysis, is introduced to predict the equivalent hydraulic conductivity of a jointed rock mass having a number of intersecting joints. Using the finite element mesh, joint map and sequential analysis, the equivalent hydraulic conductivities are calculated for all 445 elements. The hydraulic inhomogeneity and the determination of the representative properties of jointed rock masses are discussed. In the REV analysis where the entire rock mass is homogenized through the representative properties, the inflow is increased regularly and consistently by increasing the joint density, the opening size and the conductivity contrast value. Though the non-REV analysis showed irregular variation of the inflow due to the local inhomogeneity allowed to individual elements, the inflow approached the REV results as the characteristic length increases. The joint network analysis showed the most sensitive reaction to the joint density, the opening size and the presence of the network crossing the opening. The reliability of the network analysis depends on the geometric data of individual joints. In view of the limited field data on joint geometry and possible uncertainty the REV and non-REV methods are considered more practical and rational than the joint network analysis.

• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.31-40
• /
• 2013

Recent development in science and technology has modernized the weapon systems of ROKN (Republic Of Korea Navy). Although the cost of purchasing, operating, and maintaining the cutting-edge weapon systems has been increased significantly, the national defense expenditure is under a tight budget constraint. In order to maintain the availability of ships with low cost, we need an efficient and scientific method for managing repairable parts. In this study, we propose a simulation model that computes the availability of ship's repairable parts. Our model is based on the METRIC (Multi Echelon Technique Repairable Item Control) model and extends to five sub-models to reflect the realistic situations that arise in the navy, such as planned maintenance, condemnation, lateral transshipment, and cannibalization. We have performed simulations to compute the availability of repairable parts while setting the part-level consistent throughout the five models and carried out two sensitivity analyses. The simulation results show the differences in the part availability in different models. The experiments confirm our claim that ROKN needs an inventory management system that captures the operational characteristics of the navy.