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

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

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

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

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

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

Розроблено математичні моделі функціонування call-центрів як систем масового обслуговування (СМО) з повторними викликами. Проаналізовано показники ефективності їх функціонування. Представлено аналітичні моделі call-центрів як СМО з розподілом Ерланга другого порядку часу циклу орбіти, отримано чисельні розв'язки. Викладено статистичні моделі call-центрів як СМО з поверненням викликів, проведено статистичні експерименти.

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

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

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

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

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

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

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

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

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

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

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

Розроблено інформаційну технологію для оптимізації багатостадійних технологічних процесів (БСТП) з людино-машинним управлінням (ЛМУ) за рахунок реорганізації підсистеми ЛМУ. Запропоновано метод оптимізації структури багатостадійних технологічних процесів з ЛМУ. Розроблено модель для урахування динаміки зміни індивідуальних характеристик оператора та її вплив на ефективність функціонування БСТП з ЛМУ. Розвинено модель агрегації інформації координатором.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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