ISSN 1991-2927
 

АПУ № 4 (54) 2018

Автор: "Кожевников Валерий Владимирович"

УДК 519.6


Кожевников Валерий Владимирович, Ульяновский государственный университет, кандидат технических наук, окончил Пушкинское высшее командное училище радиоэлектроники, доцент кафедры «Телекоммуникационные технологии и сети» Ульяновского государственного университета. Имеет публикации в области теории проектирования микроэлектронных систем. [e-mail: vvk2861955@mail.ru]В.В. Кожевников

Метод анализа достижимости устойчивых состояний логических схем цифровых автоматов35_14.pdf

Метод строится на базе представления логических схем цифровых автоматов (ЦА) в виде уравнений состояний сетей Петри (СП) из класса уравнений Мурата. Для моделирования логики ЦА используются ингибиторные СП. Ингибиторные СП обеспечивают наиболее точное моделирование логических схем автоматов, но при достаточно высокой мощности моделирования утрачивают базовые свойства СП и имеют более низкую мощность разрешения по сравнению с классическими СП. Решение проблемы достигается в результате представления ингибиторных СП в виде матричных уравнений с неявно заданными ингибиторными дугами в матрице инцидентности. Графическая форма представления СП используется в качестве инструмента перехода от исходного описания автомата к его представлению в виде уравнения состояний СП или системы линейных алгебраических уравнений. Построение сетевой модели ЦА осуществляется исходя из принципа сохранения потока однородной информации. Свойство однородности сетевой модели обеспечивает сохранение свойств ингибиторных СП в сетевой модели для моделирования логики и одновременно служит в качестве критерия достижимости устойчивых состояний. Анализ достижимости устойчивых состояний логических схем сводится к решению уравнения состояний СП при заданном критерии достижимости. Метод может быть использован для решения задач синтеза логики базовой структурной схемы автомата, генерации тестов, имитационного моделирования, моделирования и вычисления неисправностей, анализа отказоустойчивости и надежности логических схем автоматов.

Метод, анализ, достижимость, цифровые автоматы, логические схемы, сети петри, уравнение состояний, устойчивые состояния.

2014_ 1

Рубрика: Электротехника и электронные устройства

Тематика: Электротехника и электронные устройства.


УДК 519.6


Кожевников Валерий Владимирович, Ульяновский государственный университет, кандидат технических наук, окончил Пушкинское высшее командное училище радиоэлектроники, доцент кафедры «Телекоммуникационные технологии и сети» Ульяновского государственного университета. Имеет публикации в области теории проектирования микроэлектронных систем. [e-mail: vvk2861955@mail.ru]В.В. Кожевников

Метод анализа достижимости ингибиторных сетей петри33_5.pdf

В работе приводятся результаты исследований по решению задачи анализа достижимости ингибиторных сетей Петри (СП). Основу метода составляет свойство ортогональности сети. Метод обеспечивает возможность анализа как обычных, так и ингибиторных СП.

Метод, анализ, логика, ингибиторные сети петри, уравнение состояний.

2013_ 3

Рубрика: Математическое моделирование, численные методы и комплексы программ

Тематика: Математическое моделирование.


УДК 681.324


Кожевников Валерий Владимирович, Ульяновский государственный университет, кандидат технических наук, окончил Пушкинское высшее команд- ное училище радиоэлектроники, доцент кафедры «Телекоммуникационные технологии и сети» Ульяновско- го государственного университета. Имеет публикации в области теории проектирования микроэлектрон- ных систем [e-mail: vvk2861955@mail.ru]В.В. Кожевников

Метод математического моделирования логических схем цифровых автоматов30_14.pdf

Метод строится на базе представления цифровых автоматов в виде уравнений состояний сетей Петри из класса уравнений Мурата. В работе представлен логический аспект математического моделирования цифровых автоматов. Предлагаемый метод обеспечивает возможность аналитического и имитационного моделирования логических схем цифровых автоматов. Моделирование логических схем цифровых автоматов сводится к решению уравнений состояний сетей Петри.

Метод, моделирование, цифровые автоматы, логические схемы, сети петри (сп), уравнения состояний.

2012_ 4

Рубрика: Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Тематика: Математическое моделирование, Автоматизированные системы управления , Системы автоматизации проектирования .


© ФНПЦ АО "НПО "Марс", 2009-2018 Работает на Joomla!