• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.464-466
• /
• 2019

Controllers used in nuclear power plants require high reliability. A controller including a Field Programmable Gate Array (FPGA) and a Complex Programmable Logic Device (referred to hereinafter as FPGA) has been applied to many Nuclear Power Plants (NPP) in the past, including the APR1400 (Advanced Power Reactor 1400), a Korean digital nuclear power plant. Initially, the FPGA was considered as a general IC (Integrated Circuit) and verified only by device verification and performance testing. In the 1990s, research on FPGA verification began, and until the FPGA became a chip, it was regarded as software and the software Verification and Validation (V&V) using IEEE 1012-2004 was implemented. Currently, IEC 62566, which is a European standard, has been applied for a lot of verification. This method has been evaluated as the most sensible method to date. This is because the method of verifying the characteristics of SoC (System on Chip), which has been a problem in the existing verification method, is sufficiently applied. However, IEC 62566 is a European standard that has not yet been adopted in the United States and maintains the application of IEEE 1012 for FPGA. IEEE 1012-2004 or IEC 62566 is a technical standard. In practice, various methods are applied to meet technical standards. In this paper, we describe the procedure and important points of verification method of Nuclear Safety Class FPGA applying SoC verification method.

• Science of Emotion and Sensibility
• /
• v.25 no.3
• /
• pp.3-14
• /
• 2022

With the increase of video conferencing users and the development of technology, the situations where video conferencing is used and the layout of video conferencing interfaces are diversifying. Social anxiety affects video conferencing communication and is closely related to the self-view function, which is characteristic of video conferencing. The self-view function is part of the video conferencing interface that provides a small preview of one's own camera feed. Self-view is known to degrade work performance and cause fatigue; however, it is set as the default function on video conferencing software in a way that users generally prefer. This study used an online survey to study the effect of task orientation, preferred self-view size, and social anxiety on video feedback preference. Participants responded to questions assessing work orientation, social anxiety level, preferred self-view size, and self-view preference. The results showed that preferred self-view size mediates task orientation and video feedback preference. There was no significant difference in the mediating effect of the preferred self-view size according to the degree of social anxiety. These results offer insights into the interactions between users and video conferencing software and provide information that can be useful for designing video conferencing interfaces.

• Journal of KIISE:Software and Applications
• /
• v.30 no.10
• /
• pp.904-911
• /
• 2003

In this paper, we propose an effective method for the distinction between machine-printed and handwritten Korean address images. It is important to know whether an input image is handwritten or machine-printed, because methods for handwritten image are quite different from those of machine-printed image in such applications as address reading, form processing, FAX routing, and so on. Our method consists of three blocks: valid connected components grouping, feature extraction, and classification. Features related to width and position of groups of valid connected components are used for the classification based on a neural network. The experiment done with live Korean address images has demonstrated the superiority of the proposed method. The correct classification rate for 3,147 testing images was about 98.85%.

• Korean Journal of Human Ecology
• /
• v.21 no.2
• /
• pp.299-314
• /
• 2012

The purpose of this study was to explore effects of pattern alteration using a virtual clothing simulation approach in combination with 3D analysis software. Three raglan sleeves of different patterns were worn by an avatar using virtual clothing simulation with silk and cotton as the test fabrics. It was observed that the silhouette and hemline shape were affected differently based on raglan sleeve pattern and fabric type. By examining clothing pressure distribution, the cotton fabric designs and pattern shapes provided for a variety of influences on armhole and bust regions as well as the back sleeve area. For representative locations, cross section circumstance, cross section area, and volume were measured by using 3D analysis and the resulting correlation between the 2D and 3D data were investigated. Among different fabrics, there was little difference between the 2D and 3D clothing surface area. However, when using 3D analysis, clothing volume was significantly affected by different fabrics and pattern types. By simultaneously adopting the virtual simulator and 3D analysis, quantitative assessment of virtual clothing simulation was successfully conducted. In light of the results of this study, the resulting methodology is expected to be used as a comprehensive evaluation tool for virtual clothing simulation wear testing.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.23 no.10
• /
• pp.885-894
• /
• 2013

In this study, a new hybrid mount with a moving-coil-type electromagnetic actuator is developed to reduce the vibration transmitted from naval shipboard equipment to the ship hull structure. The detailed design of the hybrid mount is determined through several design stages with electromagnetic numerical analysis using Maxwell software. The hybrid mount, which combines a rubber mount with an electromagnetic actuator, has a fail-safe function for shock resistance. The mount is fabricated and tested using a universal testing machine to check the design specifications. Finally, control tests are carried out on the hybrid mount to confirm its performance and applicability.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.829-840
• /
• 2013

