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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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