• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Journal of the Optical Society of Korea
• /
• v.20 no.1
• /
• pp.70-77
• /
• 2016

This paper proposes an optical system for complex holographic display that enhances the quality of the reconstructed three-dimensional image. This work focuses on a new design for an optical system and the evaluation of the complex holographic display, using a single spatial light modulator (SLM) and a circular grating. The optical system is based on a 4-f system in which the imaginary and real information of the hologram is displayed on concentric rectangular areas of the SLM and circular grating. Thus, this method overcomes the lack of accuracy in the pixel positions between two window holograms in previous studies, and achieves a higher intensity of the real object points of the reconstructed hologram than the original phase-reconstructed hologram. The proposed method provides approximately 30% less NMRS (Normal Root Mean Square) error, compared to previous systems, which is verified by both simulation and optical experiment.

• Journal of the Korean Society of Environmental Restoration Technology
• /
• v.10 no.5
• /
• pp.1-9
• /
• 2007

Local government with abundant natural resources should consider the nature conservation oriented planning process for the sustainable development. With this regard, the aim of this study is to provide a substantial methodology to support the decision-making process to designate the conservation areas. The objectives of the proposed methodology is to conserve natural resources in the local government's territory through quantitatively assessing the values of the natural resources based on various ecological factors such as topography, flora and fauna. In order to test the usability of the method, Gangneung City in Kangwon-Do is selected considering the latest data availability. Based on the assessment process land use of the subjected city could be categorized into 4 levels of conservative area, conservative level 1 area, conservative level 2 area, and conservative level 3 area. Among them, conservative area and conservative level 1 area could be combined as natural resources conservation area and the others could be regarded as buffer and transitional area. Especially conservation area is surrounded by conservation level 2 area. Conclusively, the GIS methods adopted in this could be the efficient illustrative tool to assess the local natural resource values with the central government established nature-environmental information systems.

• Journal of the Korean Society for Precision Engineering
• /
• v.31 no.12
• /
• pp.1077-1083
• /
• 2014

Multi-material Additive Manufacturing (AM) is being focused to apply for direct manufacturing of a product. In this paper, a three-dimensional circuit device (3DCD) fabrication technology based on the multi-material AM technology was proposed. In contrast with conventional two-dimensional Printed Circuit Board (PCB), circuit elements and conducting wires of 3DCD are placed in threedimensional configuration at multiple layers of the structure. Therefore, 3DCD technology can improve design freedom of an electronic product. In this paper, 3DCD technology is proposed based on AM technology. Two types of 3DCD fabrication systems were developed based on the Stereolithography and the Fused Deposition Modeling technologies. And the 3DCD samples which have same function were fabricated, successfully.

• Smart Structures and Systems
• /
• v.26 no.2
• /
• pp.241-251
• /
• 2020

Due to the undeniable importance of approximating the concrete compressive strength (CSC) in civil engineering, this paper focuses on presenting four novel optimizations of multi-layer perceptron (MLP) neural network, namely artificial bee colony (ABC-MLP), grasshopper optimization algorithm (GOA-MLP), shuffled frog leaping algorithm (SFLA-MLP), and salp swarm algorithm (SSA-MLP) for predicting this crucial parameter. The used dataset consists of 103 rows of information concerning seven influential parameters (cement, slag, water, fly ash, superplasticizer, fine aggregate, and coarse aggregate). In this work, the best-fitted complexity of each ensemble is determined by a population-based sensitivity analysis. The GOA distinguished its self by the least complexity (population size = 50) and emerged as the second time-effective optimizer. Referring to the prediction results, all tested algorithms are able to construct reliable networks. However, the SSA (Correlation = 0.9652 and Error = 1.3939) and GOA (Correlation = 0.9629 and Error = 1.3922) performed more accurately than ABC (Correlation = 0.7060 and Error = 4.0161) and SFLA (Correlation = 0.8890 and Error = 2.5480). Therefore, the SSA-MLP and GOA-MLP can be promising alternatives to laboratorial and traditional CSC evaluative methods.

• Asian Pacific Journal of Cancer Prevention
• /
• v.17 no.12
• /
• pp.5047-5056
• /
• 2016

