This paper presents a piece of software to automatically extract requirements captured in Microsoft Word files while using domain knowledge. In a subsequent step, these requirements are enhanced for implementation purposes and ultimately saved to ReqIF, an XML-based file format for the exchange of specification documents. ReqIF can be processed by a wide range of industry-standard requirements management tools. By way of this enhancement a formalization of both the document structure and selected elements of its natural language contents is achieved. In its current version, the software was specifically developed for processing the Subset-026, a conceptually demanding specification document covering the core functionality of the pan-European train protection system ETCS. Despite this initial focus, the two-part design of this thesis facilitates a generic applicability of its findings: Section 2 presents the fundamental challenges of weakly structured specification documents and devotes a large part to the computation of unique, but human-readable requirement identifiers. Section 3, however, delves into more domain-specific features, the text processing capabilities, and the actual implementation of this novel software. Due to the open-source nature of the application, an adaption to other use-cases can be achieved with comparably little effort. / Diese Arbeit befasst sich mit einer Software zur automatisierten Extraktion von Anforderungen aus Dokumenten im Microsoft Word Format unter Nutzung von Domänenwissen. In einem nachgelagerten Schritt werden diese Anforderungen für Implementierungszwecke aufgewertet und schließlich als ReqIF, einem XML-basierten Dateiformat zum Austausch von Spezifikationsdokumenten, gespeichert. ReqIF wird von zahlreichen branchenüblichen Anforderungsmanagementwerkzeugen unterstützt. Durch die Aufwertung wird eine Formalisierung der Struktur sowie ausgewählter Teile der natürlichsprachlichen Inhalte des Dokuments erreicht. Die jetzige Version der Software wurde speziell für die Verarbeitung des Subset-026 entwickelt, eines konzeptionell anspruchsvollen Anforderungsdokuments zur Beschreibung der Kernfunktionalität des europaweiten Zugsicherungssystems ETCS. Trotz dieser ursprünglichen Intention erlaubt die zweigeteilte Gestaltung der Arbeit eine allgemeine Anwendung der Ergebnisse: Abschnitt 2 zeigt die grundsätzlichen Herausforderungen in Bezug auf schwach strukturierte Anforderungsdokumente auf und widmet sich dabei ausführlich der Ermittlung von eindeutigen, aber dennoch menschenlesbaren Anforderungsidentifikatoren. Abschnitt 3 befasst sich hingegen eingehender mit den domänenspezifischen Eigenschaften, den Textaufbereitungsmöglichkeiten und der konkreten Implementierung der neuen Software. Da die Software unter open-source Prinzipien entwickelt wurde, ist eine Anpassung an andere Anwendungsfälle mit relativ geringem Aufwand möglich.

