• Journal of the Korean Society of Safety
• /
• v.34 no.6
• /
• pp.29-37
• /
• 2019

Since construction sites are exposed to outdoor environments, working conditions are significantly dangerous. Thus, wearing of the personal protective equipments such as safety helmet is very important for worker safety. However, construction workers are often wearing-off the helmet as inconvenient and uncomportable. As a result, a small mistake may lead to serious accident. For this, checking of wearing safety helmet is important task to safety managers in field. However, due to the limited time and manpower, the checking can not be executed for every individual worker spread over a large construction site. Therefore, if an automatic checking system is provided, field safety management should be performed more effectively and efficiently. In this study, applicability of deep learning based computer vision technology is investigated for automatic checking of wearing safety helmet in construction sites. Faster R-CNN deep learning algorithm for object detection and classification is employed to develop the automatic checking model. Digital camera images captured in real construction site are used to validate the proposed model. Based on the results, it is concluded that the proposed model may effectively be used for automatic checking of wearing safety helmet in construction site.

• Journal of the Korea Institute of Building Construction
• /
• v.14 no.2
• /
• pp.177-186
• /
• 2014

The gang-form widely used in apartment construction sites has advantages compared to scaffolding in preventing falling accidents. One problem, however, is that safety accidents associated with gang-form works repeatedly occur due to worker carelessness. In this study, hierarchical checking tables are provided to support safety management activities for the gang-form works at the sites. Through a survey of experts and analyses of case studies of construction accidents, 137 safety check items are classified by participant type based on a hierarchical safety check scheme. The applicability and effectiveness of the hierarchical checking tables was evaluated through interviews with experts. It was found that the hierarchical checking tables enabled each gang-form related participant to check his own safety management items, and provided a level-wise structure to site safety management systems.

• Journal of the Korean Society of Safety
• /
• v.8 no.3
• /
• pp.64-72
• /
• 1993

A large prropotion of structural failures are due to human error at the design stage of a structural engineering project, and many of these failures could have been prevented if there had been proper design checking. Analyses of the data from the 6 engineering firms and 24 professional engineer practitioners are shown on diagrams, also applicated for suggested models; overview checking. And then analyzed results of current work in this area, which examine the effects of error magnitude, are compared to the limit data obtained from the surveys. Overview checking only is analyzed of three typical design checking processes; self checking; Independent detailed checking, and overview checking.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2012.05a
• /
• pp.317-318
• /
• 2012

Although installations and usages of gang-form that has advantages of preventing fall disaster, the serious disasters from gang-form occur every year. This research focused on the continuous prevention of disasters in construction of outer wall of apartment working site through step by step safety management worker's checking table. The result is the worker's checking table for safety management in apartment gang-form works, through safety guidelines case studies, interviews with safety management experts and then extracting a check list.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.2
• /
• pp.369-386
• /
• 2020

The purpose of this study is to examine causality closely about the mediating effect of management entity's self-checking between effects that not only mobilization for regular patrol of the relevant administrative agency, but also checking for Preventive Safety Guidance have on fire correspondence. The results of the analysis are as follows: First, not only mobilization for regular patrol of the relevant administrative agency, but also preventive safety guidance all together have been revealed to have an positive effect on management entity's self-checking. Results of these analysis have been revealed that the more not only the number of mobilization for regular patrol of the relevant administrative agency, but also the numbers of preventive safety guidance and fire fighting safety supervisor's self-checking are many, the more capability of not only management entity, but also fire fighting safety supervisor's self checking heighten. Second, not only mobilization for regular patrol of the relevant administrative agency, but also checking investigation for preventive safety guidance have been revealed to have an positive effect on fire correspondence. Results of these analysis have been revealed that the more not only the number for regular patrol of the relevant administrative agency, but also the number of fire fighting safety supervisor's checking times for preventive safety guidance are many, the more fire correspondence for the apartment house are being fulfilled much better. Finally, it has been found that both mobilization for regular patrol of the relevant administrative agency and management entity's self-checking have an effect on fire correspondence. Therefore, the effect that the relevant administrative agency's mobilization for regular patrols and preventive safety guidance, and management entity's self-checking have on fire correspondence was analyzed into what the relevant administrative agency's mobilization for regular patrols and preventive safety guidance is not only significant to do self-checking of management entity at the first stage, but also the relevant administrative agency's mobilization for regular patrols, and preventive safety guidance, and management entity's self-checking have an mediating effect in the relation between influences that have on fire correspondence.

• Journal of Korean Critical Care Nursing
• /
• v.8 no.1
• /
• pp.1-10
• /
• 2015

This study was conducted to examine the relationship among the error risk of high-alert medication, attitudes to single-person checking of medication, and medication safety activities. The participants were 60 nurses working in the intensive care unit. Data were analyzed using descriptive analysis, t-test, analysis of variance, and Pearson's correlation coefficient. The mean scores of the knowledge and certainty of high-alert medication were $0.71{\pm}0.11$ and $2.74{\pm}0.59$, respectively. The mean score of the error risk of high-alert medication was $1.63{\pm}0.24$ and that of attitudes to single checking medication was $3.32{\pm}0.49$. The error risk of high-alert medication had a positive correlation with nurses' attitudes to single checking medication (r = .258, p = .047), which is correlated with the scores for certainty of knowledge (r = .284, p = .028). Based on the results of this study, continuing education for high-alert medication and the development of an accurate protocol for single checking medication are needed to improve the stability of high-alert medication.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.81-90
• /
• 2005

Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2014.11a
• /
• pp.104-105
• /
• 2014

Construction safety inspections come in a wide variety of types. The types of inspection are, 1) a self-checking and a periodical-checking by contractors, 2) a site inspection by Ministry of Land, Infrastructure and Transprt (MOLIT) or licensing organizations and 3) others. In this situation, there are needs to determine fuction of the safty inspection and roll of stakeholders for the inspection to avoid unnecessary duplication and serious omission. The result of this study indicates a guide line for improving of consturcion safety inspection systems as a fundamental research.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.690-693
• /
• 2008

Recently, the trend has been for buildings to become larger and more sophisticated, and this has created safety issues. Because the buildings are big it takes lots of time to check building codes related to anti-disaster and safety manually, and there is the high possibility of making mistakes. Due to these problems, according to a study, 83% of architecture and construction workers believe that an automated code-checking system is needed. This study researches past automated code checking systems and research activity, and using Building Information Model (BIM) technology, determines the feasibility of developing a system to automatically check domestic codes related to egress and anti-disaster. This paper describes the necessity of an automated building code checking system and expected effects. It then reports whether the methods used in previous studies can be deployed in domestic building code checking and discusses problems and limitations. It also suggests an alternative approach. Although this study covers limited codes related to egress, we need to find out what is needed for automatic general code checking system and do further studies for that.