• Nuclear Engineering and Technology
• /
• v.54 no.3
• /
• pp.948-958
• /
• 2022

Since reliability and security of man-machine system increasingly depend on reliability of human, human reliability analysis (HRA) has attracted a lot of attention in many fields especially in nuclear engineering. Dependence assessment among human tasks is a important part in HRA which contributes to an appropriate evaluation result. Most of methods in HRA are based on experts' opinions which are subjective and uncertain. Also, the dependence influencing factors are usually considered to be constant, which is unrealistic. In this paper, a new model based on Dempster-Shafer evidence theory (DSET) and fuzzy number is proposed to handle the dependence between two tasks in HRA under uncertain and dynamic situations. First, the dependence influencing factors are identified and the judgments on the factors are represented as basic belief assignments (BBAs). Second, the BBAs of the factors that varying with time are reconstructed based on the correction BBA derived from time value. Then, BBAs of all factors are combined to gain the fused BBA. Finally, conditional human error probability (CHEP) is derived based on the fused BBA. The proposed method can deal with uncertainties in the judgments and dynamics of the dependence influencing factors. A case study is illustrated to show the effectiveness and the flexibility of the proposed method.

• Transactions on Control, Automation and Systems Engineering
• /
• v.4 no.3
• /
• pp.195-198
• /
• 2002

In this note, we suggest a new matching condition and extend the stability analysis to the ultimate boundness of state $\chi$(t) for uncertain input-delay systems, using a sliding control with delay compensation.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.1 no.4
• /
• pp.399-404
• /
• 2012

In this paper, a stator-separated axial flux-switching hybrid excitation synchronous machine (SSAFHESM) is presented, of which the structure and operational principle are introduced. The magnetic field distribution under different excited currents is analyzed, and some characteristics including flux-linkage, EMF and field control ability are studied by finite element analysis (FEA). Tests are carried out on a 12/10-pole prototype machine to validate the analysis results, and an excellent agreement is obtained.

• Journal of Mechanical Science and Technology
• /
• v.14 no.6
• /
• pp.666-674
• /
• 2000

Large deflection dynamic responses of laminated composite cylindrical shells under impact are analyzed by the geometrically nonlinear finite element method based on a generalized Sander's shell theory with the first order transverse shear deformation and the von-Karman large deflection assumption. A modified indentation law with inelastic indentation is employed for the contact force. The nonlinear finite element equations of motion of shell and an impactor along with the contact laws are solved numerically using Newmark's time marching integration scheme in conjunction with Akay type successive iteration in each step. The ply failure region of the laminated shell is estimated using the Tsai- Wu quadratic interaction criteria. Numerical results, including the contact force histories, deflections and strains are presented and compared with the ones by linear analysis. The effect of the radius of curvature on the composite shell behaviors is investigated and discussed.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.2
• /
• pp.63-68
• /
• 2020

In this study, we analyzed a cold draw (CD) bar packaging automation facility to examine its structural safety. The structural analysis focused on the frame part of the automatic packing machine for the CD round rod widely used in the industrial field, as well as the package supply device, banding suit, and crane part. As a result, we concluded that the structural safety for the banding suit, crane, and package supply device have been secured (safety factors of 9.8, 7.5, and 14.5, respectively). In addition, the safety factor of the transfer was 4.0.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.24 no.2
• /
• pp.166-171
• /
• 2015

In this study, an automation tool was developed for rapid evaluation of machine tool spindle designs with automated three-dimensional finite element analysis (3D FEA) using solid elements. The tool performs FEA with the minimum data of point coordinates to define the section of the spindle shaft and bearing positions. Using object-oriented programming techniques, the tool was implemented in the programming environment of a CAD system to make use of its objects. Its modules were constructed with the objects to generate the geometric model and then to convert it into the FE model of 3D solid elements at the workbenches of the CAD system using the point data. Graphic user interfaces were developed to allow users to interact with the tool. This tool is helpful for identification of a near optimal design of the spindle based on, for example, stiffness with multiple design changes and then FEAs.

• 제어로봇시스템학회:학술대회논문집
• /
• 1998.10a
• /
• pp.367-372
• /
• 1998

In this paper, the mathematical model of a cut with an inverted flexible beam and a concentrated tip mass was derived. The characteristic equation for calculating the natural frequencies of the cart-beam-mass system was obtained and the motion of the system was analyzed through unconstrained modal analysis. A good positioning response of the cart without excessive vibrational motion of the tip mass could be obtained through numerical simulation using PID controller with the feedback of both the position of the cart and the deflection of the beam.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2021.11a
• /
• pp.198-199
• /
• 2021

After the outbreak of COVID-19, the construction industry, which has more contact between workers than other industries, needs to improve its environment through the technology development for automation of construction projects. This study conducted 5-point scale surveys of 39 candidate technologies on 54 workers in construction- related industries to derive priorities for technology development to improve the construction environment. The result of this survey shows the top 10 candidate technology priorities, and this analysis can be used as basic data for setting the direction for future construction development.

• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• Journal of Korean Library and Information Science Society
• /
• v.30 no.1
• /
• pp.1-29
• /
• 1999

This study intends to identify the current situations, and, to investigate the major problems of academic library automation in South Korea. Emphasis was on the quality evaluation of the present library automation systems from the perspectives of both librarians and end-users. Three most representative automation systems were chosen for a comparative analysis: Seoul National University's SOLARS, Postech's LINNET, and Pusan National University's PULIP. Each automation system was analyzed and compared [no another in terms of the development history, the system functions, and, the strength and weakness. The final suggestion includes the philosophy and strategies for the future development of academic library automation systems.