• Title/Summary/Keyword: Safety-net

Search Result 1,473, Processing Time 0.029 seconds

STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW

  • Kim, Yun Goo;Seong, Poong Hyun
    • Nuclear Engineering and Technology
    • /
    • v.44 no.8
    • /
    • pp.929-938
    • /
    • 2012
  • The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

Catching efficiency of a shrimp beam trawl according to the length of beam and wing net and its influence on the hauling work (새우조망 어구의 막대 (빔)와 날개그물 길이에 따른 어획성능과 양망 작업에의 영향)

  • Park, Hae-Hoon
    • Journal of the Korean Society of Fisheries and Ocean Technology
    • /
    • v.50 no.3
    • /
    • pp.396-406
    • /
    • 2014
  • Shrimp beam trawl fishery is one of the important coastal fisheries in Korea. It has a regulation to the length of beam (8m) and wing net (7m) of shrimp beam trawl that has been used in the district of Junlanam-do and Gyungsangnam-do. This regulation was made in relation to the size of shrimp beam trawler of 3-ton class at that time. Now the shrimp beam fishing vessel has a limit not greater than 5 tons in gross ton. Recently, with improvement of fishing industry and fishing vessel fishermen asked the expansion of the length of beam and wing net, therefore it is necessary to investigate the effect of lengthening the beam and wing net length. Three different beams (8m, 10m and 12m in length) and three different wing net (7m, 10m and 13m in length) were made and the experiment was conducted near Narodo of Goheng by two fishing vessels of 4.98 and 4.88 tons in gross ton between June 2011 and October 2012. When the length of wing net was increased from 7m to 10m and 13m, the relative catch ratio in total biomass was increased 25% and 79% for shrimp, (17% and 22% in total), respectively. And when the beam length was increased from 8m to 10m and 12m, the relative catch ratio was increased 35% and 84% for shrimp, (21% and 37% in total), respectively. The force exerted to the iron guide of inhauler's with the beam length of 8m was about 30% greater than that with the beam length of 10m when hauling the shrimp beam trawl net.

- A Study on Development of Safety Diagnostic valuation of the City-gas Facilities Using AHP - (AHP를 활용한 도시가스 산업시설의 안전진단평가표 개발에 관한 연구)

  • Yang Kwang Mo;Jun Hyun Jong;Kang Kyong Sik
    • Journal of the Korea Safety Management & Science
    • /
    • v.6 no.4
    • /
    • pp.25-37
    • /
    • 2004
  • Safety diagnostic indicator pointer can divide by greatly two. One is management (Software) side that one that differ with mechanical (Hardware) side that handle laying stress on equipment connected with safety manages organization and management connected with safety. Weight appropriates according to specific gravity that relevant element occupies in facilities. To give so big value in particular element in grant of weight pays attention because break balance of whole guideline and should gives. Finally, efficient safety net may see effect before self-regulation inside by minimum target establishment using AHP by government and legal, systematic countermeasure establishment for this, strict law application and each business proprietor and though activity and user's active safety activity forms harmony properly.

A Study on Introduction & Application of Occupational Health & Safety Management System for Construction Industry (건설업에 대한 안전보건경영시스템(OHSMS)도입 및 적용에 대한 사례 연구)

  • Jang Bong Jeong;Kang Kyong Sik
    • Journal of the Korea Safety Management & Science
    • /
    • v.7 no.1
    • /
    • pp.25-44
    • /
    • 2005
  • Safety management cost, $US\$$ one thousand billion has been input to the construction area from 1995 to 2000 but the management quality is still in the developing country level. The above mentioned increase of accident rate are attributed to the generous code regulation, net fit to the sense, varying with time change, but the more fundamental reason of this is no practical construction safety management system, up to now. Hardware-orienting operation for the system could be a main reason of this problem. In this paper, we developed a model for efficient construction safety system. It was found from the case study that the A Study on Introduction Application of Occupational Health & Safety Management System for Construction Industry.

In the Digital Big Data Classroom Reality and Application of Smart Education : Learner-Centered Education using Edutech (디지털 빅데이터 교실에서 스마트교육의 실제와 활용 : 에듀테크를 활용한 학습자 중심 교육)

  • Kim, Seong-Hee
    • Journal of Korea Entertainment Industry Association
    • /
    • v.15 no.4
    • /
    • pp.279-286
    • /
    • 2021
  • In this study, we looked at the appearance of Edutech, which is being put into the educational field after Corona 19, with the advent of the 4th industrial revolution. In the era of the 4th industrial revolution, the infrastructure, data, and service of Smart Stick that actively utilized ICT became the main pillars of smart education. In particular, smart education is being implemented through e-learning, smart learning, and edutech, and on this basis, it has become possible through the expansion and use of the Internet and computers, the dissemination of smart devices, and a software foundation using big data. Based on this, it was confirmed that Edutech is being implemented through the establishment of a quarantine safety net, a learning safety net, and a care safety net for individual learners and safe life based on artificial intelligence. Lastly, in order for edutech education using big data to become a discourse for everyone, it is necessary to consider artificial intelligence and ethics in the use and application of edutech.