This paper presents a piece of software to automatically extract requirements captured in Microsoft Word files while using domain knowledge. In a subsequent step, these requirements are enhanced for implementation purposes and ultimately saved to ReqIF, an XML-based file format for the exchange of specification documents. ReqIF can be processed by a wide range of industry-standard requirements management tools. By way of this enhancement a formalization of both the document structure and selected elements of its natural language contents is achieved. In its current version, the software was specifically developed for processing the Subset-026, a conceptually demanding specification document covering the core functionality of the pan-European train protection system ETCS. Despite this initial focus, the two-part design of this thesis facilitates a generic applicability of its findings: Section 2 presents the fundamental challenges of weakly structured specification documents and devotes a large part to the computation of unique, but human-readable requirement identifiers. Section 3, however, delves into more domain-specific features, the text processing capabilities, and the actual implementation of this novel software. Due to the open-source nature of the application, an adaption to other use-cases can be achieved with comparably little effort.:1 Introduction 13 1.1 Motivation 14 1.2 Previous formalization attempts 15 2 Processing specification documents 17 2.1 Structural considerations 17 2.1.1 The input format: DOC 18 2.1.2 Different parts of a specification document 20 2.1.3 The output format: ReqIF 20 2.2 Enhancing requirement content 23 2.2.1 Visualizing dependencies 25 2.2.2 Querying for data 25 2.3 Computing requirement identifiers 28 2.3.1 Unwinding complex structures: Tables 33 2.3.2 Unwinding complex structures: Other structures 37 2.3.3 Summary 38 3 The tool 41 3.1 Basic usage 41 3.1.1 Dealing with embedded media 43 3.2 ReqIF output 45 3.2.1 Data associated with a requirement artifact 46 3.2.2 Links between requirement artifacts 52 3.2.3 Issues with IBM DOORS 55 3.3 Content formalization 56 3.3.1 Detection of recurring elements 56 3.3.2 Sublist dependencies 58 3.3.3 Intra-cell requirements 59 3.3.4 Unformalizable elements 61 3.4 Inner workings 62 3.4.1 List hierarchy algorithm 64 3.4.2 Techniques for natural language content 69 3.5 Comparison to other tools 72 3.6 Applying this tool to other documents 74 3.7 EN 50128 tool qualification 76 4 Outlook 77 5 Conclusion 79 A Appendices 83 A.1 Postprocessing statistics data 83 A.1.1 Clean up spurious external links 83 A.1.2 Merge data of several tool runs 84 A.2 Subset-026 keywords 85 A.2.1 Legal obligation 85 A.2.2 Weak words 85 A.2.3 Other keywords for the implementerEnhanced-field 86 Lists of Figures, Tables and Listings 87 Glossary 89 Terms specific to this thesis 92 Bibliography 93 / Diese Arbeit befasst sich mit einer Software zur automatisierten Extraktion von Anforderungen aus Dokumenten im Microsoft Word Format unter Nutzung von Domänenwissen. In einem nachgelagerten Schritt werden diese Anforderungen für Implementierungszwecke aufgewertet und schließlich als ReqIF, einem XML-basierten Dateiformat zum Austausch von Spezifikationsdokumenten, gespeichert. ReqIF wird von zahlreichen branchenüblichen Anforderungsmanagementwerkzeugen unterstützt. Durch die Aufwertung wird eine Formalisierung der Struktur sowie ausgewählter Teile der natürlichsprachlichen Inhalte des Dokuments erreicht. Die jetzige Version der Software wurde speziell für die Verarbeitung des Subset-026 entwickelt, eines konzeptionell anspruchsvollen Anforderungsdokuments zur Beschreibung der Kernfunktionalität des europaweiten Zugsicherungssystems ETCS. Trotz dieser ursprünglichen Intention erlaubt die zweigeteilte Gestaltung der Arbeit eine allgemeine Anwendung der Ergebnisse: Abschnitt 2 zeigt die grundsätzlichen Herausforderungen in Bezug auf schwach strukturierte Anforderungsdokumente auf und widmet sich dabei ausführlich der Ermittlung von eindeutigen, aber dennoch menschenlesbaren Anforderungsidentifikatoren. Abschnitt 3 befasst sich hingegen eingehender mit den domänenspezifischen Eigenschaften, den Textaufbereitungsmöglichkeiten und der konkreten Implementierung der neuen Software. Da die Software unter open-source Prinzipien entwickelt wurde, ist eine Anpassung an andere Anwendungsfälle mit relativ geringem Aufwand möglich.:1 Introduction 13 1.1 Motivation 14 1.2 Previous formalization attempts 15 2 Processing specification documents 17 2.1 Structural considerations 17 2.1.1 The input format: DOC 18 2.1.2 Different parts of a specification document 20 2.1.3 The output format: ReqIF 20 2.2 Enhancing requirement content 23 2.2.1 Visualizing dependencies 25 2.2.2 Querying for data 25 2.3 Computing requirement identifiers 28 2.3.1 Unwinding complex structures: Tables 33 2.3.2 Unwinding complex structures: Other structures 37 2.3.3 Summary 38 3 The tool 41 3.1 Basic usage 41 3.1.1 Dealing with embedded media 43 3.2 ReqIF output 45 3.2.1 Data associated with a requirement artifact 46 3.2.2 Links between requirement artifacts 52 3.2.3 Issues with IBM DOORS 55 3.3 Content formalization 56 3.3.1 Detection of recurring elements 56 3.3.2 Sublist dependencies 58 3.3.3 Intra-cell requirements 59 3.3.4 Unformalizable elements 61 3.4 Inner workings 62 3.4.1 List hierarchy algorithm 64 3.4.2 Techniques for natural language content 69 3.5 Comparison to other tools 72 3.6 Applying this tool to other documents 74 3.7 EN 50128 tool qualification 76 4 Outlook 77 5 Conclusion 79 A Appendices 83 A.1 Postprocessing statistics data 83 A.1.1 Clean up spurious external links 83 A.1.2 Merge data of several tool runs 84 A.2 Subset-026 keywords 85 A.2.1 Legal obligation 85 A.2.2 Weak words 85 A.2.3 Other keywords for the implementerEnhanced-field 86 Lists of Figures, Tables and Listings 87 Glossary 89 Terms specific to this thesis 92 Bibliography 93

