Мережні моделі і методи побудови функціональних тестів апаратно-програмних засобів у складі автоматизованих систем управління
Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
Подобные документы
Технологічні процеси складання, монтажу, налагодження і тестування програмних систем та комплексів. Аналіз існуючих апаратних та програмних засобів, виявлення недоліків побудови існуючого комплексу апаратно-програмних засобів, шляхи виправлення ситуації.
отчет по практике, добавлен 28.04.2014Вирішення функціональних задач управління і переробки інформації в бортових приладових комплексах за рахунок удосконалювання математичних моделей, проблемно-орієнтованих на створення апаратно-програмних засобів. Синтез алгоритмічних перетворювачів.
диссертация, добавлен 13.07.2014Способи підвищення ефективності корпоративного управління на основі створення моделей розвитку та реінжинірингу комп’ютерної мережі компанії. Механізм раціонального вибору апаратно-програмних засобів і їх модернізації при появі нових задач управління.
автореферат, добавлен 29.09.2014Підвищення ефективності рішення задач корпоративного управління на основі створення моделей розвитку та реінжинірингу просторово-розподіленої комп’ютерної мережі організації. Модернізація апаратно-програмних засобів при появі нових задач управління.
автореферат, добавлен 29.09.2015Особливості створення моделі апаратного алгоритму та моделі апаратно-програмного універсального обчислювача на основі апаратно-програмної моделі (SH-моделі). Розробка способів оптимізації характеристик складності операційних пристроїв та процесорів.
автореферат, добавлен 29.01.2016Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Архітектурні особливості і принципи побудови інтермережі. Багаторівнева ієрархічна структурно-інформаційна методика. Математичні моделі функціонування. Проектування обчислювання АСУ підприємства. Формалізація правил аналізу. Огляд програмних засобів.
автореферат, добавлен 05.01.2014Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Підвищення якості пошуку зображень у графічних базах даних шляхом розробки нових алгоритмічних і апаратно–програмних засобів. Застосування апарату теорії ймовірностей і математичної статистики при розробці спеціалізованої обчислювальної системи.
автореферат, добавлен 27.08.2014Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
автореферат, добавлен 28.08.2015- 17. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Аналіз сучасних програмних забезпечень, для створення мультимедійних презентацій. Розгляд функціональних можливостей програм Microsoft Office PowerPoint, LibreOffice Impress, Apache OpenOffice Impress, Powerbullet Presenter, Windows Movie Maker.
курсовая работа, добавлен 19.03.2017Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Аналіз нових методів побудови архітектури і моделі неповнозв’язної нейронної асоціативної пам’яті, які забезпечують більшу її ємність за умови одного з архітектурних обмежень. Розробка програмних засобів для моделювання ННАП і алгоритмів навчання.
автореферат, добавлен 29.10.2015Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Управління діяльністю підприємств зв'язку шляхом розробки нових принципів побудови ієрархічних автоматизованих систем управління діяльністю виробничих систем. Інформаційна технологія підготовки даних для оптимізації управління розробкою АСУ - зв'язок.
автореферат, добавлен 14.09.2014- 23. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017