Бази даних

Автореферати дисертацій - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (37)Реферативна база даних (989)Книжкові видання та компакт-диски (134)
Пошуковий запит: (<.>K=ПРЕДИКАТ$<.>)
Загальна кількість знайдених документів : 199
Представлено документи з 1 до 20
...

      
1.

Сулима О. П. 
Іменникова вербалізація предикатів в українській мові: автореф. дис. ... канд. філол. наук : 10.02.01 / О. П. Сулима ; Нац. пед. ун-т ім. М.П. Драгоманова. — К., 2010. — 17 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш141.14-22
Шифр НБУВ: РА371374 Пошук видання у каталогах НБУВ 

Рубрики:

      
2.

Супрун Т. С. 
Інтегральні моделі компараторної ідентифікації та їх застосування для розпізнавання зорової інформації: автореф. дис. ... канд. техн. наук : 05.13.23 / Т. С. Супрун ; Харк. нац. ун-т радіоелектрон. — Х., 2010. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: З813.4 + З970.54-01
Шифр НБУВ: РА377417 Пошук видання у каталогах НБУВ 

Рубрики:

      
3.

Комісаренко О. С. 
Інфологічне моделювання процесів створення функціональних матеріалів / О. С. Комісаренко. — Б.м., 2020 — укp.

Дисертація формалізує розвиток методів інфологічного моделювання та документального опису імітаційного поліергатичного тестування комплексних властивостей матеріалів. Прогнозні рішення визначають витривалість та ресурс режимів роботи, що впливають на показники рівня безпеки транспортних потоків в умовах нестаціонарного середовища. Подано математичний опис основ поліергатичного управління автоматизованими процесами створення матеріалів парного дискурсу. Визначено концептуально семантичні цільові моделі. Алгебраїзовано взаємозалежності між об'єктами взаємодії за етапами синтезу багаторівневих структур 4D складної динамічної системи. Обґрунтовано особливості мови імітаційного ергатичного моделювання та режимів пошуку раціональних технологій розв'язку задач. Формалізовано процесно інфологічні моделі предикативного визначення угрупувань складених елементів, які гарантують однозначність прийняття рішень, на межах інтерфейсної ініціалізації ІТ.Розвинуто метод інфологічного моделювання процесів забезпечення точності контролю закономірностей взаємодій в обмежених локальних просторових формах. Аналітично описана параметризація температур концентрацій, об'ємів, тиску для обчислень взаємних функцій масово-енергетичного гетерогенного розподілу. Цільова керованість прискорює етапи термодинамічної реакції та гарантує якість, точність, надійність, достовірність перспективних режимів експлуатації складених матеріалів.В поліергатичних виробничих організаціях запропоновані засоби автоматизації ІТ, які вперше реалізують режими з символьно-аналітичними перетвореннями. В результаті отримання інфологічних моделей безпосередньо технологічні процеси покроково виконують автомати-роботи .Оцінки інтервалів витривалості, механічної міцності, інтегрованого ресурсу достовірно отримано запропонованими методами моделювання й порівняння параметрів еталонних значень властивостей природних об'єктів.^UThe dissertation formalizes the development of methods of infological modeling and documentary description of simulation polyergatic testing of complex properties of materials. Predictive solutions determine the endurance and service life of operating modes that affect the level of safety of traffic flows in a non-stationary environment.A mathematical description of the basics of polyergatic control of automated processes of creating materials of pair discourse is given. Conceptually semantic target models are defined. The interdependencies between the objects of interaction according to the stages of synthesis of multilevel structures of a 4D complex dynamic system are algebraized. The peculiarities of the language of simulation ergatic modeling and search modes of rational technologies for solving problems are substantiated. Process-infological models of predicative definition of groups of composite elements, which guarantee unambiguous decision-making, within the limits of interface initialization of IT, are formalized.A method of infological modeling of processes to ensure the accuracy of control of patterns of interactions in limited local spatial forms has been developed. The parameterization of temperatures of concentrations, volumes, pressure for calculations of mutual functions of mass-energy heterogeneous distribution is analytically described. Target control accelerates the stages of thermodynamic reaction and guarantees the quality, accuracy, reliability, reliability of promising modes of operation of composite materials.In polyergatic production organizations, IT automation tools are offered, which for the first time implement modes with symbolic-analytical transformations. As a result of obtaining infographic models directly technological processes are performed step by step by automatic machines.Estimates of the intervals of endurance, mechanical strength, integrated resource are reliably obtained by the proposed methods of modeling and comparing the parameters of the reference values of the properties of natural objects.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
4.

