Готові списки джерел за темами / Модель предикатна

Зміст

Статті в журналах
Дисертації

Добірка наукової літератури з теми "Модель предикатна"

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Модель предикатна".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Модель предикатна"

Микони, Станислав Витальевич. "Три подхода к определению понятий на основе собственных свойств модели". Компьютерная лингвистика и вычислительные онтологии, № 4 (17 грудня 2020): 109–17. http://dx.doi.org/10.17586/2541-9781-2020-4-109-117.

Повний текст джерела

Анотація:

Предлагается применение системного подхода к анализу определения понятия. Оно рассматривается как текстовая модель, к которой применимы собственные свойства модели. Эти свойства выводятся из модели языка предикатов первого порядка, каковой является алгебраическая структура. К собственным свойствам модели отнесены функция объекта, реализующая её операция и структура. Каждое свойство представляется элементарной моделью: функциональной (Ф-модель), операционной (О-модель) и структурной (С-модель) моделью. Использование этих моделей для анализа определения понятия названо соответственно функциональным, операционным и структурным подходом. Сущность каждого подхода поясняется на примере определения термина «менеджмент качества», взятого из международного терминологического стандарта. Для иллюстрации подходов применяются наглядные модели графов. Структурный подход позволяет найти избыточные и недостающие поясняющие слова в определения понятия, представленного в форме повествовательного предложения. Функциональный подход позволяет оценить полноту содержания понятия и наличие порочных циклов. Операционный подход уточняет понятия, относящиеся к категории действия, через элементарные действия.

Стилі APA, Harvard, Vancouver, ISO та ін.

КІНАЩУК, Анастасія. "АКТАНТИ ТЕМАТИЧНОЇ ГРУПИ ПРЕДИКАТІВ НА ПОЗНАЧЕННЯ ЗУМОВЛЕНОГО ІРРАЦІОНАЛЬНОГО СТАНУ (НА МАТЕРІАЛІ УКРАЇНСЬКОЇ, АНГЛІЙСЬКОЇ ТА НІМЕЦЬКОЇ МОВ)". Проблеми гуманітарних наук. Серія Філологія, № 46 (29 листопада 2021): 41–46. http://dx.doi.org/10.24919/2522-4565.2021.46.5.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

Шалак, В. И. "Синтаксическая интерпретация категорических атрибутивных высказываний". Logical Investigations 21, № 1 (21 квітня 2015): 60–78. http://dx.doi.org/10.21146/2074-1472-2015-21-1-60-78.

Повний текст джерела

Анотація:

В статье предложен новый вид моделей для категорических атрибутивных высказываний. Эти модели могут быть названы синтаксическими, поскольку субъекту и предикату высказываний сопоставляются не экстенсионалы, а синтаксические определения, посредством которых эти термины вводятся в употребление. Построенные модели свободны от онтологических допущений. Связь между субъектом и предикатом интерпретируется не в терминах теоретико-множественных отношений между экстенсионалами, а в терминах логических отношений между дефиниенсами определений. Доказаны теоремы непротиворечивости и полноты фундаментальной силлогистики относительно синтаксических моделей.

Стилі APA, Harvard, Vancouver, ISO та ін.

Софронова, Елена Анатольевна. "Универсальная рекуррентная модель управления транспортными потоками в классе микроскопических моделей". Вестник ВГУ. Серия: Системный анализ и информационные технологии, № 4 (17 грудня 2021): 3–29. http://dx.doi.org/10.17308/sait.2021.4/3795.

Повний текст джерела

Анотація:

Работа посвящена исследованию универсальной рекуррентной модели управления транспортными потоками и ее применению для моделирования и управления транспортом в сети городских дорог. Показано, что данная модель, построенная на основе теории управляемых сетей, является дискретной графовой моделью, учитывает неопределенности и позволяет решать задачи оптимального управления задержками рабочих фаз светофоров в классической постановке. Модель эффективно описывает подсети дорог при наличии данных о возможных маневрах, их вместимости, данных об ограничениях на количество машин на участках, о распределении потоков между различными направлениями и т.д. В случае наличия участков с частично неизвестными параметрами предложено аппроксимировать такие участки с помощью искусственных нейронных сетей и использовать гибридную модель, состоящую из универсальной рекуррентной модели и нейронных сетей. Описана структура гибридной модели. Гибридная модель позволяет получать детальное моделирование для наиболее важных участков сети, существенно уменьшить объем собираемых данных для моделирования и одновременно справиться с неполнотой информации о параметрах некоторых подсетей. Для подтверждения работоспособности всей гибридной модели, а также с целью поиска других видов гибридизации, в статье приводится методический пример расчета для нескольких тактов управления по универсальной рекуррентной модели. Универсальная рекуррентная модель сравнивается с другими наиболее популярными микроскопическими моделями транспортных потоков, моделями на основе клеточных автоматов, следования за лидером и предикатов. Представлен сравнительный анализ рассмотренных моделей по виду представления сетей, пространства, времени и пр.

