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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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