Тарловський В. О. 
Інформаційна технологія інтелектуальної обробки слабкоформалізованої інформації в організаційних системах: автореф. дис. ... канд. техн. наук : 05.13.06 / В. О. Тарловський ; Херсон. нац. техн. ун-т. — Херсон, 2011. — 20 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: У. ф121.1
Шифр НБУВ: РА383088 Пошук видання у каталогах НБУВ 

      
5.

Дорошенко А. Ю. 
Інформаційна технологія інтелектуального аналізу фактографічних текстових ресурсів / А. Ю. Дорошенко. — Б.м., 2019 — укp.

У дисертаційній роботі вирішена актуальна науково-практична задача ро-зробки моделей та інформаційної технології інтелектуального аналізу факто-графічної інформації. На основі аналізу моделей та методів обробки фактогра-фічних даних у мережевих потоках сформульовано основні вимоги до розробки інформаційної технології інтелектуального аналізу фактографічних ресурсів. У якості математичного інструментарію моделювання фактів визначено теорію категорій, її проективну та предикатну інтерпретації. Запропоновано для опису фактографічної інформації використовувати теорію інтелекту, метод компара-торної ідентифікації та апарат алгебро-логічних рівнянь. Розроблено моделі те-матичного пошуку та екстракції фактографічної інформації на основі інтелектуальної процедури оцінки текстової інформації. Запропоновано для опису фактів використання двох типів триплетів: «Суб'єкт -Предикат - Об'єкт» та «Предмет - Атрибут - Значення», що дозволяє вилучати поняття зі слабоструктурованих текстових ресурсів та описувати відношення між ними у струк-турованому вигляді. Сформовано підхід до видобування фактографічних даних з текстових джерел, запропоновано використання онтологій для опису процесів інтеграції фактографічної інформації. Запропоновано використання нового на-півавтоматичного методу для розширення базової онтології на прикладі пред-метних областей «радіаційна безпека» та «обробка патентно-кон'юнктурної ін-формації». Проведено апробацію розроблених моделей, підходів та інформа-ційної технології та впроваджено результати дослідження у реальні інформа-ційні системи. Розроблено еталонну архітектуру, програмні компоненти серверної частини програмної системи, що дозволяє проводити екстракцію даних на основі використання гнучкого конфігурування та предикатної моделі видобу-вання даних.^UThe actual scientific and practical task of developing models and information tech-nology of intellectual analysis of factual information is solved in the dissertation. On the basis of analysis of models and methods of processing factual data in network streams, the basic requirements for the development of information technology of intellectual analysis of factual resources are formulated. The theory of categories, its projective and predicate interpretations is determined as a mathematical tool for modeling facts. It is proposed to use the theory of intelligence, the method of comparative identification and the apparatus of algebra-logical equations to describe factual information. Models of thematic search and extraction of factual information on the basis of the intellectual procedure for evaluat-ing textual information have been developed. It is proposed to describe the use of two types of triplets: "Subject -Predicate -Object" and "Item -Attribute -Value", which allows you to remove the concept of weakly structured text resources and describe the relationship between them in a structured form. An approach to extracting factual data from text sources has been formed, and the use of ontologies for the description of the processes of integration of factual information is proposed. The use of a new semi-automatic method is proposed for extending the basic ontology, on the example of the subject areas "radiation safety" and "processing of patent information". Approbation of developed models, approaches and information technology was carried out and the results of research were implemented in real information systems. The reference architecture, software components of the server part of the software system, which allows data extraction based on the use of flexible configuration and predicate data mining model, is developed.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
6.

Ткаченко В. В. 
Інформаційна технологія підтримки прийняття рішень при виникненні надзвичайних ситуацій транскордонного характеру / В. В. Ткаченко. — Б.м., 2019 — укp.

