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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Розв'язано задачу обгрунтування вибору антикоагулянтної терапії з застосуванням низькомолекулярних гепаринів для відновлення ритму у хворих з персистуючою формою фібриляції передсердь. Доведено ефективність і доцільність застосування еноксапарину у пацієнтів цієї категорії та встановлено можливість скорочення тривалості терапії. Виявлено, що 5,75 % пацієнтів з фібриляцією передсердь мають тромбоемболічні ускладнення в анамнезі та становлено недостатнє використання ними антикоагулянтів. Доведено можливість проведення ранньої кардіоверсії на фоні застосування еноксапарину після виключення тромбозу та предикаторів тромбоутворення у вушку лівого передсердя за допомогою черезстравохідної ехокардіографії та мультиспіральної комп'ютерної томографії серця. У разі досягнення швидкості трансмітрального кровотоку значення 50 см/с і більше у хворих з відновленним синусовим ритмом установлено можливість дострокової відміни антикоагулянтної терапії. Під контролем системи згортання крові доведено безпечність короткочасної терапії еноксапарином протягом 3 - 7-ми днів до та після кардоверсії з урахуванняи групи ризику виникнення тромбоемболій. Як найбільш інформативні показники тромбоутворення виявлено розчинний фібрин-мономер і D-димер. Підтверджено більш прогнозований і стабільний антикоагуляційний ефект еноксапарину у порівнянні з варфарином, його більшу ефективність у профілактиці тромбоемболічних ускладнень (0 % у разі застосування еноксипарину та 4,8 % - варфарину) та безпеку (геморагічних ускладнень 1,3 % проти 14,5 % відповідно).

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

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

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

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

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

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

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

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

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

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

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

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

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