• Journal of Biomedical Engineering Research
• /
• v.22 no.3
• /
• pp.269-273
• /
• 2001

Proper determination of pacing threshold is important for patient safety and pacemaker longevity. In general, cardiac muscle contractions caused by pacing pulses are verified by observing the morphology of surface ECG displayed on a monitor. In this study, a method of automatic pacing threshold determination based on morphological difference between intrinsic and paced ECGs was developed. First, characteristics of intrinsic ECG and paced ECG were analyzed in time and frequency domain and a proper discrimination parameter was extracted. Then, the automatic capture verification method based on the parameter was developed and applied to 23 pacemaker patients. The selected parameter was the area of ventricular depolarization wave during 80ms after pacing stimulus. It was found that the method was reliable and effective in identifying paced ECG and, thereby, determing a proper pacing threshold.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.499-504
• /
• 1996

Current Probabilistic Safety Assessment (PSA) techniques are not usually utilized for day-to-day applications in nuclear power plants. The major reason for this anomaly is the complexity of plant models developed for PSA studies and the multitude of resulting fault trees. This impediment can be overcome by the use of simplified plant models. However, oversimplified models usually result in loss of valuable information and therefore. simplification approaches have to be used judiciously in order to achieve accurate and meaningful results. For this reason. development of an appropriate simplification approach must be performed using extreme caution followed with results verification in sequence as well as system levels. If there are no significant differences between the simplified and the original models, the simplified model can be efficiently used in the application of the PSA. This paper presents a methodology for how to develop a suitable simplification technique and the results of its verification for sample systems and sequences. The results show that the utilization of simplified plant models will significantly reduce the number of fault trees with no significant loss of accuracy.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.05a
• /
• pp.134-137
• /
• 2006

In this paper, performance verification of connection between bridge rail and FRP decks are performed by static test. Also, the effect of flexible bridge rail failure to behavior of FRP deck are examined. Commercial products of flexible bridge rail are applied to test specimen, and 6 types of FRP deck-to-bridge rail connection system are considered. By the test results, 6 types of connection system by the connection method have similar structural capacity and have enough safety margin. Therefore, it is determined that 6 kinds of bridge rail considered in this study can be applied to bridge effectively by the cases of bridge field condition.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2010.05a
• /
• pp.33-36
• /
• 2010

The attention in construction Automation is getting higher since it could be the answer to the lack of skilled labor by decrease in construction population and aging which adversely affects productivity and quality in the construction site. We are on the way to develop a construction automation system adequate for domestic circumstances in Korea; it is called RCA(Robotic-crane based Construction Automation)system. Climbing hydraulic robots system is a part of RCA system and makes Construction factory(CF) climb through the guide rail on the core wall. The safety of climbing hydraulic robots system is at issue due to the overloaded weight of CF. Preventing this issue, present study did the design verification through the structural analysis and the simulation. Mock-up test also was done to analyze the drive performance of climbing hydraulic robots system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.153-154
• /
• 2012

바디 센서 시스템 환경이란 사용자가 서기, 걷기, 뛰기 등의 행위를 통해 주기적으로 상황이 변하는 동적 환경이다. 이와 같은 시스템에서는 크기가 작고 저전력을 요구하는 센서가 탑재되기 때문에 효율적인 알고리즘을 적용하는 것은 매우 중요한 일이다. 모델체커는 최근 소프트웨어 모델 (Model)을 검증하는 도구로써 주어진 모델과 속성값을 통해 해당 모델의 검증 (Verification) 결과가 참인지 거짓인지 판별해 준다. 본 논문에서는 효율적인 바디 센서 시스템 구축을 위해 서기, 걷기, 뛰기라는 환경에서 개별적으로 동작되는 알고리즘을 모델링 하고 LTL(Linear Temporal Logic) 로 속성을 명세하여 NuSMV 모델 체커를 통해 해당 모델의 Safety와 Liveness를 검증한다.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.21 no.2
• /
• pp.31-38
• /
• 2022