Стилі APA, Harvard, Vancouver, ISO та ін.

Б. Н. Дроботун та Г. Ж. Сағатбек. "О возможностях педагогического отражения концепции изучения алгебраических систем с точностью до изоморфизма (I)". Bulletin of Toraighyrov University. Physics & Mathematics series, № 2.2021 (28 червня 2021): 6–19. http://dx.doi.org/10.48081/cvyr1531.

Повний текст джерела

Анотація:

"Одной из основных задач современной математики является задача изучения операций и предикатов в «чистом виде», т.е. в отвлечении от природы элементов множеств, на которых они задаются. Согласно этому, операции и предикаты вводятся посредством аксиом «на языке» функциональных и предикатных символов, как имен для конкретных операций и отношений. Сравнение потенциальных моделей абстрактно заданных систем аксиом приводит к понятию изоморфизма. В данной статье разрабатываются методы и технологии педагогического отражения концепции изоморфизма в структуру и содержание логико-алгебраической подготовки студентов, обучающихся в высших учебных заведениях по естественно-математическим направлениям. Основу предлагаемых материалов составляет, при этом, поэтапный переход от изучения содержательных аналогов понятия изоморфизма к выявлению его характеристических свойств в конкретных алгебраических системах и к рассмотрению абстрактных аналогов этих свойств на заключительном этапе изучения. С целью обеспечения доступности и максимальной наглядности, в качестве базовых средств демонстрационного сопровождения предлагаемых подходов к представлению алгебраических операций изоморфных систем с точностью до биективных отображений, применяется метод таблиц Кэли. Подобный подход в учебно-методической литературе пока еще не нашел должного освещения и носит инновационный характер."

Стилі APA, Harvard, Vancouver, ISO та ін.

Березовська-Савчук, Наталя Анатоліївна. "Дистрибутивні характеристики суб’єктних дієслівних предикатів стану". Філологічні студії: Науковий вісник Криворізького державного педагогічного університету 14 (15 січня 2016): 11–20. http://dx.doi.org/10.31812/filstd.v14i0.201.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

Артюшин, Леонід, Анатолій Лобанов та Володимир Герасименко. "Математична модель побудови бойового порядку спільної авіаційної групи пілотованої та безпілотної авіації". Сучасні інформаційні технології у сфері безпеки та оборони 41, № 2 (30 вересня 2021): 23–30. http://dx.doi.org/10.33099/2311-7249/2021-41-2-23-30.

Повний текст джерела

Анотація:

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

Стилі APA, Harvard, Vancouver, ISO та ін.

Шведенко, В. Н., V. N. Shvedenko, В. В. Шведенко, V. V. Shvedenko, О. В. Щекочихин та О. V. Shchekochikhin. "Методология управления объектами производственной системы на основе цифровых двойников". Научно-техническая информация. Серия 2: Информационные процессы и системы, № 9 (2021): 14–22. http://dx.doi.org/10.36535/0548-0027-2021-09-3.

Повний текст джерела

Анотація:

Предлагается методология построения цифровых двойников для управления производственными системами. Цифровой двойник состоит из инвариантной и переменной частей. Переменная часть связана с отраслевыми особенностями предметной области. Рассмотрено теоретико-множественное математическое описание элементов модели цифрового двойника. На основе исчисления предикатов показана математическая модель для поиска проблемной ситуации и выработки управленческих воздействий.

Стилі APA, Harvard, Vancouver, ISO та ін.

Леденева, Татьяна Михайловна, та Мария Владимировна Лещинская. "Метод резолюций и стратегии поиска опровержений". Вестник ВГУ. Серия: Системный анализ и информационные технологии, № 1 (29 квітня 2021): 98–111. http://dx.doi.org/10.17308/sait.2021.1/3374.

Повний текст джерела

Анотація:

