• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.457-466
• /
• 1999

원자력 발전소 계측 제어 시스템, 의료 관련 시스템, 항공 관련 시스템 등 실생활과 밀접한 시스템에 소프트웨어의 사용이 점차 증가하고 있다. 이러한 시스템에서 소프트웨어의 오류는 예기치 않는 사고를 유발하여 인명, 재산상의 심각한 타격을 줄 수 있다. 그러므로 고신뢰도 소프트웨어의 개발 시에는 반드시 시스템의 안전성을 보장해 주어야 한다. 역방향 안전성 분석 방법은 시스템의 안전성을 분석하는 한가지 방법으로서 시스템의 위험 상태를 정의하고 그 위험의 원인들을 추적, 분석함으로써 안전성에 대한 효율적인 분석을 수행할 수 있는 장점을 갖는다. 이 논문에서는 소프트웨어 개발 초기 단계에서 안전성을 분석할 수 있는 방법으로 Colored Petri Nets(CPN)에 기반을 둔 역방향 안전성 분석 방법을 제시한다. 또한 CPN 역방향 안전성 분석 도구인 SAC(Safety Analyzer for CPN)의 설계 및 구현에 대해 언급한다. SAC은 기존의 상용 CPN 모델링 도구인 Design/CPN과 연계하여 사용될 수 있으므로 CPN으로 모델링된 시스템의 안전성을 분석할 수 있다는 장점이 있다. 이 논문에서는 예제로 자동 교통 제어 시스템의 일부를 CPN으로 모델링하고 SAC을 이용한 분석 과정을 기술한다.Abstract In safety-critical systems such as nuclear power plants, medical machines, and avionic systems which are closely related with our livings, the usage of software in the controlling part is growing rapidly. Since software errors in safety-critical systems may cause serious accidents leading to financial or human damages, system safety should be ensured during and after development of a system. A backward safety analysis technique defines system hazards and tries to trace their causes by analyzing system states backward. In this paper, we provide a backward safety analysis technique based on Colored Petri Nets(CPN), which is applicable to the early software development phase. Also Safety Analyzer for CPN(SAC), the supporting tool, is designed and implemented. Since SAC is compatible with Design/CPN, a commercial tool for supporting CPN, it can be applicable to analyze safety in practical problems. As an example, we model a part of the traffic light control system using CPN and analyze safety properties of the model using the SAC tool.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

• Spatial Information Research
• /
• v.22 no.3
• /
• pp.79-87
• /
• 2014

In order to foster rapid disaster response and public life protection, National Emergency Management Agency has been trying to spread 'Emergency Rescue Standard System' on a national scale since 2006. The agency has also intensified management of firefighter's safety on disaster site by implementing danger predication training, specialized training and education and safety procedure check as a part of safety management officer duties. Nevertheless, there are limitations for effective fire fighting steps, such as damage spreading and life damage due to unawareness of illegal converted structure, structure transformation by high temperature and nearby hazardous material storage as well as extemporary situation handling endangered firefighter's life. In order to eliminate these limitations there is a need for an effort and technology application to minimize human errors such as inaccurate situational awareness, wrong decision built on experience and judgment of field commander and firefighters. The purpose of this study is to propose a new disaster response model which is applied with geospatial information. we executed spatial contextual awareness map analysis using fire-fighting vulnerable zone model to propose the new disaster response model and also examined a case study for Dalseo-gu in Daegu Metropolitan City. Finally, we also suggested operational concept of new proposed model on a national scale.

• Korean Journal of Biological Psychiatry
• /
• v.17 no.2
• /
• pp.79-85
• /
• 2010

Objectives : Trauma patients have attentional bias which enforces traumatic memories and causes cognitive errors. Understanding of such selective attention may explain many aspects of the posttraumatic stress disorder(PTSD) symptoms. Methods : We used the rapid serial visual presentation(RSVP) method to verify attentional blink in burn patients with PTSD. International affective picture system(IAPS) was used as stimuli and distracters. In the 'neutral test', patients have been presented series of pictures with human face picture as target stimuli. Each picture had 100ms interval. However the distance between target facial pictures was randomized and recognition of second facial picture accuracy was measured. In the 'stress test', the first target was stress picture which arouses patient emotions instead of the facial picture. Neutral and Stress tests were done with seven PTSD patients and 20 controls. In '85ms test' the interval was reduced to 85ms. The accuracy of recognition of second target facial picture was rated in all three tests. Eighty-five ms study was done with eighteen PTSD patients. Results : Attentional blinks were observed in 100-400ms of RSVP. PTSD patients showed increased recognition rate in the 'stress test' compared with the 'neutral test'. When presentation interval was decreased to 85 ms, PTSD patient showed decrease of attentional blink effect when target facial picture interval was 170ms. Conclusion : We found attentional blink effect could be affected by stress stimulus in burn patients. And attentional blink may be affected by stimulus interval and the character of stimulus. There may be some other specific mechanism related with selective attention in attentional blink especially with facial picture processing.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.42 no.4 s.304
• /
• pp.31-38
• /
• 2005

In this paper, we propose the chromatic adaptation models (CAM) for the variations of the luminance levels. A chromatic adaptation model, CAM$\Delta$Y , is proposed according to the change of luminance level under the same illuminants. The proposed model is obtained by the transform the test colors of the high luminance into the corresponding colors of the low luminance. In the proposed model, the optimal coefficients are obtained from the corresponding colors data of the Breneman's experiments. In the experimental results, we confined that the chromaticity errors, $\Delta$u'v', between the predicted colors by the proposed model and the corresponding colors of the Breneman's experiments are 0.004 in u'v' chromaticity coordinates. The prediction performance of the proposed model is excellent because this error is the threshold value that two adjacent color patches can be distinguished. Additionally, we also propose equal-whiteness CCT curves (EWCs) by CAM$\Delta$Y according to the luminance levels of the surround viewing conditions. And the proposed EWCs can be used as the theoretical standard which determines the reference white of the color display devices.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.6
• /
• pp.3807-3818
• /
• 2015