This study concerns the false doors of Hershefnakht, Nyankhanty and Senetites that are currently on display in the Museum of Mediterranean and Near Eastern Antiquities in Stockholm. None of these doors has received much attention in the past, and certainly not their own dedicated study. Previously, these doors have only been roughly dated, and the status of their owners in society were practically unknown. This study seeks to narrow down the dating of these false doors and to more precisely make a judgement on their owners’ social standing within society. To more precisely date the false doors, relevant features are presented together with relevant information concerning the characteristic in question. As such, a more precise date is built from the various relevant elements of the door. The false doors are translated with appropriate commentary on the short texts. The most important parts of these texts are the titles and through comparisons to other holders of the same titles and discussion of what is known about these titles; a judgement of their social status is made. In the end, Hershefnakht’s and Senetites’ doors can be dated to, at earliest, the reign of Pepy II though their latest possible date is more difficult to establish with any certainty. Nyankhanty’s false door can be dated, at earliest to King Nyuserre Ini’s reign with the latest possible date being the end of the 5th dynasty. Due to only having a single title, Hershefnakht’s social standing is somewhat uncertain and it would be possible to both over- and underplay his status. On the other hand, Nyankhanty’s status can be established with more certainty and it seems he was a high-ranking priest and a commander of a force of men. Senetites can quite easily be placed in or close to the court, but the position therein is more difficult to define. / På Medelhavsmuseet står skendörrarna av Hershefnakht, Nyankhanty och Senetites utställda. Ingen av dörrarna har fått mycket uppmärksamhet tidigare. Det finns därför ingen tidigare dedikerad studie av dessa dörrar och deras ägare. Tidigare dateringar är endast approximativa och den sociala statusen av ägarna okänd. Den här studien siktar mot att datera dörrarna med mer precision genom att studera viktiga aspekter av dörrarna och att bestämma ägarnas sociala status. De relevanta aspekterna av dörrarna presenteras tillsammans med relevant information om aspekten i fråga. Genom denna process så fastställs en mer exakt datering av dörrarna. Genom översättningen av texten som finns på dörrarna presenteras de olika titlarna av dörrarnas ägare. Efter en diskussion om det som är känt om dessa titlar och jämförelse med andra titelhållare så dras en slutsats om deras status. Skendörrarna av Hershefnakht och Senetites kan båda dateras till, som tidigast, Pepy II:s regeringstid. Däremot är deras senaste möjliga datering svårare att specificera. Nyankhantys skendörr kan dateras till Nyuserre Inis regeringstid som tidigast, och senast slutet av 5:e dynastin. Det är svårt att bestämma vilken status Hershefnakht hade, då han endast har en titel vilket kan peka på både en högre och lägre status. Däremot går det att säga ganska säkert att Nyankhanty var en högt uppsatt präst och befälhavare över någon form av trupp. Senetites kan utan större svårigheter placeras i, eller nära hovet även om den exakta positionen är oklar.

Le problème étudié dans le cadre de cette thèse porte essentiellement sur l'étape de détection de défaut dans un processus de diagnostic industriel. Ces travaux sont motivés par la surveillance de deux sous-systèmes complexes d'un autobus impactant la disponibilité des véhicules et leurs coûts de maintenance : le système de freinage et celui des portes. Cette thèse décrit plusieurs outils dédiés au suivi de fonctionnement de ces deux systèmes. On choisit une approche de diagnostic par reconnaissance des formes qui s'appuie sur l'analyse de données collectées en exploitation à partir d'une nouvelle architecture télématique embarquée dans les autobus. Les méthodes proposées dans ces travaux de thèse permettent de détecter un changement structurel dans un flux de données traité séquentiellement, et intègrent des connaissances disponibles sur les systèmes surveillés. Le détecteur appliqué aux freins s'appuie sur les variables de sortie (liées au freinage) d'un modèle physique dynamique du véhicule qui est validé expérimentalement dans le cadre de nos travaux. L'étape de détection est ensuite réalisée par des cartes de contrôle multivariées à partir de données multidimensionnelles. La stratégie de détection pour l'étude du système porte traite directement les données collectées par des capteurs embarqués pendant des cycles d'ouverture et de fermeture, sans modèle physique a priori. On propose un test séquentiel à base d'hypothèses alimenté par un modèle génératif pour représenter les données fonctionnelles. Ce modèle de régression permet de segmenter des courbes multidimensionnelles en plusieurs régimes. Les paramètres de ce modèle sont estimés par un algorithme de type EM dans un mode semi-supervisé. Les résultats obtenus à partir de données réelles et simulées ont permis de mettre en évidence l'efficacité des méthodes proposées aussi bien pour l'étude des freins que celle des portes / This thesis is mainly dedicated to the fault detection step occurring in a process of industrial diagnosis. This work is motivated by the monitoring of two complex subsystems of a transit bus, which impact the availability of vehicles and their maintenance costs: the brake and the door systems. This thesis describes several tools that monitor operating actions of these systems. We choose a pattern recognition approach based on the analysis of data collected from a new IT architecture on-board the buses. The proposed methods allow to detect sequentially a structural change in a datastream, and take advantage of prior knowledge of the monitored systems. The detector applied to the brakes is based on the output variables (related to the brake system) from a physical dynamic modeling of the vehicle which is experimentally validated in this work. The detection step is then performed by multivariate control charts from multidimensional data. The detection strategy dedicated to doors deals with data collected by embedded sensors during opening and closing cycles, with no need for a physical model. We propose a sequential testing approach using a generative model to describe the functional data. This regression model allows to segment multidimensional curves in several regimes. The model parameters are estimated via a specific EM algorithm in a semi-supervised mode. The results obtained from simulated and real data allow to highlight the effectiveness of the proposed methods on both the study of brakes and doors

