• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.1
• /
• pp.78-89
• /
• 2016

When a plant owner requests plant 3D CAD models in the format that a shipbuilding company does not use, the shipyard manually re-models plant 3D CAD models according to the owner's requirement. Therefore, it is important to develop a technology to compare the re-modeled plant 3D CAD models with original ones and to quantitatively evaluate similarity between two models. In the previous study, we developed a graphic user interface (GUI)-based comparison system where a user evaluates similarity between original and re-modeled plant 3D CAD models for piping design at the level of unit. However, an offshore plant consists of thousands of units and thus a system which compares several plant 3D CAD models at unit-level without human intervention is necessary. For this, we developed a new batch model comparison system which automatically evaluates similarity of several unit-level plant 3D CAD models using an extensible markup language (XML) file storing file location and name data about a set of plant 3D CAD models. This paper suggests system configuration of a batch-mode-based comparison system and discusses its core functions. For the verification of the developed system, comparison experiments for offshore plant 3D piping CAD models using the system were performed. From the experiments, we confirmed that similarities for several plant 3D CAD models at unit-level were evaluated without human intervention.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.16 no.4
• /
• pp.304-308
• /
• 2014

Accurate prediction of peak bloom dates (PBD) of flowering cherry trees is critical for organizing local cherry festivals and other associated cultural and economic activities. A two-step phenology model is commonly used for predicting flowering time depending on local temperatures as a result of two consecutive steps followed by chill and heat accumulations. However, an extensive computation requirement for parameter estimation has been a limitation for its practical use. We propose a sequential parameterization method by exploiting previously unused records of development stages. With an extra constraint formed by heat accumulation between two intervening stages, each parameter can then be solved sequentially in much shorter time than the brute-force method. The result was found to be almost identical to the previous solution known for cherry trees (Prunus ${\times}$ yedoensis) in the Tidal Basin, Washington D.C.

• Journal of the Korean Society for Railway
• /
• v.19 no.6
• /
• pp.802-814
• /
• 2016

This study examines the relationship between the operational turnaround time and the rolling stock requirements. In this study, the operational turnaround time of rolling stock is divided into physical turnback time and waiting time. This paper presents a variety of models and estimation results of the existing studies on operational turnaround time. The proposed estimation model of the operational turnaround time in this study is designed to minimize the operational turnaround time in terminus stations, while the rolling stock requirement is reduced. The developed estimation model was applied in a real-world example, and it was found that the operational turnaround time and the required rolling stocks were lessened compared with the current condition. The method presented in this paper is expected to be utilized in train operational planning and rolling stock routing plans, thereby minimizing the rolling stock requirements of existing railway operating authorities.

• The Journal of Korean Academy of Prosthodontics
• /
• v.42 no.2
• /
• pp.238-247
• /
• 2004

Statement of problem: Major objective in making on implant-supported prosthesis is the production of superstructure that exhibits a passive fit when connected to multiple abutments. One requirement to ensure passive fit is to make an accurate impression. Purpose : The purpose of this study was to compare the accuracy of master cast fabricated by using different impression methods at the different impression levels. Material and method: The master model used in this study was resin block having low implant analogs. Impression method studied were 1) direct method on fxiture level (Group FIX-D), 2) indirect method on fixture level(Group FIX-I), 3) modified indirect method on fixture level(Group FIX-M), 4) direct method on abutment level(Group AB-D) and 5) indirect method on abutment level(Group AB-I). Each of the five groups took 10 impressions. Fifty impressions were made for master cast by using Impregum $F^{(R)}$ impression material loaded on individual tray. Three dimensional measuring microscope was used to measure the inter-implant distance. Error rate of each inter-implant distance were calculated and evaluated. Results : The results were as follows. 1. Group FIX exhibited higher accuracy than group AB. 2. In group FIX, modified indirect method showed the highest accuracy, while indirect method showed the lowest accuracy. In group Ab, indirect method showed the higher accuracy than direct method. 3. Group FIX showed larger horizontal error than group AB. But, group AB showed the larger vertical error than group FIX. 4. Group Fix-M showed smallest vertical and horizontal error. Conclusion: An impression method have more effect on accuracy of master model than an impression level. A modified indirect method showed smallest vertical and horizontal error.

• Journal of Energy Engineering
• /
• v.17 no.1
• /
• pp.23-30
• /
• 2008

