• Korean Journal of Adult Nursing
• /
• v.26 no.3
• /
• pp.253-265
• /
• 2014

Purpose: This study was done to develop and evaluate a smartphone application for the medication confirmation of high-alert medications. Methods: A nonequivalent control group non-synchronized design was used for this study. Participants in the treatment group used the application for four weeks. Data were analyzed using descriptive analysis, ${\chi}^2$-test, and t-test for the homogeneity of participants, and a paired t-test for effectiveness in each group with the SPSS 18.0. Results: Stability of medication administration was estimated by knowledge and certainty, ranged from a score of one to three. A correct answer with high certainty was coded as high stability, low certainty regardless of correct answer was coded as a moderate stability, and incorrect answers with high certainty were rated as low stability. There were no differences in 'knowledge of high alert medication', 'Certainty of knowledge', 'stability of medication administration', 'confidence of single checking medication', and 'medication safety activities' between the treatment group and the comparison group. The treatment group reported a greater difference between pretest and post-test in 'certainty of medication knowledge' (t=3.51, p=.001) than the comparison group. Conclusion: Smartphone application for medication confirmation of high-alert medications will provide an important platform for reducing medication errors risk.

• Journal of the Korea Safety Management & Science
• /
• v.10 no.4
• /
• pp.135-143
• /
• 2008

Recently as the testing of fire detector used the testing device for fire detector, there are something the matter in the perception function loss of fire detector, structure and form of the testing device for fire detector. The problem at oxidation of emitting smoke ashes hazardous article part and so on that checking person absorbs be. In this paper the problem or the conventional the examination equipment of fire detectors is analysed and researched. To solve these problems after the theoretical study and design and paint drawing of equipment the prototype of composite examination equipment of fire detectors was made. After compared with the conventional, part that improve of composite examination equipment of fire detectors are verified through the examination. In the future it will be useful the operation state and correct operation time of the fire detectors are measured after the research about the quality of the material and transparency of bellows cover is done.

• Journal of the Korean Society of School Health
• /
• v.21 no.1
• /
• pp.43-51
• /
• 2008

Background: Although school footpaths must guarantee pedestrians’ safety and pleasantness, even facilities installed according to standards provided in “Rules on the Designation and Management of School Zones” are not maintained and managed properly and as a result they are not effective for securing the safety of school footpaths. Purpose: The present study surveyed the physical environment of elementary school footpaths and investigated problems posed by the absence of facilities. Methods: First, the current state of street structure was investigated using maps as well as field surveys, and the current state of street furniture was surveyed by checking if it has been installed and photographing it. In addition, traffic characteristics were investigated by measuring traffic safety while children’s going to school and home, and children’s behaviors on school footpaths were surveyed by observing their behaviors when going to school and home. Result: This study surveyed the installation and state of safety facilities on school footpaths around elementary schools in B City, analyzed items to be improved, and presented materials for reducing accidents among elementary students.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.03a
• /
• pp.871-876
• /
• 2010

When surface Concrete Face Rock fill Dam constructs than existent center core type rock fill dam, it is much prevalent form in domestic these day by quality control of that is profitable and weather condition etc. of coreZone. C.F.R.D is less research about seismic survey(Refractional Seismic Prospectin, Resistivity Prospecting) of levee body than fill dam. Thus as C.F.R.D seismic survey is less, safety of that consist is short most development flue is high reason. That is not checking target of minuteness safety diagnosis and so on by short operation period. Wish to analyze inquiry incidental and difference with center core type dam and acquire C.F.R.D preservation administration upper necessary inquiry condition forward hereafter.

• Journal of the Korean Society of Safety
• /
• v.24 no.6
• /
• pp.150-156
• /
• 2009

The oil pressure switch(OPS) for automobile is very important part to prevent an overheated engine and other problems by checking the operation of an engine oil system and displaying oil signs on a dashboard. OPS is the part that receives various stress caused by temperature, vibration, and corrosion in an engine room. Regarding existing steel OPS cases, there occur field errors due to the rust, and much concern comes from the low anticorrosion caused by CR6+ Free according to the restrictions of heavy metals. Therefore, the study analyzed average life, the failure rate, and reliability through the tests of performance according to temperature changes, mechanical strength, and run-test in order to confirm if the use of the oil pressure switch with Al of anti-corrosion can improves the reliability, instead of the existing steel products.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.719-728
• /
• 2007

