• Journal of Advanced Navigation Technology
• /
• v.27 no.6
• /
• pp.782-787
• /
• 2023

Korea augmentation satellite system (KASS) integration, verification, qualification (IVQ) activity is verification of requirements for KASS system and its sub-system that were performed based on the inspection, analysis, review of design, test (IART) method from factory acceptance test (FAT) to test readiness review (TRR) after critical design review (CDR) was closed. In the FAT phase, developed equipment was installed on the test platform and we were verified interfaces between sub-systems and coupling test with the kass control station (KCS). In the site aceeptance test (SAT) phase, on-site verification was conducted by installing equipment verified by FAT such as kass reference station (KRS), kass processing station (KPS), kass uplink station (KUS), KCS. However, considering the developed plan and status, SAT was divided into 3 phases and coupling test was performed. In the TRR phase, the KASS system verification was performed through FAT's test list and additional test list using the satellite based augmentation system (SBAS) broadcast signal from geostationary earth orbit (GEO) 1.

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.65-68
• /
• 2002

The verification of software part and HW/SW interface suffer from the absence of the hardware platform at the end of partitioning and coding phase in design cycle. In this paper we present the design of easy verification for hardware design. Hardware and software engineer can verify their software program and hardware design for a chip that is emulated in proposed verification environment. Besides, designer can easily design the DEMO system.

• 대한공업교육학회지
• /
• v.38 no.1
• /
• pp.29-48
• /
• 2013

The purpose of this research is to provide a desirable case of STEAM education utilizing 'Energy and Transportation Technology' unit on the subject of technology home economics. The middle school students learned with the integrated approach based on STEAM integrated education, and through production process they had the opportunity for application and expression in diverse forms. The results of this process to achieve the purpose are as follows. First, as the procedural model to develop STEAM program utilizing 'Energy and Transportation Technology' unit on the subject of technology home economics, the five stages: preparation, development, verification, practice, and evaluation, were presented. The preparation stage was composed of requirement analysis, the selection of program subject, and STEAM program curriculum analysis, the selection and organization of STEAM program lesson. The development stage was composed of the development of lesson plan, multimedia teaching materials, worksheet and worksheet answer key. In the verification stage, the verification of validity by experts was conducted, and in the practice stage, the developed program was applied to the middle school students in the educational field, and in the evaluation stage, based on the evaluations received from learners and teachers, it was revised and supplemented. Second, the STEAM program was developed into the program summary map, lesson plan, multimedia teaching materials, worksheet and worksheet answer, etc., and after the validity was secured through experts' verification, it was revised and supplemented and applied to actual classes. Third, the results of the learners' evaluation of the developed STEAM program showed that the degree of satisfaction with the program was high with the average score of the entire questions being 4.00 on a five-point scale. As the teachers also evaluated the developed STEAM program as very effective, the opinions of learners and teachers were collected and the program was finally improved and completed.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2679-2683
• /
• 2011

The purpose of this study is to develop automated structural design and analysis aided-program of aluminum extrusion carbody structures for railway vehicle. This developed program is possible to perform simultaneously structural design and design verification of aluminum extrusion profiles independent of expertise and experience of design engineers. Design engineers was able to design it using database of existing aluminum extrusion profiles or user-defined function. The design verification was programmed to evaluate its structural integrity according to Korean Railway Safety Law or Urban Transit Safety Law. Also, this program could automatically generate an executable file of various commercial finite element program and CAD files such as stp and iges by GUI environment applications using MFC(Microsoft Foundation Classes). In conclusion, it is expected to contribute to reduce product development time and improve product quality of aluminum extrusion profile and structures in railway industry.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.1013-1016
• /
• 1998

A method for generation of design verification tests from behavior-level VHDL program is presented. Behavioral VHDL programs contain multiple communicating processes, signal assignment statements. So for large, complex system, it is difficult problem to test or simulation. In this paper, we proposed a new hardware design verification method. For this method generates control flow graph(CFG.) and process modeling graph(PMG) in the given under the testing VHDL program. And this method proved very effective that all the assumed design errors could be detected.

• Proceedings of the Korea Contents Association Conference
• /
• 2005.05a
• /
• pp.406-409
• /
• 2005

This paper is related with a standard for verification of program completion when there are complaints for software development. Therefore, in this paper, we propose weight setting method and a method to accommodate relative importance for each function in program.

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

The intended system's function and performance can be assured through implementing the development process, the verification compliance against corresponding requirements, in accordance with the fundamental principle from the Systems Engineering. For the effective verification implementation, related core metadata should be selected and managed throughout the development life cycle. And these have to be included in the configuration document such as specification so that taking them as development baselines each phases if necessary. In this paper, associated case study results are introduced to establish the Requirements Verification Matrix (RVM) for the verification management on the space launch vehicle development program.

• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.795-797
• /
• 2005

This paper describes a measurement & verification scheme for the high efferent lighting program in Demand Side Management (DSM), which was Introduced in the beginning of the 1980's in Korea With the dramatic changes in the circumstance of power industry in Korea. It is required the reviewing for the existing process of DSM programs and the development of the new process methods/standards on the evaluation of DSM programs. To design an accurate evaluation scheme for the high efficient lighting program. In this paper, we develop an evaluation prototype for the high efficient lighting program using measurements and stipulated factors. The proposed scheme is tested by practical measurements and modified stipulated factors Results from the case studios show the proposed scheme could provide the practical performance evaluation results with promising accuracy.

• Journal of the Korean Applied Science and Technology
• /
• v.24 no.4
• /
• pp.332-338
• /
• 2007

Based on the experiment results of laboratory scale modified anoxic-oxic process for leachate treatment, biological nitrogen removal program was verified in terms of SS, COD, and TN concentration. These measured water qualities concentration could be predicted by biological nitrogen removal program with $R^2$ of 0.994, 0.987, 0.990, respectively. No error was occurred between water qualities concentration and quite wide range of water qualities concentration (i.e., 50-4200 mg/L) during the modelling. Each unit and final effluent of simulated concentration was kept good relationship with that of measured concentration therefore this biological nitrogen removal program for sewage or wastewater treatment plants has good reliance.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.12 no.1
• /
• pp.12-19
• /
• 2000

The multi type heat pump system may provide more energy savings and better environmental conditions than the single type heat pump system may do. In order to design a multi type heat pump system, it may be recommended to develop the system simulation program, which can predict the characteristics of the system such as unit capacities, power consumptions, and system COP's. In this study, the steady state simulation program of the multi type heat pump system was developed. The results from the simulation program were compared with those from the experimental tests which were performed in the environmental chamber, Cooling tests show 3.11% and 0.94% of error in capacity and COP, and heating tests show 3.30% and 1.90% of error in capacity and COP, respectively. Therefore, the steady state simulation program developed for this study can effectively be used for the design and the performance prediction of the multi type heat pump system.