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

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

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.8
• /
• pp.60-71
• /
• 1996

Mostof existing CAD systems do not provide the advanced function for systematic checking of design and drafting errors in mechanical drawings. We have reported a computer aided drawing check system to single plane projection drawings made by a CAD system. This paper describes a checking method of dimensioning errors in mechanical drawings. The checking items are deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. This system has been applied to several examples and we have confirmed the feasibility of this checking method.

• IE interfaces
• /
• v.21 no.4
• /
• pp.378-384
• /
• 2008

Small sized companies have not been successful in systematically applying statistical process control because of insufficient human resources. In this paper we present a case study of automatic checking system for a small sized company which produces various types of gears. A systematic way of automatically measuring gears is proposed and statistical analysis methods are presented. To reduce variation in the measurement data, a standard operating procedure is also proposed. This case study can be helpful to quality assurance practitioners of small sized companies who are willing to develop checking or inspection systems for their products.

• Korean Journal of Computational Design and Engineering
• /
• v.20 no.1
• /
• pp.22-35
• /
• 2015

As BIM in the construction industry has been activated, the building information reliability - design quality is getting important. Meanwhile, it is still difficult to reflect the quality control experience to the modelling since the current methods are strongly rely on a certain BIM tools or systems with formal logics and limited information for quality checking. Therefore, the checking results may contain a lot of issues unrelated or unnecessary to the BIM qualities. In order to overcome this problem, we firstly performed clash check using a conventional checking tool and secondly interpret the results by an Expert System to filter out more meaningful results. We found this study gave a confirmation that it is possible to improve clash quality control when we link the expert experience to the rule-based automatic checking system.

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

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

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.1
• /
• pp.37-45
• /
• 1990

In this paper, a knowledge base editor is presented as a supporting environment for an expert system building tool, OPS5. The knowledge base editor is especially useful for the fast and easy development of a knowledge base when the OPS5 production language is used. This knowledge base editor has some special facilities such as syntax and type checking, rule browsing and automatic bokkeeping. The syntax and type checking provides the facilities to find syntax and type errors in an edited knowledge base, respectively. The rule browsing facility offers various pattern matching schemes to see the causes and effects of a concerned rule. Automatic bookkeeping keeps the updated date and user name of a rule for the later reference whenever a user adds or changes a rule.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.577-583
• /
• 2007

The character strings on chips and components are so tiny and numerous that it is a very difficult work for people to perform. In this paper, 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 show that the method proposed here can offer an effective way to determine wrong-mark on chips.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2003.03a
• /
• pp.847-852
• /
• 2003

The purpose of this paper is to develop the new deep mixing method installed automatic control equipments for the better construction in deep mixing and grouting. Civil, geotechnical, electronic, and communication experts have worked together for a long time for the development of automatic measuring devices using wire and wireless transmitting-receiving set. A series of laboratory and field experiments were carried out to check the reliability and field applicability of this system. New total automatic control system including automatic devices for checking angle, depth and quantity of injected grout was invented from the result of this research.