This paper describes automated examination scheduling for the Faculty of Information Technology of Brno University of Technology. It specifies a list of restrictions that must by satisfied. Furthermore, this limitations are classified due to their influence on a quality of the final version of the examination schedule. There are two types of restrictions; soft and hard. The task is to find such a solution that satisfies all hard constraints and breaks the minimum of soft constraints using techniques described in this paper.

No description available.

SyfteDenna studies syfte var att undersöka om det finns ett samband mellan mellantid och sluttid på sprint prologer för herrar i världscuptävlingar, samt undersöka om förklaringsgraden för detta samband skiljer sig mellan tävlingsbanor med olika banprofil baserat på antal höjdmeter fram till mellantiden (CTC).MetoderAnalysen gjordes genom att ladda ner samtliga resultat från prologer från världscupen innehållande en mellantid efter 500-1000 m från säsongen 2017/2018 till 2019-2020. Sluttid, slutplacering och tid och placering vid mellantidsstation användes i den statistiska analysen. CTC beräknades genom att dividera klättrade höjdmeter från start till mellantid med respektive banas distans från start till mellantid. Baserat på olika banors CTC delades banorna in i 2 grupper, Level 1 (L1) banor med CTC ≤ 0,040 m/m och Level 2 (L2) CTC > 0,040 m/m. För att bestämma om datan var normalfördelad användes Kolmogorov-Smirnov test. Datan analyserades sedan med hjälp av Pearsons korrelation för att beräkna korrelationskoefficienten (r) vilken sedan kvadrerades för att få förklaringsgraden (r2).ResultatKorrelationsanalysen som genomförts visar ett signifikant resultat mellan mellantid och sluttid för alla analyserade prologer (0,63 < r < 0,95; alla p < 0,001). Mellantiden förklarar 76 ± 12 % av variationen i sluttid, men ingen signifikant skillnad sågs för förklaringsgraden mellan tävlingsbanor med olika CTCSlutsatserSlutsatserna som kan dras av denna studie är att ett bra resultat vid mellantiden med stor sannolikhet kommer ge ett bra slutresultat, oberoende av banprofil. Framtida forskning behövs för att utvärdera vilken taktik åkarna väljer. / PurposeThe aim of this present study was to investigate if there is any correlation between intermediate station time and finish time in men’s cross-country ski sprint World Cup prologue. The second purpose was to identify if the correlation could depend on the morphology of the analysed courses. Methods Analyses were made on sprint prologues in World Cup, involving an intermediate time after 500-1000m from season 2017/2018 to 2019-2020. Intermediate time and finish time were used in statistical analysis. A coefficient of terrain characteristics (CTC) was calculated by dividing the high difference (HD) from the start to the position of the intermediate time station by the respectively covered distance. Based on CTC the different courses were categorized in two groups. Leve 1 (L1) courses with a CTC ≤ 0,040 m/m and Level 2 (L2) courses with a CTC > 0,040 m/m. To identify if data were normally distributed Kolmogorov-Smirnov test was used. The data were analysed using Pearson’s correlation to calculate the coefficient of variation (r) which was then squared to obtain the coefficient of determination (r2).ResultsThe correlation analysis shows that there were significant relationships between intermediate time and finish time for all analysed sprint prologues (0,63 < r < 0,95; all p < 0,001). Intermediate time explains 76 ± 12 % of the variation in finish time, while no significant difference was seen for the determination coefficients between race tracks with different CTCConclusionsFast times at the intermediate time stations will most likely give good finish times, independent of terrain characteristics (CTC). Further researches are needed to evaluate which pacing profile skiers are using.

This MSc Thesis is focused on the multimodeling area, especially on the cooperation of the C++ language and the Prolog language. The recent research is established on my semester study, which also dealt with the multimodeling area. During this research a prototype of interconnection library for cooperation of above mentioned programming languages was developed. This prototype of the library was finished within the scope of this thesis and some case-studies were created, too, using also another simulation library - SIMLIB/C++. These case-studies have their focus in the problems of artificial intelligence. The main benefit of this thesis is the confrontation of methods with and without using artificial intelligence.

No description available.

