• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.3
• /
• pp.111-116
• /
• 2000

There are many recent monitor manufacturing firms not equipped with automatic checking system in their final process. And the check is based on the human perception, so the automatic checking system is needed for the consistency and the accuracy of the checking process to elevate the productivity and the quality. As the performance of computer systems and the vision systems has been increased, the cost for the system is reduced and their applicable algorithms have been developed. In this study we develop monitor checking system which is low-cost, fast, and easy to adopt by the small-scaled manufacturing films. The system is based on the computer vision techniques, and is equipped with the GUI interface and checking functions such as centering, yoke rotation, pincushion, sizing, brightness, and grayscale tracking. Monitor checking system developed in this study can be used in the final checking process thereby we expect the synergy effects both on the efficiency of production and on the reduction of the cost for the facility investments.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.2
• /
• pp.83-92
• /
• 2013

IFC based open BIM has internationally developed as a solution for interoperability problem among different software applications. Despite much interest and effort, the open BIM technologies are rarely introduced to the construction industry and need more technical development for a practical application as well. This research aims to develop automated code checking modules for quality assurance process of BIM data. The research have analyzed domestic regulations focusing on super-tall buildings and developed open BIM-based code checking modules for the evacuation regulations. The modules are able to validate evacuation regulations such as installation of emergency elevator and fire safety zone. The authors expect to improve the process of BIM quality assurance and enhance the quality of BIM data by this research on automated checking system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.21 no.4
• /
• pp.330-335
• /
• 2015

Approximately 23% of traffic accidents appear to be caused by drowsiness while driving. This fact shows that drowsy driving is a big factor in many traffic accidents. Therefore, the development of a drowsiness checking system is necessary to prevent drowsy driving. In this paper, we analyse the changes of the histogram of eye region images which are acquired using a CCD camera. We develop a drowsiness checking system using this histogram change information. The experimental results show that our proposed method enhances the accuracy of checking drowsiness by nearly 98%, and can be used to prevent vehicle accidents due to the drowsiness of a driver.

• Korean Journal of Computational Design and Engineering
• /
• v.9 no.4
• /
• pp.315-324
• /
• 2004

The purpose of this study is to suggest the way of automatic building code checking for architectural drawings in the web environment to enhance the utility of CALS/EC standard drawings and efficiency of construction industry business. To fulfil this aim, the authors seek to standardize the architectural drawing automatic checking system by linked drawing information to the STEP based CALS/EC standard format. Therefore, the automatic building code checking system can represent a way of utilizing the relationship between the construction CALS/EC standard drawings and the related study as well as improve the efficient of the construction work by sharing a variety of drawing information.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.3
• /
• pp.420-430
• /
• 2006

This research aims at implementing an automation-based building code checking system which will be employed for Architectural Registration Examination. By creating a specific building data model and implementing an automatic building code checking module, the research aims is accomplished. The contribution of this research are as follows; it becomes possible to execute a systematic building code checking. And unlike the existing automatic building code checking systems, it successfully addresses a way of increasing the number of checklist without modifying the system.

• Journal of KIISE:Software and Applications
• /
• v.31 no.11
• /
• pp.1560-1567
• /
• 2004

In temporal logic model checking, the number of states is exponentially increased by the size of a model. This is called the state explosion problem. Abstraction, partial order, symmetric, etc. are widely used to avoid the problem. They reduce a number of states by exploiting structural information in a model. Instead, this paper proposes the relay model checking that decomposes a temporal formula to be verified into several sub-formulas and then model checking them one by one. As a result, we solve complex games that can't handle with previous techniques.

• The Journal of Korea Robotics Society
• /
• v.6 no.1
• /
• pp.49-57
• /
• 2011

In many industries, the accurate and quick checking of goods in storage is of great importance. Most today's inventory checking is based on bar code scanning, but the relative position between a bar code and an optical scanner should be maintained in close distance and proper angle for the successful scanning. This requirement makes it difficult to fully automate the inventory information/control systems. The use of RFID technology can be a solution for overcoming this problem. The mobile robot presented in this paper is equipped with an RFID tag scanning system, that automates the otherwise manual or semi-automatic inventory checking process. We designed the robot system in a quite practical approach, and the developed system is close to the commercialization stage. In our experiments, the robot could collect information of goods stacked on shelves autonomously without any failure and maintain corresponding database while it navigated predefined paths between the shelves using vision.

• Journal of Information Technology Services
• /
• v.8 no.4
• /
• pp.87-101
• /
• 2009

The current information system audit merely inspects a web based information system by focusing on checking items that are extracted from structured and information engineering model and object-oriented component model. As a result, the checking item of web contents and design is inadequate. This paper aims to extract audit framework in order to strengthen the audit of web contents and design during the development of the web based information system and to suggest checking items based on audit framework. For this, the web development process and web site evaluation model were studied, compared, and analyzed with the current information system development audit. From a result of the survey, it was found that the adequacy of the suggested audit framework and audit checking items is above the average value. It is believed that the suggested audit framework is helpful for the audit of web based information system.

• Korean Journal of Computational Design and Engineering
• /
• v.1 no.2
• /
• pp.97-106
• /
• 1996

Existing CAD systems do not provide advanced functions for automatic checking design and drafting errors in mechanical drawings. If the knowledge of checking in mechanical ddrsfting can be implemented into computers, CAD systems could automatically check for design and drafting errors. This paper describes a method for systematic checking of dimension errors. such as deficiency and/or redundancy of dimension input-errors in dimension figures and symbols, etc. The logic for finding dimensional errors is written by using a proccedural language. A geometric model and a topological-graph model are used in this method. Checking for deficiency and redundancy of dimensions is based upon graph Theory.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.13 no.5
• /
• pp.415-422
• /
• 2013

In this paper, we present Self-Checking look-up-table (LUT) based on Scalable Error Detection Coding (SEDC) scheme for use in fault-tolerant reconfigurable architectures. SEDC scheme has shorter latency than any other existing coding schemes for all unidirectional error detection and the LUT execution time remains unaffected with self-checking capabilities. SEDC scheme partitions the contents of LUT into combinations of 1-, 2-, 3- and 4-bit segments and generates corresponding check codes in parallel. We show that the proposed LUT with SEDC performs better than LUT with traditional Berger as well as Partitioned Berger Coding schemes. For 32-bit data, LUT with SEDC takes 39% less area and 6.6 times faster for self-checking than LUT with traditional Berger Coding scheme.