Теоретично обгрунтовано та практично підтверджено можливість управління процесами гідратаційного твердіння монолітних бетонів за підвищених температур з використанням комплексних поліфункціональних домішок, що дозволяють "консервувати" технологічні властивості бетонних сумішей або прискорювати їх твердіння. Визначено оптимальні склади і досліджено технологічні та фізико-механічні властивості бетонної суміші та бетону з комплексними домішками. Експериментально-статистичні моделі забезпечують вибір складів бетонних сумішей з домішками за попередньо заданими властивостями. Розроблено склади сумішей захисних покриттів для бетону за умов сухого жаркого клімату.

У процесі виготовлення суцільнолитих конструкцій важливе місце займає метод литва і його якість, а також вивчення впливу сплавів металів на тканини протезного ложа і організм хворих в цілому. Оскільки стан пародонта після протезування залежить, зокрема, від виду протезування і типу ортопедичних конструкцій, важливим є вивчення залежності стану пародонта опорних зубів від методу литва, яким одержані дані протези, а також питання зміни фізико-механічних властивостей сплавів металів після їх литва та їх впливу на тканини протезного ложа під час користування хворими знімними або незнімними суцільнолитими зубними протезами. Проведено обстеження 118 пацієнтів, конструкції зубних протезів яким виготовлялися за допомогою різних методів литва (центробіжне литво з плавленням сплаву відкритим полум'ям, центробіжне литво з плавленням сплаву високочастотним струмом і метод вакуумного литва) та доведено відсутність безпосереднього впливу методу литва на стан пародонта опорних зубів.

Розглянуто проблеми забезпечення належного рівня якості обслуговування у віртуалізованих мережах за рахунок впровадження математичних моделей та методів аналізу та перевірки відповідності складових архітектури NFV. У якості формалізації вимог специфікації NFV рішень запропоновано використання математичного апарату темпоральних логік. Застосування темпоральних логік, зокрема, як логіки лінійного часу, так і розгалуженого часу, у якості інструменту побудови специфікації дозволяє виявити протиріччя між твердженнями специфікації. Аналіз розподілу мережевих ресурсів запропоновано звести до розв'язання задач перевірки відповідності таких функціональних та нефункціональних властивостей NFV рішень, як обмеженість, жвавість, досяжність, безпечність, покриваємість. З метою автоматизації процесу побудови моделі протоколу розробленo метод синтезу моделі Е-мережі за формалізмами темпоральних логік. Підтвердження відповідності властивостей розробленого мережевого рішення до усієї сукупності вимог запропоновано проводити за допомогою верифікації, зокрема, запропонованo використання класичного підходу "перевірки на моделях". Для моделювання зміни мережевих характеристик в процесі надання послуг запропоновано застосування теорії мережевого обчислення, на основі якої складено ряд визначень, що дозволяють найбільш повно моделювати елементи NFVI.