• Journal of the Korea Society for Simulation
• /
• v.23 no.4
• /
• pp.21-29
• /
• 2014

In general, a simulation project requires much time and money since we should develop a model that works similarly to the system at a level consistent with the project purposes. Therefore, more active research studies are required to reduce the time needed for the modeling process. This is achievable by minimizing the possible trial and error during the model development process through the appropriate conceptual model design and the automated generation of the simulation model. This paper presents a tool automatically generating an Arena model after developing a conceptual simulation model. Because our proposed tool is based on the popular Microsoft Excel and Visio, it is expected to be practically used at many industrial sites. Finally, we showed the effectiveness of the newly suggested tool by applying it to an imaginary simulation project.

• Nuclear Engineering and Technology
• /
• v.50 no.4
• /
• pp.570-581
• /
• 2018

Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safetycritical instrumentation and control systems must be quantified and verified with proper test cases and test environment. In this study, a software testing method using a simulation-based software test bed is proposed. The test bed is developed by emulating the microprocessor architecture of the programmable logic controller used in NPP safety-critical applications and capturing its behavior at each machine instruction. The effectiveness of the proposed method is demonstrated via a case study. To represent the possible states of software input and the internal variables that contribute to generating a dedicated safety signal, the software test cases are developed in consideration of the digital characteristics of the target system and the plant dynamics. The method provides a practical way to conduct exhaustive software testing, which can prove the software to be error free and minimize the uncertainty in software reliability quantification. Compared with existing testing methods, it can effectively reduce the software testing effort by emulating the programmable logic controller behavior at the machine level.

• Journal of the Korean Society for Precision Engineering
• /
• v.27 no.3
• /
• pp.50-57
• /
• 2010

A high precision air bearing stage has been developed and calibrated. This linear-motor driven stage was designed to transport a glass or wafer with the X and Y following errors in nanometer regime. To achieve this level of precision, bar type mirrors were adopted for real time ${\Delta}X$ and ${\Delta}Y$ laser measurement and feedback control. With the laser wavelength variation and instability being kept minimized through strict environment control, the orthogonality of this type of control system becomes purely dependent upon the surface flatness, distortion, and assembly of the bar mirrors. Compensations for the bar mirror distortions and assembly have been performed using the self-calibration method. As a result, the orthogonality error of the stage was successfully decreased from $0.04^{\circ}$ to 2.48 arcsec.

• Journal of Korean Society on Water Environment
• /
• v.21 no.6
• /
• pp.549-563
• /
• 2005

The study was carried out to develop and standardize the analytical method of 1,4-dioxane in water. The National Institute of Environmental Research in Korea has monitored for 1,4-dioxane in water since 1998 and it has been detected in environmental water occasionally. But the environmental pollution and analytical method in water is not well known over the world. The trace analytical method at low-${\mu}/L$ level is prerequisite in order to evaluate the residue of 1,4-dioxane in water. Evaluation of the method was demonstrated by comparing and analyzing with liquid-liquid extraction, solid-phase extraction and purge & trap technique. As a result of experiment by standard solutions and raw samples, the precision and accuracy for three methods were obtained within error rate of about 10%. Therefore, three methods were standardized as official monitoring method in Korea. Also, a convenient and simple liquid-liquid extraction method for the analysis of 1,4-dioxane in water was developed by combined with gas chromatography/mass spectrometry and applied to the water samples in Korea

• International journal of advanced smart convergence
• /
• v.9 no.2
• /
• pp.90-104
• /
• 2020

It is difficult for non-experts to build machine learning (ML) models at the level that satisfies their needs. Deep learning models are even more challenging because it is unclear how to improve the model, and a trial-and-error approach is not feasible since training these models are time-consuming. To assist these novice users, we examined how interactive and explainable feedback while training a deep learning network can contribute to model performance and users' satisfaction, focusing on the data preparation process. We conducted a user study with 31 participants without expertise, where they were asked to improve the accuracy of a deep learning model, varying feedback conditions. While no significant performance gain was observed, we identified potential barriers during the process and found that interactive and explainable feedback provide complementary benefits for improving users' understanding of ML. We conclude with implications for designing an interface for building ML models for novice users.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.5
• /
• pp.62-72
• /
• 1993

