Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
Подобные документы
Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Комп’ютерне відтворення звуків, що утворює людина. Методика розв’язання проблеми синтезу розмовної інформації. Автоматизація штучного утворення звуків голосу людини, на основі спільного використання фізичних моделей голосового джерела та мовного тракту.
автореферат, добавлен 20.07.2015Організація пошуку інформації в мережі Інтернет. Поняття про інформаційно-пошукові системи. Відмінність каталогів від пошукових систем. Етапи користування інформаційно-пошуковими системами. Чим відрізняються різні інформаційно-пошукові системи.
реферат, добавлен 22.02.2012Розглянуто особливості програмних комплексів Cyclone, Trimble RealWorks Survey, ScanIMAGER, LFM, які можна використовувати для обробки даних наземного лазерного сканування. Описано кожен із рівнів і подано результати моделювання тривимірних об’єктів.
статья, добавлен 30.01.2017Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Проаналізовано підходи і методи формування вимог до системи і ПЗ, що створюється. Розглянуто функціональні і нефункціональні вимоги. Увага приділена об’єктно-орієнтованим методам інженерії вимог, що використані для побудови моделей предметних областей.
курс лекций, добавлен 17.11.2022Вивчення загальних принципів тривимірного проектування виробів в Solidworks. Реалізація Дерева конструювання в стилі традиційного Провідника Windows. Побудова плоских ескізів та тривимірних моделей деталей. Система розрахунку валів компас-Shaftcalc.
методичка, добавлен 02.04.2014Методологія та математичні моделі для аналітичного визначення нового виду вимірювальних перетворень з застосуванням основних форм імпульсних тестових сигналів. Побудова інваріантних вимірювальних каналів з часовим представленням вимірювальної інформації.
автореферат, добавлен 25.09.2015Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Дослідження сучасних методів і моделей інформаційного пошуку технологій в базах даних. Характеристика алгоритму оцінки релевантності документів, знайдених інформаційно-пошуковою системою. Способи обчислення порогів інформативності термів і речень.
автореферат, добавлен 29.07.2014Аналіз нових підходів активації навчального процесу на підставі використання інформаційних технологій і когнітивних моделей особи. Послідовність блоків знань в програмі та їх структурна організація. Схема логічних зв’язків в процесі розв’язання задач.
статья, добавлен 14.09.2016Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Створення структурно-логічних моделей різних топологій і технологій виконання локальних обчислювальних мереж на основі теорії графів, кубічного зчислення і VHDL-мови опису апаратури високого рівня, що орієнтовані на існуючі системи моделювання.
автореферат, добавлен 04.03.2014Характеристика головних засобів оптимізації діяльності інформаційно-аналітичних підрозділів. Розгляд специфіки аналітичної діяльності в управлінських структурах і бібліотеках. Дослідження досвіду використання програмних комплексів і комп’ютерних систем.
статья, добавлен 13.08.2016Створення, впровадження геоінформаційних систем військового призначення. Напрямки вирішення задач автоматизації процесів мобілізаційного розгортання, оборонного планування, логістичного, кадрового, фінансового забезпечення Збройних Сил України.
статья, добавлен 05.09.2023Аналіз інформаційних моделей автоматизованих системах остигання виливків у піщаних ливарних формах. Виявлення зв’язку між швидкістю моделей і відсотком браку на конвеєрі. Розробка динамічних моделей. Впровадження програми розрахунку ефективних параметрів.
автореферат, добавлен 27.07.2014Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Побудова математичних моделей бюджетних ризиків та управління ними в процесі будівництва складних енергетичних об’єктів. Дослідження існуючих методів аналізу та зменшення ризиків. Створення інформаційної технології управління бюджетом будівництва.
автореферат, добавлен 28.08.2015Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Засади створення наукометричної надбудови над розпорошеними в "Google Scholar" бібліометричними профілями суб'єктів і об'єктів вітчизняних документних комунікацій. Функціональні можливості розробленого алгоритмічно-програмного інструментарію аналізу.
статья, добавлен 26.06.2016Особливості тематично-сутнісної онтології покращеної векторної моделі у контексті загальної інфраструктури інформаційно-пошукової системи. Використання інтерпретацій в якості проміжних об’єктів між документами як одна з основних ідей моделі eTVSM.
статья, добавлен 25.10.2016Викладення процесу математичного моделювання розміщення тривимірних геометричних об'єктів у заданих областях з урахуванням мінімально припустимих відстаней і зон заборони на розміщення об'єктів. Особливості зазначених математичних моделей і алгоритмів.
автореферат, добавлен 25.08.2014Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Проектування розробки додатку для керування процесами розробки програмних продуктів, що буде представляти цілісну систему для розробки ПЗ, мінімізуючи складність комунікацій та сприйняття інформації та дозволить суттєво пришвидшити основні процеси роботи.
статья, добавлен 19.06.2024Основне призначення системи управління базами даних. Характеристика спеціальних програмних продуктів, що складають систему управління базами даних MS ACCESS. Узагальнення її понять, прийомів й методів на весь клас СУБД, створення форм, запитів і звітів.
курсовая работа, добавлен 30.11.2010