Казимир Володимир Вікторович
КАЗИМИ́Р Володимир Вікторович (28. 10. 1953, Чернігів) — фахівець у галузях інформатики, обчислювальної техніки та автоматизації. Доктор технічних наук (2006), професор (2008). Заслужений діяч науки і техніки України (2021). Державна премія України в галузі науки і техніки (2006). Закін. факультет ЕОМ Вищого військ.-мор. училища (м. Петродворець Ленінгр. обл., 1976). Відтоді служив на Тихоокеан. флоті ВМФ СРСР. 1991–92 — викладач Каспій. вищого військ.-мор. училища (Баку); 1992–2000 — доцент кафедри інформ. та комп’ютер. систем, від 2010 — проректор з наукової роботи Черніг. технол. університету; 2003–10 — в Інституті проблем матем. машин та систем НАНУ (Київ): від 2007 — керівник відділ. № 1. Водночас 2006–10 — проф. Нац. авіац. університету (Київ). Наукові дослідження присвяч. методам моделювання та упр. складними системами. Обґрунтував принцип упр. установками електронно-променевого зварювання на основі вбудов. комп’ютер. моделей; розробив теорію керуючих Е-мереж та різновид темпорал. логіки — інтервал. логіку дерева обчислень.
Пр.: Application of java-technologies for simulation in the Web // Lecture Notes in Informatics Proceedings. Series of the German Informatics Society. 2001. Vol. P-2 (співавтор); Верификация реактивных систем с помощью формул темпоральной логики на Е-сетевых моделях // Матем. машини і системи. 2002. № 1; Моделирование синтетического окружения для реактивных систем // Матем. моделювання. 2003. № 2(10); Модельно-ориентированное управление как стратегия функционирования интеллектуальных производственных систем // Матем. машини і системи. 2004. № 4 (співавтор); Модельно-ориентированное управление установками электронно-лучевой сварки при производстве конструкций авиадвигателей // Авиационно-космичес. техника и технология. 2006. № 3 (співавтор); Об’єктно-орієнтоване програмування. К., 2008.
С. М. Шкарлет
Основні праці
Application of java-technologies for simulation in the Web // Lecture Notes in Informatics Proceedings. Series of the German Informatics Society. 2001. Vol. P-2 (співавтор); Верификация реактивных систем с помощью формул темпоральной логики на Е-сетевых моделях // Матем. машини і системи. 2002. № 1; Моделирование синтетического окружения для реактивных систем // Матем. моделювання. 2003. № 2(10); Модельно-ориентированное управление как стратегия функционирования интеллектуальных производственных систем // Матем. машини і системи. 2004. № 4 (співавтор); Модельно-ориентированное управление установками электронно-лучевой сварки при производстве конструкций авиадвигателей // Авиационно-космичес. техника и технология. 2006. № 3 (співавтор); Об’єктно-орієнтоване програмування. К., 2008.