В статье рассматривается локальный апостериорный вывод в алгебраических байесовских сетях. Для трёх видов свидетельств (детерминированного, стохастического и неточного) описывается способ проведения вывода и доказываются оценки сложности предлагаемых вычислений. В случае, когда вывод сводится к решению задач линейного программирования, оценка сложности даётся в виде числа таких задач, а также оценки числа переменных и ограничений в них. В остальных случаях сложность описывается в числе арифметических операций.
Рассматриваются вопросы проверки и поддержания непротиворечивости алгебраических байесовских сетей. Даются формальные описания алгоритмов, доказывается их корректность и приводятся оценки вычислительной сложности.
Один из эффективных подходов к организации помехоустойчивого кодирования в многоуровневой флэш-памяти связан с использованием каскадных конструкций на основе многомерных целочисленных решеток, используемых для построения внутреннего кода. Характерной особенностью таких каскадных конструкций является доминирование доли сложности внешнего декодера в общей сложности каскадного декодера. Учитывая, что в практических приложениях сложность декодирования, как правило, ключевое ограничение, определяющее возможность использования помехоустойчивого кодирования для многоуровневой флэш-памяти, каскадные конструкции со сравнительно малой сложностью внешнего декодера могут оказаться привлекательным решением в рамках обменного соотношения «плотность записи — сложность декодирования». Рассмотрена каскадная схема кодирования для многоуровневой флэш-памяти, в которой в качестве внутренней ступени используются коды на основе решеток Барнса — Уолла, а в качестве внешней ступени используется код Рида — Соломона с исправлением малого числа ошибок — не более 4…5.
Анализ помехоустойчивости предложенной каскадной схемы выполнен применительно к модели, отражающей основные физические особенности ячейки флэш-памяти с неравномерно расположенными целевыми уровнями напряжения в ячейке и дисперсией шума, зависящей от записанного значения (input-dependent additive Gaussian noise, ID-AGN). Для этой модели в работе развита модификация ранее предложенного авторами подхода к оценке вероятности ошибки декодирования внутреннего кода, основанная на использовании параллельной структуры кодовой решетки внутреннего кода, что позволяет существенно понизить сложность вычислений и ускорить получение окончательного результата. Приведены численные результаты, иллюстрирующие степень снижения достижимой плотности записи при введении ограничения на число исправляемых кодом Рида — Соломона ошибок — не более 4 — для широкого диапазона значений времени хранения данных и числа циклов перезаписи.
Предложен алгоритм формирования пятеричных последовательностей Гордона — Миллса — Велча (ГМВ) с периодом N =5 4 –1=624 над конечным полем с двойным расширением GF[(5 2 ) 2 ], основанный на матричном представлении базисной М-последовательности с примитивным проверочным полиномом h мп ( x ) четвертой степени и аналогичным периодом. Показано, что проверочный полином h г ( x ) ГМВ-последовательностей может быть представлен в виде произведения нескольких неприводимых над простым полем GF(5) полиномов-сомножителей h сi ( x ) четвертой степени. Получены соотношения между корнями полинома h мп ( x ) базисной М-последовательности и корнями полиномов h с i ( x ), на основании которых может быть сформирован весь перечень ГМВ-последовательностей с периодом N =624. Показано, что для каждого из 48 примитивных полиномов четвертой степени, являющихся проверочными полиномами для базисных М-последовательностей, может быть сформировано по три ГМВ-последовательности с эквивалентной линейной сложностью (ЭЛС) l s =12, 24, 40, характеризующей структурную скрытность псевдослучайных последовательностей (ПСП). Представлено устройство формирования ГМВ-последовательности в виде совокупности регистров сдвига с линейными обратными связями, в котором умножители и сумматоры по mod5 расставляются в соответствии с коэффициентами неприводимых полиномов h сi ( x ). Начальные состояния ячеек регистров сдвига определяются путем децимации символов базисной М-последовательности по индексам децимации, равным минимальным показателям степени корней полиномов h сi ( x ). Особенностью определения начальных состояний устройств формирования пятеричных ГМВ-последовательностей по сравнению с двоичными является наличие циклических сдвигов суммируемых последовательностей на величину, кратную N /( p –1). Полученные результаты позволяют синтезировать устройства формирования полного перечня из 144 пятеричных ГМВ-последовательностей с периодом N =624 и различной ЭЛС. Применение ГМВ-последовательностей по сравнению с М-последовательностями позволяет существенно (в 3-10 раз) повысить структурную скрытность передаваемых широкополосных сигналов в системах передачи дискретной информации. Результаты исследований могут быть использованы при построении других классов псевдослучайных последовательностей, допускающих аналитическое представление в конечных полях.
В статье на примерах наиболее распространенных на микро- и макроуровнях экономико-математических моделей предложен подход к построению методики «оптимальной сложности», обеспечивающей минимальную величину суммарной ошибки при заданной продолжительности решения информационно-расчетных задач в рамках модельных исследований организационно-экономических систем. Кроме того, данный подход позволяет обосновать требования к точности входной информации. Показано, что для обеспечения рационального уровня точности моделирования орган управления (заказчик модели) должен учитывать складывающиеся в реальности соотношения точности исходной информации, структурной точности модели, функциональной точности модели и точности вычислительных алгоритмов.
Рассматривается задача построения многоуровневого описания классов, объекты которых характеризуются свойствами своих элементов и отношениями между ними. Задачи распознавания и анализа таких объектов являются NP-трудными, но при наличии достаточно коротких и часто встречающихся подформул в описаниях классов можно построить многоуровневое описание классов, существенно понижающее значение показателя степени в оценках числа шагов алгоритмов, решающих эти задачи. До сих пор выделение таких подформул оставлялось на усмотрение разработчика системы распознавания. В работе предлагается подход к их автоматическому выделению.
Статья посвящена исследованию возможностей языков семейства Prolog для их использования при решении задач распознавания изображений на экране дисплея. Отмечены трудности, возникшие при реализации подхода на языках семейства Prolog. Показано, как использование оценок числа шагов работы алгоритма поиска вывода для рассматриваемой задачи позволило преодолеть возникшие трудности. Приведены примеры применения написанных программ к выделению эталонного изображения на сложном изображении. Проанализированы особенности использования различных форматов изображения, предъявленного к распознаванию.
Работа посвящена анализу проблем моделирования атак в больших компьютерных сетях с использованием различных моделей, методов и инструментальных средств. На основании особенностей больших сетей как объектов информационной безопасности и объектов атак детально рассмотрены известные модели, а также методы и средства моделирования атак, а также приведены направления их дальнейшего развития. Показана роль требований к информационной безопасности в итерациях моделирования атак. Приведены примеры исследований проблем моделирования атак, связанных с различными видами НЕ-факторов.
Статья посвящена получению оценок числа шагов логико-предметных алгоритмов распознавания сложных изображений на экране дисплея. Доказана полиномиальность задачи выделения и распознавания эталонного изображения на сложной сцене. Для задачи выделения и распознавания объекта из класса, описание которого содержит только характерные признаки этого класса, доказана её принадлежность классу. Для уменьшения числа шагов работы алгоритма предложено понятие размытого изображения. Рассмотрена задача инвариантного (относительно изменения масштаба) распознавания изображения
В работе анализируются процессы и механизмы деятельности общества, определяющие сложность управления в современных социальных системах (в частных и государственных предприятиях, высокотехнологичных программах, структурах государственного управления-регулирования экономических процессов). Показано, что основная причина современной сложности управления состоит в управлении многообразием не полностью формализуемых технологий деятельности социальных систем. Современными особенностями управления в сложных социальных системах являются существенное влияние технологий рынка, которые принципиально не регулируются нормами и институтами, и существенное влияние природных ограничений мыслительных возможностей человека управлять. Влияние слабоуправляемых в рынке технологий можно уменьшать путем использования сетевых, организационных, коллективных, информационных и иных развитых технологий обеспечения управления и путем использования интегрирующих научных методов. А для уменьшения влияния ментальных ограничений дополнительно требуется создание новых когнитивных технологий управления, позволяющих разделять функции управления на уровне мышления.
Ряд задач искусственного интеллекта, включающих в себя такие задачи как распознавание образов, медицинская диагностика, анализ рынка, сведены к доказательству выполнимости формул исчисления предикатов, имеющих простую структуру. Рассмотрены некоторые алгоритмы решения этих задач и доказаны верхние оценки числа шагов этих алгоритмов.
В статье предлагается критерий оптимизации для информационных систем. Показывается возможность использования показателя энтропии обрабатываемой информации при оценке сложностных показателей. Дается пример оценки информационной системы по обработке речевого сигнала. Показывается его эффективность.
1 - 13 из 13 результатов