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

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

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

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

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

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

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

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

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

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

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

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

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

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

Цель работы: Описание алгоритма построения и основных принципов функционирования аналитического комплекса "База данных онкологических больных", предназначенного для хранения и статистической обработки клинической медицинской информации. Комплекс содержит ее только в формализованном виде, пригодном для математической обработки. Выводы: Комплекс "База данных онкологических больных" является инструментом врача-исследователя, созданным для всестороннего анализа клинической медицинской информации с целью раскрытия новых закономерностей и связей для объективизации медицинских исследований и совершенствования лечебного процесса.

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

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

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

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

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

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