Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
Подобные документы
Підвищення якості функціонування інформаційно-управляючих систем за рахунок ефективнішого використання методів оцінки нечітких моделей знань операторів. Системна інтеграція технологій штучного інтелекту з точними методами і моделями пошуку рішень.
автореферат, добавлен 26.08.2015Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Розгляд технологічних аспектів організації інформаційно-комунікаційної діяльності, яка включає три компоненти: Internet; надійність і безпека апаратних та програмних комплексів, які забезпечують виконання державою інформаційно-комунікаційної функції.
статья, добавлен 19.04.2023Опис створення інформаційно-пошукової системи як однієї з складових інформаційних систем; етапів проектування інформаційної системи оброблення бази даних закладів, що встановлює однозначні відношення між об’єктами за допомогою ключових полів таблиць.
курсовая работа, добавлен 30.01.2014Економіко-аналітичне забезпечення управління виробничо-господарською діяльністю в Україні. Розробка інформаційних систем спеціального призначення промислових підприємств та науково-виробничих об’єднань. Методи організації базових масивів цифрових даних.
статья, добавлен 09.01.2019Вимоги до побудови адекватних математичних моделей складних об’єктів у вигляді вузлів графа з використанням інтелектуальних інформаційних систем. Проектування переходів системи із ситуації в ситуацію. Побудова алгоритму нечітких ситуаційних мереж.
статья, добавлен 25.10.2016Створення ефективних за точністю та швидкодією методів і алгоритмів оперативної фільтрації-стиску сигналів, математичних моделей станів об’єктів, кодування та захисту інформації, які в комплексі оптимізують передачу даних у моніторингових мережах.
автореферат, добавлен 29.09.2014Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Проведення аналізу методів створення автоматизованих комплексів авіаційного призначення. Розробка методу перетворення безповторних алгоритмічних структур із комутативними умовами. Опрацювання методу синтезу настроювальних алгоритмічних перетворювачів.
автореферат, добавлен 27.07.2014Поняття і класифікація програмних засобів навчального призначення. Місце комп’ютерних технологій в теорії та практиці навчального процесу. Проектування та розробка програмного тренажеру "Мистецька галерея". Методичні рекомендації щодо роботи з ним.
курсовая работа, добавлен 17.04.2014Розробка інформаційно-вимірювальної системи на основі нових математичних моделей АЕ сигналів, супроводжуючих роботу електротехнічного обладнання. Огляд методів діагностики, що дозволяють із заданою точністю і достовірністю здійснювати діагностику вузлів.
автореферат, добавлен 13.08.2015У дослідженні запропоновано науково-методичні засади структурно-функціонального синтезу інформаційно-аналітичної системи для підтримки та прийняття рішень щодо логістичного забезпечення Національної гвардії України на основі онтологічного підходу.
статья, добавлен 28.03.2024Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Моделирование как метод познания, состоящий в создании и исследовании моделей. Классификация моделей по временному фактору. Предметные и информационные модели. Этапы разработки и исследования моделей на компьютере. Исследование математических моделей.
реферат, добавлен 26.11.2016Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Проведення аналізу сучасного стану функціонування інформаційних систем спеціального значення в вирішенні завдань організаційного управління. Дослідження щодо пошуку нових наукових методів застосування сучасних інформаційних систем, комп’ютерної техніки.
статья, добавлен 29.06.2016Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Забезпечення доступу користувачів інформаційних Web-порталів до затребуваної професійно-навчальної інформації. Комплекс моделей і методів та створення програмного забезпечення системи автоматизованого керування інформаційно-навчальним Web-контентом.
автореферат, добавлен 13.08.2015Розгляд тематично-сутнісної онтології покращеної тематичної векторної моделі у контексті інфраструктури інформаційно-пошукової системи. Аналіз моделей реалізації компонентів з урахуванням практичних аспектів та особливостей використаної онтології.
статья, добавлен 25.10.2016