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.