В процесі прийняття рішень при виникненні надзвичайних ситуацій (НС) виділяють наступні етапи: моніторинг стану навколишнього середовища; організація взаємодії підсистем як оперативного розгортання інформаційної інфраструктури; збір та обробка даних для прийняття оперативних рішень; ліквідація наслідків надзвичайних ситуацій (ЛННС). Базою для вирішення задачі моніторингу стану навколишнього середовища є запропонована в роботі концептуальна модель, яка формалізує відношення між джерелами даних, методами та засобами збору даних та показниками стану навколишнього середовища. Екологічна система розглядається як складний об'єкт, стан якого неможливо оцінити у явному вигляді, тому оцінку її стану запропоновано формувати на основі параметрів, за якими ведеться спостереження. Для цього використовується одно- або багато параметричні моделі оцінки. Отримала подальший розвиток одновимірна логістична модель вимірювання рівня екологічної безпеки, що дозволило визначити виникнення надзвичайної ситуації в режимі реального часу та скоротити час на оперативне реагування. В дисертаційній роботі розроблено методичні основи створення інформаційно-аналітичного забезпечення підтримки прийняття рішень в умовах виникнення НС транскордонного характеру, розроблено типову модель задачі прийняття рішень в умовах НС та запропоновано онтологічне подання знань, що дозволило побудувати ядро інтелектуальної системи та забезпечити обробку даних в процесах пошуку та аналізу прецедентів. Технологія організації взаємодії при виникненні НС складається з наступних етапів: визначення класифікаційних ознак НС, формування організаційної структури штабу з ЛННС, організація інформаційної інфраструктури та підготовка оперативних звітів. Модель багатоознакової класифікації запропоновано на основі застосування алгебро-предикатного підходу формалізації процесів сприйняття екологічної інформації. Для підтримки прийняття рішень при виникненні надзвичайних ситуацій транскордонного характеру розроблено метод побудови гнучкої інформаційної інфраструктури шляхом застосування концепції «інформації як сервіс» та мета-моделі пристрою. Це дозволило скоротити час розгортання інформаційної системи та підвищити ефективність інформаційно-аналітичних систем підтримки прийняття рішень при виникненні НС та ЛННС.^UIn the process of decision-making in case of emergencies, the following stages are distinguished: monitoring of the environment state; organizing of subsystems interaction as the operational deployment of information infrastructure; collection and processing of data for making operational decisions; liquidation of emergency consequences. The conceptual model is proposed as a basis for solving the environmental monitoring problem. The conceptual model formalizes the interaction between data sources, methods and means of data collection and environmental indicators. The ecological system is considered as a complex object, the state of which cannot be estimated explicitly. Therefore, it is proposed to estimate of ecological system state based on the observed parameters. One-parametric or many-parametric estimation models are used for ecological system state estimation. One dimensional logistic model for measuring the level of ecological safety has been developed. It has allowed determining the emergency case in real time and reducing the time for operational response. The application of the deformed configurations method reduces the time of obtaining data to clarify the state of environmental safety.In the thesis, the methodical bases of creating information and analytical maintenance for decision support in the conditions of transboundary emergencies are developed. The typical model of the decision-making problem in the emergencies is developed, and the ontological specification of knowledge representation has been developed. It allowed constructing the intellectual system core and provide data processing in the search processes and analysis of precedents. The technology of cooperation in case of emergencies consists of the following steps: the definition of emergency classification features, the organizational structure formation of the emergency response staff, the information infrastructure organizing and the preparation of operational reports. The model of multi-sign classification is proposed by the application of the algebra-predicate approach to the formalization of environmental information processes. The method of constructing a flexible information infrastructure is developed to support decision-making in case of transboundary emergencies. The method of constructing a flexible information infrastructure applies the concept of "information as a service" and the device meta-model. This allowed reducing the deployment time of the information system and increasing the efficiency of information and analytical decision support systems in case of emergencies and the elimination of the emergency consequences.


Шифр НБУВ: 05 Пошук видання у каталогах НБУВ 

      
7.

Каніщева О. В. 
Інформаційно-логічні моделі та методи ідентифікації знань в автоматизованих інформаційних бібліотечних системах : автореф. дис. ... канд. техн. наук : 05.13.06 / О. В. Каніщева ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2010. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ч734(4УКР)84 + Ч231.69
Шифр НБУВ: РА370832 Пошук видання у каталогах НБУВ 

Рубрики:

Географічні рубрики:
  

      
8.

Гирин О. В. 
Історія розвитку зворотних займенників в англійській мові: структурний та функціональний аспекти: автореф. дис. ... канд. філол. наук : 10.02.04 / О. В. Гирин ; Херсон. держ. ун-т. — Херсон, 2011. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш143.21-022.1 + Ш143.21-212.4
Шифр НБУВ: РА384880 Пошук видання у каталогах НБУВ 

Рубрики:

      
9.

Олійник О.О. 
Абстрактно-авторські речення в художньому мовленні: Автореф. дис... канд. філол. наук: 10.02.01 / О.О. Олійник ; Одес. держ. ун-т ім. І.І.Мечникова. — О., 1999. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш141.4-22

      
10.

