![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20111025000806<.>) |
Загальна кількість знайдених документів : 1
|
| Процай Н. Т. Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій : автореф. дис. ... канд. техн. наук : 01.05.02 / Н. Т. Процай ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2011. — 20 с.: рис. — укp.Розроблено повну кванторну алгебру предикатних операцій і визначено систему загальних її тотожностей. Висвітлено методи композиції та декомпозиції за набором змінних моделей, формалізованих за допомогою алгебри предикатів. Розроблено математичну модель і відповідну логічну обчислювальну мережу відмінювання присвійних прикметників. На основі методу композиції моделей за набором змінних і предикатних моделей відмінювання іменних частин мови виконано синтез математичної моделі відмінювання іменних словосполучень російської мови типу узгодження та відповідної логічної обчислювальної мережі. До методу побудови математичної моделі інформаційної архітектури системи для аналізу функціонування стабільності, який грунтується на логістиці предикатів першого порядку, застосовано алгебру предикатів і предикатних операцій, що дозволило значно спростити процеси формалізації станів інформаційної системи та підготовки первинної інформації до етапу програмної реалізації задачі визначення траєкторій, які приводять систему у небезпечний стан за рахунок зменшення кількості кроків. Завантажити
Індекс рубрикатора НБУВ: В123,0 + З813.12 + З970.66 Шифр НБУВ: РА383018 Пошук видання у каталогах НБУВ
Рубрики:
|
|
|