• 제목/요약/키워드: rule check

검색결과 132건 처리시간 0.025초

BIM 모델의 완성도를 높이기 위한 품질검토항목의 룰 개발 - 국내 BIM 지침을 중심으로 - (Development of Rule for Quality Checking Items to Raise Quality of BIM Model -Focusing on the Domestic BIM Guidelines-)

  • 송종관;주기범
    • 한국건설관리학회논문집
    • /
    • 제14권5호
    • /
    • pp.131-143
    • /
    • 2013
  • BIM 지침을 통해 기본적인 모델링 기준을 제공하고 있지만, BIM 모델링 업무를 수행하는 참여자 별로 기준이 상이하고 BIM 모델의 활용목적에 따른 적용기준이 다르기 때문에 BIM 적용 지침에 대한 이행여부의 평가는 BIM 모델의 활용목적에 따른 품질을 만족시키기 위한 중요한 절차이다. 하지만 지침에 따라 작성된 BIM 모델의 검토항목 및 방법이 제시되지 않고 있다. 본 연구는 BIM 모델의 완성도를 높이기 위해 국내 BIM 지침의 BIM 기반 품질검토 항목을 도출하고 자동 품질검토 수행을 위한 룰 정의서를 제시한다. 먼저 국내 BIM 지침을 분석하여 품질검토 항목을 도출하고 플로우차트 및 의사코드를 활용한 구조화를 통해 룰 정의서를 작성한다. 작성된 룰 정의서를 기반으로 사례적용을 실시하여 자동 품질검토 과정을 수행한다. 본 연구는 3차원의 방대한 데이터를 포함한 BIM 모델의 설계품질과 완성도를 높이는데 기여할 것이다. 향후 활용목적에 따른 BIM 지침의 개발이 필수적으로 이루어져야 하며 BIM모델의 품질검토를 위한 구체적인 절차나 기준이 제공되어야 할 것이다.

BIM을 이용한 초대형 건축물 방재 및 피난 관련 법규 자동검토 가능성 연구 (A Study on the Possibility of using BIM in Automated Building Code Checking for Egress and Anti-disaster Regulations for Large-scale Buildings)

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

  • PDF

대소관계 그래프를 이용한 Just-in-Time 컴파일 환경에서의 배열 경계 검사 제거 (Array Bounds Check Elimination using Ineguality Graph in Java Just-in-Time Compiler)

  • 최선일;문수묵
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권12호
    • /
    • pp.1283-1291
    • /
    • 2005
  • Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 배열경계 검사(Array bounds check) 명령어를 어떻게 최적화하느냐는 것이다 정적인 컴파일 환경의 경우에는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 이를 적용하기에는 컴파일에 시간을 너무 많이들이는 결과를 낳아 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 반면에 중복된 배열 경계 검사를 찾아내는 능력이 다소 부족한 알고리즘을 사용하거나 아니면 강력하지만 정적 단일 배정(Static Single Assignment) 형태로 명령어 표현 방식을 변환해 주어야만 하는 알고리즘을 사용하고 있다. 정적 단일 배정 형태로의 변환 및 되돌림은 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수 간의 대소관계를 표현하는 그래프를 배열 경계 검사 알고리즘에 적용하는 것을 통해 충분한 성능을 내면서도 정적 단일 배정 형태로의 변환을 필요로 하지 않는 알고리즘을 제안한다. Java에서의 모든 최적화는 Java 언어 명세에서 강제하고 있는 정확한 예외 처리(precise exception) 규칙을 따라야 한다. 명령어의 위치를 바꿈으로써 성능 향상을 꾀하는 최적화의 경우 이것으로 인해 많은 제약을 받게 되는데, 배열 경계 검사 최적화(Array bounds check elimination optimization) 또한 이 규칙에 의해 많은 최적화 기회를 잃는다. 우리는 이 제약을 극복하여 배열 경계 검사최적화의 적용 범위를 넓힐 수 있는 새로운 방법도 아울러 제안하고자 한다.

반도체 생산 라인에서의 이탈 처리 추적 전문가 시스템의 지식베이스 구축 (Construction of Knowledge Base for Fault Tracking Expert System in Semiconductor Production Line)

  • 김형종;조대호;이칠기;김훈모;노용한
    • 제어로봇시스템학회논문지
    • /
    • 제5권1호
    • /
    • pp.54-61
    • /
    • 1999
  • Objective of the research is to put the vast and complex fault tracking knowledge of human experts in semiconductor production line into the knowledge base of computer system. We mined the fault tracking knowledge of domain experts(engineers of production line) for the construction of knowledge base of the expert system. Object oriented fact models which increase the extensibility and reusability have been built. The rules are designed to perform the fault diagnosis of the items in production device. We have exploited the evidence accumulation method to assign check priority in rules. The major contribution is in the overall design and implementation of the nile base and related facts of the expert system in object oriented paradigm for the application of the system in fault diagnosis in semiconductor production line.

  • PDF

