• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• 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
• /
• v.6 no.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
• /
• v.26 no.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
• /
• v.11 no.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.02a
• /
• 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.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.09b
• /
• pp.1046-1047
• /
• 2005

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• 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.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.56 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.2 s.34
• /
• pp.11-19
• /
• 2005

The importance of this Paper is to develop a standard Performance evaluation model and scenario for the secure OS. According to the scenario that was conducted for Performance evaluation, benchmarking was Performed. All the benchmarking result was thoroughly analyzed. Our result contribute to evaluating Secure 05 that contains various security policy affecting system Performance. In this paper, it is expected to Provide guidelines of secure operating system for the consumer, developer and evaluator. It will also contribute to the systematic basis for evaluation of security 05 and the promotion of domestic information security industry by retaining basic technology for international trends.

• East Asian Journal of Business Economics (EAJBE)
• /
• v.12 no.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.