Розглянуто деякі категорні методи, які знайшли застосування в розробці комп'ютерних програм. Доведено відповідні теореми.

Рассматриваются некоторые направления исследований и приводятся соответствующие формализмы, которые нашли применение при разработке программного обеспечения, методов представления знаний, моделей баз данных и др.

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

Доклад посвящен вопросам построения прикладных программных систем методами макромодульного программирования. Рассматриваются концептуальные основы их проектирования средствами инструметальной среды MACRO-PROG. Приводятся основные структуры и операторы языка описания алгоритмических схем функционирования ППС, базирующихся на методологии макромодульного программирования. Затрагиваются аспекты создания таких систем в многозадачных средах.

Індекс рубрикатора НБУВ: З973-018.022.01

Рубрики:

Комп'ютери та програмування

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

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

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

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

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

Ключ. слова: нечеткие множества, нечеткое математическое программирование, лингвистические переменные, устойчивость нечеткой задачи, размытые (нечеткие) числа
Індекс рубрикатора НБУВ: В173.14

Рубрики:

Багатокритеріальна оптимізація

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

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

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

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

Індекс рубрикатора НБУВ: З973-018.21

Рубрики:

Комп'ютери та програмування

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

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

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

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

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

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

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