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

Підтверджено гіпотезу про високу дієнову активність 1-метил[5,1-a]тетразолоізоіндолу та 1,2-диметил-1,2,4-триазоло[5,1-a]ізоіндолу за положеннями 5,9b. Показано, що з типовими дієнофілами - малеїнімідами - відбувається три послідовні процеси: утворення адукту Міхаеля (складу 1:1); утворення адукту Дільса - Альдера (складу 1:2) та результуюче скелетне перегрупування останнього. Показано, що за умов реакції ацилювання утворюються два продукти: ацилпохідні та не описані раніше барвники - монометинціаніни, заміщені біля центрального атома вуглецю. Встановлено закономірності впливу на хід реакції співвідношення вихідних речовин та характеру замісника R в ацилюючому реагенті (R = Alk, Ar, Het). Досліджено комлексоутворення ціанінових барвників ряду тетразолоізоіндолу з металами на прикладі феруму (ІІІ) та нікелю (ІІ). Проведено рентгеноструктурне дослідження 3-х сполук.

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

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

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

Вивчено реакції рециклізації 3-формілхромонів з 1,3-CCN- 1,3-NNC-, 1,3-I>NCN- і 1,2-NC-бінуклеофілами. Показано, що триметилсилілхлорид є ефективним конденсуювальним агентом для рециклізацій 3-формілхромонів. Розроблено селективний метод синтезу 5-(2-гідроксибензоїл)піридин-2-онів шляхом реакції Гуареші між 3-фомілхромонами й ацетамідами, які містять в alpha-положенні електронно-акцепторну групу. Розроблено новий метод синтезу похідних хіноліну з 3-формілхромону й анілінів, а також зручну процедуру одержання піридо[1,2-a]бензімідазолів та імідазо[1,2-a]піридинів з 3-формілхромону. Запропоновано новий підхід до синтезу піридо[1,2-a]піримідин-4-онів на основі 2-метилпіридин-4(3H)-онів і 3-формілхромону. Уперше досліджено взаємодію 3-формілхромонів з 1,3-NNC-бінуклеофілами. Розроблено ефективну процедуру одержання заміщених піримідинів на основі 1,3-NCN-бінуклеофілів і 3-формілхромонів. Синтезовано нові похідні піролу на основі 3-формілхромону та гетарилметиламінів або похідних гліцину.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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