• Journal of the Korea Society for Simulation
• /
• v.32 no.3
• /
• pp.75-91
• /
• 2023

As the business-to-customer (B2C) online market expands after the COVID-19 pandemic, the logistics industry has been constructing automated warehouses to handle multi-product, low-volume logistics. When constructing a logistics automation warehouse, it is crucial to validate that the facility's performance and operational logic are designed to meet the required throughput of the automated warehouse from the system design phase. This study proposes simulation-based validation and optimal alternatives for an H logistics automation warehouse in Iksan, Jeollabuk-do. Firstly, we focused on the box supply and packing processes, which are related to the release process, among the entire logistic processes. Then, we analyzed the potential bottlenecks in the target process and designed and implemented a discrete-event simulation model based on the analysis results. The simulation experiments showed that the facility parameters and operational logic identified in the system design phase did not satisfy the performance requirements of the entire automated warehouse. Additional experiments were conducted to suggest alternatives to meet the system performance requirements by changing the facility parameters and operational logic. We expect that the proposed study will be utilized in the future, not only in the system design phase but also in the system construction phase, for verification purposes to ensure that the construction proceeds according to the design.

• Electronics and Telecommunications Trends
• /
• v.32 no.6
• /
• pp.105-115
• /
• 2017

This paper describes a project - based quality management model that identifies development technologies and codes while at the same time verifying the ability to implement processes that are essential in R & D projects. In order to verify the process implemented in the R & D project implementation, there are review, checking points, and evaluating methods the process performance levels for five processes such as defining requirements which is the beginning stage of system development, testing process which is the completion stage of system development, and project management and peer review process for project management and support in the proposed project-based quality management model. For development technology and code validation, the model included the documented test cases for each requirement by the developer in the requirements definition stage, debugging and testing in the design and implementation stages, static analysis and open source licence verification procedure, and system environment. After applying the model in SW development R&D project for evaluating the process performance, and verifying the development technology and the code, the developers responded that the improvement in the development technique and the code, and upgrade of process performance level for project are more than 10%.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.47 no.2
• /
• pp.11-20
• /
• 2010

In this paper we propose a face detection system which consists of a method of face candidate extraction using skin color and a method of face verification using the feature of facial structure. Firstly, the proposed extraction method of face candidate uses the image segmentation and merging algorithm in the regions of skin color and the neighboring regions of skin color. These two algorithms make it possible to select the face candidates from the variety of faces in the image with complicated backgrounds. Secondly, by using the partial face classifier, the proposed face validation method verifies the feature of face structure and then classifies face and non-face. This classifier uses face images only in the learning process and does not consider non-face images in order to use less number of training images. In the experimental, the proposed method of face candidate extraction can find more 9.55% faces on average as face candidates than other methods. Also in the experiment of face and non-face classification, the proposed face validation method obtains the face classification rate on the average 4.97% higher than other face/non-face classifiers when the non-face classification rate is about 99%.

• Journal of Platform Technology
• /
• v.9 no.3
• /
• pp.24-35
• /
• 2021

High-speed military aircraft shall be able to identify and resolve enemy threats or internal component defects with survival equipment and warning systems to minimize casualties. Warning system is divided into visual method with symbolic display and auditory method with communication equipment, which is superior in that they it has a short response time and does not cause pilot confusion by listening to simple messages. Thus, this paper suggested and evaluated effective design methods of voice/tone warning systems for military aircraft based on a life cycle perspective. Since military aircraft is safety-sensitive, priorities and three properties(Inhibitible, Interruptible, and Deactivatable) were applied to each warning to reflect criticality and urgency. As a result, we confirmed that it took 40ms to play the voice warnings, satisfying all requirements through V model-based development and testing, and improving product reliability.

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

This paper represents a systematic approach aimed at improving the performance of the proportional integral (PI) controller for the Advanced Power Reactor (APR) 1400 Feedwater Control System (FWCS). When the performance of the PI controller offers superior control and enhanced robustness, the steam generator (SG) level is properly controlled. This leads to the safe operation and increased the availability of the nuclear power plant. In this paper, a systems engineering approach is used in order to design a novel PI controller for the FWCS. In the reverse engineering stage, the existing FWCS configuration, especially the characteristics of the feedwater controller as well as the feedwater flow path to each SG from the FWCS, were reviewed and analysed. The overall block diagram of the FWCS and the SG was also developed in the reverse engineering process. In the re-engineering stage, the actual design of the feedwater PI controller was carried out using a genetic algorithm (GA). Lastly, in the validation and verification phase, the existing PI controller and the PI controller designed using GA method were simulated in Simulink/Matlab. From the simulation results, the GA-PI controller was found to exhibit greater stability than the current controller of the FWCS.

