This study focuses on the development of a new, formal method for the automated checking of pedestrian circulation rules in Courthouse Design Guide. Automated building rule checking is an automated process of design evaluation against design requirements. Since the early 1970's, when the electronic representation of building design became available, automated building rule checking, a computational process, has been a focus of study, and it continues to be a popular research area because it facilitates the design evaluation process by reducing the checking time and evaluation costs and by increasing the objectivity and the reliability of the evaluation. Thanks to the emergence of BIM (Building Information Model) authoring software, BIM became available to use in real building design, and several automated building code checking systems were developed based on BIM. In practice, the use of a rule checking system in real design evaluation may be influenced by several factors. Among the factors that affect the accuracy and the reliability of automated checking such as checking algorithms and rule interpretation is the level of completeness of the BIM in the design process, which can cause limitations in the application of a rule checking algorithm to the model. Problems caused by the incompleteness of the BIM occurred in CORENET project, a project initiated by the Singapore government in 1999 for automation of building code checking, and GSA Courthouse Design Guide Automation project (GSA), initiated at Georgia Tech in 2007 also faced with the same problems caused by incompleteness of BIM in the development stage. This thesis is a continuing research of GSA-Courthouse Design Guide Automation project (Simply, GSA project). The theoretical goals of this study are to provide a logical foundation upon which one can build an automated checking module for circulation rule checking and that is capable of outlining the rule-validation process independently from its diverse implementation. The theory for circulation rule checking is devised to represent the process of the validation of a building design in the development stage. The theory deals with issues of validation caused by the lack of data in the development of a building design.

Diploma thesis deals with the problems of system installations. The system installation is presented as an installation, where the light switch does not serve for interrupt a power circuit, but it serves as a sensor, which directs the status change of actuator, that makes the own manipulation with a power circuit. In the first chapter the diploma thesis presents the history of the system installation development depending on the demand for the system regulation in buildings centrally and complexly. There are also summarize advantages and disadvantages of installations, which are used in these days. In the second chapter, the system installations are devided into centralized and decentralized systems. The centralized systems are constructionally simpler as well the communication, but the whole system is more inclinable to fail. The decentralized systems are more complicated, more expensive, but more reliable and they have also potentiality to extand. Two decentralized systems, nowadays the most used, are further presented – KNX and LonWorks. They are used especially for the administration buildings control. Then the diploma thesis presents both some systems, which are used abroad, and the situation at the Czech market, whereas there is described the system INELS, which is made by Elko ep. Limited Company. The goal of the thesis, which is mentioned in the third chapter, is to present the system installations, design a panel with this installation including the panel´s handmade, and then on this panel demonstrate the panel´s using for education in laboratory practices. The fourth chapter discusses the author´s characterization of the panel´s concept – there is described the graphical concept of the panel, used units and their integrations. By all of used units their functions on the panel are described. In the last but one chapter, there are mentioned the practical applications, which the panel serves, and there are also described the concepts of laboratory tasks for education of the fundamental configuration and possibilities of the system installation INELS. The chapter also engage in the configuration of the system for the panel, which presents control elements in one room via the system installation INELS. This configuration serves for the presentation of the educational panel. The conclusion is dedicated to the summary of the mentioned problems.

<div> <div> <p>Building Information Modeling (BIM) serves as an important media in supporting automation in the architecture, engineering, and construction (AEC) domain. However, with its fast development by different software companies in different applications, data exchange became labor-intensive, costly, and error-prone, which is known as the problem of interoperability. Industry foundation classes (IFC) are widely accepted to be the future of BIM in solving the challenge of BIM interoperability. However, there are practical limitations of the IFC standards, e.g., IFC’s flexibility creates space for misuses of IFC entities. This incorrect semantic information of an object can cause severe problems to downstream uses. To address this problem, the author proposed to use the concept of invariant signatures, which are a new set of features that capture the essence of an AEC object. Based on invariant signatures, the author proposed a rule-based method and a machine learning method for BIM-based AEC object classification, which can be used to detect potential misuses automatically. Detailed categories for beams were tested to have error-free performance. The best performing algorithm developed by the methods achieved 99.6% precision and 99.6% recall in the general building object classification. To promote automation and further improve the interoperability of BIM tasks, the author adopted invariant signature-based object classification in quantity takeoff (QTO), structural analysis, and model validation for automated building code compliance checking (ACC). Automation in such BIM tasks was enabled with high accuracy.</p><p><br></p><p><br></p> </div> </div>