Design of Vectored Sum Defuzzification Based Fuzzy Logic System for Hovering Control of Quad-Copter

  • Yoo, Hyun-Ho;Choi, Byung-Jae
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제16권4호
    • /
    • pp.318-322
    • /
    • 2016
  • A quad-copter or quad rotor system is an unmanned flying machine having four engines, which their thrust force is produced by four propellers. Its stable control is very important and has widely been studied. It is a typical example of a nonlinear system. So, it is difficult to get a desired control performance by conventional control algorithms. In this paper, we propose the design of a vectored sum defuzzification based fuzzy logic system for the hovering control of a quad-copter. We first summarize its dynamics and introduce a vectored sum defuzzification scheme. And then we design a vectored sum defuzzification based fuzzy logic system. for the hovering control of the quad-copter. Finally, in order to check the feasibility of the proposed system we present some simulation examples.

삼상태 추론과 룰 검증이 가능한 전문가 시스템에 관한 연구 (A Study on the Expert System with Three State Inference & Rule Verification)

  • 손동욱;박영문;윤지호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1991년도 하계학술대회 논문집
    • /
    • pp.341-344
    • /
    • 1991
  • Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

  • PDF

국내 17개 사이버대학교 웹사이트 평가 및 개선방안 연구

  • 문태은;문형남
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2007년도 한국지능정보시스템학회
    • /
    • pp.111-120
    • /
    • 2007
  • Recently the importance of website becomes confident in realizing the long distance education (teleeducation) as web. The purpose of this research is evaluating the websites of cyber university and analyzes web usability and web accessibility and analyzes to suggest the good quality content and several personalized service. Also we tried to improve website quality and contribute the reliability of the long distance education with all these. For these we applied the of professor Hyung Nam Moon's SM-ABCDE website evaluation model and developed the check list suitable for cyber university and evaluated websites in the five views of Attraction, Business, Content, Design, Engineering. Totally Kyunghee Cyber University, Busan Digital University, Hanyang Cyber University is selected best in sequence. But every website doesn't keep the basic observation rule of the web accessibility.

  • PDF

RFID 를 이용한 Production Traceability System 구축 및 활용 (Construction and Practical use of Production Traceability System using RFID)

  • 조재용;신철민;홍종수;이천희
    • 한국정보통신설비학회:학술대회논문집
    • /
    • 한국정보통신설비학회 2007년도 학술대회
    • /
    • pp.151-154
    • /
    • 2007
  • This paper describes the project for constructing a traceability system for producing using RFID antenna in 900MHz frequency band and the consideration. In this project we reviewed analysis of properties classified by production process and RFID system through each frequency band, and designed a single unit RFID reader including antenna. The developed antenna is optimized to a field condition and this paper will show the test results. Also, we designed a single unit RFID reader by adding a reader to a designed antenna and explained the rule of tag memory allocation. Lastly, after running the system we could calculate visible and invisible effects of operation results and check up a wide possibility of application for RFID.

  • PDF

ACLS의 개선을 위한 전지(剪枝)방법의 비교 (Comparison of Pruning Method for Revised Analog Concept Learning System)

  • 임성식;권영식;김남호
    • 산업공학
    • /
    • 제10권2호
    • /
    • pp.15-28
    • /
    • 1997
  • Knowledge acquisition has been a major bottleneck in building expert systems. To ease the problems arising in knowledge acquisition, analog concept learning systems(ACLS) has been used. In this paper, in order to avoid the overfitting problem and secure a good performance, we propose the revised ACLS, which pruning methods -cost complexity, reduced error, pessimistic pruning and production rule- are incorporated into and apply them to the credit evaluation for Korean companies. The performances of the revised ACLS are evaluated in light of the prediction accuracy. To check the effect of the training data sampling on the performance, experiments are conducted using the different proportion of the training data. Experimental results show that the revised ACLS of combining cost complexity pruning with reduced error pruning performs best among original ACLS and other methods.

  • PDF

회전체 기계전단을 위한 Hybrid 진단 시스템

  • 박홍석;강신현;이재종
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1995년도 추계학술대회 논문집
    • /
    • pp.852-855
    • /
    • 1995
  • In modern plant lndustry, dignosis system is an essential implement because a human operator cannot check the state of system all the time. The recent facility needs a computer system which is able to replace and extense the function of the human expert. Checking the state of the plant system, the computer system uses signals form sensors attached to the plant systems. But, It is difficult to predict the cause of the failure from the sensing signals. Because the relationship among the signals cannot be easily represented by mathematical models. So expert system based on a fuzzy rule and Neural network method is sugguested. Expert system decide whether aa state of the system is ordinary of failure by the evaluation of the signals. If the state of the system is unstable, expert system preprocess the signals. When fault is occurred in the machine, the expert system dignoses the state of the system and find the cause as a primary tool. If the expert system dose not find the adequate cause successfully, neural network system uses the preprocessed signals as an input and propose a cause of the failure.

  • PDF