The phased array antenna has the ability to perform adaptive sampling by directing the radar beam without inertia in any direction. The adaptive sampling capability of the phased array antenna allows each sampling time interval to be varied for each target, depending on the acceleration of each target at any time. In this paper we design a three dimensional adaptive target tracking algorithm for the phased array radar system with a given set of measurement parameters. The tracking algorithm avoids taking unnecessarily frequent samples, while keeping the angular prediction error within a fraction of antenna beamwidth so that the probability of detection will not be degraded during a track updata illuminations. In our algorithm, the target model and the sampling rate are selected depending on the target range and the target maneuver status which is determined by a maneuver level detector. A detailed simulation is conducted to test the validity of our tracking algorithm for target trajectories under various conditions of maneuver.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.735-745
• /
• 2001

Processors require both intensive and extensive functional verification in their design phase due to their general purpose. The proposed random vector verification method for embedded control RISC cores meets this goal by contributing assistance for conventional methods. The proposed method proved its effectiveness during the design of CalmRISCTM-32 developed by Yonsei Univ. and Samsung. It adopts a cycle-accurate instruction level simulator as a reference model, runs simulation in both the reference and the target HDL and reports errors if any difference is found between them. Consequently, it successfully covers errors designers easily pass over and establishes other new error check points.

• Proceedings of the Korea Electromagnetic Engineering Society Conference
• /
• 2003.11a
• /
• pp.8-12
• /
• 2003

To protect digital communications and broadcasting that are expected to be increasingly used at frequencies above 1GHz, there is a need to determine permissible disturbance limits for frequency bands above 1GHz according to indicates that better correlates with interference level in digital systems. The quality of digital communications is expressed in terms of bit error rate(BER) or throughput. In this regard, it has been reported that degradation of BER or throughput can be estimated from the amplitude probability distribution (APD) of disturbance amplitude. Therefore, if the APD can simply be measured with a high accuracy, APD will be an optimal index for the assessment of interference in digital communications. In this paper, we show that a measurement method using statistic model of APD has compatibility about performance reduction estimation of WLAN. And through approach of this inspection, we propose numeral models about interference effects of peak value and time rate of spurious.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2004.11a
• /
• pp.349-354
• /
• 2004

In accordance with recent culture-advancement and national improvement in conscious level, the desire for cultural life is on increasing, so that it is also increasing tendency toward the planning and construction of large performance hall for the local residents, conducted by the provincial self-governing body. For the sake of a satisfiable acoustic efficiency at the said large performance hall, although it is designed and constructed with application of various methods of simulation from the planning stage, there could be appeared an error of the said simulation and defect occurred in the construction, and due to such reason, a situation unable to fulfill a satisfiable Acoustic efficiency to be generated thereat after opening of the hall. Accordingly, it is able to judge on the part which necessitates for betterment, also the region where acoustically weak, through measurement and evaluation on the acoustic efficiency in the completed performance all, and by its correction as well as supplement thereon based on the afore-mentioned, a performance hall equipped with the supreme acoustic condition could be established.

• Aerospace Engineering and Technology
• /
• v.8 no.2
• /
• pp.92-97
• /
• 2009

Two conventional speed detection methods (Elapsed-time method and Pulse-count method) are analyzed and compared for a high speed motor with digital tacho pulse with non-uniformity. In general, the elapsed-time method usually has better performance than a pulse-count method in case sufficiently high speed clock is used to measure the time difference. But if a tacho pulse non-uniformity exists in the reaction wheel - most of reaction wheel has a certain amount of non-uniformity - the accuracy of the elapsed-time method is degraded significantly. Thus the performance degradation is analyzed with respect to the level of non-uniformity of tacho pulse distribution and an allowable bound is suggested.