The objective of this study is to develop an on-line system for improving undergraduate students' competency development. After drawing elements necessary for the competency development such as assessment and planning, competency development, analysis of competency assessment, portfolio, analysis of job ability and community, based on the literature research related to competency and the analysis of the existing system, the direction of the system design was set up. The system was developed by using Microsoft Windows operating system in Windows server, ORACLE ver.10 as its database management system, and JSP and JAVA as its programing language. Reviewing errors and improvements of the system, it was modified and complemented. In order to examine the content functional utilization of the final competency development system, the utilization was verified. The competency development system for undergraduate students can be used as on-line space filled with the internalization of knowledge, self-directed competency development, convenience of record management and interactions between students-professors-alumna, owing to its functions such as boosting competency activities, cultivating career-pioneering ability and introspecting. When it is rare to find researches on the competency development system for undergraduate students, it is expected to be helpful to the development of competency education and the career education for undergraduate students as a new alternative for the competency development.

• Journal of Internet Computing and Services
• /
• v.22 no.2
• /
• pp.59-68
• /
• 2021

As artificial intelligence(AI) technologies, which have made rapid growth recently, began to be applied to the marine environment such as ships, there have been active researches on the application of CNN-based models specialized for digital videos. In E-Navigation service, which is combined with various technologies to detect floating objects of clash risk to reduce human errors and prevent fires inside ships, real-time processing is of huge importance. More functions added, however, mean a need for high-performance processes, which raises prices and poses a cost burden on shipowners. This study thus set out to propose a method capable of processing information at a high rate while maintaining the accuracy by applying Quantization techniques of a deep learning model. First, videos were pre-processed fit for the detection of floating matters in the sea to ensure the efficient transmission of video data to the deep learning entry. Secondly, the quantization technique, one of lightweight techniques for a deep learning model, was applied to reduce the usage rate of memory and increase the processing speed. Finally, the proposed deep learning model to which video pre-processing and quantization were applied was applied to various embedded boards to measure its accuracy and processing speed and test its performance. The proposed method was able to reduce the usage of memory capacity four times and improve the processing speed about four to five times while maintaining the old accuracy of recognition.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.11
• /
• pp.550-560
• /
• 2018

Many countries have provided support for research and development and implemented policies for Advanced Driver Assistance Systems (ADAS) for enhancing the safety of vehicles. With such efforts, the toll of casualties due to traffic accidents has decreased gradually. Korea has exhibited the lowest toll of casualties due to traffic accidents and is ranked 32nd in mortality among the 35 OECD members. Traffic accidents typically fall into three categories depending on the cause of the accident: vehicle to vehicle (V2V), vehicle to pedestrian (V2P), and vehicle independent. Most accidents are caused by drivers' mistakes in recognition, judgment, or operation. ADAS has been proposed to prevent and reduce accidents from such human errors. Moreover, the global automobile industry has recently been developing various safety measures, but on-road tests are still limited and contain various risks. Therefore, this study investigated the international standards for evaluation tests with regard to the assessment techniques in braking capability to cope with the limitations of on-road tests. A theoretical formula for braking force and a control algorithm are proposed, which were validated by comparing the results with those from an on-road test. These results verified the braking force depending on the functions of ADAS. The risks of on-road tests can be reduced because the proposed theoretical formula allows a prediction of the tendencies.

• Journal of Adhesion and Interface
• /
• v.22 no.3
• /
• pp.85-90
• /
• 2021

Generally, the tensile strength of carbon fiber reinforced composite (CFRP) should be determined to produce this material. The tensile strength was performed based on ASTM D3039, and this test could cause the error by specimens and human. In this research, the CFRP tensile test was performed with different thickness of specimens and tap, adhesive for attaching tap, and pressure of jig to hold the specimens, while the test was performed based on ASTM D3039. The tensile stress and modulus exhibited differently with different specimen thicknesses, and the 1~1.5 mm thickness of the specimen was optimized. In the case of 0.28 MPa jig pressure, the slip or fracture at the clamping area of the specimen has not occurred, and specimens were fractured to the center section of the specimen. The adhesive to attach jig on specimen should be used to exhibit high adhesive stress. Experimental parameters could cause errors. It is expected to achieve an accurate tensile property evaluation of composite materials via improvements in adhesives, tabs, and jigs.

• Journal of Korean Society of Forest Science
• /
• v.110 no.2
• /
• pp.179-188
• /
• 2021

Biodiversity informatics applies information technology methods in organizing, accessing, visualizing, and analyzing primary biodiversity data and quantitative data management through the scientific names of accepted names and synonyms. We reviewed the GBIF data published by China, Japan, Taiwan, and internal institutes, such as NIBR, NIE, and KNA of the Republic of Korea, and assessed data in diverse aspects of data quality using BRAHMS software. Most data from four Asian countries have quality problems with the lack of data consistency and missing information on georeferenced data, collectors, collection date, and place names (gazetteers) or other invalid data forms. The major problem is that biodiversity management institutions in East Asia are using unstructured databases and simple spreadsheet-type data. Owing to the nature of the biodiversity information, if data relationships are not structured, it would be impossible to secure the data integrity of scientific names, human names, geographical names, literature, and ecological information. For data quality, it is essential to build data integrity for database management and training systems for taxonomists who are continuous data managers to correct errors. Thus, publishers in East Asia play an essential role not only in using specialized software to manage biodiversity data but also in developing structured databases and ensuring their integration and value within biodiversity publishing platforms.