• 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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.11a
• /
• pp.191-196
• /
• 1996

The potential value of the Application Specific Integrated Circuits(ASIC's) in safety systems of Nuclear Power Plants(NPP's) is being increasingly recognized because they are essentially hardwired circuitry on a chip, the reliability of the system can be proved more easily than that of software based systems which is difficult in point of software V&V(Verification and Validation). There are two types of ASIC, one is a full customized type, the other is a half customized type. PLD(Programmable Logic Device) used in this paper is a half customized ASIC which is a device consisting of blocks of logic connected with programmable interconnections that are customized in the package by end users. This paper describes the RPS(Reactor Protection System) composed of ASICs which provides emergency shutdown of the reactor to protect the core and the pressure boundary of RCS(Reactor Coolant System) in NPP's. The RPS is largely composed of five logic blocks, each of them was implemented in one PLD, as the followings. A). Bistable Logic B). Matrix Logic C).Initiation Logic D). MMI(Man Machine Interface) Logic E). Test Logic.

• 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.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.41-48
• /
• 2018

This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

• 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.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.835-840
• /
• 2011

The development of a turbopump is fundamental to have an independent LRE(liquid rocket engine) for KSLV-II. Recently, the detail design of a turbopump real-propellant test facility based on liquid oxygen and kerosene has been performed to structure the test facility for the experimental validation of the turbopump. In this paper, the design requirements of the turbopump and the specifications of the test facility was presented and the representative sub-facilities were explained on the basis of the design results. Also, the uncertainty of the sub-facilities which could be appeared during the operation was removed in advance through the simulation method and the experimental verification.

• The Journal of the Korea Contents Association
• /
• v.7 no.8
• /
• pp.86-93
• /
• 2007

Online game industry is also making much efforts in developing games that have emotional disposition which is rapidly growing by the increase of emotional demand by the user. In the online game development that induces immersion stimulating the emotion of the human has the evaluation stage it must surely pass, and in this stage, emotional evaluation system is known as the evaluation method that one can verify the function, usage and human emotion desire of the game before its launching. Nevertheless, at this situation the studying result is absent in the verification of efficiency and validity of the emotional evaluation system, this study is to work on the availability and validity of the emotional evaluation system as the evaluation tool of the game comparing with the Jakob Nielsen's evaluation system through common user group which are the subjects.

• 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 Biosystems Engineering
• /
• v.13 no.2
• /
• pp.1-8
• /
• 1988

A scale model of power tiller-trailer system with the same kinematic characteristics was constructed one eighth of the actual size to validate the effectiveness of mathematical model of motion. The parameters for the scale model of power tiller-trailer system were measured by a series of laboratory experiments. Validation tests for the: scale model was conducted under several ground and operating conditions. The tests were performed on artificial ground surfaces with several kind, of slope and obstacle. The travel path of the scale model was photographed successively in three directions. The travel paths obtained from both the film analysis and the simulation model appeared to be consistent with each other. It was concluded that the simulation model could be used to predict the motion of actual power tiller-trailer system if the parameters for actual power tiller and trailer are provided.