Формальні структури МАНОК-систем
Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
Подобные документы
Исследование и анализ развития компьютерных обучающих систем и математических моделей для их реализации. Выбор конкретных существующих математических моделей и их модификация. Реализация разработанных моделей при создании компьютерных обучающих систем.
автореферат, добавлен 18.07.2018Исследование подхода к анализу организационных структур сложных систем, базирующегося на применении моделей стохастических сетей. Определение условий работоспособности систем, оценка загруженности отдельных ее элементов и влияние внешних факторов.
статья, добавлен 06.05.2018Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
автореферат, добавлен 27.09.2014Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Ефективність використання статистичного методу підвищення стійкості розв’язків і алгоритму забезпечення заданої точності визначення погано обумовлених систем лінійних алгебраїчних рівнянь. Розрахунок коефіцієнту лінійного температурного розширення.
статья, добавлен 27.07.2016Разработка концептуальной модели совершенствования качества информационных систем. Анализ модели определения состава показателей качества информационных систем. Экспериментальное исследование моделей совершенствования качества информационных систем.
монография, добавлен 28.03.2020Положення, поняття, принципи побудови і функціонування геоінформаційних систем. Сучасні комп’ютерні технології, що дозволяють поєднувати модельне зображення території з різноманітними статистичними даними та економічними показниками й іншою інформацією.
статья, добавлен 27.03.2016- 60. Комплексна методика проектування моделей інтелектуальних систем діагностики та методи оцінки якості
Розгляд процесу технології проектування інтелектуальних систем, що дає нові можливості для управління даним процесом. Комплексна методика проектування довідкових систем, заснована на семантичній технології комп'ютерних систем різного рівня інтелекту.
статья, добавлен 21.06.2016 Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015Сравнительная характеристика систем багтрекинга и систем ведения проектов, обоснование выбора лучшей из них для дальнейшей интеграции. Исследование систем Jira, Redmine, Bugzilla Сравнение систем управления базами данных (MYSQL, PostrgreSQL, SQLite).
статья, добавлен 25.07.2018Применение и определение экспертных систем, их особенности. Главное достоинство и назначение экспертных систем. Критерий использования экспертных систем для решения задач, ограничения в применении и преимущества. Структура систем, основанных на знаниях.
контрольная работа, добавлен 13.11.2008Дослідження задачі планування технічного обслуговування складних систем, які формалізуються в класі моделей дискретного програмування з обмеженнями комбінаторного типу. Використання алгоритму, що базується на ідеології методу динамічного програмування.
статья, добавлен 25.10.2016Опис побудови та принципів функціонування системи тривимірного імітаційного моделювання виробничих систем. Розгляд етапів будування модулю. Схема послідовності розробки імітаційної 3D-моделі. Настроювання положення та систем координат елементів.
статья, добавлен 03.11.2013Разработка процедур анализа многоверсионных систем в части адаптации существующих моделей надежности и функциональной безопасности. Оценка эффективности комбинаторной схемы, теоретико-множественной модели и метрики многоверсионности данных систем.
статья, добавлен 14.07.2016Анализ основных моделей жизненного цикла программного обеспечения. Рассмотрение методов и этапов проектирования информационных систем. Определение сущности принципов "дуализма" и многокомпонентности в построении автоматизированных информационных систем.
реферат, добавлен 19.10.2014Классификация вычислительных систем по разным признакам. Организация функционирования вычислительных систем и их различия по виду параллелизма обработки. Особенности программного обеспечения многомашинных и многопроцессорных вычислительных систем.
контрольная работа, добавлен 20.06.2015Исследование динамики и проектирования систем и устройств - основное назначение программного комплекса "МВТУ". Простота построения сложных моделей с использованием вложенных структур и алгоритмов типовых блоков - одно из преимуществ данной программы.
курсовая работа, добавлен 26.07.2015Понятие и содержание экспертных систем, их главные достоинства и назначение, отличия от других программных продуктов, отличительные особенности первого и второго поколения. Ограничения в применении систем. Структура систем, основанных на знаниях.
курсовая работа, добавлен 12.05.2011Розробка методів, моделей, інформаційної технології розробки інформаційних систем при зміні вимог та організаційної структури об’єктів автоматизації. Конфігурація функціональної структури, виявлення та усунення невідповідностей між елементами метамоделі.
автореферат, добавлен 28.08.2015Визначення поняття та використання інформаційно-пошукових систем в практичній діяльності. Характеристика видів систем та механізми пошуку в них необхідної інформації. Вивчення найвідоміших сучасних інформаційно-пошукових систем в мережі Internet.
реферат, добавлен 04.10.2014Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Аналіз і дослідження систем мастерингу оптичних дисків надщільного запису. Особливості розробки та побудови систем для запису оптичних дисків високої щільності. Основні умови підвищення щільності, специфікація діючих форматів запису оптичних дисків.
статья, добавлен 30.08.2016Статистика использования поисковых систем. Назначение Поисковых Систем. Разработка системы Яндекс, Google, Mail.ru, Rambler. Показатели использования поисковых систем в мире и его регионах. Рейтинг поисковых систем в отечественном сегменте Интернета.
реферат, добавлен 17.12.2015