The subject of this final thesis is to process selected parts of the construction technological project for the apartment house Eden in Poprad. The thesis deals with the implementation of the rough construction of the building. The content of this thesis is a engineering report, site plan with estate road layout, time schedule and financial plan for the whole object, feasibility study of the main technological stages of the building, construction site equipment project with drawings of three main technological stages, design of major construction machinery and mechanisms, time schedule of the rough construction of the main building, balance of workers and main machines, item budget, technological regulation for the realization of monolithic floor slab, control and test plan for the realization of monolithic reinforced concrete structures. As another assignment, I process selected points of LEED certification, noise study and health and safety plan.

This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.

This thesis presents the process of creating disassembler for new designed processors. We demand automatic generation of the disassembler. Instruction set for processor is modeled by specialized language ISAC, which offers resources for description of the instruction set. For example it describes format of instruction in the assembly language or format of instruction in the binary form or behavior of this instruction. Internal model is coupled finite automata, which describes relation of textual form of the instruction and binary form of the instruction in formal way. The code of disassembler is generated from the internal model. This disassembler accepts program in binary code at the input and generate equivalent program in assembly language at the output.

Das System der Geometrischen Produktspezifikation und -verifikation ist eine umfangreiche Zusammenstellung von Normen, die die geometrische Produktspezifikation und den Nachweis der Bauteileigenschaften regelt. Die vorliegende Arbeit stellt die im Jahr 2012 gültigen Normen und deren Inhalte dar. Den Schwerpunkt bildet die funktionsgerechte Spezifikation. Ausgehend von den in den Normen festgelegten Möglichkeiten und bisherigen Ansätzen werden ein funktionsgerechtes Spezifikationsmodell abgeleitet und die Grenzen des Systems aufgezeigt.

ChatGPT has made large language models more accessible and made it possible to code using natural language prompts. This study conducted an experiment comparing prompt engineering techniques called task specification and investigated their impacton code generation in terms of correctness and variety. The hypotheses of this study focused on whether the baseline method had a statistically significant difference in code correctness compared to the other methods. Code is evaluated using a software requirement specification that measures functional and syntactical correctness. Additionally, code variance is measured to identify patterns in code generation. The results show that there is a statistically significant difference in some code correctness criteria between the baseline and the other task specification methods, and the code variance measurements indicate a variety in the generated solutions. Future work could include using another large language model; different programming tasks andprogramming languages; and other prompt engineering techniques.

Bivalent genes are frequently associated with developmental and lineage specification processes. Resolving their bivalency enables fast changes in their expression, which potentially can trigger cell fate decisions. Here, we provide a theoretical model of bivalency that allows for predictions on the occurrence, stability and regulatory capacity of this prominent modification state. We suggest that bivalency enables balanced gene expression heterogeneity that constitutes a prerequisite of robust lineage priming in somatic stem cells. Moreover, we demonstrate that interactions between the histone and DNA methylation machineries together with the proliferation activity control the stability of the bivalent state and can turn it into an unmodified state. We suggest that deregulation of these interactions underlies cell transformation processes as associated with acute myeloid leukemia (AML) and provide a model of AML blast formation following deregulation of the Ten-eleven Translocation (TET) pathway

This master thesis report describes the development process of a modernized handguard for the AK4B battle rifle, which is the main armament for the Swedish Home Guard. The project was carried out in cooperation with ALTEN Sweden AB. The goal of the project was to develop a new, competitive handguard design and to establish a complete design documentation as a foundation for production. This documentation consisted of a final material selection, process plan with suitable manufacturing methods and engineering drawings. The project was initiated with a problem definition to establish a thorough understanding of the product to be improved and enabling a determination of aspects that might be of importance to the product development. From this, research areas could be selected and studied to acquire necessary insights to complete the project goals. The product development process implemented is mainly inspired by Ulrich & Eppinger, and includes the stages concept development, detail design and testing & refinement. Thus, well-established methodology was implemented, ensuring credibility and a qualitative result. Throughout the stages ofthe product development process, a product specification was established, before generating concepts and selecting a final candidate which were refined based on the selection of materials and elaborated process plan. Finally, a verification of the requirements was concluded using several methods to prove the performance of the product. The results presents a developed product fulfilling established requirements and includes required documentation for production. Overall, the product is considered to have great potential for customer satisfaction, and to perform well in a final testing according to military standards.

No description available.

No description available.

No description available.