Ќовиков ƒмитрий яковлевич
ѕоиск по сайту
јвторизаци€
«ачем нужна регистраци€?
Ћогин:
ѕароль:
–егистраци€
«абыли свой пароль?
ƒл€ сотрудников ќ»ѕ»
ƒл€ сотрудников ќ»ѕ» ЌјЌ Ѕеларуси
ƒл€ обращений
ƒл€ обращений

просим прин€ть участие в опросезаполнить анкету

Ќовиков ƒмитрий яковлевич

Ќовиков ƒмитрий яковлевичЌовиков ƒмитрий яковлевич – младший научный сотрудник лаборатории логического проектировани€ ќ»ѕ» ЌјЌ Ѕеларуси.

–одилс€ в 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.