Скачати повний текст

Розроблено комплексний підхід до цілеспрямованої трансформації карбофункціоналізованих угруповань у положенні 4 піразольного ядра з метою конструювання біологічно активних ациклічних і гетероциклічних ансамблів і конденсованих систем. Запропоновано методологію синтетичного застосування 4-формілпіразолів і продуктів їх конденсації з рядом N- та C-нуклеофілів для побудови складних і перспективних біологічно активних молекул: піразоло[3,4-d]піридазинів, первинних, вторинних, третинних 4-піразолілметиламінів, 4-піразолілтіазолідин-4-онів, піразоліл-4-амінометилфосфонових кислот, піроло[2,3-d]піразолів, 5-[піразол-4-іл]-2-піразолінів, 4-(5-ізолксазоліл)піразолів, (піразол-4-іл)3,4-дигідропіримідин-2-онів(тіонів). Оптимізовано відомі та розроблено альтернативні високопродуктивні методи одержання 4-піразолкарбонових, піразол-4-оцтових, 3-(піразол-4-іл)пропенових, 2-(бензоїламіно)-3-піразол-4-ілпропанових, 2-аміно-3-(піразол-4-іл)пропанових кислот і вивчено їх хімічні властивості та напрямки синтетичного застосування. Встановлено, що піразол-4-карбонові кислоти та 4-амінометилпіразоли є зручними базовими системами для одержання високореакційних електрофільних реагентів: 4-ізоціанатопіразолів, 4-ізоціанатометилпіразолів, 4-карбонілізотіоціанатопіразолів, 4-ізотіоціанатометилпіразолів. Систематично досліджено поведінку одержаних електрофілів відносно типових нуклеофільних реагентів. Розроблено ефективний підхід до важкодоступних високореакційних 4-хлорометилпіразолів, на основі яких вперше одержано синтетично перспективні реагенти: 4-піразолілметилтрифенілфосфонієві солі, -тіоли, -тіо(ізотіо)ціанати, -азиди, -іміди, -ізоціанати, -ціаніди. Запропоновано нову методологію синтезу біологічно активних 4,5-дигідро-2Н-піразоло[4,3-c]хінолінів, яка грунтується на внутрішньомолекулярному арилюванні N-алкіл[3-(2-хлорфеніл)-4-піразоліл]метиламінів.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

Надано результати дослідження кремнієвих автоемісійних мікрокатодів з елементами керування на структурах "кремній-на-ізоляторі" для застосування у цифровій електронній літографії. Доповнено рівняння Фаулера-Нордгейма з метою розрахунку автоемісії напівпровідників. Удосконалено методи розрахунку електронної оптики мікрокатода, спосіб і схему керування мікрокатодом. Обгрунтовано умови застосування компактних моделей МОН-транзисторів. Розроблено спосіб виготовлення локальних тривимірних КНІ-структур і показано приклади їх застосування. Розроблено та верифіковано топологію схеми керування, інтегрованої з мікрокатодом, наведено приклад її тиражування в матрицю. Показано розрахункові й експериментальні характеристики тестових структур.

  Скачати повний текст

Запропоновано концепцію автоматизованої структурної верифікації ACOI та бізнес-правил її проектування, що базується на розширенні процесу верифікації етапом аналізу несуперечності структурних моделей системи та моделей бізнес-правил, що дозволяє підвищити якість ACOI у процесі її створення/реінжинірингу. Розроблено нову модель подання знань (СР-модель), яка базується на неоднорідній неієрархічній семантичній мережі загального характеру, без початкового виділення типів відношень, розширена функціями синтаксичного та семантичного контролю та правилами виведення нових зв'язків. Дана модель відрізняється від інших наявністю засобів для подання у вигляді семантичної мережі інших формалізмів (множин, формул логіки предикатів, об'єктних моделей) і використовує подання знань про мультиформальні моделі для аналізу їх несуперечності. Показано, що застосування СР-моделі до задачі дослідження дозволяє на базі моделей ACOI та бізнес-правил проаналізувати їх відповідність. Вперше розроблено математичний метод аналізу несуперечності ACOI та бізнес-правил, який полягає в об'єднанні моделей ACOI та бізнес-правил у мультиформальну інтегральну модель, зведенні компонентів інтегральної моделі до теорії множин і багатосортної логіки першого порядку, перевірці відповідності елементів і виразів теорії множин комплексній системі правил, а також виконуваності формул багатосортної логіки шляхом застосування модифікованого для цієї логіки методу побудови множини Хінтікки. До комплексної системи правил для теорії множин включено аксіоми Цермело - Френкеля й ішні правила, які гарантують можливість побудови алгебричної системи.

  Скачати повний текст

  Скачати повний текст

