• Smart Structures and Systems
• /
• 제11권3호
• /
• pp.283-297
• /
• 2013

An innovative cage for spinal fusion surgery is presented within this work. The cage utilizes shape memory alloy for its hinge actuation. Because of the use of SMA, a smaller incision is needed which makes the cage deployment minimally invasive. In the development of the cage, a model for predicting the torsional behavior of SMAs was developed and verified experimentally. The prototype design of the cage was developed and manufactured. The prototype was subjected to static tests per ASTM specifications. The cage survived all of the tests, alluding to its safety within the body.

• Nuclear Engineering and Technology
• /
• 제29권6호
• /
• pp.433-443
• /
• 1997

In this work, an analytic approach to the dependability of software in the operational phase is suggested with special attention to the hardware fault effects on the software behavior : The hardware faults considered are memory faults and the dependability measure in question is the reliability. The model is based on the simple reliability theory and the graph theory which represents the software with graph composed of nodes and arcs. Through proper transformation, the graph can be reduced to a simple two-node graph and the software reliability is derived from this graph. Using this model, we predict the reliability of an application software in the digital system (ILS) in the nuclear power plant and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in the normal operation phase. We also found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase, especially for the software which is executed frequently. This modeling method is particularly attractive for the medium size programs such as the microprocessor-based nuclear safety logic program.

• Smart Structures and Systems
• /
• 제26권6호
• /
• pp.703-720
• /
• 2020

This paper investigates the safety of the wind turbine blade against excessive deformation. For this purpose, the performance of the blade in the along-wind direction is improved by longitudinal stiffener made of shape memory alloy. The rationale behind the selection of this smart material is due to its ability to offer excellent thermo-mechanical behaviour at low strain. Here, Liang-Roger model is adopted for vibration control, and the super-elastic effects are utilised for blade stiffening. Turbulent wind fields are generated at the hub height using TurbSim and the corresponding loads are evaluated using blade element momentum theory. An efficient switching algorithm is developed along with performance curves that enable the designer to select an optimal mode of heating depending upon the operational scenario. Numerical results presented in this paper clearly demonstrate the performance envelope of the proposed stiffener and its influence on the reliability of the blade.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.337-344
• /
• 2023

리눅스를 비롯한 현대 OS들은 모놀리식 커널디자인을 채택하여 높은 확장성을 보여주지만, 모든 메모리 공간을 공유하기 때문에 취약한 보안을 가지고 있었다. 본 연구는 웹어셈블리를 활용하여 커널 내부에서 격리된 커널 모듈을 제시한다. 웹어셈블리는 메모리 안전성을 보장하면서도 저수준 명령어 집합을 정의하여 높은 성능을 보여주는 가상머신을 제공한다. 본 논문에서는 웹어셈블리 실행환경을 커널 내부에 구현하여 개발자가 커널 모듈의 동작을 제어할 수 있도록 허용하고 더 높은 보안성을 달성하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.188-194
• /
• 2011

The purpose of this paper is to explain the implementation method in order to enhance stability and reliability of embedded system. In this research, Texas Instrument (TI)'s TMS570 MCU(Micro Controller Unit) is used to satisfy the standard of stability that is IEC 61508. IEC 61508 suggest SIL(Safety Integrity Level) from 1 to 4 and TMS570 is satisfied SIL3. Also, TMS570 can provide several stability functions can be used in realtime system. To use such functions, this paper suggest the solution about the defect that can be used in realtime system. In basic way TMR(Triple Modular Redundancy) suggested in addition to explain about the way to improve safety and reliability. Also this paper will suggest the method that reinforce the stability of calculation by using multiplex voter and memory.

• 한국안전학회지
• /
• 제12권1호
• /
• pp.37-43
• /
• 1997

There are two kinds of ground fault diagonosis system(GFD), which are for AC and DC power line. The ground fault current of a DC power line Is, first, analyzed for a description of a GFD system for DC power line and then the construction method of the GFD system, which could be processed and analyzed a ground fault current, are explained. Main functions of the system are that the detected ground fault current could be converted to the line insulation resistance by a program and saved in the system memory continuously. Finally a DC power line insulation safety could be decide by a change of the saved Insulation resistance for a given time. This system can detect the ground fault resistance to 100㏀.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 D
• /
• pp.2557-2560
• /
• 2000

The protection system of the nuclear reactor and chemical reactor are representative of PPC(Plant Protection Controller). This PPC must be designed based on reliability as well as concept of safety, which is a failed system go a way of safe. PPC is consist of part of data acquisition, calculator, communication with redundancy, and a voter is important factor of reliability. Because it is serial connected. This paper presents a Design and Analysis of a Voting Mechanism considering Safety for NMR PPC Using EPLD. In the case of digital implementation a coincidence logic(voter) of PPC, it needs CPU and memory, so increase a number of units. Therefore the failure rate and cost is increased. On the contrary when it is designed EPLD or FPGA.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 1999년도 추계학술대회
• /
• pp.345-354
• /
• 1999

A new type of capacitor named "Super Capacitor" has been developed, in which the properties of electric double layer formed at the interface of activated carbon electrode- liquid organic electrolyte is applied. This capacitor is small In size, light in weight, wide In temperature range(-25~$70^{\circ}C$), large in charge-discharge capability and good in voltage preservation. And this super capacitor is applied as a power back-up for electricity failure in volatile memory devices etc., a power source for a short time and a power source for operating actuators. At present the development of high power back-up types of the capacitor system and improvement of their characteristics are being actively conducted in order to find wider applications.lications.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.40.2-40
• /
• 2001

The protection system of the system communication, nuclear reactor and chemical reactor are representative of reliable system. This reliable system must be designed based on reliability as well as concept of safety, which is a failed system go a way of safe. Reliable system is composed of part of data acquisition, calculator, communication with redundancy, and a voter is important factor of reliability. Because it is serially connected. This paper presents a Design and Analysis of a Voting Mechanism considering Safety for reliable system Using EPLD. In the case of digital implementation a coincidence logic (voter) of reliable system, it needs CPU and memory, so increase a number of units. Therefore the failure rate and cost are increased on contrary when it is designed EPLD or FPGA.

• 한국안전학회지
• /
• 제36권5호
• /
• pp.86-91
• /
• 2021

Calculating the scrutable core damage frequency (CDF) of nuclear power plants is an important component of the seismic probabilistic safety assessment (SPSA). In this work, a simple approach is developed to calculate CDF from minimal cut sets (MCSs) with non-rare events. When conventional calculation methods based on rare event approximations are employed, the CDF of industry SPSA models is significantly overestimated by non-rare events in the MCSs. Recently, quantification algorithms using binary decision diagrams (BDDs) have been introduced to prevent CDF overestimation in the SPSA. However, BDD structures are generated from a small part of whole MCSs due to limited computational memory, and they cannot be reviewed due to their complicated logic structure. This study suggests a simple approach for scrutinizing the CDF calculation based on whole MCSs in the SPSA system analysis model. The proposed approach compares the new results to outputs from existing algorithms, which helps in avoiding CDF overestimation.