Recently, the development of offshore wind farms based on past technical experiences from onshore wind turbine installations has become a worldwide issue. This study investigated the technical issues related to offshore wind farms and large-diameter monopiles from an economic perspective. In particular, the monopile foundation system (MFS), which is the most important part of the proposed fast construction system, is applied for the first time in Korea, and structural verification is essential because it supports large-diameter monopiles and is in charge of excavation. Therefore, in this study, a rapid construction system for large offshore wind power generators was introduced, and stability verification was performed through the structural analysis of the MFS.

• Journal of Energy Engineering
• /
• v.17 no.1
• /
• pp.23-30
• /
• 2008

The neutron kinetic analysis methods for the molten-salt reactors are quite different from those for conventional solid-fuel reactors, which do not take into account the flowing-fuel-induced neutronics effects. Therefore, for dynamics and safety analyses of the molten-salt reactor systems, the conventional kinetics codes would not be appropriate to accurately predict its transient behaviors. A point-kinetics with flowing- fuel model has been used to assess the fluid-fuel reactor system safety, but recognized as not to be sufficient to simulate spatial distributions of delayed-neutron precursors and neutron populations during transients for given detail reactor models. In order to meet this requirement, AMBIKIND, a 2-group, 2-dimensional neutron kinetics code suitable for the molten-salt reactor systems was developed. This paper explains the code's theoretical and numerical descriptions and, as a part of its verification, includes some simulation results of MSRE stability experiments. Even though the present reactor model does not include the recirculation effect of the fuel-salt through the reactor system, the AMBIKIN2D code should be able to predict the power and phase shift at various power levels and reactivity insertions with better accuracy.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.36 no.4
• /
• pp.251-257
• /
• 2023

This study entailed an investigation of a tensile stress measurement method for prestressed concrete (PSC) tendons by utilizing external magnetization. The target of this study are PS structures that have been constructed and in use. An optimal external magnetization based elasto-magnetic (EM) sensor was designed using finite element analysis considering various factors, such as coil arrangement and size, that could influence the PS tendons inside the PSC girder. The residual tensile stress resulting from the external magnetization of the girder was then determined. Further, theoretical verification was performed using the numerical and material data used in the finite element analysis for sensor design. The calculated values of strength of magnetization at the target location were matched with the finite element analysis results. Thus, the designed sensor and the feasibility of magnetizing the tendons inside the PSC I-girder using an EM sensor were validated.

• Korean Journal of Environmental Agriculture
• /
• v.34 no.2
• /
• pp.111-119
• /
• 2015

BACKGROUND: Ethychlozate (ECZ) is a plant growth regulator of synthetic auxin for agricultural commodities (ACs). Accurate and sensitive method to determine ECZ in diverse ACs on global official purpose is required to legal residue regulation. As the current official method is confined to the limited type of crops with poor validation, this study was conducted to improve and extend the ECZ method using high-performance liquid chromatography (HPLC) in all the registered crops with method verification. METHODS AND RESULTS: ECZ and its acidic metabolite (ECZA) were both extracted from acidified samples with acetone and briefly purified by dichloromethane partition. ECZ was hydrolyzed to form ECZA and the combined ECZA was finally purified by ion-associated partition including hexane-washing. The instrumental quantitation was performed using HPLC/ FLD under ion-suppression of ECZA with no interference by sample co-extractives. The average recoveries of intra- and inter-day experiment ranged from 82.0 to 105.2% and 81.7 to 102.8%, respectively. The repeatability and reproducibility for intra- and inter-day measurements expressed as a relative standard deviation was less than 8.7% and 7.4%, respectively. CONCLUSION: Established analytical method for ECZ residue in ACs was applicable to the nation-wide pesticide residues monitoring program with the acceptable level of sensitivity, repeatability and reproducibility.