Левін Віталій Ілліч: биография

Основні наукові результати

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

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

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

В. І. Левін є творцем нової наукової дисципліни - аналітичної динаміки дискретних автоматів. Їм відкрита тісний зв'язок між динамічними процесами в автоматах та операціями безперервної логіки. Фундаментальне значення цьому зв'язку для вивчення динаміки автоматів подібно відомому з 1930-х років (А. Накашіма, К. Шеннон, В. І. Шестаков) значенню булевої алгебри для вивчення їх статики. Це дозволило розробити закінчену теорію і методи представлення, розрахунку, аналізу і синтезу динаміки автоматів довільної розмірності.

Інша найважливіша ідея, запропонована В. І. Левіним, - динаміко-автоматне моделювання інформаційних, управляючих і інших систем, що дозволило звести вивчення систем до вивчення динаміки їх автоматів-моделей. Використання цієї ідеї призвело до створення нових уявлень і теорій як у самій інформатики та кібернетики, так і в інших областях - техніці, економіці, соціології, політології, історії, біблеїстики, біології. Так, була розроблена нова, логічна теорія надійності технічних систем, більш фундаментальна, ніж існуючі теорії. У ній встановлюються логічні зв'язки надійності системи і її елементів, які не залежать від імовірнісних показників надійності останніх. Ця ж ідея лягла в основу нових підходів до розпізнавання образів та аналізу сцен, характерних простотою алгоритмів розпізнавання, а також нових, простих методів аналітичного моделювання систем обслуговування, обчислювальних систем і мереж, систем синхронізації, біологічних, виробничих, соціальних, політичних та інших систем.

В.І. Левін вперше запропонував новий принцип виявлення несправностей схем автоматів, з використанням динамічних тестових впливів. Це призвело до створення т.зв. динамічної діагностики, що дозволяє розширити клас обнаружимо несправностей інформаційних пристроїв. Їм відкрита можливість подання оптимізуються показників якості різних систем у вигляді суперпозиції аналогічних показників підсистем, за допомогою операцій безперервної логіки. Це дозволило розробити нову теорію і нові методи математичного програмування (оптимізації) систем, формально синтезувати оптимальні алгоритми для систем довільної розмірності й аналітично їх вивчати. Була відкрита можливість подання за допомогою безперервної логіки оптимальних розкладів виконання робіт, що дозволило вперше розробити аналітичну теорію оптимальності розкладів для систем будь-якої розмірності і на її основі - ефективні алгоритми оптимізації розкладів.