Ëàáîðàòîðèÿ ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ - ðåçóëüòàòû è ïóáëèêàöèè
Ïîèñê ïî ñàéòó
Àâòîðèçàöèÿ
Çà÷åì íóæíà ðåãèñòðàöèÿ?
Ëîãèí:
Ïàðîëü:
Ðåãèñòðàöèÿ
Çàáûëè ñâîé ïàðîëü?
Äëÿ ñîòðóäíèêîâ ÎÈÏÈ
Äëÿ ñîòðóäíèêîâ ÎÈÏÈ ÍÀÍ Áåëàðóñè 
Äëÿ îáðàùåíèé
Äëÿ îáðàùåíèé

ïðîñèì ïðèíÿòü ó÷àñòèå â îïðîñåçàïîëíèòü àíêåòó

Ðåçóëüòàòû

 ïîñëåäíèå ãîäû ëàáîðàòîðèÿ ðàçðàáîòàëà ðÿä ñèñòåì ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ è èñêóññòâåííîãî èíòåëëåêòà. Ñðåäè íèõ

  • ñèñòåìà CLTT ñêâîçíîãî ïðîåêòèðîâàíèÿ ôóíêöèîíàëüíûõ áëîêîâ çàêàçíûõ öèôðîâûõ ÑÁÈÑ íà îñíîâå ïðîãðàììèðóåìûõ ìàêðîýëåìåíòîâ;
  • ñèñòåìà ÝËÑ ýíåðãîñáåðåãàþùåãî ëîãè÷åñêîãî ñèíòåçà;
  • ïðîãðàììíûé êîìïëåêñ MICEL ñõåìíîé ðåàëèçàöèè ïàðàëëåëüíûõ àëãîðèòìîâ ëîãè÷åñêîãî óïðàâëåíèÿ;
  • ïðîãðàììíûé êîìïëåêñ LOGIC äëÿ ðåøåíèÿ êîìáèíàòîðíûõ çàäà÷ ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ è èñêóññòâåííîãî èíòåëëåêòà;
  • êîìïëåêñ ïðîãðàìì FPGAConv êîíâåðòàöèè FPGA-ïðîåêòîâ ñåìåéñòâà Spartan3 â çàêàçíûå ÑÁÈÑ.
  • cèñòåìà CMOSLD ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ ôóíêöèîíàëüíûõ áëîêîâ çàêàçíûõ ÊÌÎÏ ÑÁÈÑ ñ ïîíèæåííûì ýíåðãîïîòðåáëåíèåì

Ðàçðàáîòàíû òåîðèÿ ïðîåêòèðîâàíèÿ äèñêðåòíûõ ñèñòåì óïðàâëåíèÿ íà ýëåìåíòíîé áàçå íàñòðàèâàåìûõ (ïðîãðàììèðóåìûõ) ëîãè÷åñêèõ èíòåãðàëüíûõ ñõåì, òåîðèÿ ýôôåêòèâíîãî ëîãè÷åñêîãî âûâîäà â áàçàõ äàííûõ è çíàíèé ðàñïîçíàþùèõ ñèñòåì, òåîðèÿ ðåøåíèÿ ëîãè÷åñêèõ óðàâíåíèé áîëüøîé ðàçìåðíîñòè.

Ðàáîòû ñîòðóäíèêîâ ëàáîðàòîðèè áûëè ïðèçíàíû âàæíåéøèìè íàó÷íûìè ðåçóëüòàòàìè Èíñòèòóòà:

  • Ìîäåëè ïàðàëëåëüíûõ àëãîðèòìîâ ëîãè÷åñêîãî óïðàâëåíèÿ íà ÿçûêå VHDL (2007ã.);
  • Äåêîìïîçèöèÿ áóëåâûõ ôóíêöèé (2008 ã.);
  • Âåðèôèêàöèÿ îïèñàíèé êîìáèíàöèîííûõ óñòðîéñòâ â ïðîöåññå ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ (2009 ã.);
  • Ïðîäóêöèîííî-ôðåéìîâàÿ ìîäåëü ïðåäñòàâëåíèÿ çíàíèé äëÿ óïðàâëåíèÿ ïðîöåññàìè ëîãè÷åñêîãî ïðîåêòèðîâàíèÿ äèñêðåòíûõ óñòðîéñòâ (2012 ã.);
  • Îïòèìèçàöèÿ ìíîãîóðîâíåâûõ ïðåäñòàâëåíèé ëîãè÷åñêèõ ñõåì äëÿ ñîêðàùåíèÿ ýíåðãîïîòðåáëåíèÿ è ïëîùàäè êðèñòàëëà ÑÁÈÑ (2014 ã.);
  • Èññëåäîâàíèå ýôôåêòèâíîñòè ëîãè÷åñêîé îïòèìèçàöèè ïðè ñèíòåçå öèôðîâûõ ñõåì (2016 ã.);
  • Ìîäåëè è ìåòîäû îöåíèâàíèÿ ýíåðãîïîòðåáëåíèÿ ëîãè÷åñêèõ ÊÌÎÏ-ñõåì (2017 ã.);
  • Ìîäåëè, ìåòîäû è ïðîãðàììíûå ñðåäñòâà äåêîìïèëÿöèè ÊÌÎÏ-ñõåìû íà òðàíçèñòîðíîì óðîâíå â èåðàðõè÷åñêóþ ñõåìó èç ëîãè÷åñêèõ ýëåìåíòîâ (2019 ã.);
  • Ôóíêöèîíàëüíàÿ âåðèôèêàöèÿ VHDL-îïèñàíèé ñèíõðîííûõ öèôðîâûõ óñòðîéñòâ (2020 ã.)

 ÒÎÏ-100 ëó÷øèõ ðåçóëüòàòîâ ÍÀÍ Áåëàðóñè âêëþ÷åíà ðàáîòà «Ëîãè÷åñêîå ïðîåêòèðîâàíèå äèñêðåòíûõ óñòðîéñòâ ñ èñïîëüçîâàíèåì ïðîäóêöèîííî-ôðåéìîâîé ìîäåëè ïðåäñòàâëåíèÿ çíàíèé» (àâòîðû – Áèáèëî Ï.Í., Ðîìàíîâ Â.È.).

Çà âðåìÿ ñâîåãî ñóùåñòâîâàíèÿ ñîòðóäíèêàìè ëàáîðàòîðèè îïóáëèêîâàíî 50 ìîíîãðàôèé. Êàæäûé ãîä ñîòðóäíèêàìè ëàáîðàòîðèè ïóáëèêóåòñÿ îêîëî 50 íàó÷íûõ ðàáîò. Íåêîòîðûå èç íèõ âûõîäÿò â ìåæäóíàðîäíûõ æóðíàëàõ è òðóäàõ ìåæäóíàðîäíûõ êîíôåðåíöèé.