• 설비공학논문집
• /
• 제25권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.

• 한국재난정보학회 논문집
• /
• 제20권1호
• /
• pp.60-68
• /
• 2024

연구목적: 화학물질 취급, 사용 등의 플랜트 및 사업장 설계 시 국내 안전관리 관련 법령을 준수하여 설계가 이루어졌는지 자동으로 판단할 수 있는 체계를 마련하여 검토 시간의 단축과 정확성을 높이고자 한다. 연구방법: 화학물질 취급, 사용 사업장에 대한 안전 설계 기준을 조사하고, 조문을 의미단위로 구분하여 자동으로 설계오류를 판단할 수 있는 유형과 체계를 도출하였다. 연구결과: 건물 설계 시 수행하던 자동 설계 검토 방법을 화학물질 취급 사업장을 설계 시 요구되는 안전설계 사항을 Rule Checker 개발을 통해 검토할 수 있는 체계를 제안하였다. 법 적용 대상 여부의 확인 후 전처리를 통해 의미단위로 안전설계 Rule을 구분한다. 구분된 결과는 4가지 유형으로 분류할 수 있고, 특정 장치 및 설비에 대한 사양, 공간, 조건, 상황에 대한 부분과 안전성을 강화하기위한 특정 장치 및 설비에 대한 사항이 대표적인 유형으로 분석되었다. 각각의 안전설계 Rule에 대한 Diagram을 작성하고, 이를 Rule checker 프로그램을 통해 검토할 수 있도록 하는 체계를 제안한다.

• 대한전자공학회논문지
• /
• 제27권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.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.316-322
• /
• 2009

The more repetitive, complex and objective the work, the more effective automation is. Code checking is an example of this. Checking building codes through a thick set of drawings is error-prone and time-consuming. In order to overcome this problem, several organizations have initiated efforts to automate building-code checking. Initiated study mainly focused on checking codes for invalidation, required size and crash, and then area of checkable codes have been expanding. But, it has not been considered for codes regarding anti-disaster/egress, which is also issued these days. This study is about how to automatically check codes for anti-disaster and egress based on Korea building codes. The codes can be categorized as five sections: egress way, material/capability, principals of evacuation, evacuation stairway and fire protection partition. To check automatically, there are problems, such as expression of codes for egress and limitation of extractable information from the BIM model. This paper shows what problems exist and assignments to be resolved. Also, current developing processes are presented, and suggestions are made about the direction for the work that remains.

• 전자공학회논문지B
• /
• 제29B권1호
• /
• pp.18-25
• /
• 1992

In this paper, a rule checker which aids in composing a consistent knowledge base by checking redundancies and inconsistencies in a knowledge base is proposed. The proposed algorithm checks the rules by representing the rule connections as a network . The standard model of the rules adapted in this algorithm is in the Conjunctive Normal Form which includes NOT's, and rules of conventional expert system can be checked by converting them into the standard form by a rule form at converter. When compared with Ginsberg's KB-reducer which is conceptually most similar to the proposed algorithm among existing methods,it is shown by a computer simulation that with 360 rules, the checking time is three times faster and the rate increased as the number of rules increased, but the total memory requirement of the proposed agorithm is 1.2 times larger. The proposed algorithm has further advantages in that it can check circular rule chains and can find the paths of the redundant and inconsistent rules.

• 한국정보통신학회논문지
• /
• 제16권6호
• /
• pp.1291-1299
• /
• 2012

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

• 대한전자공학회논문지
• /
• 제24권6호
• /
• pp.1040-1048
• /
• 1987

We propose a hardware architecture called Multiring which is applicable for various geometrical operations on rectilinear objects such as design rule checking in VLSI layout and many image processing operations including noise suppression and coutour extraction. It has both a fast execution speed and extremely high flexibility. The whole architecture is mainly divided into four parts` I/O between host and Multiring, ring memory, linear processor array and instruction decoder. Data transmission between host and Multiring is bit serial thereby reducing the bandwidth requirement for teh channel and the number of external pins, while each row data in the bit map stored in ring memory is processed in the corresponding processor in full parallelism. Each processor is simultaneously configured by the instruction decoder/controller to perform one of the 16 basic instructions such as Boolean (AND, OR, NOT, and Copy), geometrical(Expand and Shrink), and I/O operations each ring cycle, which gives Multiring maximal flexibility in terms of design rule change or the instruction set enhancement. Correct functional behavior of Multiring was confirmed by successfully running a software simulator having one-to-one structural correspondence to the Multiring hardware.

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

• 인터넷정보학회논문지
• /
• 제3권1호
• /
• pp.51-59
• /
• 2002

기존의 규칙베이스 검증 알고리즘은 명제논리 수준에 대응하는 지식표현에 대한 것들이었다. 실 세계어서 규칙베이스를 구성할 때는 술어논리 수준에 대응하는 규칙을 사용하여 규칙베이스를 구성한다. 그러므로 본 논문에서는 규칙을 술어논리 수준에서 자연스럽게 표현할 수 있는 Pr/T 네트를 이용한 규칙베이스의 검증 알고리즘을 제안한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2003년도 춘계학술발표논문집
• /
• pp.239-242
• /
• 2003

Scale down으로 인해 부족해진 overlay margin을 통해 충분히 확보해주고, 이와 동시에 attPSM(attenuated phase shift)의 사용으로 발생하는 side-lobe 현상을 억제하기 위한 방법으로 rule-based OPC(optical proximity correction)룰 사용하여 side-lobe만을 효과적으로 추출한 후, 그 자리에 scattering bar를 삽입하였다. 그리고 ORC(optical rule checking)를 통해 original layout과 aerial image의 EPEs(edge placement errors)를 검사하여 검증에 걸리는 시간을 감소시켰다.