Сирота О.П. 
Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації: автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: З970.6-02 +
Шифр НБУВ: РА368244

Рубрики:

      
11.

Борячок В.М. 
Адаптивні моделі та методи організації поставок в системах електронної комерції: Автореф. дис... канд. техн. наук: 05.13.06 / В.М. Борячок ; Харк. нац. ун-т радіоелектрон. — Х., 2007. — 19 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: У9(4УКР)421.0-803 ф 121 +
Шифр НБУВ: РА350829

Рубрики:

Географічні рубрики:

      
Категорія: Гірнича справа   
12.

Моркун Н.В. 
Адаптивна система управління процесом магнітної сепарації залізних руд на базі засобів ультразвукового контролю: Автореф. дис... канд. техн. наук: 05.13.07 / Н.В. Моркун ; Криворіз. техн. ун-т. — Кривий Ріг, 2005. — 24 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: И414.2-51 +
Шифр НБУВ: РА335092

Рубрики:

      
13.

Дишлева С.М. 
Адвербіальна дистрибуція лексико-семантичних груп українських дієслів: автореф. дис... канд. філол. наук: 10.02.01 / С.М. Дишлева ; Нац. пед. ун-т ім. М.П.Драгоманова. — К., 2008. — 18 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш141.4-212.5 +
Шифр НБУВ: РА356478

      
14.

Калиниченко О.В. 
Алгебра ідей як апарат формалізації семантики природної мови в системах штучного інтелекту: Автореф. дис... канд. техн. наук: 05.13.23 / О.В. Калиниченко ; Харк. нац. ун-т радіоелектрон. — Х., 2004. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: З810.408 +
Шифр НБУВ: РА329300

Рубрики:

      
15.

Потієнко С.В. 
Алгебраїчні методи верифікації асинхронних паралельних систем: автореф. дис... канд. фіз.-мат. наук: 01.05.03 / С.В. Потієнко ; Ін-т кібернетики ім. В.М.Глушкова НАН України. — К., 2009. — 16 с. — укp.

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

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


Індекс рубрикатора НБУВ: З973-018.025 +
Шифр НБУВ: РА364117

Рубрики:

      
16.

Кравець Н.С. 
Алгебри предикатних операцій та їх застосування у системах штучного інтелекту: Автореф. дис... канд. техн. наук: 01.05.02 / Н.С. Кравець ; Харк. держ. техн. ун-т радіоелектрон. — Х., 2001. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: З970.41-010с11
Шифр НБУВ: РА314332 Пошук видання у каталогах НБУВ 

Рубрики:

      
17.

Ревенчук І.А. 
Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів: Автореф. дис... канд. техн. наук: 01.05.03 / І.А. Ревенчук ; Харк. держ. техн. ун-т радіоелектрон.. — Х., 2001. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: З973-018.12
Шифр НБУВ: РА312554 Пошук видання у каталогах НБУВ 

Рубрики:

      
18.

Брусенцев В.О. 
Алгебро-логічні моделі формалізації семантики речень та їх застосування в інформаційних системах штучного інтелекту: Автореф. дис... канд. техн. наук: 05.13.23 / В.О. Брусенцев ; Харк. нац. ун-т радіоелектрон. — Х., 2003. — 19 с.: рис. — укp.

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

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


Індекс рубрикатора НБУВ: З970.66 +
Шифр НБУВ: РА324432

Рубрики:

      
Категорія:    
19.

Мельнікова Р.В. 
Алгебрологічні моделі морфології та їх застосування в логічних мережах: Автореф. дис... канд. техн. наук: 05.13.23 / Р.В. Мельнікова ; Харк. нац. ун-т радіоелектрон. — Х., 2006. — 19 с. — укp.

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

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


Індекс рубрикатора НБУВ: з970.66-01 +
Шифр НБУВ: РА342770

Рубрики:

      
20.

Бабенко М.Ю. 
Англійські прикметники волевиявлення (парадигматичний та синтагматичний аспекти): Автореф. дис... канд. філол. наук: 10.02.04 / М.Ю. Бабенко ; Харк. нац. ун-т ім. В.Н.Каразіна. — Х., 2004. — 20 с. — укp.

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

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


Індекс рубрикатора НБУВ: Ш143.21-212.2 +
Шифр НБУВ: РА329911

Рубрики:
...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського