Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
Подобные документы
Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Підвищення ефективності та достовірності процесу тестового комбінованого діагностування цифрових мікропроцесорних пристроїв шляхом побудови методик та алгоритмів оптимізації послідовностей тест-векторів, що реалізують умовні алгоритми діагностування.
автореферат, добавлен 21.11.2013Викладення процесу розроблення алгоритмів оптимiзацiї технологічних процесів діагностування телекомунікаційних каналів надлишкових інформаційних систем (НІС). Аналіз сучасного стану і перспектив розвитку систем технічного діагностування ТК і вимог до них.
автореферат, добавлен 25.06.2014Створення методів та засобів функціонального діагностування обчислювальних пристроїв для підвищення достовірності контролю результатів при виконанні приблизних обчислень. Розробка порогового та імовірнісного підходу для підвищення точності розрахунків.
автореферат, добавлен 06.07.2014- 5. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм
Розробка поведінкових моделей троянських програм шляхом урахування їхнього функціонального навантаження. Розробка адаптивної інформаційної технології діагностування комп'ютерних систем на наявність троянських програм та дослідження її ефективності.
автореферат, добавлен 12.07.2015 Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013- 8. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016Сучасний стан напівпровідникових запам’ятовуючих пристроїв. Розробка математичної моделі запам’ятовуючого пристрою та засобу діагностування. Методи вибору тестів при наявності апріорних даних про властивості тестів. Особливості програми Optimal Test.
автореферат, добавлен 24.08.2015Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Аналіз сучасних мікропроцесорних пристроїв та їх особливостей як об'єктів діагностування. Характеристика відомих методів генерації тестів та області застосування. Особливості розробки структурно-поведінкової моделі МПП як об'єкту діагностування.
автореферат, добавлен 10.01.2014Підвищення достовірності діагностування БЕМП, які працюють на підвищених частотах обертання, за рахунок врахування несправностей, що виникають у вентильній і електромеханічній частинах. Зменшення похибок вимірювання параметрів для діагностування.
автореферат, добавлен 29.08.2014Визначення основних найдоцільніших напрямків підвищення ефективності функціонування систем діагностування технологічного обладнання. Проведення дослідження властивостей і можливостей існуючих критеріїв оцінювання ефективності технологічного обладнання.
автореферат, добавлен 12.11.2013Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Характеристика принципів перевірки несправностей ділянок теплових мереж на базі нечіткої логіки. Особливість факторів, на основі яких проводиться випробування. Головний аналіз розробки комп’ютерної системи діагностування стану галузей устаткування.
автореферат, добавлен 29.07.2015Огляд процесу розроблення моделей і алгоритмів діагностування локальних обчислювальних мереж і їх компонентів на основі послідовного застосування методологій безумовного і зондового пошуку дефектів для зменшення витрат на відновлення їх працездатності.
автореферат, добавлен 27.02.2014Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Проведення аналізу методів створення автоматизованих комплексів авіаційного призначення. Розробка методу перетворення безповторних алгоритмічних структур із комутативними умовами. Опрацювання методу синтезу настроювальних алгоритмічних перетворювачів.
автореферат, добавлен 27.07.2014Дослідження корпоративних технологій зв'язку у медичній сфері. Комп’ютеризація інтелектуальних методів діагностування на базі накопичених знань експертів і поточних відомостей про стан людини. Огляд асоціативного і каузального підходів до діагностування.
реферат, добавлен 25.10.2012