This thesis covers brand new detached indoor pool with one underground and one above ground floor, which is designed for a maximum capacity of 120 people, with two swimming pools, a children's swimming. The building is designed with a flat rectangular roof insulation. Envelopes are ventilated, insulated, bearing part consists of reinforced concrete. The pool hall make up the majority of the building envelope glass facade. Facilities for employees is located on the first basement floor. All technologies for cleaning pool water, air conditioning, boiler, facilities for maintenance are located on the first basement floor. Chimneys are stainless steel, placed on the outside of the building. The finish floors are ceramic tile. Pool bath is designed as a so-called white bathtub. The supporting structure of the ceiling above the pool hall beams are post-tensioned concrete.

The project addresses the new residential building in the cadastral Chotebor city, county Region. It is a four-storey apartment block, slab and flat roofed single-shell roof. The external walls are lined from the system Porothem and insulation system certified ETICS (TI Extherm EPS 70 F). Residential house is located on parcels 1226/1, 1226/2. Residential house is designed with the layout, the use of safety in terms of fire safety, acoustics, lighting and heating equipment and energy.

The main concern of this thesis work is the five-storey multifunction building. The house will consist of 22 residential units and one barrier-free apartment to which they belong cellar and two establishments. The building will have four above ground and one underground floor.

The project addresses the new residential building in the cadastral Chotebor city, county Vysočina.Jedná is a four-storey apartment building with two facilities (hairdressers, school). Apartment building has two main entrances A and B which are located in Eastern strany.Objekt the basement, flat-roofed single-shell střechou.Objekt flat is located on parcels 1228,4466,1221 / 1.1227 / 1,1223,1260 / 1.Obvodové walls of the porotherm 30 Profi and is insulated with expanded polystyrenem.Dům is designed with regard to the disposition solutions, safety in use, fire safety, the static page and energy savings

The Diploma thesis is divided into 2 parts. The first one deals with the description of CAN-bus and the protocol of SAE J1939. The second part contains the practical solution to controlling of Passenger Operated Doors and controlling of Air Sprinte (ECAS). Both parts refer to contemporary (conventions/standards) and the whole task is solved in a new program environment KIBES-32.

Autism Spectrum Disorder is an increasingly common developmental disability. Students diagnosed with ASD can be challenging to incorporate into mainstream classrooms due to a lack of understanding and negative attitudes of neurotypical peers towards those students. This thesis aims to address the problem in a unit plan centered on the use of young adult literature with a main protagonist on the Spectrum in the English Language Arts classroom. Specifically, it argues the use of such texts in conjunction with a literature circles unit in providing better understanding and greater acceptance of students with ASD. The unit and lesson plans were written to reflect how Vygotsky’s Zone of Proximal Development, Bishop’s windows, doors, and mirrors , and the texts students read can influence their thinking and behavior. Using goodreads and local ELA book lists, I selected four YAL texts which portrayed the main character with ASD as they go about their daily lives. These texts were then incorporated into the twenty-lesson unit plan which aims at supporting positive attitudes and acceptance of neurotypical students towards their peers with ASD.