• Title/Summary/Keyword: safety verification

Search Result 1,127, Processing Time 0.03 seconds

A Study on the Effect of Integrated Leakage Rate Testing of Containment Vessel due to the Type A Testing Time (격납건물 ILRT 본시험시간이 시험에 미치는 영향에 관한 연구)

  • Kim, Chang-Soo;Moon, Yong-Sig
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.8 no.3
    • /
    • pp.1-6
    • /
    • 2012
  • The containment Integrated Leakage Rate Testing(ILRT) of nuclear power plants in Korea is performed in accordance with NSSC(Nuclear Safety and Security Commission) code 2012-16 and ANSI/ANS 56.8-1994. Nuclear power plants in Korea and the United States are to apply same test criteria, ANSI/ANS 56.8-1994, except type A testing time. NPPs in Korea apply 24 hours according to NSSC code 2012-16, but NPPs in United States apply 8 hours according to 10CFR50 App. J for type A test. So, there are many difficulties in order to perform ILRT in Korea. In this study, I review the impact on the ILRT results and the effect of ILRT due to type A testing time. The future, we will continue study to enhance the test reliability and improve these problems.

Airworthiness Case Study for the Tactical UAV's Flight Control System (전술급 무인항공기 비행제어시스템의 감항인증 사례연구)

  • Choi, Seung Kie;Moon, Jung Ho;Ko, Joon Soo
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.17 no.4
    • /
    • pp.430-435
    • /
    • 2014
  • This paper presents the case study of the airworthiness certification for the flight control system of tactical UAV. Airworthiness regulations for flight characteristics and design and construction based on the STANAG 4671 are selected, and safety assessment is performed. Stall protection on wing level and turning flight criteria, and flap interconnection system failures were analyzed and applied to the flight control system design. The Hardware-in-the-loop simulation including math model, integrated system verification and validation test and failure mode and effects test were also performed and they are used to validate the means of compliance of the proposed airworthiness.

Key Exchange md Key Recovery System in Wireless Communications using Key Escrow (위탁 방식을 이용한 무선 통신 상의 키 분배 및 키 복구 시스템)

  • Joo, Mi-Ri;Won, Dong-Ho
    • The KIPS Transactions:PartC
    • /
    • v.9C no.5
    • /
    • pp.665-670
    • /
    • 2002
  • Wireless communications require the cryptography system which satisfies a opposite purpose as safety and efficiency. In this paper we proposed the efficient key distribution system satisfying in wireless communication using escrow in order to satisfy the requirements. We supplemented the key recovery function to prevent side effects of cryptography and it is possible to check verification. Also, transmitted information is a little so that the system is efficient. The proposed key recovery method can be applicable to various application fields.

The Development Plan on Urban Transit System Standard of RAMS based (RAMS기반의 도시철도시스템 표준규격 개발방향 연구)

  • Lee, Woo-Dong
    • Proceedings of the KIEE Conference
    • /
    • 2007.07a
    • /
    • pp.1179-1180
    • /
    • 2007
  • Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

  • PDF

A Study on the Leakage Inductance in Current Transformers by 3D Integral Methods (3차원 적분법을 이용한 변류기의 누설 인덕턴스에 대한 연구)

  • Lee, Hee-Kab;Park, Yong-Pil;Lee, Sung-Ill
    • Proceedings of the KIEE Conference
    • /
    • 2002.11a
    • /
    • pp.116-118
    • /
    • 2002
  • This paper presents leakage magnetic field and leakage inductance calculations in current transformer by means of 3-D Integral methods. From the distribution diagram of leakage magnetic flux to be analyzed using program called TRACAL 3, it confirms a parallel to the winding axis direction of the leakage flux lines in the air gap between the windings. The leakage inductances $L_{r1}\;and\;L_{r2}$ of the primary and secondary windings were calculated, their values are 4.23 mH and 0.49 mH, respectively. They are also similar to the measured values of the leakage inductances for the experimental verification, 4.06 mH and 0.47 mH.

  • PDF

The Propose to the System Requirement Structure of Rolling Stock System (도시철도 차량시스템 요구사항체계 구축방안에 관한 연구)

  • Lee, Woo-Dong
    • Proceedings of the KIEE Conference
    • /
    • 2005.10c
    • /
    • pp.296-298
    • /
    • 2005
  • Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

  • PDF

