• Korean System Dynamics Review
• /
• v.10 no.1
• /
• pp.77-95
• /
• 2009

The ever-increasing government budget constraints have led to a continued decline in the increase rate for defense spending, and the government's 5-year National Fiscal Management Plan has served to reinforce the verification and validation procedures for the Force Improvement Programs (FIP) budget requirements and performance. Additionally, as large programs are controlled in accordance with the Total Program Cost Management Guidelines, timely and credible feasibility study and performance measurement need to be conducted. Due to these internal and external circumstances, needs have surged for feasibility and economic effectiveness study for big ticket projects in the FIP sector, with an increasing number of studies conducted by external research institutes. However, questions have been raised regarding the credibility and thoroughness of the program analyses performed by these research institutes due to various restrictions. This paper analyzes and identifies the structural limitations and problems using a systems thinking approach, and examines the systemic characteristics of the program analysis system. It also presents policy intervention recommendations based on the theory of systems thinking, a method to regularize and reinforce the program analysis system. Policy interventions recommended to ensure alignment of the external studies to the clear analysis objectives and resolve the bottlenecks in the external analysis include training those in charge of external study commissioning for a short term intervention, and increasing the number of research institutes and consulting agencies utilizing analysis and evaluation experts who transition to the private sector from the military for a long term intervention. additionally presented are strategies and policy alternatives to best utilize these policy interventions. They will contribute to the stable funding of Force Improvement Programs and efficient utilization of defense budget.

• IE interfaces
• /
• v.24 no.3
• /
• pp.187-195
• /
• 2011

The automatic radiopharmaceutical module consists of several 2-way valves, couple of syringes, gas supply unit, heating(cooling) unit and sensors to control the chemical reagents as well as to help the chemical reaction. In order to control the actuators of radiopharmaceutical module, the process is tabulated using spread sheet as like excel. Unlike the common program, a trivial error is too critical to allowed in the process because the error can lead to leak the radioactive reagent and to cause the synthesis equipment failure during synthesizing. Hence, the synthesis process has been validated using graphic simulation while the operator checks the whole process visually and undergoes trial and error. The verification of the synthesis process takes a long time and has a difficulty in finding the error. This study presents a methodology to verify the process algebraically while the radiopharmaceutical module is converted to the network model. The proposed method is validated using actual synthesis process.

• The Journal of Information Systems
• /
• v.3
• /
• pp.71-82
• /
• 1994

Knowledge acquisition, maintenance of knowledge base, and validation and verification of knowledge are the addressed bottlenecks of building successful knowledge based systems. Along with the increment of interesting in the knowledge based systems, the organization needs to develop a new one although it has a similar one. This causes several serious problems including knowledge redundancy and maintenance of knowledge base. This paper present three models of the reusable knowledge base which might be the solution to the above problem. Three models are : 1) multiple knowledge bases for a single AI application, 2) multiple knowledge bases for multiple AI applications, 3) a single knowledge base for multiple AI applications. A new approach to build such a reusable knowledge base in a homogeneous environment is presented. Our model combines the essential object-oriented techniques with rules in a consistent manner. Important aspects of applying object-oriented techniques to AI are discussed (inheritance, encapsulation, message passing), and some potential problems in building an AI application (decomposition technique of knowledge, search time, and heterogeneous environment) are pointed out. The models of a reusable knowledge base provide several amenities : 1) reduce the knowledge redundancy, 2) reduce the effort of maintenance of the knowledge base, 3) reuse the resource of the multiple domain knowledge bases, 4) reduce the development time.

• Journal of Family Resource Management and Policy Review
• /
• v.16 no.3
• /
• pp.83-107
• /
• 2012

This study analyzed the outcomes of the Healthy Family Support Center's 2011 Pilot Project to support grandparent-grandchild families. This paper applied Frank Fisher's multidimensional evaluation methodology, which includes 4 steps: program verification, situational validation, system vindication and social choice. The major findings and their implications are as follows: the strong points of the pilot project are the characteristics of its services, i.e. sending services, customized services, family-unit services and integrated services. Therefore, it is necessary to train human resources to deliver these services more professionally and to provide comprehensive life-planning. The weak point of the pilot project is its lack of services relating to the self-reliance of the clients. Thus it is necessary to revise the service subsystems to include programs that promote self-support measures.

• Journal of the Korea Safety Management & Science
• /
• v.13 no.4
• /
• pp.71-79
• /
• 2011

