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

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

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

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

Розкрито феномен австрійської малої прози, специфіку їі рецептивної та генологічної парадигм у контексті німецькомовного літературного процесу. Уперше в українському літературознавстві на контекстуальному фоні розглянуто особливості поетики австрійської малої прози XX ст. у типологічних зрізах і зіставленнях з німецькою малою прозою аналізованого періоду, а звідси - і такі складники дослідження, як рецептивна естетика та генологічна парадигма. Аналіз історико-літературного матеріалу увібрав широке коло праць австрійських, німецьких, швейцарських, українських, польських, російських, словацьких, чеських, болгарських, угорських літературознавців. На основі детального розгляду дослідницького масиву, що містить розгалужений комплекс актуальних питань для словесної науки на новітньому етапі її розвитку, розроблено авторську концепцію інтерпретації художніх зразків малої епічної форми австрійських письменників (К. Е. Францоз, А. Шніцлер, Г. Гофманнсталь, Р. М. Рільке, Ф. Кафка, Р. Музіль, Й. Рот, І. Айхінгер, І. Бахманн, Т. Бернгард, А. Зєлінскі, П. Гандке, Е. Фітцбауер, М. Ган, Г. Кунер).

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

Досліджено поняття автентичності існування в "негативному" та "позитивному" екзистенціалізмі. На підставі історико-філософського та компаративного аналізу концепцій С. Кіргегора, К. Ясперса, М. Гайдегера, Г. Марселя, Ж.-П. Сартра, Н. Аббаньяно, О.Ф. Больнова висвітлено еволюцію поняття "екзистенція". Досліджено процес імплантації класично-екзистенціалістичних ідей у сучасну філософію та екзистенціально-гуманістичну психологію. Феномен екзистенції у класичному екзистенціалізмі розглянуто як специфічну смислову матрицю структури людського буття й особливий тип духовного самоздійснення людини, взаємопов'язаний з її здатністю діяти за умов зростання різноманіття сучасного швидкоплинного світу, реалізовувати власні творчі потенції, проявляти креативні здібності для зноходження адекватного вирішнення проблем сьогодення.

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

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

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

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

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

Надано результати дослідження кремнієвих автоемісійних мікрокатодів з елементами керування на структурах "кремній-на-ізоляторі" для застосування у цифровій електронній літографії. Доповнено рівняння Фаулера-Нордгейма з метою розрахунку автоемісії напівпровідників. Удосконалено методи розрахунку електронної оптики мікрокатода, спосіб і схему керування мікрокатодом. Обгрунтовано умови застосування компактних моделей МОН-транзисторів. Розроблено спосіб виготовлення локальних тривимірних КНІ-структур і показано приклади їх застосування. Розроблено та верифіковано топологію схеми керування, інтегрованої з мікрокатодом, наведено приклад її тиражування в матрицю. Показано розрахункові й експериментальні характеристики тестових структур.

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

Вперше за допомогою сучасних технологій з використанням автоімунних маркерів та неоптерпину удосконалено методику діагностики автоімунного гепатиту (АГ) та визначено клініко-лабораторні особливості перебігу автоімунного ураження печінки (АУП) у дітей та підлітків. Уточнено діагностичне значення неоптерпину у виявленні АГ як важливого імунологічного показника, який відображає ступінь активації клітинного імунітету, корелює з активністю запального процесу в печінці та свідчить про наявність автоімунної спрямованості характеру її ураження. Вперше визначено високоінформативні критерії загальної та диференційної діагностики АУП у дітей та підлітків. Розроблено математичну модель з бальною системою оцінки на основі визначених інтегральних високоінформативних клініко-лабораторних показників, яка дозволяє констатувати наявність автоімунного характеру ураження печінки у дітей та підлітків з високим (80 - 99,9 %) відсотком точності.

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

Уперше розглянуто проблему автологічного слова в поезії І.Франка. Простежено взаємодію, взаємовідображення авто- і металогії, підкреслено новаторство автора в оновленні жанрів та стилю суто ліричної (оповідальної) та наративної поезії засобами автологізму. Проаналізовано автологічне письмо у збірці "З вершин і низин" в аспекті її різностилля, ліричний автологізм "Зів'ялого листя" та автологічну наповненість збірок "Мій Ізмарагд", "Із днів журби" і "Semper tiro" з їх філософічністю та "делікатним дидактизмом".

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Розроблено редукційну модель відтворення лінійно-регресійних залежностей, метод її швидкого параметричного синтезу в процесі структурних змін, що дозволяє суттєво знизити рівень трудомісткості та підвищити рівень автоматизації синтезу оптимальної структури залежності. Запропоновано засоби автоматизованого підвищення функціональної адаптивності лінійних моделей застосування модифікованих степеневих та тригонометричних функціональних рядів. Розроблено загальну архітектуру розширюваної системи підтримки прийняття рішень, яка дозволяє динамічно інтегрувати до її складу програмні блоки різних типів інтелектуальної обробки даних. Створено програмну реалізацію комплексної системи підтримки прийняття рішень і блоку автоматизованого відтворення функціональних залежностей, динамічно інтегрованого до складу розробленої системи, з використанням яких розв'язано кілька практичних задач моделювання. Вірогідність автоматично відтворених залежностей в розв'язаних задачах - від 73 % до 99,85 %, а часові витрати на конструювання моделей склали від 40 с до 1,5 хв.

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

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

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

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

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