Одержано алгебричні коефіцієнтні умови абсолютної асимптотичної стійкості в середньому квадратичному положення рівноваги стохастичної динамічної системи автоматичного регулювання, математичною моделлю якої є система стохастичних диференціально-різницевих рівнянь Іто - Скорохода запізнюючого типу з декількома стандартними вінерівськими процесами, з пуассонівськими збуреннями та скінченною кількістю загаювань.

Розглянуто застосування автоматичного доведення теорем як методологічної основи нечіткого ситуаційного пошуку рішень.

Розглянуто динамічну модель еколого-економічної взаємодії на макрорівні. Досліджено на стійкість стаціонарні розв'язки моделі. Встановлено умови існування розв'язку.

Статтю присвячено 70-річчю з дня народження академіка В. С. Михалевича; містить інформацію про його наукову та адміністративну діяльність.

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

Розглянуто алгебраїчний підхід до проектування візуальних систем розробки різноманітних мульті-медіа програм. Автором побудована та досліджена узагальнена мета-алгебра структурних граф-схем Калужніна, а також алгебра діалогу, яка застосовується для конструювання інтерактивної взаємодії користувача з комп'ютером. Наведено опис побудованої на теоретичних дослідженнях автора інструментального засобу системи Fancy for Windows, яка може бути корисною при розробці візуальних даних, електронних енциклопедій, діагностуючих та тестових програм, різноманітних програм навчального призначення.

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

Запропоновано класифікатор спостережень із суміші зі змінними концентраціями, побудований на основі нейронної сітки, що навчається за алгоритмом "weighted back propagation".

Описано цикл робіт щодо реалізації ініційованої В. М. Глушковим ще у 60-х рр. програми "Алгоритм Очевидності", які плануються з точки зору нового рівня розуміння та у відповідності до нових тенденцій у галузі інформаційних технологій і комп'ютерних наук.

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

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

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

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

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

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

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

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

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

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

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