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

В данной работе рассматривается связь максимальных префиксных кодов с теорией формальных языков и алфавитным кодированием. В терминах максимальных префиксных кодов формулируются условия коммутирования в глобальном надмоноиде свободного моноида, критерий эквивалентности пары конечных языков и ряд других результатов, связанных с бесконечными итерациями языков. Многие из этих результатов связаны с алгоритмическими проблемами для мономиальных алгебр (т. е. ассоциативных алгебр, заданных с помощью так называемых языков обструкций). В алфавитном кодировании преимущественно используются префиксные коды, т. к. свойство префикса гарантирует однозначную декодируемость. Максимальные префиксные коды обладают рядом дополнительных свойств: в неравенстве Макмиллана для них выполняется равенство; все вершины кодового дерева являются насыщенными. Мы использовали соответствие между максимальными префиксными кодами и кодовыми деревьями, благодаря чему нами произведен подсчет числа максимальных префиксных кодов заданной мощности r в q-буквенном алфавите. В работе получена общая формула, приведены примеры ее применения. Максимальных префиксных кодов мощности r над q-буквенным алфавитом не существует, если остаток от деления r на q-1 не равен 1. Частное k от деления r на q-1 можно интерпретировать как максимальное число ярусов в кодовом дереве, а также как количество пучков из q ребер, составляющих дерево. Набор (n 1, n 2, n 3, …, n s) представляет собой распределение этих пучков по ярусам кодового дерева. В заключение приведен ряд нерешенных задач, сформулированы гипотезы необходимых условий коммутирования, требующие проверки.

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

Цель: в теории динамических систем не сложилось характерное для теории сигналов разделение их частотных ха- рактеристик на непрерывные и дискретные. Цель исследования — устранить отмеченный недостаток введением в дис- кретные частотные характеристики линейных динамических систем финитного времени на примере элементарных звеньев первого и второго порядков. Результаты: показано различие между непрерывными на бесконечном времени и дискретными на ограниченном временном отрезке частотными характеристиками систем и сигналов. Приведено определение дискретных частотных характеристик линейных динамических систем финитного времени. Описаны чис- ленные и аналитические методы их нахождения, комментируется метод натурного эксперимента. Выведена передаточ- ная функция нестационарного линейного звена оператора флипа (реверса сигнала во времени). Даны характеристики элементарных звеньев первого и второго порядков, описываемых передаточными функциями интегратора, двойного интегратора, апериодического и консервативного звеньев. Показано, что точки их дискретных частотных характеристик располагаются на амплитудных частотных характеристиках звеньев. Практическая значимость: дискретные частотные характеристики дополняют классические непрерывные, согласуются с ними по амплитудам и выступают как уточняю- щие, учитывающие важный для практики фактор — конечное время протекания процессов. Разработано соответствую- щее программное обеспечение для математической сети Интернет.

Настоящее издание посвящено юбилею выдающегося математика, академика РАН Виктора Леонидовича Матросова. Составляющие книгу научные работы по теории распознавания образов и по теории сложности вычислений стали в настоящее время основополагающими для данных областей математики.

Пособие предназначено для изучения курса ""Моделирование систем управления" бакалавров, обучающихся по направлению подготовки 220400.62 - Управление в технических системах "

Пособие представляет курс лекций, в которых дано систематическое изложение современной электроники, охватывающей как основные теоретические представления, так и важнейшие экспериментально установленные факты для объяснения принципов действия широкого круга электронных приборов и устройств, изложены физические основы процессов, лежащих в основе работы электронных приборов. Предназначено для бакалавров направления подготовки 210700.62 – Инфокоммуникационные технологии и системы связи.

Книга представляет собой сборник работ, посвященных анализу различных конструкций, разработке математических моделей динамики, алгоритмов планирования траектории, моделированию и экспериментальным исследованиям роботов шаров, роботов колес и неголономных манипуляторов.

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

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

На основе математического аппарата теории клеточных автоматов для решения задач сжатия цифровых изображений изложен подход, основанный на использовании динамики клеточного автомата для построения ортогональных базисов декоррелирующих преобразований, устраняющих пространственную избыточность из элементов данных. Представлены математическая модель сжатия цифровых изображений на основе клеточных автоматов более чем первого порядка и эффективные алгоритмы построения и выбора базисов декоррелирующих клеточных преобразований. Изложен эффективный метод сжатия цифровых изображений и проведено сравнение с методами JPEG и JPEG 2000. Применение полученных авторами результатов открывает перспективы создания алгоритмов обработки цифровых изображений, столь же эффективных, что и построенные на основе дискретного вейвлетного преобразования, и в то же время столь же быстродействующих, что и основанные на дискретном преобразовании Фурье, за счет замены вещественных операций целочисленными.