• Nuclear Engineering and Technology
• /
• v.54 no.11
• /
• pp.4373-4391
• /
• 2022

Marine reactor systems experience platform movement, and therefore, the system thermal-hydraulic analysis code needs to reflect the motion effect on the fluid to evaluate reactor safety. A moving reactor model for MARS-KS was developed to simulate the hydrodynamic phenomena in the reactor under motion conditions; however, its applicability does not cover the MULTID component used in multidimensional flow analyses. In this study, a moving reactor model is implemented for the MULTID component to address the importance of multidimensional flow effects under dynamic motion. The concept of the volume connection is generalized to facilitate the handling of the junction of MULTID. Further, the accuracy in calculating the pressure head between volumes is enhanced to precisely evaluate the additional body force. Finally, the Coriolis force is modeled in the momentum equations in an acceleration form. The improvements are verified with conceptual problems; the modified model shows good agreement with the analytical solutions and the computational fluid dynamic (CFD) simulation results. Moreover, a simplified gravity-driven injection is simulated, and the model is validated against a ship flooding experiment. Throughout the verifications and validations, the model showed that the modification was well implemented to determine the capability of multidimensional flow analysis under ocean conditions.

• Journal of Astronomy and Space Sciences
• /
• v.28 no.4
• /
• pp.291-298
• /
• 2011

The atmospheric infrared sounder (AIRS) sensor loaded on the Aqua satellite observes the global vertical structure of atmosphere and enables verification of the water vapor distribution over the entire area of South Korea. In this study, we performed a comparative analysis of the accuracy of the total precipitable water (TPW) provided as the AIRS level 2 standard retrieval product by Jet Propulsion Laboratory (JPL) over the South Korean area using the global positioning system (GPS) TPW data. The analysis TPW for the period of one year in 2008 showed that the accuracy of the data produced by the combination of the Advanced Microwave Sounding Unit sensor with the AIRS sensor to correct the effect of clouds (AIRS-X) was higher than that of the AIRS IR-only data (AIRS-I). The annual means of the root mean square error with reference to the GPS data were 5.2 kg/$m^2$ and 4.3 kg/$m^2$ for AIRS-I and AIRS-X, respectively. The accuracy of AIRS-X was higher in summer than in winter while measurement values of AIRS-I and AIRS-X were lower than those of GPS TPW to some extent.

• Journal of Sensor Science and Technology
• /
• v.26 no.4
• /
• pp.274-279
• /
• 2017

LCD(Liquid Crystal Display) panel cutting problem is a sort of two dimensional cutting stock problem. A cutting stock problem is problem that it minimizes the loss of the stock when a stock is cut into various parts. In the most research of the two dimensional cutting stock problem, it is supposed that the relative angle of a stock and parts is not important. Usually the angle is regarded as horizontal or perpendicular. In the manufacturing of polarizing film of LCD, the relative angle should be maintained at some specific angle because of the physical and/or chemical characteristics of raw material. We propose a mathematical model for solving this problem, a two-dimensional non-Guillotine cutting stock problem that is restricted by an arranged angle. Some example problems are solved by the C++ program using ILOG CPLEX classes. We could get the verification and validation of the suggested model based on the solutions.

• Journal of Korea Society of Industrial Information Systems
• /
• v.23 no.1
• /
• pp.53-63
• /
• 2018

In this paper, we analyze the waiting time of a queueing system with D-BMAP (discrete-time batch Markovian arrival process) and D-policy. Customer group or packets arrives at the system according to discrete-time Markovian arrival process, and an idle single server becomes busy when the total service time of waiting customer group exceeds the predetermined workload threshold D. Once the server starts busy period, the server provides service until there is no customer in the system. The steady-state waiting time distribution is derived in the form of a generating function. Mean waiting time is derived as a performance measure. Simulation is also performed for the purpose of verification and validation. Two simple numerical examples are shown.

• Nuclear Engineering and Technology
• /
• v.45 no.5
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.