Капітонова Юлія Володимирівна
КАПІТО́НОВА Юлія Володимирівна (21. 11. 1935, Ленінград, нині С.-Петербург — 13. 06. 2008, Київ) — фахівець у галузі кібернетики. Доктор фізико-математичних наук (1976), професор (1984). Заслужений діяч науки і техніки УРСР (1991). Держ. премії СРСР (1977) та України (1993, 2003) в галузі науки і техніки Премія ім. В. Глушкова АН УРСР (1984). Закін. Київський університет (1958). Відтоді працювала в Інституті кібернетики НАНУ (Київ): від 1982 — завідувач відділу теорії цифр. автоматів. Наукові дослідження у галузях проектування нових комп’ютер. засобів, матем. кібернетики, історії кібернетики. Розробила методологію та методику моделювання програм. систем на основі блочно-ієрарх. принципу, за яким апаратну й програмну частини подано як алгебр. вирази (специфікації); ефективні методи побудови верифікаторів зі змін. структурою.
Додаткові відомості
- Основні праці
- Автоматизация проектирования вычислительных машин. К., 1975 (співавтор); Шляхи створення штучного інтелекту // Наука і культура. 1981. № 3 (співавтор); Математическая теория проектирования вычислительных систем. Москва, 1988; Основи дискретної математики: Посіб. у 2 т. К., 2002 (співавтор); Спецификация систем с помощью базовых протоколов // КСА. 2005. № 4 (співавтор).