Новиков Дмитрий Яковлевич

Новиков Дмитрий Яковлевич – младший научный сотрудник лаборатории логического проектирования ОИПИ НАН Беларуси.

Родился в 1983 году в г. Минске.

В 2006 году окончил Белорусский национальный технический университет (БНТУ) по специальности «Программное обеспечение информационных технологий» с присвоением квалификации инженера-программиста.

В 2009 году окончил аспирантуру при ОИПИ НАН Беларуси.

Защитил кандидатскую диссертацию на тему «Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности» (по специальности 05.13.12 - системы автоматизации проектирования).

Область научных интересов:
верификация процессов проектирования микроэлектронных устройств.

Список научных публикаций:

1. Новиков, Д.Я. Нахождение множества всех простых имплицент булевой функции обходом троичного дерева поиска / Д.Я. Новиков //

Известия Нац. акад. наук Беларуси. Сер. физ-мат. наук. – 2006. – № 5. – С. 9–11.

2. Черемисинова, Л.Д. Проверка схемной реализации частичных булевых функций / Л.Д. Черемисинова, Д.Я. Новиков // Вестник Томского государственного университета. Сер. Управление, вычислительная техника и информатика. – 2008. – № 4. – С. 102–111.

3. Cheremisinova, L. Simulation-based approach to verification of logical descriptions with functional indeterminacy / L. Cheremisinova, D. Novikov // Information Theories and Applicatons. – 2008. – Vol. 15, – № 3. – P. 218-224.

4. Cheremisinova, L. Using SAT for combinational implementation checking / L. Cheremisinova, D. Novikov // Information Science and Computing. – 2008. – № 7. – P. 203–210.

5. Cheremisinova, L. SAT-based method of verification using logarithmic encoding / L. Cheremisinova, D. Novikov // Information Science and Computing. – 2009. – № 15. – P. 107–114.

6. Бибило, П.Н. Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логического управления / П.Н. Бибило, С.Н. Кардаш, Н.А. Кириенко, Д.А. Кочанов, П.В. Леончик, Д.Я. Новиков, В.И. Романов, Д.И. Черемисинов // Управляющие системы и машины. – 2009. – № 5. С. 81–88.

7. Черемисинова, Л.Д. Верификация многоблочных структур с функциональной неопределенностью / Л.Д. Черемисинова, Д.Я. Новиков // Известия Нац. акад. наук Беларуси. Сер. физ-техн. наук. – 2009. – № 2. – С. 98–105.

8. Черемисинова, Л.Д. Формальная верификация описаний с функциональной неопределенностью на основе проверки выполнимости КНФ / Л.Д. Черемисинова, Д.Я. Новиков // Автоматика и вычислительная техника. – 2010. – № 1. – С. 5–16.

9. Новиков, Д.Я. Метод проверки реализуемости системы частично определенных булевых функций на основе логарифмического кодирования / Новиков Д.Я. // Молодежь в науке – 2009: прил. к журн. «Весцi Нацыянальнай акадэмii навук Беларусi». Сер. физ-мат. наук. – 2010. – Ч. 5. – С. 31-37.

10. Новиков, Д.Я. Верификация функциональных описаний с неопределенностью на основе парафазного представления булевых функций / Д.Я. Новиков, Л.Д. Черемисинова // Информатика. – 2010. – № 3. С. 54 – 62.

11. Новиков, Д.Я. Сведение задачи проверки реализуемости логических описаний к булевым вычислениям / Д.Я. Новиков, Л.Д. Черемисинова // Танаевские чтения : доклады третьей междунар. науч. конф., Минск, 28 марта 2007 г. / ОИПИ НАН Беларуси ; редкол.: В.С. Гордон. – Минск, 2007. – С. 131–135.

12. Черемисинова, Л. Верификация логических описаний с функциональной неопределенностью / Л. Черемисинова, Д. Новиков // Knowledge-Dialogue-Solution : Proceedings of the XIII-th Int. Conf., Varna, 23 june – 03 juli 2007 / Inst. of Informaton Theories and Appl. FOI ITHEA ; edited by V.P. Gladun [et al.]. – Sofia, 2007.– P. 78-84.

13. Cheremisinova, L.D. Verification of multi-block structures with functional indeterminacy / L.D. Cheremisinova, D.Ya. Novikov // Автоматизация проектирования дискретных устройств (CAD DD’07) : Материалы VI междунар. конф., Минск, 14-15 ноября 2007 г. : в 2 т. / ОИПИ НАН Беларуси ; редкол.: С.С. Мойсейчик. – Минск, 2007. – Т. 2. – С. 103–108.

14. Novikov, D.Ya. An efficient method for finding prime implicates / D.Ya. Novikov // Автоматизация проектирования дискретных устройств (CAD DD’07) : Материалы VI междунар. конф., Минск, 14-15 ноября 2007 г : в 2 т. / ОИПИ НАН Беларуси ; редкол.: С.С. Мойсейчик. – Минск, 2007. – Т. 2. – С. 95–102.