Colorectal cancer (CRC) is a major worldwide health problem owing to its high prevalence and mortality rates. Carcinogenesis in the colon is a multistage and multifactorial process. An imbalance between free radical exposure and anti-oxidant defense systems may leads to oxidative stress and attack of macromolecules which can alter signal transduction pathways and gene expression. Consequently, oxidative damage can lead to cellular dysfunction and contribute to pathophysiological processes in a variety of diseases including CRC. One factor tightly associated with CRC is chronic inflammation, which can be present from the earliest stage of tumor onset. Unpolished rice is an attractive chemoprevention in CRC due to their anti-oxidant and anti-inflammatory activities. The aim of this paper is to review evidence linking oxidative stress and inflammation to CRC and to provide essential background information for understanding future research on oxidative stress and inflammation on CRC. Mechanisms of action of unpolished rice in CRC carcinogenesis are also discussed.

• Journal of Mechanical Science and Technology
• /
• v.20 no.8
• /
• pp.1125-1138
• /
• 2006

The optimal design of the squeeze film damper (SFD) for rotor system has been studied in previous researches. However, these researches have not been considering jumping or nonlinear phenomena of a rotor system with SFD. This paper represents an optimization technique for linear and nonlinear response of a simple rotor system with SFDs by using a hybrid GA-SA algorithm which combined enhanced genetic algorithm (GA) with simulated annealing algorithm (SA). The damper design parameters are the radius, length and radial clearance of the damper. The objective function is to minimize the transmitted load between SFD and foundation at the operating and critical speeds of the rotor system with SFD which has linear and nonlinear unbalance responses. The numerical results show that the transmitted load of the SFD is greatly reduced in linear and nonlinear responses for the rotor system.

• International Journal of Contents
• /
• v.4 no.1
• /
• pp.20-25
• /
• 2008

The development of communication technology and the spread of computers and internet have affected to the field of education. In this paper, we design a learning process with LAMS to make the new education environment which is required in an information age. We made the learning environment with LAMS which develops the learner's algorithmic thinking faculty on some sorting algorithm, especially such as selection sort, bubble sort and insertion sort algorithm. In addition, we analyse the effectiveness of the learning environment. The designed contents were applied to elementary school students' learning and a questionnaire survey was conducted after a learning course. The research of the questionnaire shows that the learning system using LAMS motivates a learner for learning and provides a convenient learning environment.

• Journal of Distribution Science
• /
• v.12 no.3
• /
• pp.43-53
• /
• 2014

Purpose - This study suggested a practical model for super supermarkets (SSMs) and small- and medium-sized stores to grow together. Super centers expanded their business. However, after the retail distribution law was revised in 2009, mutual cooperation between large and small enterprises resulted in social issues and people raised the issue of profitability. Research design, data, and methodology - This study investigated cases of regulation over distribution in Japan, France, and other countries to reveal implications and recommendations. Results - This study demonstrated how SSM and middle and small supermarkets could grow together by franchising and using cooperative society law. Franchising was a mutual growth model whereby the franchiser provided franchisees with large enterprise systems and utilities while franchisees could provide the franchiser with local information. They could thus build trust in each other to facilitate a mutual growth model. Further, the voluntary franchise system's model facilitated the mutual growth model. Conclusions - This study demonstrates that the franchise system and cooperative society could constitute an ideal model whereby large enterprises and middle and small stores could rely upon each other and grow together.

• Korean Management Science Review
• /
• v.34 no.2
• /
• pp.115-123
• /
• 2017

IS audit has been regarded as contributing to the improvement of the quality of information Systems, recently, it has been argued that it is not possible to expect a effectiveness, because it can offset the schedule burden due to the preparation of additional documents for Audit and it affect to the project schedule. The effectiveness and quality criteria of IS audit are different between groups, because IS audit is responsible for checking the results and process of the developer company. In this study, we modeled between IS effectiveness and auditor competence, audit firm competence, IS audit standards. As a result, it was concluded that auditor competence, audit firm competence, IS audit standards have a positive effect on IS audit effectiveness. However, according to the result of comparing between interest groups, audit firm competence and audit standards were significant in auditor group, but audit standard was significant in requesting organization and developing company thought that auditor was a important factor to audit effectiveness.