ISSN 1991-2927
 

АПУ № 2 (60) 2020

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

УДК 519.6

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

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

Предлагается подход к решению проблемы математического моделирования когнитивных цифровых автоматов (КЦА). На первый план выдвигается задача формализации понятия когнитивности математической модели КЦА. Когнитивность математической модели, соответственно, определяется возможностью обучения и генерации решений, не предусмотренных в процессе обучения. Особенность КЦА заключается в том, что в качестве структурной схемы автомата служит описание структуры нейронной сети (НС), а в качестве модели нейрона используется логическая функция «НЕ-И-ИЛИ». В случае образования обратных связей с выхода на входы нейронов модель нейрона представляет собой двоичный триггер с логической функцией «НЕ-И-ИЛИ» на входе. В качестве инструмента построения математической модели КЦА предлагается использовать математический аппарат сетей Петри (СП): маркированные графы, ингибиторные СП и СП с программируемой логикой. Математическая модель строится на базе представления КЦА в виде уравнения состояний СП из класса уравнений Мурата (матричных уравнений) или системы линейных алгебраических уравнений. Задача формализации понятия когнитивности (познания) решается в результате синтеза логики (обучения) исходной структурной схемы КЦА или формирования формулы (сетевого алгоритма) КЦА. При этом возможность формирования формулы (сетевого алгоритма) КЦА зависит от критической массы (качества) обучающих наборов и алгоритмов обучения. Отсюда особое значение приобретает задача генерации минимального множества обучающих наборов для заданной или экспериментально определяемой функции КЦА. Прогнозирование, или генерация решений, в свою очередь, выполняется на основе полученной в процессе обучения математической модели КЦА.

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

2019_ 2

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

Тематика: Математическое моделирование, Искусственный интеллект.



УДК 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!