• 한국산업정보학회논문지
• /
• 제5권3호
• /
• pp.111-116
• /
• 2000

현재 많은 모니터 생산업체의 모니터 최종 품질검사에서는 자동화가 미흡한 실정이며, 검사방식이나 검사기준 등이 사람의 시각을 바탕으로 하고 있기 때문에 생산효율 및 생산품질 향상을 위해 검사기준의 일률성이나 검사의 정확성을 위한 검사 시스템이 요구되고 있다. 최근 컴퓨터 시스템의 급속한 발전과 이에 적용할 수 있고 비교적 저렴한 비젼 시스템 구성요소들의 성능이 향상됨에 따라 저가인 검사 시스템의 구성이 용이해지고 또한, 이러한 시스템 상에서 구현할 수 있는 새로운 알고리즘들이 많이 개발되고 있다. 본 연구에서는 저가이면서, 고속이고, 현장에 쉽게 적응할 수 있고 현실적으로 자본력이 튼튼하지 않는 업체에서도 쉽게 도입하여 사용할 수 있는 모니터 검사장비 시스템을 개발한다. 본 검사 시스템은 컴퓨터 비젼 기술을 바탕으로 하고 있으며, GUI 환경을 이용한 편리한 사용자 인터페이스와 모니터의 각종 품질특성 즉 모니터 화면의 중심일치(centering), 요크회전(yoke rotation), 핀쿠션(pincushion), 모니터 화면의 사이징, 밝기(brightness), 그리고 그레이스케일 트래킹에 대한 검사기능 등을 내장하고 있다. 본 연구에서 개발된 모니터 검사 시스템은 모니터 최종 검사공정에서 사용될 수 있으며, 이로 인해 생산효율의 증대 및 설비투자와 장비 개발비용 절감에 대한 파급효과가 기대된다.

• 한국CDE학회논문집
• /
• 제18권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.

• 제어로봇시스템학회논문지
• /
• 제21권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.

• 한국CDE학회논문집
• /
• 제9권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.

• 한국산학기술학회논문지
• /
• 제7권3호
• /
• pp.420-430
• /
• 2006

본 연구는 건축사시험에서 건축법규 체크를 자동화하는 방법을 제안하다. 건축법규 체크 자동화를 가능하게 하기위하여 필요한 빌딩데이터모델을 제안하고, 그와 함께 시험답안을 주어진 건축법규와 자동으로 비교하여 충족여부를 판단할 수 있는 평가모듈을 개발한다. 본 연구의 특징은 체계적인 평가가 가능하게 하였으며, 기존의 연구와 달리 필요한 경우에 적용 건축법규의 수를 시스템의 수정 없이 증가시킬 수 있는 방법을 제시하였다는 점이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권11호
• /
• pp.1560-1567
• /
• 2004

모델 체킹에서 고려해야 할 상태의 수는 모델의 크기에 따라 지수적으로 증가한다. 이것을 상태 폭발 문제라고 부르며 이를 해결하기 위한 방법으로 추상화, 반순서, 대칭성 등이 폭 넓게 사용되고 있다. 이들 방법들은 모델의 구조 정보를 이용하여 모델의 크기를 축소하는 데 목표를 두고 있다. 이와는 달리, 본 논문에서는 논리식을 순서적으로 분할하여 차례대로 모델 체킹을 수행하는 릴레이 모델 체킹을 제안한다. 그리고 기존 모델 체킹 기법으로 해결하지 못했던 상태 폭발 문제를 릴레이 모델 체킹으로 해결한 경험을 기술한다.

• 로봇학회논문지
• /
• 제6권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.

• 한국IT서비스학회지
• /
• 제8권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.

• 한국CDE학회논문집
• /
• 제1권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
• /
• 제13권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.