• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 산업공학
• /
• 제25권1호
• /
• pp.79-86
• /
• 2012

Traditional business process management systems provide verification tools of process models to deploy and automate the models. However, there are not so many studies on how to maintain systematically collaborative process models such as supply chain processes when companies are willing to change and update the collaborative process models. In this paper, we analyze change patterns of collaborative processes and declare 19 change patterns. In addition, we apply the change patterns to the process interoperability patterns in order to identify the change problems in case of independent process changes of collaborative processes. As a result, we devise an independency checking algorithm of process changes in collaborative processes.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2008년도 정기학술발표대회 논문집
• /
• pp.690-693
• /
• 2008

최근 건축물이 대형화, 복잡화되면서 예기치 못한 상황에 대한 안전성 문제가 이슈화되고 있다. 그러나 초대형 건물의 경우 규모가 커서 수작업으로 방재 및 안전성과 관련한 법규 검토에 시간이 많이 걸리고, 실수가 일어날 가능성도 높다. 이러한 문제로 한 조사에 따르면 건축 및 건설관련자-실무자의 83%가 자동법규검토 시스템이 필요하다고 응답하였다. 본 연구는 기존의 자동법규검토 시스템 및 연구현황을 살펴보고, 기존 BIM기술을 이용하여 국내 방재 및 피난 관련법규를 자동으로 검토하기 위한 시스템개발 가능성을 검토하고자 한다. 이밖에 자동법규검토 시스템의 필요성과 그 기대효과를 분석하고 기존 연구사례를 통해, 국내 적용가능 여부를 검토하고, 지역적 특수성에 대한 문제점, 한계를 논의한다. 또 그러한 문제점들에 대한 해결책과 향후 발전방안을 제시한다. 본 연구에서는 피난관련 법규로 그 범위를 제한하였지만 앞으로 전체적인 법규 자동검토시스템이 구축되기 위해 필요한 노력과 작업에 대해 알아보고 연구해 나가야할 것이다.

• 한국CDE학회논문집
• /
• 제21권3호
• /
• pp.325-333
• /
• 2016

This paper aims to classify objects and their properties represented in Korea Building Act sentences for applying to BIM-enabled automated code compliance checking task. In order to conduct automated code compliance checking, it is necessary to develop translation process of converting the building act sentences into computer-executable forms. However, since Korea building act sentences are written in natural language, some of requirements are ambiguous to translate explicitly. In this regard, the building act sentences regarding building permit requirements are analyzed focusing on the regulation-specific objects and related properties representation from noun phrases within the scope of this paper. From 1977 building act sentences and attached reference regulations, 1200 regulation-specific objects and about 220 related properties are extracted and classified. In the application for the classification, object-property database is implemented and some of application using the database and the regulation-specific classification is suggested to support to generate rule set written in computable codes.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1547-1550
• /
• 1987

This paper describes a new design rule checking system, PC-DRC, for CIF mask layout, which was written in C language on IBM PC/AT under DOS 3.0 environment. H/W devices and S/W utilities for PC-DRC is identical to that for PC-LADY[6], which makes PC-DRC an ideal post-processing routine for CIF file generated by PC-LADY. Various spurious errors were eliminated by ORing the input ClF data for each layer and the design rule errors were checked by edge based method on rectilinear polygon form. The detected errors are stored in CIF and displayed on CRT simultaneously.

• 한국건설관리학회논문집
• /
• 제13권6호
• /
• pp.143-152
• /
• 2012