15. Cheremisinova, L. SAT-Based Approach to Verification of Logical Descriptions with Functional Indeterminacy / L. Cheremisinova, D. Novikov // 8th International Workshop on Boolean Problems : Proceedings of the Workshop, Freiberg, 18 – 19 September 2008 / Techn. univ. Bergakademie ; edited by B. Steinbach. – Freiberg, 2008. – P. 59–66.

16. Черемисинова, Л.Д. Проверка реализуемости логических описаний с функциональной неопределенностью / Л.Д. Черемисинова, Д.Я. Новиков // Проблемы проектирования и производства радиоэлектронных средств : сборник материалов Междунар. науч.-технич. конф., Новополоцк, 29-30 мая 2008 г. : в 3-х т. / Полоц. гос. ун-т ; редкол.: А.П. Достанко [и др.]. – Новополоцк, 2008. – Т. III. Информатика. – С. 76–79.

17. Новиков, Д.Я. Импликативный метод анализа булевых функций на реализуемость / Д.Я. Новиков, Л.Д. Черемисинова // Четвертый Белорусский космический конгресс : Материалы конгресса, Минск, 27-29 октября 2009 г. : в 2 т. / ОИПИ НАН Беларуси ; редкол.: А.В. Тузиков [и др.]. – Минск, 2009. – Т. 2. – С. 67–71.

18. Cheremisinova, L. SAT-Based Group Method for Verification of Logical Descriptions with Functional Indeterminacy / L. Cheremisinova, D. Novikov // IEEE East-West Design and Test Symposium (EWDTS’09) : Proceedings of the Symposium, Moscow, September 18 - 21, 2009 / Kharkov National University of Radioelectronics ; edited by S. Chumachenko. – Kharkov, 2009. – P. 31–34.

19–А. Черемисинова, Л.Д. Проверка реализуемости функционально неопределенного описания на основе кодирования условий / Л.Д. Черемисинова, Д.Я. Новиков // Танаевские чтения : доклады четвертой междунар. науч. конф., Минск, 29–30 марта 2010 г. / ОИПИ НАН Беларуси ; редкол.: Н.А. Рудая [и др.]. – Минск, 2010. – С. 135–140.

20. Cheremisinova, L. SAT-Based Implicative Method of Implementation Checking for Incompletely Specified Boolean Functions/ L. Cheremisinova, D. Novikov // 9‑th International Workshop on Boolean Problems : Proceedings of the Workshop, Freiberg, 16 – 17 September 2010 / Techn. univ. Bergakademie ; edited by B. Steinbach. – Freiberg, 2010. – P. 97–102.

21. Новиков, Д.Я. Верификация частично определенных структурных описаний / Д.Я. Новиков // Современные средства связи : материалы XII Междунар. научно-техн. конф., Минск, 24-28 сент. 2007 г. / Высший госуд. колледж связи ; редкол.: М.А. Баркун [и др.]. – Минск, 2007. – С. 65.

22. Cheremisinova, L.D. An approach to implementation checking / L.D. Cheremisinova, D.Ya. Novikov // Седьмая Российская конф. с междунар. участием : тезисы докладов, Томск, 2-5 сентября 2008 г. / Томский госуд. унивеситет ; редкол.: Н.И. Шидловская. – Томск, 2008. – С. 64.

23. Черемисинова, Л.Д. Алгоритмические средства проверки реализуемости систем частично определенных булевых функций / Л.Д. Черемисинова, Д.Я. Новиков // Информационные технологии в промышленности (ITI*2008) : тезисы докладов пятой Междунар. научно-техн. конф., Минск, 22–24 октября 2008 г. / ОИПИ НАН Беларуси ; редкол.: Е.В. Владимиров. – Минск, 2008. – С. 206–207.

24. Черемисинова, Л.Д. Верификация функционально неопределенных логических описаний комбинационных схем / Л.Д. Черемисинова, Д.Я. Новиков // Компьютерные науки и информационные технологии : материалы Междунар. науч. конф., Саратов, 01-04 июля 2009 / Сарат. ун-т ; редкол.: В.А. Твердохлебов [и др.]. – Саратов, 2009. – С. 250–251.

25. Новиков, Д.Я. Организация экспериментального комплекса для тестирования алгоритмов верификации / Д.Я. Новиков, Л.Д. Черемисинова // Информационные технологии в промышленности (ITI*2010) : тезисы докладов шестой Междунар. научно-техн. конф., Минск, 28–29 октября 2010 г. / ОИПИ НАН Беларуси ; под ред.: Е.В. Владимирова. – Минск, 2010. – С. 204–205.

26. Cheremisinova, L.D. SAT based method of implementation checking for incompletely specified Boolean functions / L.D. Cheremisinova, D.Ya. Novikov // Автоматизация проектирования дискретных устройств (CAD DD’10) : Материалы VII междунар. конф., Минск, 16-17 ноября 2010 г. / ОИПИ НАН Беларуси ; редкол.: С.С. Мойсейчик. – Минск, 2010. – С. 226–233.