• Journal of Auto-vehicle Safety Association
• /
• v.12 no.2
• /
• pp.14-20
• /
• 2020

This paper presents a vehicle mass and road grade estimator for developing an automated bus. To consider the dynamic characteristics of a bus varying with the number of passengers, the longitudinal controller needs the estimation of the vehicle's mass and road grade in real-time and utilizes the information to adjust the control gains. Discrete Kalman filter is applied to estimate the time-varying road grade, and the recursive least squares algorithm is adopted to account for the constant mass estimation. After being implemented in MATLAB/Simulink, the estimators are evaluated with the dynamic model and experimental data of the target bus. The proposed estimators will be applied to complement the algorithm of the longitudinal controller and proceed with algorithm verification.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.6
• /
• pp.863-869
• /
• 2013

In this paper, we compared and analyzed for safety 1.2m rectangular anchor block and arch-type root anchor block. First, numerical analysis was performed three-dimensional nonlinear method by numerical model test using finite element analysis program "Visual FEA". Then, measure displacement of the surface of the earth after construct each anchor block at 14M electric pole and increase loads through field verification tests for safety evaluation.

• Advances in concrete construction
• /
• v.3 no.2
• /
• pp.113-126
• /
• 2015

Holed-Incrementally Prestressed Concrete (H-IPC) girders are designed using the following new design concepts. At first, web openings reduce the self-weight of the girder, and also diffuse prestressing tendon anchorages. The reduced end anchoring forces decrease the web thickness of the end sections. Additionally, precast technology help to improve the quality of concrete and to reduce the construction period at the site. For experimentally verification, two 50 m full-scale H-IPC girders are manufactured with different concrete strength of 55 MPa and 80 MPa. The safety, stiffness, ductility, serviceability and crack development of H-IPC girder are measured and compared with each other for different strengths. Both girders show enough strength to carry live load and good stiffness to satisfy the design criteria. The experimental result shows the advantages of using high strength concrete and adopting precast girder. The test data can be used as a criterion for safety control and maintenance of the H-IPC girder.

• Journal of the Korean Society of Safety
• /
• v.11 no.2
• /
• pp.143-149
• /
• 1996

We propose an Opto-Digital hybrid fingerprint Identification system based on the binary phase extraction joint transform correlator(BPEJTC) for validation and security yerification. It is shown that since the BPEJTC provides higher peak-to-sidelobe ratio than that of the conventional JTC and does not cause correlation peaks due to intra-class association, this system is well-adaptive to the multiple object environments. Experimental results show that this system has a good performance in the presence of multiple images and the variations of the same person.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• Journal of the Korea Safety Management & Science
• /
• v.17 no.3
• /
• pp.297-306
• /
• 2015

The purpose of this thesis is to contribute in establishing the objectives of government policies through an empirical analysis on the relational characteristics surrounding the self-employed creative enterprises under the current circumstances where the specific empirical studies on the self-employed creative enterprises haven't been performed. According to the result of verification, the social capitals such as reliability, reciprocity and network are necessary due to the characteristics possessed by the self-employed creative enterprises while the reliability between cooperative enterprises is created and the cooperative relationship continues when the enterprises are faithful to their intrinsic activities such as the improvement of productivity rather than the entrepreneur spirit. Such win-win cooperation was eventually shown as having a positive effect on the performance of enterprises.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.446-450
• /
• 2008

Urban transits of metropolises have been used by many citizens due to the merits of environment friendly traffic, mass transportation, safety and scheduled operation. It is very important to keep safety for the increased passengers. When the accidents as like fire occur, rapid evacuation from fire site is one of the most effective methods to decrease casualties. Furthermore, overseas buyers sometimes request the verification results of the passenger evacuation from rolling stock. In this study, algorithm for passenger flow analysis based on DEM(Discrete Element Method) is newly developed and made simulation program package. And, we applied it to the evacuation problem for urban transits. By using the developed program, we compared the simulation results of the effects of the location and size of door and elapsed time qualitatively and quantitatively.

• Journal of the Korean Society of Systems Engineering
• /
• v.14 no.2
• /
• pp.49-57
• /
• 2018

The main objective of this paper is come up with methodology approach for FPGA-based system in verification and validation lifecycle regarding software reliability using system engineering approach. The steps of both reverse engineering and re-engineering are carried out to implement an FPGA-based of safety critical system in Nuclear Power Plant. The reverse engineering methodology is applied to elicit the requirements of the system as well as gain understanding of the current life cycle and V&V activities of FPGA based-system. The re-engineering method is carried out to get a new methodology approach of software reliability, particularly Software Reliability Growth Model. For measure the software reliability of a given FPGA-based system, the following steps are executed as; requirements definition and measurement, evaluation of candidate reliability model, and the validation of the selected system. As conclusion, a new methodology approach for software reliability measurement using software reliability growth model is developed.

• Journal of the Korean Society of Systems Engineering
• /
• v.18 no.1
• /
• pp.58-65
• /
• 2022

An application case of systems engineering (SE) processes for the small unmanned aerial vehicle (UAV) development project, which was funded by the Korean government during June 2017 ~ August 2020, is briefly presented in this paper. From the beginning to the end of the project, SE processes had been applied and managed by simple and intuitive aspects for the small/medium business companies joined with insufficient experiences of SE. And the specific considerations of the processes were focused to the missions of disaster and public safety purposes required from the government, such as identification, patrol, fire, rescue, etc. As a result, the project applied by the tailored SE processes had been rated of a good and higher accomplishment on the final evaluation, and then the related several programs were prepared successively for the other opportunities.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.283-286
• /
• 2010

안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.