Формализация процесса функционирования сложных дискретных устройств на базе макромоделей функциональных блоков
В статье рассматривается вопрос иерархического моделирования сложных дискретных систем с использованием макромоделей устройств на уровне функциональных блоков для анализа и контроля правильности их функционирования на ранних этапах разработки и проектирования. Приведена макромодель функционального блока сложной дискретной структуры, формализованная логической последовательностной схемой.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
УДК 004.94
сложных дискретных устройств на базе макромоделей
функциональных блоков
Формализация процесса функционирования
И.В. Рудаков
МГТУ им. <...> Н.Э. Баумана, Москва, 105005, Россия
В статье рассматривается вопрос иерархического моделирования сложных дискретных
систем с использованием макромоделей устройств на уровне функциональных
блоков для анализа и контроля правильности их функционирования на
ранних этапах разработки и проектирования. <...> Приведена макромодель функционального
блока сложной дискретной структуры, формализованная логической
последовательностной схемой Ŝ. <...> Ключевые слова: иерархическое моделирование, макромодели функциональных блоков
сложной дискретной структуры, логические и последовательностные схемы. <...> Для реализации иерархического моделирования сложных дискретных
устройств реализуется макромоделирование устройств на
уровне функциональных блоков сложных дискретных устройств для
анализа и контроля правильности их функционирования на ранних
этапах разработки и проектирования. <...> Для решения задачи анализа и контроля правильности функционирования
СДС в качестве входного и выходного алфавита функционального
блока используется понятие информационной группы. <...> Известно
[1, 2], что сложное дискретное устройство может быть представлено
схемой над множеством элементов сложной дискретной
структуры F = {F1, F2, …}, входам и выходам которого приписываются
информационные группы. <...> И.В. Рудаков
Пусть: P(Ŝ) — множество входов схемы Ŝ; Q(Ŝ) — множество
выходов схемы Ŝ; Φ — некоторая функция, приписанная схеме Ŝ и
определяющая ее функционирование. <...> Алфавит значений каждой переменной множества состоит из
элементов множества E = {0, 1}. <...> Множество индексов переменных из X, входящих в j-ю информационную
группу, обозначим
{
группы:
EE E 12i Ei KK ,
u=1
p
j
==
k
iu
Eik
Eiu
где Eiu = E — алфавит переменной xiu из j-й входной информационной
группы. <...> Множество информационных слов j-й входной информационной
Формализация <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: