Моделі та метод конфігураційного синтезу інформаційно-управляючих систем з використанням раніше розроблених компонентів
Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
Подобные документы
Методи підвищення метрологічної надійності вимірювальних каналів комп'ютеризованих інформаційно-вимірювальних систем із діодними перетворювачами. Загальний метод досягнення інваріантності вимірювального перетворювача щодо дестабілізуючих факторів.
автореферат, добавлен 26.08.2015Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Побудова систем автоматизованого навчання та інформаційно-довідкових систем глобальних мереж. Взаємодія компонентів інформаційно-довідкової системи. Системно-незалежний комплекс програм для прототипіювання та підтримки середніх систем у межах Internet.
автореферат, добавлен 21.11.2013Розробка дискретної моделі, яка базується на понятті "подія", системи технічного діагностування на основі математичного апарата марковських ланцюгів. Застосування методики оптимізації параметрів стратегії технічного обслуговування старіючих систем.
автореферат, добавлен 28.10.2015Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Застосування засобів двовимірного наближення табличних даних многочленами та функціями від многочленів. Розробка методу синтезу цифро-частотних функціональних перетворювачів. Створення алгоритму для оцінки якості розроблених перетворювачів сигналів.
автореферат, добавлен 12.02.2014Розробка моделей і інформаційної технології управління розвитком корпоративної інформаційно-обчислювальної системи при нечіткій вихідній інформації. Критерії, що характеризують ефективність КІОС. Модель статичної задачі структурно-топологічного синтезу.
автореферат, добавлен 26.07.2014Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Розробка технології електроерозійної обробки з використанням комп'ютеризованої системи управління. Ефективність ЕЕО копіювально-прошивальними верстатами. Використання методу еволюційного планування для генерації управляючих впливів виконавчими елементами.
автореферат, добавлен 24.06.2014Метод синтезу та побудови послідовних біноміальних лічильників. Розробка методики оцінки завадостійкості пристроїв на основі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними по значущості.
автореферат, добавлен 25.07.2015Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Розробка математичної моделі виникнення власних шумів вхідних підсилювачів медичних інформаційно-діагностичних систем, способи боротьби з шумами біопідсилювачів. Синтез структур блоку їх активного пригнічення. Схемо-технічна реалізація даної системи.
автореферат, добавлен 11.11.2013Розробка комплексу інформаційно-технологічних систем, який пропонується як типовий для впровадження в сучасній процесно-орієнтованій бібліотеці для реалізації інноваційної стратегії. Проблеми застосування інформаційно-технологічних бібліотечних систем.
статья, добавлен 02.10.2018Вдосконалення компонентів інтелектуальних розподілених інформаційно-вимірювальних систем. Узагальнена структура такої системи її аналіз методом напівнатурного моделювання в пришвидшеному часі з допомогою синтезованого метрологічного програмного тесту.
автореферат, добавлен 30.07.2014Проведення аналізу методів створення автоматизованих комплексів авіаційного призначення. Розробка методу перетворення безповторних алгоритмічних структур із комутативними умовами. Опрацювання методу синтезу настроювальних алгоритмічних перетворювачів.
автореферат, добавлен 27.07.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Визначення поняття та використання інформаційно-пошукових систем в практичній діяльності. Характеристика видів систем та механізми пошуку в них необхідної інформації. Вивчення найвідоміших сучасних інформаційно-пошукових систем в мережі Internet.
реферат, добавлен 04.10.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015