|
возможностью выбора схемы минимизации с наименьшей трудоемкостью; синтеза управляющих программ для микропроцессорных контроллеров, автоматизирующая трудоемкий процесс проектирования логических структур СПАЗ.
Научная новизна
1. Необходимые и достаточные условия нетождественности константе логических функций, синтезируемых по последовательностным уравнениям, позволяющие формализовать процесс контроля корректности задания функций включения и отключения до начала проектирования логической структуры СПАЗ.
2. Алгоритм выбора наименее трудоемкого варианта минимизации логической структуры СПАЗ, проектируемой по последовательностным уравнениям, в зависимости от конфигурации априорно заданных функций включения и отключения.
3. Интеллектуальная СПАЗ, синтезированная по последовательностным уравнениям, продукционная модель знаний, которой наряду с функцией «Импликация» содержит такие функции, как «Инверсия», «Дизъюнкция», «Конъюнкция» и «Эквивалентность», что позволило базу знаний интерпретировать совокупностью обозначенных функций, а получение новых знаний свести к процедуре логического вывода с использованием аксиом и тождеств алгебры Буля.
Практическая значимость результатов
1. Алгоритм селективной обработки логической информации, позволяющий на основе синтеза логических структур СПАЗ по последовательностным уравнениям снизить алгоритмическую задержку отклика системы защиты на изменение входных сигналов в п раз, где и-число входных модулей программируемого контроллера.
2. Разработанные алгоритмы и программ на 1-2 порядка сокращают время проектирования логических структур СПАЗ (с (1 - 3) месяцев до (5 - 12) дней), на (32 - 43)% уменьшают объем элементной базы, необходимый для реализации логической структуры СПАЗ и снижают время отклика программируемых контроллеров с (15 - 10) мс. до (6 - 4) мс. Представляют собой систему автоматизированного проектирования логической части СПАЗ технологических установок в машиностроительной и нефтехимической отраслях промышленности.
3. Практическая ценность результатов работы подтверждается актами внедрения ЗАО «Каустик» (г. Стерлитамак) и в разработках научно-технического управления ОАО «Татнефтегеофизика», а также в учебный процесс кафедры автоматизированных технологических и информационных систем Стерлитамакского филиала Уфимского государственного нефтяного технического университета и кафедры АИТ Альметьевского государственного нефтяного института.
6
|