• 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 Information Technology Services
• /
• v.11 no.4
• /
• pp.107-121
• /
• 2012

The core infra-technology in the ubiquitous era, RFID which has taken action from the public institution with the pilot projects as well as the practical projects is gradually extending its spectrum to the private enterprises. Along with its expansion, the audit required on the RFID-based information system is also growing in the industry. Especially, since RFID-based information systems, especially compared to other information systems, are likely to be exposed to many threats, the security audit for them is being emphasized. This paper suggests security audit checking items for the RFID-based information system, which can be used to perform the efficient security audit. The security audit checking items consist of eight basic checking items, each of which consists of detailed review items and can be applied for each building steps of the system(analysis, design, implementation, testing, and development). Finally, this paper confirmed the efficiency of the security audit checking items proposed in this paper through survey by the experienced auditors and analysis of practical audit cases.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.316-322
• /
• 2009

The more repetitive, complex and objective the work, the more effective automation is. Code checking is an example of this. Checking building codes through a thick set of drawings is error-prone and time-consuming. In order to overcome this problem, several organizations have initiated efforts to automate building-code checking. Initiated study mainly focused on checking codes for invalidation, required size and crash, and then area of checkable codes have been expanding. But, it has not been considered for codes regarding anti-disaster/egress, which is also issued these days. This study is about how to automatically check codes for anti-disaster and egress based on Korea building codes. The codes can be categorized as five sections: egress way, material/capability, principals of evacuation, evacuation stairway and fire protection partition. To check automatically, there are problems, such as expression of codes for egress and limitation of extractable information from the BIM model. This paper shows what problems exist and assignments to be resolved. Also, current developing processes are presented, and suggestions are made about the direction for the work that remains.

• Journal of the East Asian Society of Dietary Life
• /
• v.25 no.6
• /
• pp.942-951
• /
• 2015

This study compared nutrition knowledge, dietary behaviors, and checking behaviors of food and nutrition labels between Korean and Chinese university students to obtain useful data for development of an education program for healthy dietary life. The data were collected by a self-administered questionnaire in Korea and China. Frequencies, t tests, ${\chi}^2$ tests, Cronbach's ${\alpha}$, and Pearson's correlation coefficient analysis were conducted by SPSS Win. V.21.0. The levels of nutrition knowledge and dietary behaviors were not high. Korean students showed higher percentage of correct answers about nutrition knowledge and levels of dietary behaviors than Chinese students. The means of degree of checking contents of food labels were 3.46 points for Korean students and 3.11 for Chinese students. Both groups of students showed the highest degree of checking milk and dairy products. The degree of understanding nutritive component labeling of Chinese students was higher than that of Korean students. Both groups of students showed higher than normal levels of confidence about nutritive component labeling and necessity of education on food and nutrition labels. The most preferred method of education on food and nutrition labels was broadcast media for both groups of students. In addition, there were significant correlations among nutrition knowledge, dietary behaviors, checking degree of food labels, checking degree of nutritive component labeling, and experience of nutrition education.

• The Korean Journal of Emergency Medical Services
• /
• v.8 no.1
• /
• pp.33-45
• /
• 2004

The study is designed to develop an educational CD-Title for Basic Life Support. The study is conducted from July to December, 2002, Based on the course of program development suggested by Dick and Cray. the study followed the planning, development, education and evaluation of a program. The developed CD-Title consists of 8 parts. 1. Intro include Introduction, Adult CPR, Child CPR, Infant CPR, Adult Foreign-Body Airway Obstruction, Infant Foreign-Body Airway Obstruction, and Exercise in Menu at Right of screen. 2. Introduction consist of death process at cardiac arresst, chain of survival, introduction of CPR, respiratory & ciculatory anatomy and physiology. 3. Adult CPR consist of assessment responsiveness, activating EMS system, position victim, opening a airway, checking for breathing, rescue breathing, checking for sign of circulation, chest compression, 1 person & 2 persion adult CPR video. 4. Child & Infant CPR consist of, causes, assessment responsiveness, position victim, opening the airway, checking for breathing, rescue breathing, checking for sign of circulation, chest compression, activating EMS system, child & infant CPR video. 5. Adult Foreign-Body Airway Obstruction include assessment responsiveness, activating EMS system, position victim, opening a airway, checking for breathing, 2 rescue breathing, reopening the airway, 2 rescue breathing, finger sweep, 5 abdominal thrusts, unresponsiveness adult Foreign-Body Airway Obstruction video. 6. Infant Foreign-Body Airway Obstruction consist of, causes, assessment responsiveness, position victim, opening the airway, checking for breathing, 2 rescue breathing, reopening the airway, 2 rescue breathing, checking foreign-body object in oral cavity of victim, 5 back blow, 5 chest thsusts, activating EMS system, video. 7. 32 exercise consist of 8 Adult CPR, 12 Child & Infant CPR, 5 Adult Foreign-Body Airway Obstruction, 7 Infant Foreign-Body Airway Obstruction. Every part consist of animations to trigger students interests. This CD-Title will be useful education for first responders and lay rescuers.

• 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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• 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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.5
• /
• pp.505-511
• /
• 2003

Production rule based knowledge representation method has many advantages, but has the difficulties in maintaining the consistency of knowledge. Since the consistency maintenance of knowledge exercises a marked effect on the reliability of inference results, the system for consistency maintenance of knowledge is indispensable to increase the reliability. In the most popular pairwise checking method among consistency verification methods, the valuable rules can be omitted and it takes much time in checking the consistency when the rules are numerous. So, this paper is to propose and implement the verification system which can remove the structural errors and semantic ones, making up for the defects of pairwise checking method by using the certain property list and eventual property list and improving the steps of verification.