The neutron kinetic analysis methods for the molten-salt reactors are quite different from those for conventional solid-fuel reactors, which do not take into account the flowing-fuel-induced neutronics effects. Therefore, for dynamics and safety analyses of the molten-salt reactor systems, the conventional kinetics codes would not be appropriate to accurately predict its transient behaviors. A point-kinetics with flowing- fuel model has been used to assess the fluid-fuel reactor system safety, but recognized as not to be sufficient to simulate spatial distributions of delayed-neutron precursors and neutron populations during transients for given detail reactor models. In order to meet this requirement, AMBIKIND, a 2-group, 2-dimensional neutron kinetics code suitable for the molten-salt reactor systems was developed. This paper explains the code's theoretical and numerical descriptions and, as a part of its verification, includes some simulation results of MSRE stability experiments. Even though the present reactor model does not include the recirculation effect of the fuel-salt through the reactor system, the AMBIKIN2D code should be able to predict the power and phase shift at various power levels and reactivity insertions with better accuracy.

• Information Systems Review
• /
• v.4 no.1
• /
• pp.89-110
• /
• 2002

Today, many universities are confronted with the changing education paradigm such as e-Learning, CBT(Computer-based Training), Virtual University. Particularly, the Virtual University is now in the countrys educational mainstream as a legitimate, potentially standards-setting educational environment. These streams are certainly a new opportunity or threat to our universities. To overcome this problem, we should think this as strategic, and should implement IT-based Virtual University System to which computer and network technology is main edge. So, we think that the Virtual University System is SIS(Strategic Information System) which support universitys future education strategies. We proposed a planning framework for the Virtual University System. The framework which is based on the IS planning methodology is composed of such as environment analysis, requirement analysis of the system, strategic roles and objectives setting, scenario analysis of budget and revenue. To define the strategic roles and objectives of the system, we surveyed it on the side of instructors. We proposed five factors, which are to (1) improve competitiveness (2) reduce cost and secure profit (3) enhance education services (4) change the future education model (5) decrease dysfunctions of virtual education model.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.2
• /
• pp.144-149
• /
• 2014

A ground firing test for hot-fire performance evaluation according to the characteristic length($L^*$) variation of thrust chamber was carried out for the hydrazine thruster which may be employed in space launch vehicles. A scrutiny into the performance characteristics of each thruster is made in terms of thrust, specific impulse, response characteristics, and characteristic velocity at steady-state firing mode with propellant inlet pressure of 2.41 MPa (350 psia). Through the test results, it has been verified that performance of characteristic velocity and specific impulse degrades as the characteristic length deviates from that of the standard model. Thus, it is confirmed that the thrust chamber configuration of standard model was suitably designed for the requirement specified.

• Journal of the Korea Concrete Institute
• /
• v.20 no.5
• /
• pp.627-634
• /
• 2008

This paper presents an optimum mixture design method for proportioning a concrete. In the proposed method, the search space is constrained as the domain defined by the minimal convex region of a database, instead of the available range of each component and the ratio composed of several components. The model for defining the search space which is expressed by the effective region is proposed. The effective region model evaluates whether a mix-proportion is effective on processing for optimization, yielding highly reliable results. Three concepts are adopted to realize the proposed methodology: A genetic algorithm for the optimization; an artificial neural network for predicting material properties; and a convex hull for evaluating the effective region. And then, it was applied to an optimization problem wherein the minimum cost should be obtained under a given strength requirement. Experimental test results show that the mix-proportion obtained from the proposed methodology using convex hulls is found to be more accurate and feasible than that obtained from a general optimum technique that does not consider this aspect.

• Journal of Advanced Navigation Technology
• /
• v.20 no.2
• /
• pp.141-147
• /
• 2016

Stable and reliable air traffic service is required for users (aircraft pilot, air traffic controller, airlines and public) through enhancing capability related to airport operation and continuously improving air navigation system. ASMS (air navigation service provider (ANSP) safety maturity survey) is to determine the level of management and safety requirement such as organization, risk, policy, process, training and environment in Air traffic service field. We designed and developed the survey (26 study areas of management part and 23 study areas of safety part) considering global best practices (Eurocontrol and FAA) and customizing domestic circumstances with quantitative level assessment regarding management and safety issue of Air navigation system. The survey enables the performance of Air navigation system to enhance and prevents from occurring accident or incident. Therefore, we provides best information with users as well as high quality Air traffic service.