Performance-based fire engineering design is becoming a more common practice for fire safety design of large complex buildings and modifying existing buildings. However, different engineering assumptions and ambiguous acceptance criteria not only lead to inconsistent level of safety, but also cause inefficient Building Consent process and can result in expensive appeals. In August 2006 the New Zealand Department of Building and Housing (DBH) has been developing a Verification Method (C/VM2) for demonstrating compliance with the Fire Safety requirements of the New Zealand Building Code (C Clauses). This research evaluated the proposed C/VM2 on four complex buildings, including Multi-level Night Club, Hospital, Shopping Mall and Retail Warehouse. It has showed that the C/VM2 successfully implements a systematic and less ambiguous guidance for the future performance-based fire safety designs. However, continued analysis and development is necessary that a solely deterministic method may not be the best solution. A risk-based concept is suggested to be incorporated into the new generation of the C/VM2.

Modern automotive systems increasingly depend on camera sensors to gather safetycriticaldata used in driver-assisting features of the system. These features can consist offor example, lane-keeping assist and automatic braking where the sensors register objectswithin certain distances. When these camera sensors gather information, the time of theimage is critical for the calculation of speeds, distances, and size of any potential registeredobject in the frame. Limitations of bandwidth and computing in such vehicles creates aneed to use special cameras that do not capture the whole image simultaneously but insteadcapture the images piecewise. These cameras are called rolling shutter cameras. Thisputs pressure on defining when an image was captured when different parts of the imagewere captured at different points in time. For this thesis, this point in time is defined as thechronological middle point in between the camera starting to capture an image and when ithas collected the final part of it. This thesis performs a mapping-study to evaluate methodsto verify the timestamp of an image generated from rolling shutter cameras. Further, thisthesis proposes a new method using multiple digital clocks and presents its performanceusing a proof-of-concept implementation to prove the method’s ability to accurately representtime with sub-millisecond accuracy.

<div> <div> <div> <p>The performance bottlenecks in modern data-intensive applications have induced database implementors to forsake high-level abstractions and trade-off simplicity and ease of reasoning for performance. Among the first casualties of this trade-off are the well-known ACID guarantees, which simplify the reasoning about concurrent database transactions. ACID semantics have become increasingly obsolete in practice due to serializable isolation – an integral aspect of ACID, being exorbitantly expensive. Databases, including the popular commercial offerings, default to weaker levels of isolation where effects of concurrent transactions are visible to each other. Such weak isolation guarantees, however, are extremely hard to reason about, and have led to serious safety violations in real applications. The problem is further complicated in a distributed setting with asynchronous state replications, where high availability and low latency requirements compel large-scale web applications to embrace weaker forms of consistency (e.g., eventual consistency) besides weak isolation. Given the serious practical implications of safety violations in data-intensive applications, there is a pressing need to extend the state-of-the-art in program verification to reach non- serializable data-intensive applications operating in a weakly-consistent distributed setting. </p> <p>This thesis sets out to do just that. It introduces new language abstractions, program logics, reasoning methods, and automated verification and synthesis techniques that collectively allow programmers to reason about non-serializable data-intensive applications in the same way as their serializable counterparts. The contributions </p> </div> </div> <div> <div> <p>xi </p> </div> </div> </div> <div> <div> <div> <p>made are broadly threefold. Firstly, the thesis introduces a uniform formal model to reason about weakly isolated (non-serializable) transactions on a sequentially consistent (SC) relational database machine. A reasoning method that relates the semantics of weak isolation to the semantics of the database program is presented, and an automation technique, implemented in a tool called ACIDifier is also described. The second contribution of this thesis is a relaxation of the machine model from sequential consistency to a specifiable level of weak consistency, and a generalization of the data model from relational to schema-less or key-value. A specification language to express weak consistency semantics at the machine level is described, and a bounded verification technique, implemented in a tool called Q9 is presented that bridges the gap between consistency specifications and program semantics, thus allowing high-level safety properties to be verified under arbitrary consistency levels. The final contribution of the thesis is a programming model inspired by version control systems that guarantees correct-by-construction <i>replicated data types</i> (RDTs) for building complex distributed applications with arbitrarily-structured replicated state. A technique based on decomposing inductively-defined data types into <i>characteristic relations</i> is presented, which is used to reason about the semantics of the data type under state replication, and eventually derive its correct-by-construction replicated variant automatically. An implementation of the programming model, called Quark, on top of a content-addressable storage is described, and the practicality of the programming model is demonstrated with help of various case studies. </p> </div> </div> </div>

Магистерская диссертация «Разработка проекта сайта о горном туризме» состоит из введения, двух глав – теоретической и практической, заключения, библиографического списка, включающего 73 наименования, и пяти приложений. Цель исследования – разработать проект информационного сайта о горном туризме, основываясь на данных, собранных в ходе анализа информационных сайтов о горном туризме и в результате работы с научными источниками. Объект исследования – информационные сайты о горном туризме. Предмет – структурно-содержательные и визуальные особенности информационных сайтов о горном туризме. Подобрано доменное имя ресурса. Сформирована концепция дизайна сайта. Подобран шрифт и цветовая палитра ресурса, разработан логотип. Обосновано решение использовать для реализации проекта CMS (WordPress) в качестве основной и конструктор Tilda Publishing для работы в разделе «Отчеты». Разработан прототип и два варианта макета стартовой страницы. При помощи конструктора сайтов разработана цифровая история. Отдельные положения проведенного исследования были представлены на VI Международной научно-практической интернет-конференции «Книжное дело: достижения, проблемы, перспективы» (Екатеринбург, 2017) и Международной научно-практической интернет-конференции «Язык. Текст. Книга» (Екатеринбург, 2018). / The Master's thesis "Web-Site Project Development on Mountain Tourism" consists of an introduction, two chapters - theoretical and practical, conclusion, reference comprising of 73 titles, and five annexes. The study purpose is to develop a draft information web-site on mountain tourism based on data collected during the analysis of information web-sites on mountain tourism and as a result of working with the scientific sources. The study object is the information web-sites on mountain tourism. The study subject is the structural and visual features of the information web-sites on mountain tourism. The domain name of the resource is chosen. The concept of the web-site design is formed. The font and color palette are chosen, and a logo for the resource is developed. The decision to use the CMS (WordPress) as the main for the project implementation and the Tilda Publishing designer to work in the "Reports" section is justified. A prototype and two versions of the layout of the start page are developed. A digital story with the help of the web-site designer is developed. Separate provisions of the study made were presented at the VI International Scientific and Practical Internet Conference "Book Business: Achievements, Problems, Prospects" (Yekaterinburg, 2017) and the International Scientific and Practical Internet Conference "Language. Text. Book" (Yekaterinburg, 2018).