The work environment of locomotive cabs has long been an important issue in the design of railload systems since it is quite critical in terms of system's operational safety. It is getting more attention as the running speed of the trains goes up these days. To this end, this paper describes how to systematically construct a DB for the requirements set in the course of the improvement process for the aforementioned cab work environment. As a solution approach, we have adopted the requirement architecture concept to cover the whole activities required to do such as in requirements generation, DB construction, change management, and traceability management. Specifically, based on the requirement architecture framework a requirement process to collect requirements for improvement is discussed, and the guide lines are suggested for verification and validation of the developed requirements. In addition, a base schema and requirements templates are developed, which will be used in generating requirements and constructing a DB. Finally, it is demonstrated how the requirements DB for locomotive cabs can be constructed using a computer-aided tool in an integrated fashion.

• Atmosphere
• /
• v.21 no.1
• /
• pp.17-33
• /
• 2011

A dynamical downscaling system for seasonal forecast has been constructed based on a regional climate model, and its predictability was investigated for 10 years' wintertime (December-January-February; DJF) climatology in East Asia. Initial and lateral boundary conditions were obtained from the operational seasonal forecasting data, which are realtime output of the Global Data Assimilation and Prediction System (GDAPS) at Korea Meteorological Administration (KMA). Sea surface temperature was also obtained from the operational forecasts, i.e., KMA El-Nino and Global Sea Surface Temperature Forecast System. In order to determine the better configuration of the regional climate model for East Asian regions, two sensitivity experiments were carried out for one winter season (97/98 DJF): One is for the topography blending and the other is for the cumulus parameterization scheme. After determining the proper configuration, the predictability of the regional forecasting system was validated with respect to 850 hPa temperature and precipitation. The results showed that mean fields error and other verification statistics were generally decreased compared to GDAPS, most evident in 500 hPa geopotential heights. These improved simulation affected season prediction, and then HSS was better 36% and 11% about 850 hPa temperature and precipitation, respectively.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.60 no.5
• /
• pp.1017-1022
• /
• 2011

This paper describes the improvement of the calculation by using $6{\sigma}$ method on steam turbine simulator in a nuclear power plant. The simulator is essential to not only verification and validation of control logic but also making sure of control constants in upgrading the long time used control system into the new one. And the dynamic model is a key point in that simulator. The model used during the retrofit period of the turbine controller in Kori Nuclear Power Plant makes difference in calculating generator output and control valve positions. That is because such operating data as the main steam pressure, the main steam temperature and control valve positions of Yongkwang #3 are different from those of Kori #4. Therefore, the model parameters must be tuned by using actual operating data for the high fidelity of simulator in calculating the dynamic characteristic of the model. This paper describes that the $6{\sigma}$ method is used in improvement of precision of generator output calculation in the steam turbine model of the simulator.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.7 no.1
• /
• pp.1-8
• /
• 2011

Advanced SITs of the evolutionary PWRs have the advantage that they can passively control the ECC water discharge flow rate. Thus, the LPSI pumps can be eliminated from the safety injection system owing to the benefit of the advanced SITs. In the present study, a passive sealing plate was designed in order to overcome the shortcoming of the advanced SITs, i.e., the early nitrogen discharge through the stand pipe. The operating principle of the sealing plate depends only on the natural phenomena of buoyancy and gravity. The performance of the sealing plate was evaluated using the VAPER test facility, equipped with a full-scale SIT. It was verified that the passive sealing plate effectively prevented the air discharge during the entire duration of the ECC water discharge. Also, the major performance parameters of the advanced SIT were not changed with the installation of the sealing plate.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.8
• /
• pp.596-600
• /
• 2009

To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. They usually adopt logistic regression analysis, And, they state that the correctness of prediction is about 60${\sim}$70%, We performed a similar experiment with Eclipse 3.3 to check their prediction effectiveness, However, the result shows that correctness is about 40% which is much lower than the original results. We also found that univariate logistic regression analysis produces better results than multivariate logistic regression analysis.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.2
• /
• pp.110-117
• /
• 2020

In this paper, we estimated the straight line stability by performing a 3 degree of freedom spiral test simulation of a intact/damaged surface combatant using the hydrodynamic coefficient obtained through the PMM(Planar motion mechanism) test based on system engineering process. A model ship was ONR Tumblehome and damaged compartment was set on the starboard bow. As a result of conducting a spiral test simulation based on the experimental results of J.Ha (2018), the asymmetric straight line stability due to the damaged compartment was confirmed. In the case of a ship in which the starboard bow was damaged, it was confirmed that it had the characteristic to deflect to the left when going straight. Also, when estimating the straight line stability of a both port and starboard asymmetric surface combatant, a separated equation of motion model that sees the port and starboard as different ships seems suitable.