Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

Розглянуто перспективи використання лампи зворотної хвилі з нахиленим електронним пучком (клінотрона) як джерела електромагнітного випромінювання терагерцевого діапазону частот. Для вивчення пускових умов та стаціонарних коливань клінотрона розроблено самоузгоджену теорію колективної взаємодії електронів з хвилею. Доведено можливість розробки перспективних ламп для терагерцевого діапазону частот і проведено оптимізацію геометрії клінотронів імпульсної та безперервної дії з частотою генерації 1 ТГц.

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

Описано експериментальну установку для визначення пертурбації необхідної для ініціації конденсаційного спалаху та розробки геометрії двофазної стратифікованої течії, за умов якої ці спалахи могли б бути ініційовані.

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

Технологія інжекційного формування, яка швидко розвивається, призначена для формування виробів складної геометрії з керамічних, металевих або металоподібних порошків на органічних в'яжучих. Особливо ефективні методики інжекційного формування у створенні структурного стану керамічних композицій. Для розвитку технології інжекційного формування досить важливим є вибір або розробка нових в'яжучих матеріалів, а також розробка способів та пристроїв для попереднього видалення технологічної зв'язки з напівфабрикату. Перспективним для цього є мікрохвильове обладнання з комп'ютерним керуванням, що дозволяє знизити забруднення навколишнього середовища та, крім того, виключає утворення дефектів у процесі видалення в'яжучого.

Наведено результати розробки системи контролю оптимального нагріву печей неперервної дії. Запропоновано концепцію та описано систему оптимізації. Особливу увагу приділено числовому моделюванню термомеханічних процесів у внутрішньому просторі печі, а також засобам вимірювання в печах неперервної дії.

На підставі механічних процесів, кінетики сушіння та характеристик теплообміну запропоновано метод розробки багатоступінчастої гвинтової сушарки, який перевірено шляхом порівняння з експериментальним сушінням свинячого гною.

Досліджено три компоненти аналізу продуктивності паралельних програм: вимірювання, візуалізацію та аналіз. Розглянуто підхід до використання баз даних для збору вимірювань і його вплив на розробку зазначених компонент. Наведено приклади аналізу продуктивності програми Spark98 для моделювання землетрусів та бібліотеки Pyramid для розрахунків за методом скінченних елементів, а також методологію вимірювань для паралельних об'єктно-орієнтованих програм.

При добавленні і розбавленні проникаючих кріопротекторів клітини можуть зазнавати істотних і, можливо, летальних відхилень об'ємів. Прогноз умов, при яких відбувається це відхилення, є необхідним для розробки стратегії оптимальних протоколів добавлення і розбавлення. У даній роботі розглянуто основні осмотичні явища, які відбуваються при розміщенні клітини в анізосмотичних умовах. Сукупність нерівностей дозволяє передбачити загальну картину осмотичної реакції. Проілюстровані деякі практичні приклади. Також коротко обговорюються переваги використання моделей з двома параметрами у порівнянні з підходом Кедем-Качальського.

Проаналізовано вітчизняні реалізації інструментальних засобів для розробки інтелектуальних навчальних систем і систем тестування знань тих, хто навчається. Описано інструментальні засоби візуальної розробки TeachExpert, призначені для створення інтелектуальних навчальних систем.

Розглядається проблема розробки алгоритмів для автоматичної компенсації похибок гіроскопічного інтегратора лінійних прискорень.

Запропоновано нову систему для діагностування захворювань ока методом реографії, що створена спільними зусиллями Науково-виробничого спільного малого підприємства "Медап" та Тернопільського державного технічного університету ім. Івана Пулюя. Обгрунтовано доцільність розробки та застосування нової системи. Подано принципи її функціонування, основні технічні характеристики та результати роботи.

Висвітлено методологію розробки сучасних автоматизованих систем управління технологічними процесами (АСУТП). Особливу увагу приділено розробці математичного забезпечення АСУТП. Викладено основні методи побудови статичних моделей АСУТП та їх використання для управління.