조달청은 2016년부터 공공공사 전 사업으로 BIM 발주를 확대할 계획이어서 BIM 설계의 중요성이 증가하고 있다. 이에 따라, BIM 설계의 품질을 확보하는 방안 법규검토의 중요성 또한 증가하고 있다. 본 연구에서는 장애인 노인 임산부 등의 편의증진보장에 관한 법률을 대상으로 실무의 건축계획 과정에서 빈번하게 검토되는 항목을 중심으로 최적화된 룰셋 정의서를 개발하였다. 법규조항을 선정하는 과정으로는 프로젝트 법규검토서를 활용한 빈도 분석, 함수화 가능도 분석, 모델 검토 가능성 분석을 제시하였다. 모델 검토 시나리오 작성에 따라 룰셋 정의서를 개발하였으며, 실제 프로젝트에서 구현을 통해 적용성 및 정합성 분석을 수행하였다. 본 연구를 수행한 결과, 자동법규검토에서는 경제성 및 활용성을 확보할 수 있는 항목의 선정이 중요함을 확인할 수 있었다. 향후 연구에서는 대상 법규 조항 선정의 항목 세분화가 필요하며, 실무자 검증을 통해 좀 더 실질적인 항목 도출이 요구된다. 또한 자동법규검토에서 발생할 수 있는 모델링 요구사항, 소프트웨어 간 호환성 문제 등의 변수를 확인하고 룰셋의 논리를 검증하는 사례 연구가 수행되어야 한다.

• Journal of the Korean Data and Information Science Society
• /
• 제22권2호
• /
• pp.179-188
• /
• 2011

연관성 규칙은 방대한 데이터베이스에서 항목간의 관계를 명확히 수치화 함으로써 그들간의 관련성을 표시해주는 기법으로 데이터 마이닝 기법들 중에서 가장 많이 활용되고 있다. 어느 항목이 발생하면 다른 항목도 발생한다는 규칙을 발견하기 위한 기법이 연관성 규칙이라면 음의 연관성 규칙 마이닝은 어느 항목이 발생하면 다른 항목도 발생하지 않는다는 규칙을 찾아내는 기법이다. 기존의 연관성 규칙에 음의 연관성 규칙을 추가하게 되면 어떤 제품을 판매하기 위해서는 그 제품만 마케팅 하는 것 뿐 만 아니라 더 나아가 그 제품이 아닌 어느 제품을 마케팅 하는 것이 필요한지를 판단할 수 있다. 본 논문에서는 음의 연관성 규칙의 단점을 보완할 수 있는 음의 순수 연관성 규칙의 측도들을 제시하고 흥미도 측도가 가져야 할 조건들을 조사하였으며, 예제 데이터를 활용하여 음의 순수 연관성 규칙의 유용성에 대해 살펴보았다.

• 한국CDE학회논문집
• /
• 제21권3호
• /
• pp.313-324
• /
• 2016

As building information modeling (BIM) is expanding its influence in various fields of architecture, engineering, construction and facility management (AEC-FM) industry, BIM-based automated code compliance checking has become possible prospects. For the automated code compliance checking, requirements in building code need to be processed into explicit representation that enables automated reasoning. This paper aims to develop high-level methods that translate verb phrases into explicit representation. The high-level methods represent conditions, properties, and related actions of the building objects and clarify the core content of the constraints. The authors analyze building permit requirements in Korea Building Code and establish a standardized process of deriving the high-level methods. As a result, 60 kinds of the high-level methods were derived. In addition, method classification, analysis, and application are introduced. This study will contribute to the representation of explicit building code sentences and establishment of the automated building permit system of Korea.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• 전자공학회논문지A
• /
• 제28A권1호
• /
• pp.60-73
• /
• 1991

This paper presents an efficient algorithm for incremental and hierarchical design rule checking of VLSI layouts, and describes the implementation of a layout editor using the proposed algorithm. Tracing the sliced edges divided by the intersection of the edges either ina polygon or in two polygons (Sliced-Edge Trace), the algorithm performs VLSI pattern operations like resizing and other Boolean operations. The algorithm is not only fast enough to check the layouts of full-custom designs in real-time, but is general enough to be used for arbitrarily shaped polygons. The proposed algorithm was employed in developingt a layout editor on engineering workstations running UNIX. The editor has been successfully used for checking, generating and resizing of VLSI layouts.