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

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

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

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

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

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

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

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

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

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

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

Вперше у вітчизняному літературознавстві проведено багатоаспектне дослідження явища автофікціоналізації як неодмінної складової романної нарації від першої особи, що виявляється на свідомому (авторський металепсис) і несвідомому рівнях (переважно дискурс автобіографічного роману). Проаналізовано тематику, структуру та функціонування автофікціональної оповіді італійського жіночого роману кінця XX ст. у контексті сучасних літературознавчих та антропологічних студій. Досліджено романи відомих італійських письменниць Д. Мараіні, С. Верди, М. Беллончі, С. Тамаро, П. Капріоло та С. Петріняні. На підставі аналізу самості та Іншості у романному тексті виявлено діалектику між свідомою інтенцією автора та її реалізацією, що стає на заваді створення художнього образу, тотожного або діаметрально протилежного авторській моделі. Стосунки автор/оповідач досліджено у межах семантики "подібності/неподібності" (Ф. Лежен), що реалізується відповідно в автобіографічному письмі й умисній гомодієгетичній трансформації історичної (награний оповідач) або трансгендерної (фіктивний оповідач) оповіді. Як окремий вид автофікціоналізації проаналізовано адресантний дискурс епістолярного роману, в якому оповідач набуває подвійного фікціонального статусу: протагоніста зображуваних подій та адресанта листів. На підставі дослідження комунікативної спрямованості адресант/адресат визначено амбівалентність статусу італійського жіночого автофікціонального письма, доведено присутність у його структурі фактичного матеріалу, поетичної вигадки й уяви.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Надано опис скінченновимірних розв'язних алгебр Лі над алгебрично замкненим полем характеристики нуль, в яких доповнювані всі одновимірні ідеали. Показано, що для таких алгебр Лі умова доповнюваності всіх одновимірних ідеалів еквівалентна умові доповнюваності всіх підалгебр. Описано будову скінченновимірних нерозв'язних алгебр Лі, в яких доповнювані всі ідеали. Знайдено необхідні умови доповнюваності всіх ідеалів в FC-алгебрах Лі над алгебрично замкненим полем характеристики нуль.

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

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

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

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