В статье предлагается новая стратегия управления выводом в методе резолюций для исчисления предикатов первого порядка. Данное исчисление является основой логической модели представления знаний, отличающейся высокой описательной мощностью. Используемое в исчислении предикатов понятие вывода на основе резолюции является максимально формализованным и эффективным. Логическая модель применима в основном в исследовательских системах, она предъявляет высокие требования и ограничения к предметной области. В статье приводятся основные сведения формальной теории предикатов первого порядка, описываются существующие стратегии и критерии, предлагаются новая стратегия и осуществляется ее сравнительный анализ с другими стратегиями. Ее отличительной особенностью является использование рейтингов, которые вычисляются для каждого дизъюнкта и учитывают его способность образовывать контрарную пару для порождения резольвенты. В статье приводятся алгоритмы, реализующие данную стратегию. Для сравнительного анализа стратегий используется ряд существующих стратегий и вводится новый критерий стратегии — количество дизъюнктов, многократно участвующих в построении резольвент.

Стилі APA, Harvard, Vancouver, ISO та ін.

Десюкевич, Ольга. "Внутренняя и внешняя семантика глаголов социальных отношений (на материале русских глаголов победы и поражения)". Acta Universitatis Lodziensis. Folia Linguistica Rossica, № 18 (30 грудня 2019): 71–83. http://dx.doi.org/10.18778/1731-8025.18.05.

Повний текст джерела

Анотація:

В настоящей статье были описаны мотивационные семантические модели в лексико-семантической группе победить/понести поражение, определены источники пополнения группы за счет глаголов движения, физического воздействия и разрушения, владения. Описаны конструкционные профили первичных и вторичных глаголов группы, а также их сочетаемость, типичные способы заполнения актантных позиций. Описание семантики глагольных единиц позволило обнаружить регулярность семантического преобразования предикатов социальных отношений в предикаты психологического состояния победить, побороть, пересилить кого > победить, побороть, пересилить что в ком, определить смыслы, эксплицируемые на уровне внутренней и внешней семантики. Для получения результата были изучены словари разного типа, корпусные данные и самостоятельно отобранные тексты. Основными использованными методами являются семантическое моделирование и конструкционное профилирование.

Стилі APA, Harvard, Vancouver, ISO та ін.

Більше джерел

Дисертації з теми "Модель предикатна"

Шабанова-Кушнаренко, Любов Володимирівна. "Предикатні моделі, методи та технологія обробки процесних знань в інформаційних системах". Thesis, НТУ "ХПІ", 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/21851.

Повний текст джерела

Анотація:

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Харківський національний університет радіоелектроніки Міністерства освіти і науки України, Харків, 2016. Мета дисертаційного дослідження – розробка моделей процесних знань на основі аналізу лог-файлів з використанням апарату АСП і реляційних мереж, а також технологій Process Mining і виведення знань на прецедентах. Основні результати: вдосконалена предикатна модель метрики на просторі прецедентів, яка допускає практичну перевірку її існування за допомогою системи умов та введення евклідової метрики на лінеаризованому просторі атрибутів. Вперше розроблено метод оцінки близькості прецедентів, заснований на табулюванні шкал атрибутів та привласненні атрибутам ваг з урахуванням функціональної залежності ваг від атрибутів прецедентів, що дозволяє значно підвищити точність оцінки близькості прецедентів завдяки врахуванню зростання реальної ваги атрибутів в їх критичних діапазонах. Отримав подальший розвиток метод побудови предикатної ієрархічної моделі процесних знань у вигляді реляційної метамережі, яка заснована на моделі «дані-інформація-знання-метазнання». Ієрархічне представлення спрощує конфігурацію моделі процесу і доповнює її неявними зв’язками. Удосконалено метод конфігурування ієрархічної моделі процесних знань на основі аналізу лог-файлів, яка має вигляд ієрархічної системи бінарних предикатів, що задають логіку поведінки процесу. Метод включає налаштування під предметну область, що підвищує ефективність методів Process Mining.
Thesis for a candidate degree in technical sciences, specialty 05.13.06 – Information Technologies – Kharkiv National University of Radio Electronics of the Ministry of Education and Science of Ukraine, Kharkiv, 2016. Improved predicate model metric in the space of precedents, which, unlike the existing ones, allows practical test of its existence with the help of conditions and the introduction of the Euclidean metric in the space of linearized attributes. For the first time developed a method for estimating the proximity of precedents based on the tabulation attributes scales and the attribution of weights based on the functional dependence of the weights of the attributes of precedents that can significantly improve the accuracy of estimates of the proximity of precedents by taking into account the weight of the real growth of the attributes in their critical bands. It has continued to develop a technique of constructing a predicate hierarchical model of process knowledge in the form of a relational metanet, which is based on the model of "data-information-knowledge-meta-knowledge." The hierarchical structure simplifies the configuration process model and complements its implicit connections. Improved methods of hierarchical model configuration process knowledge based on the analysis of log files, which, unlike the existing ones, has the form of a hierarchical system of binary predicates that define the behavior of the logic of the process. The method includes tuning a subject area, which increases the efficiency of Process Mining techniques.

