• Journal of the Society of Disaster Information
• /
• v.20 no.1
• /
• pp.60-68
• /
• 2024

Purpose: When designing plants and workplaces such as handling and using chemicals, a system that can automatically determine whether the design has been made in compliance with domestic safety management laws is established to shorten the review time and increase accuracy. Method: Safety design standards for chemical handling and use workplaces were investigated, and types and systems were derived that could automatically judge design errors by dividing the articles into semantic units. Result: An automatic design review method performed when designing a building was proposed, and a system that can review the safety design requirements required when designing a chemical handling business site through the development of a rule checker was proposed. After confirming whether the law is subject to application, the safety design rules are classified into semantic units through preprocessing. The classified results can be classified into four types, and the specifications, space, conditions, situations, and specific devices and facilities to reinforce safety were analyzed as representative types. It proposes a system that prepares a diagram for the safety design rule and allows it to be reviewed through the rule checker program.

• Korean Journal of Cognitive Science
• /
• v.19 no.3
• /
• pp.223-255
• /
• 2008

In this paper, we introduce an automatic system of scoring English essays. The system is comprised of three main components: a spelling checker, a grammar checker and a lexical cohesion checker. We have used such resources as WordNet, Link Grammar/parser and Roget's thesaurus for these components. The usefulness of an automatic scoring system depends on its reliability. To measure reliability, we compared the results of automatic scoring with those of manual scoring, on the basis of the Kappa statistics and the Multi-facet Rasch Model. The statistical data obtained from the comparison showed that the scoring system is as reliable as professional human graders. This system deals with textual units rather than sentential units and checks not only formal properties of a text but also its contents.

• Speech Sciences
• /
• v.8 no.2
• /
• pp.83-90
• /
• 2001

We proposed a probabilistic approach of using syllable bigrams to the word-spacing problem. Syllable bigrams are extracted and the frequencies are calculated for the large corpus of 12 million words. Based on the syllable bigrams, we performed three experiments: (1) automatic word-spacing, (2) detection and correction of word-spacing errors for spelling checker, and (3) automatic insertion of a space at the end of line in the character recognition system. Experimental results show that the accuracy ratios are 97.7 percent, 82.1 percent, and 90.5%, respectively.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1999.12a
• /
• pp.484-489
• /
• 1999

• Journal of Korea Multimedia Society
• /
• v.20 no.2
• /
• pp.330-335
• /
• 2017

We have heard about several keywords of the fourth industrial revolution such as automation, artificial intelligence and connectivity. And electronic publishing systems and ebooks will enable us to experience a new industrial revolution without discrimination. On that level, it is necessary to study a method of automatic accessibility tool for electronic publishing. There are some studies on accessibility standard specifications, accessibility guidelines, and accessibility certificate criteria. but there is little research about automatic inspection tools in electronic publishing area. This paper proposed a library for accessibility inspector of EPUB and its components based on IDPF EPUB accessiblity guidelines and TTA accessibility certificate criteria for reading disabled people. After implementing the library that can be connected to SIGIL, which is the most widely used in Korea, we verified its functionality and its coverage with Korean commercial EPUB files.

• Journal of Environmental Science International
• /
• v.18 no.6
• /
• pp.603-608
• /
• 2009

Activated sludge sewage treatment processes are difficult to be controlled because of their complex and nonlinear behaviour, however, the control of the dissolved oxygen level in the reactors plays an important role in the operation of the facility. For this reason, this study is designed to present a system which accurately measures DO, MLSS, pH and ORP in the aeration tank to alleviate situations above and provide the automatization of a sewage treatment plant (STP) using new DO control system. The automatic control systems must be guaranteed the accuracy. Therefore, the proposed automatic DO control system in this study could be commercial applications in the aeration tanks by means of operating cost analysis and user-friendly for operation and maintenance. We could get accurate data from the lab tank which has water quality checker because there was no vortex and air bubble during the measurement process. Improvement of confidence in the lab tank enabled effective and automatic operation of sewage treatment plants so that operation costs and manpower could be saved. If this result is put in place in every sewage treatment plant nationwide for practical purposes, it is estimated to cost 18.5 million dollars in installing the lab tank and to save 9.8 million dollars in management cost a year, except for cost saved by automation.

• The KIPS Transactions:PartA
• /
• v.12A no.7 s.97
• /
• pp.563-570
• /
• 2005

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.25 no.11
• /
• pp.631-639
• /
• 2013

This study derives quality checking items in Building Mechanical Systems Design Criteria, and suggests quality criteria to review BIM models in the duct system of an air conditioning system for rule-based automatic checking. First, components for the duct system of an air conditioning system were reviewed, and the quality checking items were drawn from Building Mechanical Systems Design Criteria, through assessment according to object, attribute and relationship composing the BIM model. Second, quality checking types were derived, by analyzing the quality checking items and Rule set of the Solibri Model Checker. Finally, methods of algorithm functioning for checking the BIM models for mechanical systems in computers were drawn, and Elements to comprise the quality checking criteria (rule) were suggested. This study means that that checking items are derived from domestic criteria, and a way for the development process of determining quality checking criteria (rules) is suggested.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.4
• /
• pp.58-63
• /
• 2009

The appearance inspection of various electronic products and parts was executed by the eyesight of human. The appearance inspection is applied to the most electronic component of LCD Panel, flexible PCB and remote control. If the appearance of electronic products of small and minute size is inspected by the eyesight of human, we can't expect the stable inspection result because inspection result is changed by condition of physical and spirit of the checker. Therefore currently machine vision systems are used to many appearance inspection fields instead of inspection by human. The many problems of inspection by the checker are not occurred in machine vision circumstance. However, the inspection by automatic machine vision system is mainly influenced by illumination of workplace. In this paper, we propose a histogram transform method for improving accuracy of machine visual inspection.