Рассмотрены вопросы анализа живучести сетей связи в условиях разрушающих информационных воздействий. Дана классификация информационных атак в информационных сетях и методы их обнаружения. Уделено значительное внимание вопросам, связанным с живучестью и надёжностью мобильных систем связи, предложены модели структурной надежности в мобильных сетях передачи данных.

Изложен материал по подготовке и проведению лабораторных работ по теме «Методы спектрального анализа». Методические указания предназначены для студентов очной формы обучения специальности 220200, изучающих дисциплину «Цифровые методы анализа».

Журнал является периодическим научным изданием, которое содержит публикации в форме статей и кратких сообщений по основным направлениям научно- исследовательской работы факульета ВМиК МГУ: вычислительным методам прикладной математики и математическому моделированию, исследованию операций и математическим методам прогнозирования, приложениям теории вероятностей и математической статистики, математическим методам исследования нелинейных управляющих систем и процессов, теории и методам системного программирования, программному и математическому обеспечению вычислительных машин и сетей

Является периодическим научным изданием, отражающим тематику важнейших направлений теоретических исследований по математике и механике в МГУ имени М.В.Ломоносова. На его страницах печатаются оригинальные статьи, посвященные конкретным научным вопросам по всем основным направлениям теоретических и прикладных исследований.

Приведены задачи по курсу «Дискретная математика», относящиеся к теории графов и теории автоматов. Для студентов, обучающихся по направлению подготовки бакалавров «Прикладная математика и информатика».

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

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

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

В работе приведено описание трех лабораторных работ по курсу «Статистическая динамика систем автоматического управления» с использованием ПЭВМ и пакета MATLAB 7, посвященных формированию случайных процессов с заданными характеристиками, анализу линейной непрерывной автоматической системы при воздействии на нее случайного процесса и исследованию автоматической системы при воздействии на нее случайного сигнала и помехи. Методические указания содержат необходимые математические формулы, сведения о пакете MATLAB 7, необходимые при проведении лабораторных работ, а также примеры проведения исследований.

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

Ярославский государственный университет им. П.Г. Демидова проводит с 15 по 18 октября 2013 года в г. Ярославле международную конференцию «Нелинейная динамика и её приложения», посвященную 150-летию со дня рождения Поля Пенлеве. Данный сборник содержит тезисы докладов, представленных на конференцию. Тезисы докладов публикуются в авторской редакции. Конференция проводится при финансовой поддержке РФФИ в рамках научного проекта № 13-01-06090 г и гранта Правительства РФ по постановлению №220, договор № 11.G34.31.0053.

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

Рассматривается один из важнейших разделов математической кибернетики - теория синтеза, надежности и сложности управляющих систем. К числу основных модельных объектов математической теории синтеза, сложности и надежности управляющих систем относятся схемы из ненадежных функциональных элементов, реализующие булевы функции. В ряде результатов, относящихся к реализации булевых функций надежными схемами из ненадежных функциональных элементов, фигурирует параметр N[g] - наименьшее число функциональных элементов, необходимых для реализации функции голосования x в рассматриваемом полном базисе. Оказалось, что еще и другие функции (обозначим их множество через G), обладают свойствами, аналогичными свойствам функции голосования. Эти функции в статье называются обобщенными функциями голосования. Цель данной работы - получить верхнюю оценку величины N[G], которая была бы справедлива в произвольном базисе.

Доказываются 28 свойств, связывающих предполные классы трехзначной логики.

