Контакти Карта сайту

Відділ теорії цифрових автоматів (О.А.Летичевський)

 

 Завідувач відділу − Летичевський Олександр Адольфович, академік Національної академії наук України, доктор фізико-математичних наук, професор, Заслужений діяч науки і техніки України (2007 р.), Лауреат Державної премії СРСР (1968 р.), Премії імені В.М. Глушкова (1985), Державних премій України в галузі науки і техніки (1993 р., 2003 р.), Премії НАН України імені А.О. Дородніцина (2010 р.).

 

Відділ засновано 1957 року академіком Віктором Михайловичем Глушковим, який очолював його до 1982 р. У 1982 р. відділ було розділено на два тісно взаємодіючих відділи: відділ теорії цифрових автоматів (завідувач − Капітонова Юлія Володимирівна, доктор фізико-математичних наук, професор, Заслужений діяч науки і техніки України) та відділ рекурсивних обчислювальних машин (завідувач − Летичевський Олександр Адольфович, член-кореспондент Національної академії наук України, доктор фізико-математичних наук, професор). У 2008 році обидва відділи знову було злито в один: відділ теорії цифрових автоматів.

 

У відділі працюють 21 співробітник, серед них - 1 академік НАН України, 4 доктори та 10 кандидатів наук.

 

Найбільш вагомі наукові досягнення у 2016 році

 

Презентації найважливіших розробок відділу

 

ОСНОВНІ НАПРЯМИ НАУКОВОЇ ДІЯЛЬНОСТІ:

 

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

 

ОСТАННІ НАЙВАЖЛИВІШІ РЕЗУЛЬТАТИ

 

Фундаментальні:

  • створено алгебраїчну теорію взаємодії агентів і середовищ (інсерційне моделювання);
  • розроблено технологію верифікації вимог та специфікацій із застосуванням дедуктивних методів.
  • розроблено математичні основи модельного проектування обчислювальних систем;
  • розроблено основи теорії модельного тестування обчислювальних систем;
  • розроблено алгоритми перевірки несуперечності та повноти вимог до програмних систем;
  • розроблено версію алгоритму очевидності В.М. Глушкова для застосування у верифікаційних системах;
  • розвинуто технологію алгебраїчного програмування для застосування в різних прикладних областях.

 

Прикладні:

  • розроблено систему інсерційного програмування та моделювання для створення прикладних систем;
  • розроблено систему алгебраїчного програмування, на базі якої створено технологічні засоби верифікації систем;
  • розроблено програмне середовище, що моделює взаємодію людини та комп'ютера, для обчислення параметрів стану користувача та вироблення рекомендацій щодо вдосконалення його робочого місця;
  • розроблено систему верифікації вимог і специфікацій для фірми МОТОРОЛА;
  • створено технологію процесу розробки високонадійних систем та систем, що критичні до безпеки на основі використання символьних та дедуктивних методів.

  • розроблено технологію тестування на основі моделей з використанням символьних методів, а саме пряме та обернене модельне тестування, тестування «білої скриньки», інтеграційне тестування

 

Участь у міжнародних науково-технічних конференціях

 

Дисертаційні роботи співробітників відділу

 

 

Склад наукових працівників відділу № 100


ПІБ

Посада

Науковий

ступінь

Вчене

звання

Контакти

 Алєксєєв Дмитро Анатолійович

с.н.с.

к.ф.-м.н.

 

Dmitry.Alexeev@lsv.kiev.ua

 Волков Владислав Анатолійович

с.н.с.

к.ф.-м.н.

 

vlad@iss.org.ua

 Годлевський Олександр Богуславович

с.н.с.

к.ф.-м.н.

с.н.с.

a.godl49@gmail.com

 Гребнєв Валерій Олександрович

с.н.с.

к.т.н.

с.н.с.

ave@voliacable.com

 Довбиш Валентина Яківна

гол. мат.

   

dovbysh@incyb.kiev.ua

 Єлфімова Лариса Дмитрівна

м.н.с.

   

larisaelf@mail.ru

 Колбасін Микола Іванович

с.н.с.

к.т.н.

с.н.с.

nnik@incyb.kiev.ua

 Колчин Олександр Валентинович

н.с.

к.ф.-м.н.

 

kolchin_av@yahoo.com

 Летичевський Олександр Адольфович

зав.від.

д.ф.-м.н.

проф.

aaletichevsky78@gmail.com

 Летичевський Олександр Олександрович

с.н.с.

д.ф.-м.н

с.н.с.

lit@iss.org.ua

 Ляскало Леся

Євгеніївна

мат. 1 кат.

    slunichko@ukr.net

 Мороховець Марина Костянтинівна

с.н.с.

к.ф.-м.н.

с.н.с.

mmk@incyb.kiev.ua

 Пинько Олексій Павлович

с.н.с.

к.ф.-м.н.

 

pynko@incyb.kiev.ua

 Потієнко Степан Валерійович

н.с.

к.ф.-м.н.

 

stepan@iss.org.ua

 Сейфуллін Тимур Рустемович

с.н.с.

к.ф.-м.н.

 

timur_sf@mail.ru

 Скобелєв Володимир Володимирович с.н.с. д.ф.-м.н.

с.н.с.

skobelev@incyb.kiev.ua
 Скобелєв Володимир Геннадійович п.н.с. д.ф.-м.н., д.т.н. проф. vgskobelev@incyb.kiev.ua

 Філіжанко Ольга Дмитрівна

н.с.

   

fel_olga@voliacable.com

 Штелік Євген Васильович

інж-пр.1к.

   

 

 Щоголева Наталя Миколаївна

н.с.

   

nat@incyb.kiev.ua

 Яковлєв Віктор Михайлович

п.м.

   

VictorYakovlev@ukr.net

 

 

 

 

Пошук
 
Пошта

 
 3d принтери та станки з ЧПУ в Україні