Efficient Tire Wear and Defect Detection Algorithm Based on Deep Learning (심층학습 기법을 활용한 효과적인 타이어 마모도 분류 및 손상 부위 검출 알고리즘)

  • Park, Hye-Jin;Lee, Young-Woon;Kim, Byung-Gyu
    • Journal of Korea Multimedia Society
    • /
    • v.24 no.8
    • /
    • pp.1026-1034
    • /
    • 2021
  • Tire wear and defect are important factors for safe driving condition. These defects are generally inspected by some specialized experts or very expensive equipments such as stereo depth camera and depth gauge. In this paper, we propose tire safety vision inspector based on deep neural network (DNN). The status of tire wear is categorized into three: 'safety', 'warning', and 'danger' based on depth of tire tread. We propose an attention mechanism for emphasizing the feature of tread area. The attention-based feature is concatenated to output feature maps of the last convolution layer of ResNet-101 to extract more robust feature. Through experiments, the proposed tire wear classification model improves 1.8% of accuracy compared to the existing ResNet-101 model. For detecting the tire defections, the developed tire defect detection model shows up-to 91% of accuracy using the Mask R-CNN model. From these results, we can see that the suggested models are useful for checking on the safety condition of working tire in real environment.

Design of Integrated Reduction Platform for Food Contaminants Derived from the Environment through Interagency Collaboration in Korea (환경유래 식품오염물질의 범부처 통합 저감화 플랫폼 설계)

  • Ko, Ahra;Heo, Ji-Young;Kang, Young-Woon;Kang, Kil Jin;Chung, Myung-Sub;Lee, Hunjoo
    • Journal of Environmental Health Sciences
    • /
    • v.43 no.4
    • /
    • pp.307-313
    • /
    • 2017
  • Objectives: Chemicals derived from various environment media contaminates food across the food supply chain. In Korea, levels of contaminants in food have been sporadically measured by monitoring programs of different government agencies. There is difficulty with data compilation and integrated analysis across media. Therefore, the aim of this study was to propose an overall integrated database and analytical platform design for the 'ECO-FOOD NET (Environmental COntaminant reduction platform for FOOD through an interagency collaboration NETwork)', a tool to support the reduction of environmental contaminants in food. Methods: We developed a new data structure and standardized protocols for the compilation of integrated data. In addition, we conducted subject-oriented logical and physical relational database modeling and created the architecture design of the platform. Results: We established a standardized code system related to exposure media and route, analysis method and food matrix. In addition, we designed the seven software modules of 'About the System', 'Introduction to Interagency Work', 'Media-Chemicals Profiles', 'Method Bank', 'Monitoring Data Base', 'Integrated Media Analysis', and 'Risk-Benefit Analysis'. Conclusions: This study will contribute to decision-making as a tool for executing risk management, such as sustainable reduction policies of contaminants in food.

NUCLEAR REGULATORY RESEARCH IN KOREA: ACHIEVEMENTS AND FUTURE DIRECTION

  • Ryu, Yong-Ho
    • Nuclear Engineering and Technology
    • /
    • v.41 no.4
    • /
    • pp.403-412
    • /
    • 2009
  • For efficient and effective nuclear regulation, regulatory organizations must establish consistent and rigorous regulatory positions on safety matters. These positions should be based on high technical expertise and relevant ordinances, standards, and guidelines reflecting policy changes governing nuclear regulations. The Korea Institute of Nuclear Safety, a regulatory expert organization in Korea, has developed regulatory requirements, guidelines and analytical tools that provide regulatory technical bases for ensuring nuclear safety. The nuclear regulatory research also contributes to regulatory decision making by providing resolution for current and future safety issues. In this article, we introduce nuclear regulatory research and its main achievements in the past 10 years. Also, suggested here are future directions of nuclear regulatory research.

A FEASIBILITY STUDY ON THE ADVANCED PERFORMANCE INDICATOR CONCEPT FOR IMPROVING KINS SAFETY PERFORMANCE INDICATORS (SPI)

  • Lee, Yong-Suk;Cho, Nam-Chul;Chung, Dae-Wook
    • Nuclear Engineering and Technology
    • /
    • v.43 no.2
    • /
    • pp.105-132
    • /
    • 2011
  • The concept of improved performance indicators (PIs) for use in the KINS Safety Performance Indicator (SPI) program for reactor safety area is proposed in this paper. To achieve this, the recently developed PIs from the USNRC that use risk information were investigated, and a feasibility study for the application of these PIs in Korean NPPs was performed. The investigated PIs are Baseline Risk Index for Initiating Events (BRIIE), Unplanned Scrams with Complications (USwC), and Mitigating System Performance Index (MSPI). Moreover, the thresholds of the existing safety performance indicators of KINS were evaluated in consideration of the risk and regulatory response to different levels of licensee performance in the graded inspection program.

Measurement of safety rods reactivity worth by advanced source jerk method in HWZPR

  • Nasrazadani, Z.;Ahmadi, A.;Khorsandi, J.
    • Nuclear Engineering and Technology
    • /
    • v.51 no.4
    • /
    • pp.963-967
    • /
    • 2019
  • Accurate measurement of the reactivity worth of safety rods is very important for the safe reactor operation, in normal and emergency conditions. In this paper, the reactivity worth of safety rods in Heavy Water Zero Power Reactor (HWZPR) in the new lattice pitch is measured by advanced source jerk method. The average of the results related to two different detectors is equal to 29.88 mk. In order to verify the result, this parameter was compared to the previously measured value by subcritical to critical approach. Different experiment results are finally compared with corresponding calculated result. Difference between the average experimental and calculated results is equal to 2.2%.