УДК 681.32.069:681.3.02
Курбанмагомедов Курбанмагомед Динмагомедович Kurbanmagomedov Kurbanmagomed Dinmagomedovich
Институт (филиал) ГОУ ВПО «Московский государственный открытый
университет» в г. Махачкале
Institute (filial) of Moscow state open University in the city of Makhachkala
dimgou@mail.ru
Республика Дагестан, г. Махачкала, ул. Акушинского, д.21,
тел. 8(8722) 51-61-87
Диагностическое моделирование дискретных устройств при параллельном опросе матрицы смежности и библиотеки элементов
Аннотация. В работе прилагается подход о распараллеливании процедур моделирования логических схем дискретных устройств. Рассматриваются варианты моделирования с вводом неисправностей.
Annotation. In the work is given ap approach to parallel procedures of modeling logical schemes of discrete devices. Modeling variants with defects are considered.
Ключевые слова: матрица, модель, элемент, алгоритм, моделирование, память. Key-words: matrix, model, algorithm, modeling, memory.
В данном варианте используется косвенное представление логической схемы, когда каждый элемент создается путем отсылки к элементному базису, а связь между элементами схемы определяется матрицей смежности (связей) (9). Моделью элемента является реализуемая им буревая функция, заданная с помощью таблицы истинности. Множество элементов модели, реализующих разные логические функции, назовем базисом модели. Устройство для моделирования имеет две памяти: одна память для хранения элементного базиса, представленного в виде таблиц, другая- для хранения таблицы связей элементов логической сети. Базис храниться в АП1 в виде таблиц переходов элементов (схем, блоков), заранее оговоренных (при фиксированном базисе), либо они конкретизируются при задании
сети в виде некоторого множество булевых функций от формальных аргументов (при произвольном базисе). В качестве хранилища архива произвольного элементного базиса используется постоянная память (рис.5.15). Таблицы
истинности (переходов) базовых элементов составляются и хранятся для единичных либо только для нулевых результатов выполняемых функций.
Для представления данного базиса в АП используется следующее кодирование: код «10»соответствует «1», код 01-«0», код 2-0. Последний код используется для сжатия таблиц и соответствует безразличному состоянию данного аргумента в данном наборе.
Таблица связей элементов логической сети представляет собой матрицу, строки и столбцы которой соответствуют входным полюсам сети. Множество полюсов каждого элемента сети упорядоченно так, чтобы номера полюсов росли вместе с номерами соответствующих им элементов сети. Матрица связей вместе с информацией (наименованием элемента, количеством входов и т.п.) вводиться и храниться в АП2.
Внешний набор, на котором проверяется логическая сеть, поступает в выходной регистр, который по мере моделирования пополняется значениями промежуточных переменных. При вводе во входной регистр внешнего входного набора последовательно, исходя из матрицы связей, выбираются (начинаются сверху) элементы подлежащие моделированию. Причем на вход моделируемого элемента из всего входного набора поступают только те значения аргументов, которые в матрице связей равны «1». Эти значения входных переменных с наименованием моделируемого элемента и количеством входов в виде кода опроса поступают на опрос элементного базиса. Полученный результат - выходное значение моделируемого элемента поступает с АП1 на входной регистр для образования нового входного набора и т.д. Возможно использование данной структуры +СДМ для реализации алгоритмов троичного, событийного моделирования исправных и неисправных схем. Однако данный вариант реализации АСДМ, хотя и является достаточно универсальным, при большой размерности моделируемых схем, множества разветвлений и обратных связей приводит к значительному снижению быстродействия.
Рис. 5.15
Литература
1. Мешалкин В.П. Экспертные системы в химической технологии. М.: Химия, 1995.- 368с.
2. Курбанмагомедов К.Д., Попова Г.М., Халчев В.Ф. Принципы использования ассоциативной памяти для организации диагностического моделирования схем.-Автоматика и телемеханика, №1, 1987, с. 157-170.
3. Трунин А.С., Штер Г.Е., Космынин А.С. Алгоритм описания химизма во взаимных солевых системах. - Журнал прикладной химии, АН СССР, Л., 1983.