Recently the assurance of railroad safety is very important issue in KOREA because there are lots of changes in the railroad industries. The Railway Safety Act was established in order to cope with these changes effectively and prevent the railroad transportation accidents. According to this law, Korea Transportation Safety Authority (KOTSA) has been entrusted with 'Integrated Railroad Safety Audit (IRSA)' and has implemented the safety audit to the railroad operation agencies such as Korea Railroad (KORAIL) and the railroad facility management organization such as the Korea Rail Network Authority (KR Network). The target of IRSA is to establish the effective rail safety management system and to raise the safety level of the railroad operation and facility agencies by checking synthetically their performance of safety duties with sincerity according to the Railway Safety Act. The purpose of this paper is to improve the efficiency of IRSA by the comparative research between IRSA and other similar safety audit system. To study the efficiency of IRSA, we investigated the rail safety audit systems of EU system specially France, England where the big changes have happened for the rail operation concepts and Japan where government entity control the railroad safety. The international standards of Occupational Health & Safety Assessment Series (OHSAS 18001), Quality Management System (ISO 9001) and Guidelines for Quality and/or Environmental Management Systems Auditing (ISO 19011) are investigated.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• pp.313-322
• /
• 2020

The recognition of the risk hazards is a vital step to effectively prevent accidents on a construction site. The advanced development in computer vision systems and the availability of the large visual database related to construction site made it possible to take quick action in the event of human error and disaster situations that may occur during management supervision. Therefore, it is necessary to analyze the risk factors that need to be managed at the construction site and review appropriate and effective technical methods for each risk factor. This research focuses on analyzing Occupational Safety and Health Agency (OSHA) related to risk zone identification rules that can be adopted by the image recognition technology and classify their risk factors depending on the effective technical method. Therefore, this research developed a pattern-oriented classification of OSHA rules that can employ a large scale of safety hazard recognition. This research uses joint reasoning of risk zone Identification and numeric input by utilizing a stereo camera integrated with an image detection algorithm such as (YOLOv3) and Pyramid Stereo Matching Network (PSMNet). The research result identifies risk zones and raises alarm if a target object enters this zone. It also determines numerical information of a target, which recognizes the length, spacing, and angle of the target. Applying image detection joint logic algorithms might leverage the speed and accuracy of hazard detection due to merging more than one factor to prevent accidents in the job site.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.2503-2516
• /
• 2011

According to Railway Safety Act, Korea Transportation Safety Authority (KOTSA) has been entrusted with 'Integrated Railroad Safety Audit (IRSA) and has implemented the safety audit to the railroad operation agencies such as Korea Railroad (KORAIL) and the railroad facility management organization such as the Korea Rail Network Authority (KR Network). The target of IRSA is to establish the effective rail safety management system and to raise the safety level of the railroad operation and facility agencies by checking synthetically their performance of safety duties with sincerity according to the Railway Safety Act. Even though newly introduced IRSA is conducted smoothly, it is necessary to study the methodology and criteria of the state's safety audit system. The purpose of this paper is to improve the efficiency of IRSA by the comparative research between IRSA and other similar safety audit system and to establish the consecutive improvement concept of IRSA. Second purpose is to confirm the effectiveness of IRSA by the analysis of the relationship between audit results and the safety level of the rail operation agencies.

• Proceedings of KOSOMES biannual meeting
• /
• 2005.11a
• /
• pp.191-196
• /
• 2005

The character strings on chips and components are so tiny and numerous that it is a very difficult work for people to perform. In paper, this we propose a mark automatic checking system, which will determine whether chip is wrong-mark or not by recognizing characters on chips. Lots of faulty detection conditions and template matching methods are used to inspect the faulty mark items. The faulty detection classifies conditions as five kinds-darkness, matching, area, broken and branch. A series of experimentation shan that the method proposed here am offer an effective way to determine wrong-mark on chips.