Формальні структури МАНОК-систем
Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
Подобные документы
Исследование построения каркаса оценки Манок-узлов в соответствии с основными принципами построения Манок-систем и релевантными международными стандартами. Разработка моделей для решения задач. Особенности проведения оценки уровня зрелости Манок-узлов.
статья, добавлен 02.10.2018Взаємозв’язок задач з розроблення КІ-МАНОК та каркасів МАНОК/S. Аналіз інноваційних цифрових можливостей для забезпечення інтеграції децентралізованих науково-освітніх електронних комунікацій та ресурсів з підтримки постійного поліпшення каркасів МАНОК/S.
статья, добавлен 02.10.2018Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Аналіз основних принципів і особливостей методів побудови операційних систем. Розгляд областей використання. Аспекти реального часу й мультипрограмності. Розгляд побудови систем мікроядерної архітектури, переваги та недоліки. Вивчення монолітних систем.
реферат, добавлен 29.06.2014Побудова систем автоматизованого навчання та інформаційно-довідкових систем глобальних мереж. Взаємодія компонентів інформаційно-довідкової системи. Системно-незалежний комплекс програм для прототипіювання та підтримки середніх систем у межах Internet.
автореферат, добавлен 21.11.2013- 8. Модульний підхід до побудови інформаційних систем як спосіб відображення економічних бізнес-процесів
У статті досліджено модульний підхід побудови інформаційних систем на прикладі програмного комплексу "Дебет Плюс". Показано доцільність використання такого підходу в сучасних інформаційних системах під час автоматизації процесу управління підприємством.
статья, добавлен 26.11.2023 Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Стан досліджень в області систем автоматичного розпізнавання. Розробка комплексного методу побудови вирішуючих правил в імовірнісних САРЗ відкритого типа. Дослідження ефективності комплексного методу при побудові правил класифікації в імовірнісних САРЗ.
автореферат, добавлен 26.09.2015Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Поняття фреймворків, їх призначення у вдосконаленні і спрощенні процесу створення програмних систем. Аналіз архітектури і можливостей використання Java-фреймворку Spring з іншими популярними фреймворками в контексті побудови складних корпоративних систем.
статья, добавлен 07.04.2018Розробка формальної моделі системи електронної контент-комерції та формальних моделей опрацювання інформаційних ресурсів. Опис архітектури систем електронної контент-комерції для полегшення етапів реалізації життєвого циклу комерційного контенту.
статья, добавлен 29.07.2016Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024Етапи моделювання, визначення методу та механізму проектування лікувальних систем прийняття рішень, що дає змогу підвищити ефективність виконання поставлених завдань при розробці систем такого типу. Допомога комп'ютерних систем штучного інтелекту.
статья, добавлен 21.03.2016Автоматизовані навчальні системи, їх види та фактори, від яких залежить ефективність. Принципи побудови ігрових (навчальних) систем, їх використання та основний елемент. Принцип дії контролюючих (діалогових) систем. Використання АНС в навчальному процесі.
контрольная работа, добавлен 27.12.2012Опис оперативного самодіагностування з блукаючим діагностичним ядром. Характеристика гнучкої структури перевірочних зв'язків обчислювальних систем. Відстеження структур перевірочних зв'язків, засноване на характеристичних числах діагностичного графа.
статья, добавлен 29.06.2016Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Аналіз існуючих показників ефективності технічного захисту інформаційних ресурсів автоматизованих систем. Розробка систем захисту сучасних автоматизованих систем керування і оптимізація їх параметрів на базі математичного моделювання даних процесів.
автореферат, добавлен 27.04.2014Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Класифікація та характеристики основних елементів моделі систем масового обслуговування: одноканальних та багатоканальних. Процес та методи моделювання. Системний підхід до побудови моделей. Імітаційне моделювання роботи каси та потоку Пуассона.
дипломная работа, добавлен 08.04.2014Определение состава инфраструктуры объектов безопасности. Области применения предметной области информационных систем социальной безопасности. Анализ влияния сущностей социальных инфраструктур на построение концептуальных моделей информационных систем.
статья, добавлен 28.05.2018Розгляд підходів до побудови нейрокомп’ютерних систем. Розробка базової структури нейроорієнтованої комп’ютерної системи реального часу. Визначення особливостей нейрообробки даних, операційного базису спеціалізованих модулів і етапів їх синтезу.
статья, добавлен 30.10.2016Результати поетапного теоретичного дослідження функціонування автоматизованих систем керування. Схеми областей використання досліджень і ресурсовитрат. Наукова методологія створення сучасних систем з використанням новітніх інформаційних технологій.
контрольная работа, добавлен 23.10.2010Анализ структур, определяющих последовательность выполнения и взаимосвязи процессов, действий, задач. Изучение жизненного цикла автоматизированных информационных систем. Методология подготовки систем. Рассмотрение моделей разработки программного продукта.
курсовая работа, добавлен 30.01.2015