Розглянуто деякі питання аеродинаміки, динаміки, балістики та управління польотом літальних апаратів, проектування аерокосмічних літальних апаратів, а також технології, економіки та організації підприємств авіаційної та ракетно-космічної техніки. Охарактеризовано двигуни та автономну енергетику аерокосмічних літальних апаратів, аерокосмічну теплотехніку, конструкційні матеріали, досліджено міцність виробів аерокосмічної техніки.

Рассмотрено формирование структурно-функционального представления проектируемых сложных автоматизированных систем управления. Значительное внимание уделено оптимальной обработке измерительной информации в радиоэлектронном комплексе среднезонной дифференциальной коррекции псевдодальностей для высокоточной навигации и синхронизации шкал времени, а также интегративной процедуре построения цифровой модели рельефа по карте изолиний с использованием дискретного косинусного преобразования и гистограммной фильтрации. Представлены негауссовские модели ортогонально-поляризованных компонент сигналов от малоразмерных объектов и помех. Проанализированы зависимости временной корреляционной функции рассеянного поля от изменяющихся параметров случайной среды распространения.

Рассмотрены основные классы беспилотных летательных аппаратов, специфика и конструкция которых определяют необходимость использования нетрадиционных систем навигации, а также управления полетом. Предложен алгоритм автоматизации процесса опознавания образа миокарда на базе сравнений с эталонами банка патологий в координатном пространстве. Изложены проблемы построения информационно-измерительного комплекса, предназначенного для экспериментальных исследований элементов систем электроснабжения. Апробирован метод оптимизации процесса поиска неизвестного количества движущихся целей в условиях стохастической неопределенности, позволяющий существенно сократить среднее время их нахождения радиолокационным средством, оснащенным антенной решеткой с цифровым формированием лучей.

Висвітлено проблеми та завдання агрокваліметрії, еволюцію якості технологічних процесів засобів землеробства від давнього збиральництва до сучасного рослинництва. Обгрунтовано агрокваліметричні показники під час створення сільськогосподарської техніки, екологічні та загальні інженерно-агрономічні аспекти агрокваліметрії, параметри технологічної ситуації та якості у світових фітотехнологічних системах і галузях виробництва рослинної продукції, причому фітотехнологічні процеси та якість їх виконання розглянуто як функцію властивостей рослин та умов їх вирощування. Визначено основні закономірності фітотехнологічних систем як базисних з метою розробки нових технологій, обгрунтування параметрів технологічних ситуацій і показників якості у технологіях вирощування культурних рослин і збирання врожаю. Розкрито принцип технологічної відповідності техніки і технології як закономірність, яку необхідно враховувати під час впровадження нової техніки та нових технологій виробництва сільськогосподарських культур. Наведено характеристику агрокваліметричних методів і засобів, методичні особливості та метрологічне забезпечення їх застосування. Значну увагу приділено агрокваліметрії механізованих технологічних операцій за обов'язковими технологічними процесами виробництва рослинної продукції: підготовкою грунту, насіннєвого та садильного матеріалів, сівбою, посадкою, доглядом за рослинами та збиранням врожаю. Досліджено тенденції перспектив підвищення якості робіт у рослинництві та розвитку методів і засобів агрокваліметрії з урахуванням новітніх досягнень науки і техніки у галузях приладо- і сільгоспмашинобудування, а також питання сертифікації

продукції АПК, зокрема, у рослинництві.

Розглянуто питання створення ефективних антикорозійних полімерних покриттів бар'єрного типу з використанням як наповнювача, що забезпечує бар'єрний ефект у покритті, активованої базальтової луски (АБЛ). Показано, що АБЛ відрізняється високою хімічною стійкістю в киплячих кислотах і лугах, що дає змогу використовувати АБЛ як пластинковий наповнювач у процесі розробки хімічно стійких полімерних покриттів. Наведено сфери застосування розроблених покриттів з використанням АБЛ.

Розкрито особливості використання активних методів у системі інтенсивної технології навчання вищого навчального закладу, що базується на принципах моделювання професійних умінь майбутнього фахівця і враховує потреби гуманізації економічної освіти. Запропоновано конкретні методики організації навчальних занять, представлено методичні розробки вивчення окремих економічних тем за допомогою активних методів навчання.