• 제목/요약/키워드: type checking

검색결과 266건 처리시간 0.015초

개방형BIM 데이터와 법규 자동화 검토 시스템 간 속성 매핑 체계 개발 (Development of Property Mapping Contents between Open BIM Data and Automated Code Checking System)

  • 김인한;배종윤;최중식
    • 한국CDE학회논문집
    • /
    • 제22권2호
    • /
    • pp.118-128
    • /
    • 2017
  • Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

LL과 LR에서의 효율적인 수식 타입 체킹에 대한 연구 (A Research on the Efficient Type-Checking for an Expression Using LL and LR)

  • 정용주
    • 한국인터넷방송통신학회논문지
    • /
    • 제11권1호
    • /
    • pp.177-183
    • /
    • 2011
  • 수식의 자료형 확인을 위하여 많이 사용하는 방법의 하나가 속성문법이다, 그런데 이 속성문법은 구성하기가 어려운 단점이 있다. 파싱 과정을 잘 이해하고 속성문법의 두 개의 속성들을 사용하여야 하기 때문이다. 그래서 본 논문에서는 이 수식 속성문법의 구성을 보다 쉽게 하기 위한 방법을 제시한다. 문법 구성을 통하여 하나의 속성만으로 수식의 자료형 확인이 가능함을 보여준다.

Development of Hierarchical Checking Tables for Safety Management of Apartment Gang-form Works

  • Kang, Jung-Woo;Cho, Dong-Hyun;Koo, Kyo-Jin
    • 한국건축시공학회지
    • /
    • 제14권2호
    • /
    • pp.177-186
    • /
    • 2014
  • The gang-form widely used in apartment construction sites has advantages compared to scaffolding in preventing falling accidents. One problem, however, is that safety accidents associated with gang-form works repeatedly occur due to worker carelessness. In this study, hierarchical checking tables are provided to support safety management activities for the gang-form works at the sites. Through a survey of experts and analyses of case studies of construction accidents, 137 safety check items are classified by participant type based on a hierarchical safety check scheme. The applicability and effectiveness of the hierarchical checking tables was evaluated through interviews with experts. It was found that the hierarchical checking tables enabled each gang-form related participant to check his own safety management items, and provided a level-wise structure to site safety management systems.

휘처 모델의 Z 정형 명세와 검사 기법 (A Formal Specification and Checking Technique of Feature model using Z language)

  • 송치양;조은숙;김철진
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권1호
    • /
    • pp.123-136
    • /
    • 2013
  • 시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

여분을 갖는 통신시스템에서의 자기검사특성 향상에 관한 연구 (A Study on Enhanced Self-Checking Characteristics in Redundant Communication System)

  • 신덕호;김현기;이재훈;이창훈;이기서
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2000년도 춘계학술대회 논문집
    • /
    • pp.352-359
    • /
    • 2000
  • In this paper, the method is used that each system isolates the part in which faults are occurred in case of fault occurrence since total system is designed in the type of hot standby sparing system construction and self-checking circuit in each system is attached to the memory being of the high failure rate in common communication system. Thus reliability and availability in system are improved. In this thesis, self-checking circuit was designed using 2 out of 6 code and didn't have any effect to the system operation. For the purpose of verification, each system attached with self-checking circuit was simulated through fault injection arid the continuity of each system in hot standby sparing system was tested in case that the system was switched when faults in the system were occurred.

  • PDF

전문가 시스템 개발을 위한 Knowledge Base Editor의 구현 (A Knowledge Base Editor for Building Expert Systems)

  • 김재희;신동필
    • 대한전자공학회논문지
    • /
    • 제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.

  • PDF

유압전동장치(HST)의 압력맥동 특성 (Pressure Ripple Characteristics of Hydrostatic Transmission (HST))

  • 김도태
    • 한국공작기계학회:학술대회논문집
    • /
    • 한국공작기계학회 1998년도 추계학술대회 논문집
    • /
    • pp.222-227
    • /
    • 1998
  • The paper proposes a new method for measuring the flow ripple generated by an axial piston pump and motor in a hydrostatic transmission. The method is based on dynamic characteristics between pressure and flow ripple in the pipeline. Also, the self-checking functions develop for the evaluation of accuracy and dynamic response of estimated results by the method proposed here. The experiment carry out open circuit type hydrostatic transmission. By using the self-checking functions, the validity of the method is investigated by comparison with the measured and estimated flow and pressure ripples, and good agreement is achieved.

  • PDF

AN ALGORITHM FOR CHECKING EXTREMALITY OF ENTANGLED STATES WITH POSITIVE PARTIAL TRANSPOSES

  • Ha, Kil-Chan
    • 충청수학회지
    • /
    • 제23권4호
    • /
    • pp.609-616
    • /
    • 2010
  • We characterize extreme rays of the cone $\mathbb{T}$ of all positive semi-definite block matrices whose partial transposes are also positive semi-definite. We also construct an algorithm checking whether a given PPTES generates an extreme ray in the cone $\mathbb{T}$ or not. Using this algorithm, we give an example of $4{\otimes}4$ PPT entangle state of the type (5, 5), which generates extreme ray of the cone $\mathbb{T}$.

I/O FSM으로 명세화된 철도 신호제어용 프로토콜 검정에 관한 연구 (A Study on Verification of Rail Signal Control Protocol specified in I/O FSM)

  • 서미선;황종규;이재호;김성운
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2004년도 추계학술대회 논문집
    • /
    • pp.1241-1246
    • /
    • 2004
  • The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

  • PDF