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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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