Все статьи журнала

Журнал:
Авторы:
В работе рассмотрена задача о малых движениях вязкой жидкости, частично заполняющей произвольный сосуд и равномерно вращающейся вокруг вертикальной оси, плотность которой в состоянии относительного равновесия имеет устойчивую стратификацию. Доказана теорема существования сильного (по времени) решения начально-краевой задачи. 
Журнал:
Авторы:
В статье доказано тождество Капелли для дуальних форм. 
Журнал:
В статье исследуются апроксимации полиномов Чебышевского типа в комплексной области и выводятся явные формулы для таких полиномов на прямоугольниках. 
Журнал:
Представлена методология верификации параллельных и распределенных систем с помощью компонентных сетей Петри. Использование компонентных сетей Петри для моделирования параллельных и распределенных систем значительно уменьшает размеры модели и сокращает время верификации. Представленная методология изучена на примере верификации задачи о пяти философах.  
Журнал:
В работе предложен общий метод построения разрывных сплайн-интерлинантов для прямоугольных трапецевидных элементов с целью использования их для приближения разрывных функций двух переменных, которые тоже могут иметь (а могут и не иметь) разрывы первого рода на линиях, образующих прямоугольные трапецевидные элементы. Построенные сплайны, как частный случай, включают себя разрывные сплайны и непрерывные сплайны. Сформулированы и доказаны интерлиционные свойства таких разрывных конструкций. 
Журнал:
В работе рассмотренны основные методы оптимизации с неполной (прецедентной) начальной информацией. Выделена проблема синтеза моделей оптимизации с прецедентной начальной информацией. 
Журнал:
Рассматривается СМО типа M/G/2/0 с ограниченным временем пребывания заявки в системе. Одна заявка в системе обслуживается сразу двумя линиями. В случае появления еще одной заявки линии обслуживают заявки раздельно. Найдены вероятностные характеристики системы в стационарном режиме. 
Журнал:
Авторы:
 Предложена классификация задач распознавания по их основным свойствам. Обосновывается целесообразность выбора методов решения, согласованных с особенностями классов задач.
Журнал:
 В данной работе рассматривается задача идентификации для одномерного нелинейного стационарного уравнения квазиоптики об определении коэффициентов уравнения в классе квадратично суммируемых функций, когда нелинейная часть уравнения содержит чисто мнимый коэффициент. При этом доказаны теоремы существования и единственности решения задачи идентификации. Кроме того, доказана теорема существования и единственности решения соответствующей прямой задачи.
Журнал:
Авторы:
Работа посвящена исследованию двойственности проективных и индуктивных шкал пространств. Для проективно оснащённой проективной шкалы локально выпуклых пространств (ЛВП) вводится понятие сопряжённой шкалы. Это позволяет перенести классические теоремы Банаха и Банаха-Гротендика о слабой рефлексивности на случай проективных шкал ЛВП. 
Журнал:
В данной работе мы рассматриваем задачу идентификации, когда заданы некоторые наблюдения системы   y(t) = ∫t0K(t-s)x(s)ds+f2(t) , включающие неизвестное интегральное ядро, ее известное состояние и возможно производную. Предполагая дифференцируемость интегрального ядра   K(s)∈Rm×n и квадратические ограничения, получены апостериорная оценка интегрального ядра, апостериорное множество и погрешность. Также рассматривается случай неизвестных ограничений на начальное значение интегрального ядра.
Журнал:
Авторы:
Предложен краткий обзор развития и приложения понятия характеристической функции различных классов линейных операторов. 
Журнал:
Представлен обзор перспективного направления в информатике и инженерии - генетических алгоритмов. Генетические алгоритмы основаны на формализации природной эволюции и эффективно применяются в различных областях современной науки, особенно при решении задач, которые не могут быть решены с помощью строгих методов. В последние десятилетия это направление глубоко исследуется и получены существенные результаты. Обсуждаются преимущества и недостатки современных генетических алгоритмов. 
Журнал:
Авторы:
В работе исследуется начально-краевая задача математической физики, которая порождает внутреннюю задачу сопряжения. В изучаемой задаче производная по времени входит в уравнение, а фиксированный параметр, являющийся комплексным числом, - в краевое условие. Цель работы показать применение операторного метода при исследовании этой начально-краевой задачи. 
Журнал:
Авторы:
В статье сформулированы условия бифуркации из стационарной точки параболических уравнений на окружности. Рассматриваемые уравнения описывают процесс распространения пламени в газе. Рассматриваются бифуркации в однопараметрических и двупараметрических семействах уравнений. 
Журнал:
Авторы:
 Рассматривается спектральная задача на струнном кресте с граничными условиями q - периодичности, условиями контакти и баланса натяжения. В результате получены комплекснозначные собственные функции. Для двухмерного й трехмерного струнного креста имеем двухмерные й одномерные собственные подпространства. Их структура зависит от параметра q.  
