• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제6권2호
• /
• pp.496-506
• /
• 2014

In this paper the scenario based optimization of the bulbous bow of the KRISO Container Ship (KCS) is presented. The optimization of the parametrically modeled vessel is based on a statistically developed operational profile generated from noon-to-noon reports of a comparable 3600 TEU container vessel and specific development functions representing the growth of global economy during the vessels service time. In order to consider uncertainties, statistical fluctuations are added. An analysis of these data lead to a number of most probable upcoming operating conditions (OC) the vessel will stay in the future. According to their respective likeliness an objective function for the evaluation of the optimal design variant of the vessel is derived and implemented within the parametrical optimization workbench FRIENDSHIP Framework. In the following this evaluation is done with respect to vessel's calculated effective power based on the usage of potential flow code. The evaluation shows, that the usage of scenarios within the optimization process has a strong influence on the hull form.

• Asia pacific journal of information systems
• /
• 제26권3호
• /
• pp.427-448
• /
• 2016

The stochastic phenomena of traffic network condition, such as traffic speed and density, are affected not only by exogenous traffic control but also by endogenous changes in service time during congestion. In this paper, we propose a mixed M/G/1 queuing model by introducing a condition-varying parameter of traffic congestion to reflect structural changes in the traffic network. We also develop congestion indices to evaluate network efficiency in terms of traffic flow and economic cost in traffic operating system using structure-changing queuing model, and perform scenario analysis according to various traffic network improvement policies. Empirical analysis using Korean highway traffic operating system shows that our suggested model better captures structural changes in the traffic queue. The scenario analysis also shows that occasional reversible lane operation during peak times can be more efficient and feasible than regular lane extension in Korea.

• Journal of Electrical Engineering and Technology
• /
• 제11권1호
• /
• pp.47-54
• /
• 2016

Microgrids offer several reliability benefits, such as the improvement of load-point reliability and the opportunity for reliability-differentiated services. The primary goal of this work is to investigate the impacts of operating condition on the reliability index for microgrid system. It relies on a component failure rate model which quantifies the relationship between component failure rate and state variables. Some parameters involved are characterized by subjective uncertainty. Thus, fuzzy numbers are introduced to represent such parameters, and an optimization model based on Fuzzy Chance Constrained Programming (FCCP) is established for reliability index calculation. In addition, we present a hybrid algorithm which combines scenario enumeration and fuzzy simulation as a solution tool. The simulations in a microgrid test system show that reliability indices without considering operating condition can often prove to be optimistic. We also investigate two groups of situations, which include the different penetration levels of microsource and different confidence levels. The results support the necessity of considering operating condition for achieving accurate reliability evaluation.

• 한국방재학회:학술대회논문집
• /
• 한국방재학회 2007년도 정기총회 및 학술발표대회
• /
• pp.148-151
• /
• 2007

The Korea Meteorological Administration has been operating a tsunami warning system which is based on tsunami scenario database for the East Sea. Recently, the tsunami scenario database for the Yellow sea and the East China sea is also generated so that the tsunami warning system is extended to the whole Korean seas. Tsunami scenario database includes tsunami arrival times and heights generated by performing huge numbers of tsunami propagation simulations. A leap-frog method for shallow water equation is used for the simulation. The simulation code is parallellized via Message Passing Interface and has run on Cray X1E.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2005년도 학술발표회(2)
• /
• pp.1046-1047
• /
• 2005

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• pp.1515-1524
• /
• 2008

In this study, railway accidents from constructing or maintaining works on/near operating line were reviewed during 2005-2007 years. Causes and hazards analysis of these accidents was performed to make an accident scenario for risk assessments. And the risk of worker casualty on/near operating line was quantitatively assessed. Also a constitution method of Risk Matrix for manage tolerable risk level was proposed.

• 수산해양기술연구
• /
• 제56권3호
• /
• pp.258-264
• /
• 2020

This study aimed to analyze the economic feasibility of the reduction of working safety accidents in stow net fishery through the prevention education to fishing crews. The benefit was evaluated by estimating insurance payment amount that was reduced through prevention education. The decreasing rate of working safety accidents was presumed to follow the experience in Japan. The cost was assumed as the cost of textbook development. Results indicated that IRR was estimated to be 79.9% in case of scenario assuming no additional operating costs while IRR was 56.3% in case of scenario assuming 10% additional operating costs. In addition, the economic feasibility would be secured when annual operating costs increased to 274 million won according to the result of sensitivity analysis.

• 한국컴퓨터정보학회논문지
• /
• 제10권2호
• /
• pp.11-19
• /
• 2005

본 논문에서는 보안 운영체제의 성능 평가 모델 및 시나리오에 대해서 기술하고 있으며, 보안 운영체제 성능 평가 방법을 이용하여 상용 보안 운영체제의 성능을 분석하였다. 다양한 성능 분석 툴을 이용하여 보안 운영체제의 오버헤드 결과를 자세히 분석하고 있다. 본 연구를 통해서 보안 운영체제와 일반 운영체제의 성능 비교가 가능할 것이며, 보안 운영체제에 다양한 보안 정책이 추가되었을 때와 그렇지 않은 경우 직접적인 성능의 차이를 볼 수 있게 된다. 본 연구결과는 보안 운영체제 구매자, 평가자 및 개발자들에게 가이드라인이 될 수 있으며, 보안 운영체제의 성능 평가에 대한 기초 자료로 활용 될 수 있다

• 동아시아경상학회지
• /
• 제12권1호
• /
• pp.35-42
• /
• 2024

Purpose: A railroad project is a complex system with large construction costs in the initial stage and ongoing operating costs over its lifecycle. Current railroad projects tend to be based on construction options, which leads to huge deficiencies in operating costs. This phenomenon results from a lack of appropriate tools to accurately estimate a railroad project's lifecycle costs. This study attempts to analyze the major components of railroad operating costs and to propose a decision-making system for analyzing the long-term lifecycle costs of railroad projects. Research design, data and methodology: We review the literature and analyze the current status of railroad operating costs in Korea and overseas. Based on previous projects, a framework for project options and operating costs is proposed. The framework is applied to actual railroad projects to demonstrate the validity of the model. Results: Case analysis shows that our framework is comprehensive in analyzing the primary aspects of railroad operating costs and plays an effective role in choosing various railroad project options. This study points out that the railway project operates inefficiently because estimating long-term costs without reflecting specific project options causes many errors. Conclusions: A major contribution of this study is the development of an improved framework for accurately estimating operating costs and providing policymakers and engineering firms with a holistic decision support system. Detailed components in estimating operating costs of the railroad business are discussed. And we present a decision-making tool that policymakers and private businesses can use in planning the railroad business.