Ziabkin, Yahor, Fernandes, Paulo Alexandre Lopes, and Shabanov, Dmitry
Modelling, Composite, Prototyping, Reinforcement, Periodic profile, 3D-printing, and Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Civil
Nowadays, the technology of life cycle assessment of industrial products passes through the stage of changing the stage of existence in the market - from innovations to industrial application. In a couple of years ago there were practically no examples of projects using information models on the broad market, today the situation is changing, including because information modeling was noticed at the state level. The need to produce non-existent products inside the country stimulates investments in new production and re-equipment of existing facilities, and such projects must be implemented as quickly and efficiently as possible. The main task is to accelerate the implementation of the investment and construction project, reduce costs and increase the profitability of construction. The theme of the thesis corresponds to the branch program of the Republic of Belarus on the development and implementation of information technologies for integrated automation of design and life cycle assessment of buildings and structures. Master's work is an integral part of the state budget issue No. 2916 of the department of construction production "Development and research of innovative energy- and resource-saving materials, technologies using raw materials of the Polotsk region". The results of the work represent the possibility of modeling and introducing new types of periodic profiles, creation of 3D-printing technology for structures reinforced with composite reinforcement of periodic profile, creation of reusable end clamps of reusable use for testing composite reinforcement of various periodic profiles.
Coalgebraic models, Prototyping, and Higher-order programming
Construction and observation are two basic notions in Computer Science corresponding to precise dual mathematical concepts: those of algebra and coalgebra. This paper introduces a simple coalgebraic model for concurrent processes and discusses its animation in the declarative language Charity. It is argued that the ability to reason in an uniform way about data and behaviour, provides an unifying approach to functional prototyping of software speci cations.
Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell
Prototyping current system, Software architecture, and Software Engineering
Software architecture is currently recognized as one of the most critical design steps in Software Engineering. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Cw, the corresponding architectural skeletons in the Microsoft .NET framework in the form of executable code