Рассматривается реализация функций трехзначной логики схемами из ненадежных функциональных элементов в базисе Россера-Туркетта. Предполагается, что вероятность появления одного неверного значения на выходе любого базисного элемента на каждом входном наборе равна [эпсилон], а следовательно, вероятность ошибки равна 2[эпсилон].

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки. Предполагается, что функциональные операторы с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надежны. Из полученных результатов о верхней оценке ненадежности неветвящихся программ следует, что почти все функции можно реализовать асимптотически оптимальными по надежности неветвящимися программами, функционирующими с ненадежностью, асимптотически равной [эпсилон] при [эпсилон] [стремящейся к] 0.

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки (стоп-оператором) в произвольном полном конечном базисе. В исправном состоянии стоп-оператор прекращает работу программы, если на его вход поступает единица. Предполагается, что и функциональные операторы, и стоп-операторы программы ненадежны, переходят в неисправные состояния независимо друг от друга. Считаем, что вычислительные операторы с вероятностью [эпсилон] ([эпсилон] принадлежит множеству (0, 1/2) ) подвержены инверсным неисправностям на выходах. А для операторов условной остановки рассматриваются два типа неисправностей. Неисправность первого типа характеризуется тем, что при поступлении единицы на вход стоп-оператора он с вероятностью [дельта] ([дельта] принадлежит множеству (0, 1/2) ) не срабатывает, и, следовательно, работа программы продолжается. Неисправность второго типа такова, что при поступлении нуля на вход стоп-оператора он с вероятностью [эта] ([эта] принадлежит множеству (0, 1/2) ) срабатывает, и, следовательно, работа программы прекращается. Доказано, что любую булеву функцию f можно реализовать программой, ненадежность которой не больше max {[эпсилон], [эта]} + 145 [сигма]{2} при всех [эпсилон] принадлежит множеству (0, 1/960] и [сигма]=max{[эпсилон], [дельта], [эта]}.

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе B, содержащем некоторую функцию вида x{a[1]} [1] v x{a[2]} [2], a[1], a[2] {0, 1}. Предполагается, что функциональные операторы с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надежны. Доказано, что любую булеву функцию f можно реализовать неветвящейся программой, функционирующей с ненадежностью не больше [эпсилон] + 81[эпсилон]{2} при [эпсилон] (0, 1/960).

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в полном конечном базисе B, содержащем специальные функции. Предполагается, что все элементы схемы независимо друг от друга с вероятностью [эпсилон] (0, 1/2) подвержены неисправностям типа 0 на выходах. Доказано, что почти для всех булевых функций асимптотически оптимальные по надежности схемы функционируют с ненадежностью, асимптотически равной [эпсилон] при [эпсилон] [стрелка вправо] 0. Эта оценка ненадежности в два раза меньше, чем в случае инверсных неисправностей на выходах элементов в соответствующих базисах.

Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе B, содержащем конъюнкцию x[1] & x[2]. Предполагается, что функциональные операторы с вероятностью [эпсилон] подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен, 2) оператор условной остановки ненадежен.

Рассматривается реализация булевых функций схемами из ненадежных элементов в полном базисе B B[3] (B[3] - множество всех булевых функций, зависящих от переменных x[1], x[2], x[3]). Предполагается, что все элементы схемы независимо друг от друга с вероятностью [эпсилон] ([эпсилон] (0, 1/2) ) подвержены инверсным неисправностям на выходах. Найдены базисы, в которых почти булевы функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью 5[эпсилон] при [эпсилон] [стремящемуся к] 0. Других таких базисов B B[3], в которых почти булевы функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью 5[эпсилон], нет.

Рассматривается задача построения динамических математических моделей реальных процессов на основе статистических данных. Решение задачи производится с помощью аппарата теории дифференциальных включений. Задача составления управляемого прогноза для реального процесса сводится к задаче оптимального управления. Для решения данной задачи реализован программный пакет "Cone", который по известным статистическим данным позволяет строить прогноз реальных процессов при наличии управления с функционалом качества или без него.

Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе B, содержащем конъюнкцию x[1] & x[2]. Предполагается, что функциональные операторы с вероятностью эпсилон подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен, 2) оператор условной остановки ненадежен.

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

Рассматривается задача синтеза асимптотически оптимальных по надежности неветвящихся программ с условной остановкой, реализующих булевы функции, при инверсных неисправностях на выходах операторов в базисе {x[1]? x[2], x[1]&x[2], x{-}[1], stop}. Доказано, что в рассматриваемом базисе все булевы функции f (x[1], x[2],..., x[n]) можно реализовать асимптотически оптимальными по надежности программами с условной остановкой, причем для функций x[i] (i принадлежит множеству {1, 2,..., n}) эти программы являются абсолютно надежными (не содержат операторов), а для остальных функций эти программы функционируют с ненадежностью, асимптотически равной ? при ? > 0 (? - вероятность инверсной неисправности на выходе оператора).

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в базисах, содержащих функцию h (x[1],..., x[2k+1]) множества H[2k+1]. Предполагается, что базисные элементы независимо друг от друга с вероятностью ? (? принадлежит множеству (0, 1/2) ) подвержены инверсным неисправностям на входах элементов. В работе показано: 1) в произвольном конечном полном базисе B, содержащем функцию h (x[1],..., x[2k+1]) множества H[2k+1], все булевы функции можно реализовать схемами с ненадежностью не более a? {k+1} + ? {k+2} при ? ? {1}[48am{2} (2k+1) ], где a = C{k+1}[2k+1], m - наибольшее число входов элементов в полном конечном базисе B, 2) в базисе B{? }, содержащем все функции, зависящие не более чем от двух переменных, и функцию h (x[1],..., x[2k+1]) принадлежит множеству H[2k+1], функции 0, 1, x[1], x[2],..., x[n] можно реализовать абсолютно надежно, а все остальные функции можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью, асимптотически (при ? > 0) равной a? {k+1}, где a = C{k+1}[2k+1].

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в полном базисе {xІy, xvy, x&y, xvy, x}. Доказано, что в рассматриваемом базисе все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, причем почти для всех функций эти схемы функционируют с ненадежностью, асимптотически равной 3? при ? >0, где ? - вероятность инверсной неисправности на выходе базисного элемента.

