МАТЕМАТИКА

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

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

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

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

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

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

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

Предложены методы численного решения первой краевой задачи для линейных и квазилинейных уравнений эллиптического типа в "снежинке Коха".

Рассматривается вопрос построения аналога симплициальных вырождений в A[бесконечность]-случае. Предъявляется конструкция высших граней, доказывается теорема об их существовании на гомологиях, а также рассматривается вопрос о действии дифференциала на таком объекте. Доказательство теоремы существования конструктивно, что позволяет строить полученные новые объекты на гомологиях цепных комплексов. При доказательстве теорем используется техника SDR-ситуаций.

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

Рассматриваются абелевы подгруппы действительных унитреугольных групп третьего, четвертого и пятого порядков и изоморфные им группы кортежей длины 2, 3, 4 действительных чисел. На последних получены линейные пространства, альтернативные арифметическому пространству. Операции над векторами альтернативных пространств задаются нелинейными формулами. Группы автоморфизмов пространств одной размерности задаются нелинейными формулами различного вида. Все рассматриваемые линейные пространства являются подсибсонами. Определены сибсоны размерностей 3, 6, 10.

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

Рассматриваются четыре комбинаторные задачи, параметризованные кратностью r элемента базового мультимножества: распределение индексов vp-монотонных перестановок, обобщенные перестановки Гесселя-Стенли и обобщенные частично упорядоченные множества Баклавского-Эдельмана, обобщенные числа Стирлинга и обобщенные частично упорядоченные множества разбиений, обобщенные статистики и обобщенные многочлены Эйлера. Для исследования этих задач привлекаются различные методы.

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе 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).

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

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

Рассмотрено решение интегрального уравнения, полученного из краевой задачи Коши для уравнения Гельмгольца. Представлен численный метод Галеркина. Получены численные результаты решения, задачи в двух случаях при k ? 0 и k = 0 с использованием субиерархического алгоритма на плоских экранах произвольной формы.

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

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

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

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

В евклидовой геометрии возможно использование галилеевых методов исследования. Галилеевы кривизны евклидовой кривой естественны для нее так же, как и евклидовы кривизны. Подготовлены условия для использования галилеевых методов.

Установлено, что в некоммутативных 4-мерных галилеевых пространствах с растранами двух видов кривые, все кривизны которых постоянны, имеют третью кривизну, равную нулю.

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

Описано получение уравнений траектории движения точки по касательному и нормальному ускорению. Использованы методы 3-мерной геометрии Галилея.

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

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

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

Рассмотрено решение интегрального уравнения, полученного из краевой задачи Коши для уравнения Гельмгольца. Представлен численный метод Галеркина. Получены численные результаты решения задачи в двух случаях при k? 0 и k=0 с использованием субиерархического алгоритма на плоских экранах произвольной формы.

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

Статья посвящена методам получения траекторий движения и уравнениям кривых трехмерного галилеева пространства-времени по полю ускорения. Она использует методы 3-мерной геометрии Галилея пространства-времени. Рассмотрен ряд примеров.

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

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

На множестве 4-мерных кортежей действительных чисел определено два вида растранов размерности четыре посредством задания операций над кортежами. Определено скалярное произведение растов, получены формулы дифференцирования растранных функций. Проводится аналогия с кривыми 4-мерного пространства-времени Галилея, рассматриваются кривые в естественной параметризации, определяется три вида кривизн, получены формулы Френе и вычислительные формулы кривизн.

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

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

Рассматривается задача синтеза асимптотически оптимальных по надежности неветвящихся программ с условной остановкой, реализующих булевы функции, при инверсных неисправностях на выходах операторов в базисе {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 (? - вероятность инверсной неисправности на выходе оператора).

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

Рассматривается задача дифракции стороннего электромагнитного поля на локально неоднородном теле, помещенном в свободном пространстве. Поставленная задача сводится к объемному сингулярному интегральному уравнению. Решение задачи производится параллельно численным методом Галеркина и численным методом коллокации. В связи с большой емкостью решение задачи численным методом Галеркина при различных параметрах было реализовано с использованием двух программных продуктов для суперкомпьютерных вычислительных комплексов: реализации MPI и программной системы x-com. Исследованы особенности выполнения задачи на суперкомпьютерном комплексе.

Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в базисах, содержащих функцию 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].

Изучаются поверхности одного из 3-мерных пространств Галилея с коммутативной и нелинейной геометрией. Линейное пространство определено на тройках действительных чисел, в компонентах троек операции заданы нелинейными функциями. Для векторов введено галилеево скалярное произведение. Получены формулы дифференцирования векторных функций. В аксиоматике Г. Вейля на основе указанного нелинейного пространства строится пространство-время Галилея. Уравнения прямых и плоскостей полученного пространства нелинейны. Определены регулярные поверхности, ее первая и вторая квадратичные формы, нормальная кривизна поверхности, полная и средняя кривизны. Проведена классификация обыкновенных точек поверхностей. Вычислена полная кривизна некоторых поверхностей.

По кривизне и кручению кривой галилеева пространства с растраном с 2-мерным временем получены ее параметрические уравнения. Приведены примеры.

Рассматривается задача синтеза асимптотически оптимальных схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в полном базисе {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 раза.

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