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

Предложен метод решения задачи минимизация общей длины топологических путей прохождения сигналов по матрице процессоров при размещении системы булевых уравнений в Programmable Unlimited Systems, в целях максимального использования параллельного и конвейерного режимов работы мультипроцессора для получения решения за минимально возможное время. Приведены топологическая и математическая модели структуры процессора. Проанализированы достоинства и недостатки метода. Очерчены перспективы дальнейших исследований в данном направлении.

Індекс рубрикатора НБУВ: В161.626.3

Рубрики:

Диференціальні рівняння другого порядку параболічного типу

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