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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дисертація присвячена створенню автоматизованої системи розв'язання прямих задач гравіметрії для тривимірних неоднорідних шаруватих середовищ. Система складається з блоків: 1) автоматичного введення до комп'ютеру зображень геофізичних карт за допомогою сканера і побудови їх цифрових моделей; 2) розв'язання прямої задачі гравіметрії для тривимірних неоднорідних шарів, апроксимованих сукупністю вертикальних призм з довільно розташованими верхньою і нижньою основами і неоднорідною густиною, яка в вершинах призми приймає задані значення, змінюється за лінійним законом уздовж горизонтальних координат на верхній та нижній основах і лінійно або експоненціально уздовж будь-якої вертикальної лінії; 3) подання результатів обчислень у вигляді карт. Система орієнтована на використання в розвідувальній та регіональній геофізиці, тобто на розв'язання прямих задач гравіметрії, які подані в прямокутній і сферичній системах координат. Система розроблена на алгоритмічній мові С і працює в операційному середовищі MS Windows. Вона має сучасний користувацький інтерфейс, легка і зручна для використання. Система знайшла широке застосування під час розв'язання практичних задач, пов'язаних з вивченням побудови різноманітних геологічних структур за гравіметричними даними.

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

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

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