Висвітлено розробку математичного, інформаційного та лінгвістичного забезпечення для систем автоматизованого проектування мікроелектромеханічних давачів кутової швидкості (МЕМС гіроскопів). Розроблено математичну модель коливань робочого органа давача кутової швидкості компонентного рівня проектування, що дало змогу дослідити вплив окремих параметрів робочого органа на технічні характеристики давача. Представлено математичну модель системи пружного підвісу давача для компонентного рівня проектування, що дала змогу дослідити вплив геометричних парметрів на його чутливість і зменшити масу та габарити системи загалом. Викладено математичну модель впливу температури на динамічні характеристики давача для компонентного рівня проектування, що дало змогу змоделювати її вплив на робочі резонансні частоти давача для різних напівпровідникових матеріалів. Запропоновано математичну модель впливу паразитних крутильних коливань робочого органа на роботоздатність давача для компонентного рівня проектування, що дозволило їх врахувати під час оцінювання значень відповідних конструктивних параметрів давача. Розроблено VHDL-AMS моделі мікроелектромеханічного давача кутової швидкості камертонної та карданної конструкцій для схемотехнічного рівня автоматизованого проектування, що дало змогу підвищити ефективність проектування. Вдосконалено електричну схему спряження МЕМС давача для схемотехнічного рівня проектування, що дало змогу зменшити рівень шумів і мінімізувати зарядовий ефект. Визначено інформаційне та лінгвістичне забезпечення наскрізного паралельного проектування МЕМС давачів кутової швидкості, що дало змогу вдосконалити бібліотеку математичних моделей та розширити функціональні можливості БД САПР за допомогою використання XML-формату.

  Скачати повний текст

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

  Скачати повний текст

Розроблено редукційну модель відтворення лінійно-регресійних залежностей, метод її швидкого параметричного синтезу в процесі структурних змін, що дозволяє суттєво знизити рівень трудомісткості та підвищити рівень автоматизації синтезу оптимальної структури залежності. Запропоновано засоби автоматизованого підвищення функціональної адаптивності лінійних моделей застосування модифікованих степеневих та тригонометричних функціональних рядів. Розроблено загальну архітектуру розширюваної системи підтримки прийняття рішень, яка дозволяє динамічно інтегрувати до її складу програмні блоки різних типів інтелектуальної обробки даних. Створено програмну реалізацію комплексної системи підтримки прийняття рішень і блоку автоматизованого відтворення функціональних залежностей, динамічно інтегрованого до складу розробленої системи, з використанням яких розв'язано кілька практичних задач моделювання. Вірогідність автоматично відтворених залежностей в розв'язаних задачах - від 73 % до 99,85 %, а часові витрати на конструювання моделей склали від 40 с до 1,5 хв.

  Скачати повний текст

Проаналізовано особливості розробки моделей і методів автоматизації процесу експертизи для оцінки безпеки інформаційно-керувальних систем (ІКС) АЕС, а також створення автоматизованої системи підтримки експертної діяльності (АСПЕД). Наведено модель експертизи ІКС АЕС за критеріями ядерної та радіаційної безпеки, класифіковані зауваження експертизи. Запропоновано структуру АСПЕД та окремих її модулів, зокрема бази знань з ІКС АЕС. Висвітлено метод незалежного диверсного аналізу надійності ІКС АЕС. Розроблено метод статистичної оцінки результатів виконаних експертиз ІКС АЕС, а також відповідний програмний модуль включено до складу АСПЕД. Охарактеризовано програмну реалізацію АСПЕД, яка є системою підтримки прийняття рішень експертами у разі оцінки безпеки ІКС АЕС.

  Скачати повний текст

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

  Скачати повний текст

Дисертація присвячена задачі розробки сучасних методів проектування технологій виготовлення деталей типу "корпус" для створення інтелектуальної комп'ютерної технології підготовки виробництва на основі комплексних моделей виробів, методів їх виготовлення і виробничого середовища, методів прийняття оптимальних комплексних технологічних рішень, принципів гнучкої адаптації до умов конкретного виробничого середовища і вимог сучасного ринку. Розроблено теоретичні основи нових технологій проектування шляхом комплексного використання вже існуючих методів. Запропоновано нову методологію проектування технологічних процесів і документів технологічної підготовки машинобудівного виробництва з використанням штучного інтелекту, що може ефективно застосовуватися в сучасних автоматизованих системах технологічної підготовки виробництва. Розроблено формалізовані моделі, методи й алгоритми процесів технології машинобудування для проектування технологічних процесів машинобудівного виробництва. Створено алгоритмічне забезпечення на основі нових методів проектування технології виготовлення складних деталей типу "корпус", що використовує нові методи динамічного програмування в процесі формування технології їх виготовлення. Викладено результати практичної апробації на прикладі системи автоматизованої підготовки виробництва, упровадженої на ВАТ "Термопластавтомат" (м.Хмельницький), що дозволили скоротити терміни підготовки виробництва нових деталей у 1,5-2 рази.

  Скачати повний текст

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

  Скачати повний текст

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

  Скачати повний текст

  Скачати повний текст

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

  Скачати повний текст