Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
Подобные документы
Розробці нових нейронечітких інформаційних технологій синтезу нечітких баз знань пониженої складності для прогнозування стохастичних процесів. Впровадження індуктивного методу побудови збалансованих робастних нейронечітких моделей у формі Бернштейна.
автореферат, добавлен 29.08.2015Аналіз математичних моделей метрологічного забезпечення експлуатації об'єктів. Методи вирішення задач: перебір або підбіор варіанту згідно вимог системи, математичне програмування. Вирішення моделей Рао-Крамера-Фреша методом нелінійного програмування.
статья, добавлен 14.07.2016Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Предметом дослідження у статті є система захисту і кібербезпеки інформації в інформаційно-комунікаційних системах спеціального зв’язку. Метою є обґрунтування пропозицій щодо вибору окремих показників оцінювання здатності функціонування системи захисту.
статья, добавлен 12.04.2023Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Методи розрахунку ізоповерхонь тривимірних об’єктів за проекційними даними, їх часові та просторові характеристики. Практичні задачі реконструкції ізоповерхневих моделей органів людини на основі проекційних даних (2D і 3D сканування) у медичній практиці.
автореферат, добавлен 25.08.2015Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Дослідження алгоритму побудови моделей класу Word2Vec. Побудова рекомендаційної системи на основі моделі SkipGram класу Word2Vec та дослідження результатів її роботи. Структура даних підготовленого датасету. Побудова веб-додатку рекомендаційної системи.
статья, добавлен 30.05.2021Характеристика підходу до створення комп’ютерних навчальних 3D моделей військово-технічного призначення, ефективність їх застосування під час підготовки військових спеціалістів. Сутність кожного етапу створення навчальних 3D моделей зразків озброєння.
статья, добавлен 14.01.2017Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013- 37. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Рішення актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Проектування засобів штучного інтелекту. Алгебрологічний метод роботи логічних мереж.
автореферат, добавлен 28.08.2014Розробка структурно-категорних математичних моделей процесів прямого проектування розподіленої бази даних та її елементів. Синтез логічної та фізичної моделей, що враховують зв’язність таблиць і ступінь децентралізації бази даних, що проектується.
автореферат, добавлен 07.03.2014Використання комп’ютерної техніки в економіці і менеджменті. Поняття, призначення та характеристики мультимедіа освітніх та інформаційно-довідкових програмних продуктів. Створення презентації на основі шаблону автоматизованими засобами РоwerPoint.
лекция, добавлен 28.03.2014Побудова інформаційно-математичної моделі задачі і визначення структури даних. Реалізація та програмне тестування проекту у навчально-комп’ютерному середовищі "WebDMath". Використання комп’ютерних технологій під час екзаменів та індивідуального навчання.
курсовая работа, добавлен 03.11.2014Теоретичні основи та інформаційні технології нового класу систем підтримки прийняття рішень у медичній діагностиці на основі синтезу структурованих моделей складно організованих взаємозалежних підсистем організму. Процес автоматизації лікарських записів.
автореферат, добавлен 30.07.2015- 44. Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування
Огляд багатопоточних засобів мов програмування. Аналіз інтегрованого інструментарію синтезу алгоритмів і програм на основі алгебро-алгоритмічних моделей. Створення алгебро-алгоритмічних моделей програм для розв’язання задач символьної мультиобробки.
автореферат, добавлен 23.08.2014 Рішення супутніх проблем розбудови інформаційно-телекомунікаційної системи Збройних Сил України. Основні аспекти впровадження інфраструктури відкритих ключів як основного механізму забезпечення функцій захисту інформаційно-телекомунікаційної системи.
статья, добавлен 13.02.2016- 46. Керування стохастичними об'єктами в умовах невизначеності на основі нечітких нейромережевих моделей
Адаптивні процедури самоорганізації в реальному часі з високою швидкодією для нечітких нейромережевих моделей. Закони керування на основі локальної лінеаризації нечітких моделей. Синтез нечітких нейромережевих моделей динамічних стохастичних об'єктів.
автореферат, добавлен 24.06.2014 Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Дослідження класу недостатньо структурованих і неструктурованих задач інформаційно-управляючих систем. Підвищення якості функціонування ІУС гірничо-металургійного підприємства. Розробка методу дихотомічної оцінки нечітких моделей знань операторів ІУС ГМП.
автореферат, добавлен 30.01.2014Розробка робастних регуляторів низького порядку для багатозв’язних квазістаціонарних об’єктів. Необхідність алгоритмічної компенсації не модельованої динаміки. Робастні властивості при використанні редукованих моделей, законів керування низького порядку.
автореферат, добавлен 13.07.2014Аналіз зовнішньої форми, конструктивно-композиційної побудови модного одягу. Вид одягу сарафан жіночій. Характеристика вимог до моделей системи. Формування промислової системи моделей. Опис зовнішнього вигляду. Специфікація деталей крою. Вибір матеріалів.
дипломная работа, добавлен 24.11.2016