Журнал:
Авторы:
 В работе рассматривается задача о малых движениях и собственных колебаниях гид-родинамической системи «идеальная жидкость - баротропный газ» с учетом грави-тационных и капиллярных сил. Доказана теорема о структуре спектра и свойствах собственных функции.  
Журнал:
 Работа посвящена созданию эффективных подходов решения задач построения визуальных моделей в пространстве Еd. Предлагается новая парадигма создания алгоритмической среды для решения комплекса взаимосвязанных геометрических задач -обобщенньїй параллельно-рекурсивньїй алгоритм, использующий набор эффективных параллельных процедур решения. За основу обобщенного алгоритма взята стратегия «разделяй й властвуй», что позволяет эффективно использовать параллельные вычисления на каждом шаге алгоритма. Получена улучшенная эффективность ре­шения, как отдельных задач, так й их совокупности.
Журнал:
Предлагается метод построения модели сложной многоблоковой реальной системы. Решается задача комбинирования последовательного и параллельного выполнения исходных процессов моделируемой системы за счет APPLY - операции для OBDD, представляющих автоматы соответствующих сетей Петри компонент исследуемой системы.
Журнал:
 На основе приближенных методов дискретной оптимизации выполняется развитие градиентного метода составления расписаний в многостадийных системах с одинаковым порядком обслуживания и различными приоритетами требований.  
Журнал:
 В работе рассмотрены пять алгоритмов упорядочивания переменных для решения разреженньїх задач дискретной оптимизации с помощью алгоритма несериального динамического программирования. В результате проведенного вычислительного экс-перимента, во-первнх, было отмечено, что для решения разреженных задач дискрет­ной оптимизации, упорядочивание переменных оказывает значительное влияние на время решения задачи. Помимо этого, было показано, что различные звристики упо­рядочивания наиболее зффективны для различных классов задач.
Журнал:
 В работе обоснованы утверждения о непрерывной зависимости решений дискретных включений от начальных условий в зависимости от того, к какому классу многозначных отображений пренадлежит правая часть включення. Доказано, что в случае липшецевости правой части, для решений имеет место условие Липшица относительно начальных условий.  
Журнал:
 В работе предлагается общий метод построения кусочно-билинейньїх интерполяционньїх сплайнов, которые могут иметь разрывы первого рода на границах между прямоугольными элементами со сторонами, параллельными осям координат, эти результаты предлагается использовать для приближения разрывных функций от двух переменных, которые тоже могут иметь (а могут и не иметь) разрывы первого рода на указанных линиях.    
Журнал:
Авторы:
В статье рассматривается задача Штейнера для ациклического графа. Исследование и решение задачи проводится с использованием алгебраического подхода. Введены операции над множеством простых цепочек, рассмотрены свойства этих операций. Определены понятия полноты, базиса, канонического базиса для множества простых цепочек. Предложен простой алгоритм решения задачи, использующий заранее вычисленные базисные цепочки. Показана полиномиальная разрешимость задачи. 
Журнал:
Сложилось так, что на сегодняшний день актуальным оказалось сохранение и развитие достижений украинской школы теоретической информатики. Одним из необходимых элементов решения этой задачи является укрепление теоретической информатики как математической дисциплины и ее преподавание в таком ключе в классических университетах. Отстоять эту позицию - цель аннотируемой статьи. 
Журнал:
Рассматривается задача об устойчивости нулевого решения нелинейной системы обыкновенных дифференциальных уравнениий с импульсным воздействием в фиксированные моменты времени в критическом случае. Предложен новый подход исследования таких задач, основанный на построении разрывной функции Ляпунова. Приведён пример реализации этого подхода в критическом случае системы второго порядка с кубической нелинейностью.
Журнал:
Получены условия разрешимости дифференциально-разностного уравнения типа плавного перехода и его союзного в нормальном и особом случаях. Устанавливается связь с другими уравнениями, в частности с изученным Ю.И. Черским обобщающим гипергеометрическое. Решение найдено в квадратурах. 
Журнал:
Авторы:
В работе задача о малых движениях идеальной стратификацированной жидкости, частично заполняющей произвольный сосуд, изучается с помощью нового подхода, связанного с применением операторных блок-матриц. 
Журнал:
Авторы:
В работе вводится понятие биподобия операторов, тесно связанное со спецификой G-пространств. На основании результатов, обобщающих известное разложение Вольда, приводящий критерий биподобия в регулярном  G-пространстве (полу) унитарного оператора гильбертово (полу) унитарному. 
Журнал:
Авторы:
Получена математическая модель для задач о колебаниях сооружения, находящегося под слоем жидкости на упругом основании. В работе предложен численный алгоритм решения, который учитывает особенности данной модели. Исследованы также результаты численных расчетов. 

Страницы