Specification, verification, and implementation of an embedded system with SCADE/Lustre (SCADE/Lustre를 이용한 임베디드 시스템의 명세, 검증 및 구현)

  • Song, Gwan-Ho;Sim, Jae-Hwan;Ahn, Young-Jung;Choi, Jin-Young
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.10a
    • /
    • pp.443-448
    • /
    • 2006
  • 본 논문은 safety critical 실시간 반응형 시스템 하에서의 임베디드 소프트웨어 개발에 적합한 방법을 찾기 위해서 여러 가지 정형기법에 대해 논의하고 그 중 하나인 SCADE를 이용해 실제 임베디드 시스템을 직접 명세하고 검증한 후 구현한 내용을 서술한다. 본 논문에서는 data flow synchronous 언어인 Lustre를 소개하고, 소개된 언어가 실시간 반응형 시스템의 검증과 구현에 왜 적합한지를 논의하며, 하나의 시스템을 SCADE를 이용해서 명세하고 검증한 후 구현 한다. 수행된 실험을 통해서 data flow synchronous 언어는 실시간 반응형 시스템의 명세, 구현 그리고 검증에 적합한 언어라는 것을 언급하고, 이 언어의 사용이 복잡한 임베디드 시스템 개발에 효과적으로 사용될 수 있음을 제시한다.

  • PDF

Formal Verification for Business Rule Safety (비즈니스 룰의 안전성을 위한 증명기법)

  • Shin, Yong-Nyuo;Cha, Ree-Seo;Choi, Jin-Young;Bai, Min-O
    • Annual Conference of KIPS
    • /
    • 2001.04a
    • /
    • pp.519-522
    • /
    • 2001
  • 바람직한 비즈니스 룰의 기본은 어디에 어떠한 형태로 구현되더라도 유일하고, 일관적인 모델 이여야 한다는 것이다. 또한 비즈니스 룰 자체의 정립은 의사결정 시스템을 사용함으로써 경영 전략이 바뀌어도 시스템 담당자에게 의뢰할 필요 없이 기획자가 바로 코드 값만 변경시키면 기존의 시스템을 그대로 사용할 수 있을 정도의 유연성을 가지게 된 현실에 비추어 볼 때 매우 요원한 일이다. 즉, 비즈니스 룰은 DRM(Digital Rights Management) 시스템뿐만 아니라 e-CRM을 실현하는 모든 시스템에서 사용되며, 이 비즈니스 룰의 충돌로 인해서 시스템의 작동 여부가 결정될 수 있다. 룰 자체가 자연어로 기술되고 언젠가는 모순을 유발할 가능성이 높기 때문에 먼저 명확한 논리식으로 표현하고 LEGO라는 정형기법 도구를 통해 검증하도록 한다.

  • PDF

Fingerprint Pattern Recognition Algorithm (지문 Pattern 인식 Algorithm)

  • 김정규;김봉일
    • Korean Journal of Remote Sensing
    • /
    • v.3 no.1
    • /
    • pp.25-39
    • /
    • 1987
  • The purpose of this research is to develop the Automatic Fingerprint Verfication System by digital computer based on specially in PC level. Fingerprint is used as means of personal identity verification in view of that it has the high reliability and safety. Fingerprint pattern recognition algorithm is constitute of 3 stages, namely of the preprocessing, the feature extraction and the recognition. The preprocessing stage includes smoothing, binarization, thinning and restoration. The feature extraction stage includes the extraction of minutiae and its features. The recognition stage includes the registration and the matching score calculation which measures the similarity between two images. Tests for this study with 325 pairs of fingerprint resulted in 100% of separation which which in turn is turned out to be the reliability of this algorithm.

Tubular composite beam-columns of annular cross-sections and their design practice

  • Kvedaras, A.K.;Kudzys, A.
    • Steel and Composite Structures
    • /
    • v.10 no.2
    • /
    • pp.109-128
    • /
    • 2010
  • The expediency of using tubular composite steel and concrete columns of annular cross-sections in construction is discussed. The new type space framework with tubular composite columns of multi-storey buildings and its rigid beam-column joints are demonstrated. The features of interaction between the circular steel tube and spun concrete stress-strain states during the concentrical and eccentrical loading of tubular composite members are considered. The modeling of the bearing capacity of beam-columns of composite annular cross-sections is based on the concepts of bending with a concentrical force and compression with a bending moment. The comparison of modeling results for the composite cross-sections of beam-columns is analysed. The expediency of using these concepts for the limit state verification of beam-columns in the methods of the partial safety factors design (PSFD) legitimated in Europe and the load and resistance factors design (LRFD) used in other countries is presented and illustrated by a numerical example.