Синтез оптимальних замкнутих систем: 3

Розглянуто задачу побудови оптимальних зворотних, прямих і комбінованих зв'язків для нелінійних динамічних систем. Запропонований метод грунтується на двох процедурах: кусково-лінійній апроксимації вихідної нелінійної задачі й асимптотичної корекції розв'язку кусково-лінійної задачі. Результати проілюстровано прикладами.

Дескриптологические основания программирования: 1, 2002

Побудовано дескриптологічні основи програмування. Подано експлікацію поняття дескриптивного процесу. Уточнено операції введення та виключення абстракції процесного рівня. Введено інтенсіональне поняття біпольної функції. Подано експлікацію понять введення та виключення абстракції біпольного рівня. На цій підставі побудовано повну сукупність дескриптологічних операцій.

Repeated play of potential games: 3 = Повторна гра в потенційних іграх, 2002

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

Еще о глобальных свойствах <$E bold epsilon>-субдифференциалов: 4, 2002

Наведено глобальне співвідношення, яке пов'язує значення опуклої функції та її <$E epsilon>-субдиференціал. Безпосереднім наслідком цього співвідношення є доведення того, що функції з ідентичними <$E epsilon>-субдиференціалами мають ідентичну граничну поведінку.

Semantics of timed message sequence charts: 4 = Розширена версія мови MSC, 2002

Наведено розширену версію мови MSC з часовими специфікаціями для описуваних подій, що використовується для верифікації вимог в інтерактивних системах. Зазначено, що введення формальних семантик є новим підходом, що базується на теорії взаємодіючих агентів і середовищ. Розроблено алгоритм перевірки часової несумісності, що базується на цих семантиках.

Теоремы существования для невыпуклых задач вариационного исчисления: 1, 2002

Досліджено розв'язок задачі варіаційного числення за умов вопуклості інтегранта. Доведено теорему існування. Наведено приклад функції, що відповідає умовам теореми, однак не є вопуклою.

Оптимальное управление сближением конфликтующих подвижных объектов в условиях неопределенности: 2, 2002

Одержано розв'язок задачі зближення двох керованих рухливих точок за наявності обмежених перешкод у вимірах координат цілі й у припущенні, що керування, вибране ціллю, відоме з точністю до належності його заданій обмеженій множині. Одержано умови гарантованого (за найгірших для переслідувача значень перешкод виміру та керування цілі) розв'язку задачі зближення.

Вычислительные схемы МКЭ для задач оптимального управления эллиптической системой с условиями сопряжения: 1, 2002

Розглянуто нові задачі оптимального керування розподіленими системами, які описуються еліптичними рівняннями за умов спряження та квадратичною функцією, що мінімізується. Побудовано обчислювальні схеми підвищеного порядку точності їх дискретизації у випадку, коли множина <$E U sub del> допустимих керувань співпадає з повним гільбертовим простором U керувань.

О расширениях дифференциальных операторов и негладких решениях дифференциальных уравнений: 3, 2002

Наведено елементи теорії F-просторів, які дозволили розробити перспективну процедуру розширення диференціальних операторів.

Simple explanation of the no free lunch theorem of optimization: 2 = Просте роз'яснення теореми про платний обід в оптимізації, 2002

Зазначено, що за твердженням теореми про платний обід (ТПО), визначення універсальної оптимізаційної стратегії є неможливим. Тому розробка стратегії, кращої за деяку іншу, полягає у створенні стратегії, яка відповідає структурі розглянутої спеціальної задачі. Оскільки всі проблеми прийняття рішень і керування можна сформулювати як оптимізаційні, то застосування ТПО та її наслідків інженерами в галузі керування є суттєвим. Наведено схему концептуалізації оптимізаційних задач, яка веде до розуміння та простого пояснення теореми про платний обід.

К вопросу о формальных моделях в исследовании критических скоростей (на примере преобразований Лоренца): 4, 2002

Запропоновано нову модель для дослідження залежностей між координатами об'єкта, що рухається відносно однієї системи координат і знаходиться в стані спокою відносно іншої. В межах цієї моделі відмінну інтерпретацію мають, так звані, релятивістські наслідки перетворень Лоренца.

Об одной особенности "многокритериальных" дифференциальных игр: 3, 2002

Розглянуто диференціальні антагоністичні ігри з векторною платою. Наведено контрприклад, з якого видно, що згортання компонентів плати в лінійний згорток з подальшим знаходженням сідлової точки веде до внурішньої нестійкості множин таких розв'язків. Установлено, що ці сідлові точки є сідловими точками за Джоффріоном для вихідної "багатокритеріальної" гри.

Some practical approaches to pursuit - evasion dynamic games: 2 = Деякі практичні підходи до розв'язку динамічних ігор переслідування - втечі, 2002

Розглянуто підходи до побудови субоптимальних стратегій поведінки гравців за різної інформованості про вибір супротивником способу керування. Ефективність методу вибору субоптимальної стратегії доведено на прикладах з реальної інженерної практики.

Оптимальные стратегии для полумарковской системы запасов: 1, 2002

Розглянуто керування напівмарковською системою запасів, для якої у разі досить загальних припущень про функціонування системи знайдено умови існування оптимальної нерандомізованої марковської стратегії. За деякими додатковими припущеннями про умови зберігання запасу доведено, що оптимальна стратегія має порогову (s, S)-структуру.

Оптимальное управление условно корректной системой с условиями сопряжения: 4, 2002

Побудовано та досліджено нові задачі оптимального керування розподіленими системами, стан яких описується крайовими задачами Неймана з умовами спряження та неєдиними розв'язками. Для випадку співпадання множини керувань з повним гільбертовим простором запропоновано обчислювальні схеми підвищеного порядку точності дискретизації оптимізаційних задач.

К вопросу о соотношении различных версий метода программных итераций: позиционный вариант: 3, 2002

Розглянуто зв'язок між різними версіями методу програмних ітерацій, який раніше застосовувався для розв'язку диференціальної гри зближення-ухилення у формалізації М. М. Красовського. Досліджено багатозначні аналоги квазістратегій та множини розв'язності гри для випадку абстрактної динамічної системи в нескінченновимірному просторі.

Идентификация состояний сложных систем с оценкой допустимой погрешности измерений при нечеткой информации: 1, 2002

Досліджено проблему ідентифікації станів складних систем за неточно виміряними значеннями різних інформативних ознак. Для можливості коректної ідентифікації станів системи за допомогою апарата теорії нечітких множин одержано оцінку максимально допустимого степеня похибки вимірів.

Boris Nicolaevich Pshenichnyi: two examples of influence of his scientific works: 3 = Борис Миколайович Пшеничний. Два приклади впливу його наукових досліджень на мої роботи, 2002

Показано вплив робіт Бориса Миколайовича Пшеничного на власний вклад автора в оптимізацію на двох прикладах: необхідні умови оптимальності першого порядку в негладкій оптимізації та спряження різниці двох опуклих функцій.

Ускоренное моделирование стационарного коэффициента готовности немарковских систем: 1, 2002

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

О новом методе системологического анализа, согласованном с процедурой объектно-ориентированного проектирования. II: 1, 2002

Наведено результати розвитку об'єктно-орієнтованого системологічного методу аналізу та проектування складних систем. Запропоновано формальне подання системи та аксіоматику обчислення систем як функціональних проточних об'єктів на підставі ієрархії класів Вузол - Функції - Об'єкти (ВФО). Розглянуто формалізований алгоритм ВФО/UFO-аналізу та CASE-інструментарій його підтримки.