<p>   </p> <p>The growing shortage of workers experienced in the labor-driven architecture, engineering, and construction (AEC) industry in the last decades has negatively impacted the industry, especially in the productivity. In the search of alternatives to alleviate this concerning situation, the AEC industry has readopted the concept of prefabrication (offsite construction). Compared to stick-built construction, offsite construction provides many advantages, such as construction in a controlled environment, the ability to perform parallel activities, quality improvement, less construction waste, safety improvement, and overall cost reduction. </p> <p>Despite the numerous advantages, there are challenges that have hindered the efficacy of offsite construction in practice. One of such challenges is the lack of interoperability in the design, planning, and construction workflows. Another challenge is that fabrication and assembly operations still rely on manual efforts which are time-consuming, costly, and error prone. With the advancement in digital and automation technologies, such as building information modeling (BIM) and robotics, there is an increasing interest in integrating these technologies to improve productivity in offsite construction. However, this has not been realized yet due to 1) the lack of BIM capability to incorporate automation technology in the design workflow, and 2) the lack of considerations of robotic technology to support AEC processes. </p> <p>Therefore, to address these gaps, in this research, the author proposed methods to 1) analyze building design information to infer construction-ready information and 2) generate construction operations simulations/animations using off-the-shelf robotic systems. The proposed methods consist of algorithms that enable: 1) inference of geometric and physical properties of building elements from industry foundation classes (IFC) models, and 2) generation of simulations for analyzing robot-assisted construction operations.</p> <p>These methods were tested on different test cases. Compared with manual efforts, the developed systems were more time efficient in the automated extraction of geometric and physical properties from IFC models as well as in the generation of the sub-module packages for constructability analysis using robotic automation. Experimental results showed that: (1) the developed method can be utilized in inferring the geometric and physical properties of building elements from IFC data models in an automated fashion, achieving 60.61% to 100% precision and 90.30% to 99.59% recall; and (2) the developed algorithms successfully generated the robot-related information from IFC-based BIM and successfully generated the simulation components automatically. Such automation reduces the needs of manual efforts in the extraction and generation of robotic simulation components. This research opens a new door for practitioners to analyze a building design related to the use of robotics for construction.</p> <p>  </p>

No description available.

The purpose of this study is to implement the advantages of the relatively new field of expert systems to robot kinematics. The research presented in this thesis illustrates the progress in combining the two fields. An expert system used to solve the kinematic equations of general purpose robots is presented along with some examples. / Master of Science

Over the past 10 years, several synthetic biology research groups have proposed tools and domain-specific languages to help with the design of artificial DNA molecules. Community standards for exchanging data between these tools, such as the Synthetic Biology Open Language (SBOL), have been developed. It is increasingly important to be able to perform in silico simulation before the time and cost consuming wet lab realization of the constructs, which, as technology advances, also become in themselves more complex. By extending the concept of describing genetic expression as a language, we propose to model relations between genotype and phenotype using formal language theory. We use attribute grammars (AGs) to extract context-dependent information from genetic constructs and compile them into mathematical models, possibly giving clues about their phenotypes. They may be used as a backbone for biological Domain-Specific Languages (DSLs) and we developed a methodology to design these AG based DSLs. We gave examples of languages in the field of synthetic biology to model genetic regulatory networks with Ordinary Differential Equations (ODEs) based on various rate laws or with discrete boolean network models. We implemented a demonstration of these concepts in GenoCAD, a Computer Assisted Design (CAD) software for synthetic biology. GenoCAD guides users from design to simulation. Users can either design constructs with the attribute grammars provided or define their own project-specific languages. Outputting the mathematical model of a genetic construct is performed by DNA compilation based on the attribute grammar specified; the design of new languages by users necessitated the generation on-the-fly of such attribute grammar based DNA compilers. We also considered the impact of our research and its potential dual-use issues. Indeed, after the design exploration is performed in silico, the next logical step is to synthesize the designed construct's DNA molecule to build the construct in vivo. We implemented an algorithm to identify sequences of concern of any length that are specific to Select Agents and Toxins, helping to ensure safer use of our methods. / Ph. D.

This dissertation deals with applications of Prolog and Artificial Intelligence (AI) to chemical engineering, and in particular, to the area of chemical process synthesis. We introduce the language Prolog (chapters 1-9), discuss AI techniques (chapters 10-11), discuss EXSEP, the EXpert System for SEParation Synthesis (chapters 12-15), and summarize applications of both AI and Artificial Neural Networks (ANNs) to chemical engineering (chapters 16-17). We have developed EXSEP, a knowledge-based system that performs separation process synthesis. EXSEP is a computer-aided design tool that can generate flowsheets using any combination of high-recovery (sharp) and low-recovery (nonsharp) separations, using a variety of separation methods with energy and mass separating agents. EXSEP generates separation process flowsheets using a unique plan-generate-test approach that incorporates computer-aided tools and techniques for problem representation and simplification, feasibility analysis of separation tasks, and heuristic synthesis and evolutionary improvement. A difficult problem in knowledge-based approaches to chemical engineering is the "quantitative or deep knowledge dilemma." Experience has shown that a strictly qualitative knowledge approach to chemical process synthesis is insufficient. However, including rigorous quantitative analysis into an expert system is cumbersome and impractical. EXSEP overcomes this deep-knowledge dilemma through a unique knowledge representation and problem-solving strategy that includes shortcut design calculations. These calculations are used as a feasibility test for all separations; no separation is chosen by EXSEP unless it is deemed as thermodynamically feasible through this quantitative, deep-knowledge, engineering analysis. We apply EXSEP for the flowsheet synthesis of several industrial separations problems. The results show that EXSEP successfully generates technically feasible and economically attractive process flowsheets accurately and efficiently. EXSEP is also user-friendly, and can be readily applied by practicing engineers using a personal computer. In addition, EXSEP is developed modularly, and can be easily expanded in the future to include additional separation methods. / Ph. D.