This paper proposes a modified RRT (Rapidly exploring Random Tree) algorithm utilizing a heuristic input analysis and suggests a test case generation method from Simulink/Stateflow model using the proposed RRT algorithm. Though the typical RRT algorithm is an efficient method to solve the reachability problem to definitely be resolved for generating test cases of model in a black box manner, it has a drawback, an inefficiency of test case generation that comes from generating random inputs without considering the internal states and the test targets of model. The proposed test case generation method increases efficiency of test case generation by analyzing the test targets to be satisfied at the current state and heuristically deciding the inputs of model based on the analysis during expanding an RRT, while maintaining the merit of RRT algorithm. The proposed method is evaluated with the models of ECUs embedded in a commercial passenger's car. The performance is compared with that of the typical RRT algorithm.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.841-848
• /
• 2013

Nowadays, the finance changes so rapidly that the time period of developing a e-banking system has been shorter. As a result, the risk of developing in the new e-banking system has increased. Therefore financial institutions constantly ask to review the quality test of their system during the project development. However, from the developer's point of view, additional system quality inspection will delay the development time for a new project, so financial investors and developers, because this problem will cause conflict. In order to solve this problem, in this paper define priority that considered characteristics of e-banking system and thereby design range priority decision criteria for efficient code inspection. Even in the e-banking system development, it is expected that using newly designed range of code inspection will allow high efficient quality performance.

• Asian Pacific Journal of Cancer Prevention
• /
• v.14 no.6
• /
• pp.3491-3497
• /
• 2013

Background: Gastric and esophageal cancers are among the most lethal human malignancies worldwide. Of all malignancies estimated in Iran (47,100), gastric and esophageal cancers were responsible for 7,800 and 3,500 deaths in 2008 respectively. The present study aimed to provide an image of patho-epidemiological characteristics with their trends during two past decades with emphasis on topographic, morphologic, and some demographic features. Materials and Methods: In a hospital-based retrospective study in 2009, all pathological reports from esophageal endoscopies and gastric biopsies through a 20 years period (1989-2008) were collected and analyzed in four interval periods(five years each). Also, all eligible samples in hospital archives were enrolled for further testing. Besides, demography, topography and morphology of all samples were determined and analyzed by statistical software. Results: No significant statistical difference was seen in frequency of espohageal and gastric tumors throughout the study. Esophageal cancer cases were older than gastric. Sex ratio was 2.33/1 and men had a higher rate of both esophageal and gastric tumors. Stomach cancer included 64.3% of all cases. Inferior third and end of esophagus were common locations for esophageal tumors whereas proximal stomach was common for gastric tumors. Squamous cell carcinoma and adenocarcinoma were common morphological types of tumors in esophagus and stomach respectively. Conclusions: Morphological trends showed an increase of esophageal adenocarcinoma and diffuse/intestinal ratio in stomach cancers. Trends in incidence from gastric cancer decreased based on topographic studies but we could not find a topographical trend toward cadia.

• Advances in concrete construction
• /
• v.9 no.1
• /
• pp.83-92
• /
• 2020

The use of spliced reinforcing bars in sustainable concrete members to manage inadequate bars length is a common practical issue which is may be due to some limitations. The lap splicing means two bars overlapped in parallel with specified length called the splice length in order to provide the required bond between the two bars. The bond between sustainable concrete and spliced steel bars is another important issue. The normal strength sustainable concrete specimens of sizes 1700×150×150 mm with tension reinforcement lap spliced were selected according to testing device length limitations. These members were designed to fail in flexure in order to investigate the lap spliced tension bars effect. The selected lap spliced tension bars were of 10 mm size with smooth and deformed surfaces in order to investigate the surface nature accompanied with the splice nature. The sustainable concrete mechanical properties and mix workability were also studied. This study reveals that the effect of number of spliced bars on the response of beams reinforced with smooth bars is found to be more obvious than deformed one. Finite element modeling in three dimensions was carried out for the tested beams using ABAQUS software. A parametric study is carried out using finite elements on considering the following parameters, concrete compressive strength, load type and opening in cross section (hollow section) for weight reduction purposes.The laboratory and numerical results show good agreements in terms of ultimate load and deflection with an average difference of 10% and 15% in ultimate load and deflection respectively.

• Journal of Aerospace System Engineering
• /
• v.12 no.3
• /
• pp.70-78
• /
• 2018

This research was carried out to develop an integrated folding wing made from carbon composite materials. Design requirements were reviewed and composite wing sizing was conducted using design optimization with commercial software. Three composite manufacturing processes including hot-press, pultrusion, and autoclave were evaluated and the most suitable processes for the integrated wing fabrication were selected, with consideration given to performance and cost. The determined manufacturing process was verified by two design development tests for selecting the design concept. Stiffness and strength of the composite wing were estimated through structural analyses. The test loads were calculated and static tests about design limit load and design ultimate load were performed using both wings. As a result, the evaluation criterions of the tests were satisfied and structural safety was verified through the series of structural analyses and testing.