Стилі APA, Harvard, Vancouver, ISO та ін.

Шубин, И. Ю., Т. В. Горбач та П. В. Гончаров. "Модели алгебры конечных предикатов в построении программных адаптивных систем". Thesis, ДРУКАРНЯ МАДРИД, 2017. http://openarchive.nure.ua/handle/document/9472.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Канищева, Ольга Валерьевна. "Модели представления лингвистических данных". Thesis, НТУ "ХПИ", 2012. http://repository.kpi.kharkov.ua/handle/KhPI-Press/3423.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Шкільняк, С. С. "Спектр логік часткових предикатів, орієнтованих на композиційно-номінативні моделі програм". Дис. д-ра фіз.-мат. наук, КНУТШ, 2010.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Шабанова-Кушнаренко, Любовь Владимировна. "Предикатные модели, методы и технология обработки процессных знаний в информационных системах". Thesis, НТУ "ХПИ", 2016. http://repository.kpi.kharkov.ua/handle/KhPI-Press/21855.

Повний текст джерела

Анотація:

Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.06 – информационные технологии. – Харьковский национальный университет радиоэлектроники Министерства образования и науки Украины, Харьков, 2016. Цель диссертационного исследования – разработка моделей процессных знаний на основе анализа лог-файлов с использованием аппарата АКП и реляционных сетей, а также технологий Process Mining и вывода знаний на прецедентах, способных повысить эффективность решения задач анализа темпоральных знаний в интеллектуальных системах. Проведен анализ существующих методов интеллектуального анализа процессов и метода получения решений, основанного на прецедентах. Исследованы основные особенности и структурные элементы процессной модели знаний. Показано, что преимущества данной модели связаны с возможностями конфигурирования, а также иерархического представления процесса. Показаны преимущества аппарата АКП как средства выделения структуры процессной модели знаний. Показана актуальность разработки средств моделирования процессных знаний в ИС. Результаты иссертационной работы практически применены в Центральной клинической больнице Укрзализныци г. Харькова при разработке программно-алгоритмической части и наполнении базы знаний программно-аппаратного комплекса автоматизированной медицинской диагностики заболеваний. Теоретические результаты диссертации были использованы в учебном процессе на кафедре интеллектуальных компьютерных систем НТУ «ХПИ» и на кафедре программной инженерии ХНУРЭ.
Thesis for a candidate degree in technical sciences, specialty 05.13.06 – Information Technologies – Kharkiv National University of Radio Electronics of the Ministry of Education and Science of Ukraine, Kharkiv, 2016. Improved predicate model metric in the space of precedents, which, unlike the existing ones, allows practical test of its existence with the help of conditions and the introduction of the Euclidean metric in the space of linearized attributes. For the first time developed a method for estimating the proximity of precedents based on the tabulation attributes scales and the attribution of weights based on the functional dependence of the weights of the attributes of precedents that can significantly improve the accuracy of estimates of the proximity of precedents by taking into account the weight of the real growth of the attributes in their critical bands. It has continued to develop a technique of constructing a predicate hierarchical model of process knowledge in the form of a relational metanet, which is based on the model of "data-information-knowledge-meta-knowledge." The hierarchical structure simplifies the configuration process model and complements its implicit connections. Improved methods of hierarchical model configuration process knowledge based on the analysis of log files, which, unlike the existing ones, has the form of a hierarchical system of binary predicates that define the behavior of the logic of the process. The method includes tuning a subject area, which increases the efficiency of Process Mining techniques.

Стилі APA, Harvard, Vancouver, ISO та ін.

Суховецький, А. М. "Розробка математичного і програмного забезпечення для спрощення емпіричних моделей складних систем". Thesis, Київський національний університет технологій та дизайну, 2017. https://er.knutd.edu.ua/handle/123456789/8199.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Куцеконь, А. І. "Розробка математичного і програмного забезпечення для спрощення емпіричних моделей складних систем". Thesis, Київський національний університет технологій та дизайну, 2018. https://er.knutd.edu.ua/handle/123456789/11325.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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