Математическая кибернетика. Теория управляющих систем. Теория автоматов. Математическая теория информации. Теория кодов. Математические вопросы семиотики

В книге дается изложение теории, которая объясняет и позволяет применять на практике открытое авторами явление Природы: равновесные случайные процессы (РСП). На основе теории РСП могут создаваться инструменты для решения проблем в макро- и микроэкономике, математические модели физических и биологических процессов, товары и услуги для инфобизнеса (бизнеса по продаже знаний), например: интерактивная услуга по расчету скидок постоянным покупателям магазина (промоутерам), планированию цен, нормированию запасов и др.

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

В работе рассматривается рефакторинг диаграмм управления выполнением (диаграмм ECC) в рамках графо-трансформационного подхода к проектированию распределенных компонентно-базированных систем управления промышленными процессами на основе нового международного стандарта IEC 61499. Основной целью рефакторинга является избавление диаграммы ECC от условных дуг без событий и потенциально-тупиковых (по условиям) состояний. Приводятся правила преобразования графов для совершения рефакторинга диаграмм ECC. Прототип системы рефакторинга реализован в системе трансформации графов AGG.

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