Решается задача реализации булевых функций надежными схемами из ненадежных функциональных элементов в базисе {x[1]x[2] v x[1]x[3] v x[2]x[3], x[1] v x[2] v x[3], x[1] & x[2] & x[3], x{-}[1]}. Для решения задачи предлагаются два разных метода повышения надежности схем: первый - с использованием дизъюнктора и конъюнктора, а второй - с использованием элемента голосования. Рассматриваются три типа неисправностей элементов: 1) инверсные неисправности на входах элементов, 2) однотипные константные неисправности на выходах элементов, 3) однотипные константные неисправности на входах элементов. В каждом случае применяются два названных метода и сравниваются полученные оценки ненадежности схем. Показывается, что при однотипных константных неисправностях на входах элементов использование элемента голосования (второй метод) дает худшую оценку ненадежности, чем использование конъюнктора и дизъюнктора.

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в базисе {x & y, x v y, x{-}}. Доказано, что почти все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, которые функционируют с ненадежностью, асимптотически равной 3? при ? > 0, где ? - вероятность инверсной неисправности на выходе базисного элемента. Сложность предлагаемых схем превышает сложность минимальных схем, построенных только из надежных элементов, не более чем в 3 раза.

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

Показано, что если к каждому из неприводимых полных базисов добавить еще три неконгруентные булевы функции, зависящие не более чем от двух переменных, то в полученных базисах асимптотическая оценка ненадежности схем равна 2 [эпсилон] для почти всех функций.

Показано, что если к базису {x[1] & x[2], x[1]} добавить, по крайней мере, еще одну булеву функцию, зависящую не более чем от двух переменных, то асимптотическая оценка ненадежности значительно понижается.

Решается задача построения асимптотически оптимальных по надежности схем в базисе. Доказано, что любую булеву функцию f (x[1], x[2],..., x[n]), не равную x[i] (i = 1, 2,..., n) и константам 0 и 1, можно реализовать асимптотически оптимальной по надежности схемой, функционирующей с ненадежностью асимптотически равной [гамма{k}] при [гамма] стремится к 0. Функции x[i], i = 1, 2,..., n, можно реализовать абсолютно надежно, а константы 0 и 1 - схемами сколь угодно высокой надежности.

Международный стандарт IEC 61499 в области промышленной автоматизации вводит класс систем управления нового поколения, которые характеризуются как разумные реконфигурируемые распределенные компонентно-базированные системы. Стандарт IEC 61499 поддерживает парадигму проектирования на основе функциональных блоков (ФБ). Одной из наиболее важных моделей выполнения ФБ является циклическая модель. Отсутствие точно определенной формальной семантики для циклической модели выполнения может негативно отразиться на качестве проектируемого управляющего программного обеспечения, в частности, это может затруднить проведение верификации и имитационного моделирования систем автоматизации.

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

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

Рассматривается формализованное представление моделей выполнения функциональных блоков международного стандарта IEC 61499 на основе функций возбуждения функциональных блоков, построенных с использованием предикатов и функций времени выполнения. Предлагается расширенный набор моделей выполнения функциональных блоков, включающий как традиционные модели, так и нетрадиционные. Освещаются вопросы обработки входных событий в моделях выполнения.

В работе предлагается методика проектирования супервизоров для предотвращения запрещенных состояний для неуправляемых и управляемых дискретно-событийных систем. Рассматриваются вопросы поиска и навигации по пространству состояний в прямом и обратном направлениях, вычисления шагов в линейной структуре. Затронуты вопросы реализации систем безопасности. Приводится пример системы двух выталкивателей для демонстрации предложенной методики.

Рассматривается задача синтеза асимптотически оптимальных по надежности схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в некоторых полных неприводимых базисах из двухвходовых функциональных элементов. Доказано, что в рассматриваемых базисах все булевы функции можно реализовать асимптотически оптимальными по надежности схемами, причем почти для всех функций эти схемы функционируют с ненадежностью, асимптотически равной 2? при ? >0 (? - вероятность инверсной неисправности на выходе базисного элемента). Сложность этих схем асимптотически не больше чем в три раза превышает сложность минимальных схем, построенных из абсолютно надежных элементов.

Рассматриваются вопросы асинхронного моделирования NCES-сетей с помощью формализма, основанного на сетях Петри. Приводятся правила трансформации NCES-сетей в асинхронную модель. Предложенный метод демонстрируется на примере. Асинхронное моделирование рассматривается как шаг к формальной верификации NCES-сетей с помощью метода Model Checking.