2. Информатика и кибернетика
УДК 517 11 Гетманова Е.Е. ВОЗБУЖДЕНИЕ КОЛЕБАТЕЛЬНЫХ СИСТЕМ ИМПУЛЬСАМИ СИЛЫ
Forced oscillations under action of harmonics force impulse is considered as analytics and numerical problems. The features of oscillations are presented in the article. Keywords: Forces oscillations, computer modeling, harmonics force impulse. В статье аналитически и численно изучены особенности вынужденных колебаний системы под действием импульса силы, меняющейся по гармоническому закону. Ключевые слова: Вынужденные колебания, компьютерное моделирование, гармонический импульс силы.
Подробнее...
УДК 001.891.573:794.1 Данилов Г. В., Рочев К. В., Юрченко В. В. Математическое моделирование регламентов матчей на первенство мира по шахматам Ухтинский государственный технический университет
Аннотация: в данном докладе исследуются математические модели традиционных регламентов матчей на первенство мира по шахматам: безлимитного и лимитированного. Проводится их сравнительный анализ с точки зрения спортивной эффективности – фундаментального параметра, характеризующего пригодность или непригодность любого регламента матча для надежного выявления сильнейшего из соперников. Ключевые слова: матч на первенство мира по шахматам, регламент матча, лимитированный матч, безлимитный матч, спортивная эффективность.
УДК 681.327 Боженюк А.В. ОПРЕДЕЛЕНИЕ ВНЕШНЕЙ УСТОЙЧИВОСТИ НЕЧЕТКОГО ТЕМПОРАЛЬНОГО ГРАФА* Таганрогский технологический институт Южного федерального университета
В данной работе рассматривается понятие нечеткого темпорального графа, который является обобщением с одной стороны нечеткого, а с другой стороны - темпорального графов. Введено понятие нечеткого множества внешней устойчивости как инварианта нечеткого темпорального графа. Ключевые слова: нечеткий темпоральный граф, нечеткое множество внешней устойчивости.
Шумский Л.Д. Применение типизированного лямбда исчисления для описания темпоральной логики первого порядка Национальный исследовательский ядерный университет «МИФИ» В данной работе предлагается построенная модель интервальной темпоральной логики первого порядка для линейного, не ветвящегося времени построенная с помощью типизированного лямбда исчисления. Данная модель позволяет описывать как статические элементы предметной области, такие как объекты и их свойства, так и темпоральные. Модель позволяет оперировать следующими видами темпоральных объектов: состояниями, событиями и процессами. Для состояний и событий представлен способ логического вывода на основе причинно-следственных связей между ними. Представлено представление процессов, правил их выполнения и описания. Ключевые слова: Темпоральная логика, лямбда исчисление, естественное темпоральное исчисление.
УДК: 519.217; 519.718 Лукашів Т. О. , Храб М. В. ПРО ІСНУВАННЯ ОПТИМАЛЬНОГО КЕРУВАННЯ ДЛЯ ЗАДАЧІ СТАБІЛІЗАЦІЇ ЛІНІЙНИХ СТОХАСТИЧНИХ ДИНАМІЧНИХ СИСТЕМ З МАРКОВСЬКИМИ ПАРАМЕТРАМИ Чернівецький національний університет ім. Ю. Федьковича
Одержано достатні умови існування лінійного оптимального керування для задачі стабілізації для лінійних стохастичних динамічних систем випадкової структури із зовнішніми марковськими перемиканнями. Ключові слова: оптимальне керування, динамічна система випадкової структури, марковські параметри. Sufficient conditions for the existence of linear optimal control for problem оf stabilization to linear stochastic dynamic systems with random structure of the external Markov switching. Key words: optimal control, dynamic system of random structures, Markov parameters.
УДК 004.942 Розман Л.С. ПРОГРАММА РАСЧЕТА ТЕМПЕРАТУРНЫХ ПОЛЕЙ ОБОЛОЧКИ ВРАЩЕНИЯ ПРИ ТЕПЛООБМЕНЕ С ПОТОКОМ ВОЗДУХА УНОСА ПОВЕРХНОСТНЫХ СЛОЕВ ОБОЛОЧКИ Обнинский институт атомной энергетики НИЯУ МИФИ
В данном тексте описывается программа расчёта температурного распределения по стенке оболочки вращения при сложном теплообмене. При расчёте учитывается, что часть оболочки может быть унесена потоком в результате оплавления. Ключевые слова: оболочки вращения, теплообмен, математические методы, программирование на языках высокого уровня, dotNET Framework.
УДК 005; 519.7; 303.732 Охорзин В. А., Рыжиков И. С. РЕШЕНИЕ ЭКСТРЕМАЛЬНОЙ ЗАДАЧИ В ЧИСЛЕННО-АНАЛИТИЧЕСКОМ МЕТОДЕ РЕШЕНИЯ ЗАДАЧ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ Сибирский государственный Аэрокосмический университет
В данной работе рассматривается решение задачи управления без ограничений на функцию управления. Задача оптимального управления сводится к системе с сопряженными переменными, которая определяется через Гамильтониан, вычисляемый аналитически. Далее, исходная задача приводится к оптимизационной задаче на пространстве действительных чисел. Целевая функция является неизвестной и, в общем случае, многоэкстремальная и не гладкая. Особенности решаемой оптимизационной задачи и целевой функции объясняют использование глобальных методов оптимизации основанных на принципе эволюции. Ключевые слова: Оптимальное управление, дифференциальная эволюция, стайные алгоритмы оптимизации, эволюционные стратегии, принцип максимума.
УДК 004.5 Степанова Н.И. СУЧАСНИЙ СТАН ТА ПРОБЛЕМИ КОМП’ЮТЕРНОЇ ОБРОБКИ СЕМАНТИЧНОЇ ІНФОРМАЦІЇ Дніпропетровський національний університет
У доповіді розглянуті основні напрями, проблеми та перспективи розвитку систем автоматичної обробки текстової інформації. Ключові слова: комп’ютерна лінгвістика, автоматична обробка текстової інформації, семантика.
|