Фильтр. Формальная проверка: Ошибок нет
1
001 vvt725_no71_ss130_ad1
100 ## $a20260429d2025 e y0rusy0400
101 0# $arus
102 ## $aRU
200 1# $aПроверка эквивалентности частично построенных комбинационных схем$dPartial equivalence checking for combinational circuits$zeng$fАнжела Юрьевна Матросова, Марина Максимовна Савенкова
203 ## $aТекст$cнепосредственный
215 ## $cрис., табл.
225 1# $aПроектирование и диагностика вычислительных систем
320 ## $aБиблиогр.: с. 139 (7 назв.)
330 ## $aПредложен алгоритм проверки эквивалентности частично построенной схемы и ее спецификации, основанный на использовании операций пересечения однокоренных ROBDD-графов.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 130-139$1210 $d2025
606 ## $2AR-MARS$aВычислительная техника
606 ## $2AR-MARS$aБлоки обработки данных
610 0# $aлогические схемы
610 0# $aкомбинационные схемы
610 0# $aчастично построенные схемы
610 0# $aROBDD-графы
610 0# $aэквивалентность
610 0# $aпроверка эквивалентности
610 0# $aалгоритмы проверки
610 0# $aтестирование схем
610 0# $aсхемы
675 ## $a004.31
686 ## $2rubbk$a32.973-04$vТаблицы для массовых библиотек
700 #1 $aМатросова$bА. Ю.$gАнжела Юрьевна$cдоктор технических наук$4070$pТомский государственный университет$cпрофессор
701 #1 $aСавенкова$bМ. М.$gМарина Максимовна$cмагистрант$4070$pТомский государственный университет
790 #1 $aMatrosova$bA. Yu.$gAnzhela Yu.$4070
790 #1 $aSavenkova$bM. M.$gMarina M.$4070
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/13
005 20260430102302.9
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss130_ad1$2AR-MARS
903 ## $acode$bvvt7$cОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина"$d18013
903 ## $ayear$b2025
903 ## $ano$b71
903 ## $ass$b130
903 ## $aad$b1
801 #0 $aRU$b6341709X$c20260429$gRCR
801 #1 $aRU$b6341709X$c20260429
801 #2 $aRU$bAR-MARS$c20260430$gRCR
801 #3 $aRU$bAR-MARS$c20260430
2
001 vvt725_no71_ss120_ad1
100 ## $a20260429d2025 e y0rusy0400
101 0# $arus
102 ## $aRU
200 1# $aРеализация на ПЛИС и сравнительный анализ вычислителей сигмоида, работающих с полным диапазоном аргумента с учетом симметрии$dFPGA implementation and comparative analysis of sigmoid calculators processing the full argument range in view of symmetry$zeng$fИнна Владимировна Ушенина
203 ## $aТекст$cнепосредственный
215 ## $cрис., табл.
225 1# $aИнформатика и программирование
320 ## $aБиблиогр.: с. 127-128 (15 назв.)
330 ## $aСравнительный анализ двух схем вычислителей функции сигмоида, реализованных на ПЛИС (с использованием симметрии функции и с полным диапазоном аргумента) при разрядности 7-10 бит по показателям ресурсоемкости и быстродействия, а также оценка влияния ручного размещения вспомогательных блоков на время вычислений.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 120-129$1210 $d2025
606 ## $2AR-MARS$aВычислительная техника
606 ## $2AR-MARS$aПрограммирование ЭВМ. Компьютерные программы. Программотехника
610 0# $aнейронные сети
610 0# $aсигмоид
610 0# $aвычислители сигмоида
610 0# $aфункции сигмоида
610 0# $aсигмоидные функции
610 0# $aПЛИС
610 0# $aпрограммируемые логические интегральные схемы
610 0# $aинтегральные микросхемы
610 0# $aсхемы вычислителей
610 0# $aсимметрия
675 ## $a004.41/.42
686 ## $2rubbk$a32.973-018$vТаблицы для массовых библиотек
700 #1 $aУшенина$bИ. В.$gИнна Владимировна$cкандидат технических наук$4070$pПензенский государственный технологический университет$cдоцент
790 #1 $aUshenina$bI. V.$gInna V.$4070
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/12
005 20260430102302.1
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss120_ad1$2AR-MARS
903 ## $acode$bvvt7$cОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина"$d18013
903 ## $ayear$b2025
903 ## $ano$b71
903 ## $ass$b120
903 ## $aad$b1
801 #0 $aRU$b6341709X$c20260429$gRCR
801 #1 $aRU$b6341709X$c20260429
801 #2 $aRU$bAR-MARS$c20260430$gRCR
801 #3 $aRU$bAR-MARS$c20260430
3
001 vvt725_no71_ss112_ad1
100 ## $a20260429d2025 e y0rusy0400
101 0# $arus
102 ## $aRU
200 1# $aИдентификация в дискретных системах со случайными и интервальными параметрами с использованием EKF$dIdentification in discrete systems with random and interval parameters using EKF$zeng$fВалерий Иванович Смагин, Константин Станиславович Ким
203 ## $aТекст$cнепосредственный
215 ## $cрис., табл.
225 1# $aОбработка информации
320 ## $aБиблиогр.: с. 117-118 (15 назв.)
330 ## $aРассматривается задача идентификации дискретного объекта со случайными (гауссовскими) и интервальными параметрами. Для решения применяется расширенный фильтр Калмана (EKF), представлены результаты моделирования.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 112-119$1210 $d2025
606 ## $2AR-MARS$aРадиоэлектроника
606 ## $2AR-MARS$aАвтоматика и телемеханика
610 0# $aдискретные системы
610 0# $aидентификация
610 0# $aслучайные параметры
610 0# $aинтервальные параметры
610 0# $aEKF
610 0# $aфильтры
610 0# $aфильтр Калмана
610 0# $aКалмана фильтр
610 0# $aвероятностный подход
610 0# $aUnscented Kalman filter
610 0# $aалгоритмы идентификации
610 0# $aдискретные объекты
610 0# $aгауссовские параметры
675 ## $a621.398
686 ## $2rubbk$a32.96$vТаблицы для массовых библиотек
700 #1 $aСмагин$bВ. И.$gВалерий Иванович$cдоктор технических наук$4070$pТомский государственный университет$cпрофессор
701 #1 $aКим$bК. С.$gКонстантин Станиславович$cкандидат физико-математических наук$4070$pТомский государственный университет$cдоцент
790 #1 $aSmagin$bV. I.$gValery I.$4070
790 #1 $aKim$bK. S.$gKonstantin S.$4070
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/11
005 20260430102302.8
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss112_ad1$2AR-MARS
903 ## $acode$bvvt7$cОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина"$d18013
903 ## $ayear$b2025
903 ## $ano$b71
903 ## $ass$b112
903 ## $aad$b1
801 #0 $aRU$b6341709X$c20260429$gRCR
801 #1 $aRU$b6341709X$c20260429
801 #2 $aRU$bAR-MARS$c20260430$gRCR
801 #3 $aRU$bAR-MARS$c20260430
4
001 vvt725_no71_ss103_ad1
100 ## $a20260429d2025 e y0rusy0400
101 0# $arus
102 ## $aRU
200 1# $aПрименение УПС-фильтра при решении задачи обнаружения в режиме активной локации$dUsing the TOS-filter in solving the detection problem in active location mode$zeng$fИгорь Михайлович Рудько
203 ## $aТекст$cнепосредственный
215 ## $cрис.
225 1# $aОбработка информации
320 ## $aБиблиогр.: с. 110 (9 назв.)
330 ## $aАнализ использования порядковых статистик (УПС-фильтр) в задачах обнаружения в режиме активной локации.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 103-111$1210 $d2025
606 ## $2AR-MARS$aРадиоэлектроника
606 ## $2AR-MARS$aРадиолокация
610 0# $aактивная локация
610 0# $aУПС-фильтры
610 0# $aпорядковые статистики
610 0# $aусеченные порядковые статистики
610 0# $aсистемы обнаружения
610 0# $aалгоритмы обнаружения
610 0# $aобнаружение сигналов
610 0# $aсигналы
610 0# $aэнергетические приемники
675 ## $a621.396.96
686 ## $2rubbk$a32.95$vТаблицы для массовых библиотек
700 #1 $aРудько$bИ. М.$gИгорь Михайлович$cкандидат технических наук$4070$pИнститут проблем управления им. В. А. Трапезникова РАН (Москва)$cстарший научный сотрудник
790 #1 $aRudko$bI. M.$gIgor M.$4070
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/10
005 20260430102302.8
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss103_ad1$2AR-MARS
903 ## $acode$bvvt7$cОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина"$d18013
903 ## $ayear$b2025
903 ## $ano$b71
903 ## $ass$b103
903 ## $aad$b1
801 #0 $aRU$b6341709X$c20260429$gRCR
801 #1 $aRU$b6341709X$c20260429
801 #2 $aRU$bAR-MARS$c20260430$gRCR
801 #3 $aRU$bAR-MARS$c20260430
5
001 vvt725_no71_ss93_ad1
100 ## $a20260428d2025 e y0rusy0400
101 0# $arus
102 ## $aRU
200 1# $aБыстрая реализация алгоритма невыпуклого полосового слияния триангуляции Делоне$dFast implementation of a non-convex stripe merging algorithm for Delaunay triangulation$zeng$fМарина Игоревна Литовченко, Юрий Леонидович Костюк
203 ## $aТекст$cнепосредственный
215 ## $cрис., табл.
225 1# $aОбработка информации
320 ## $aБиблиогр.: с. 101 (12 назв.)
330 ## $aПредложен полосовой алгоритм триангуляции Делоне для набора точек на плоскости, который работает быстрее за счет сокращения числа проверок и перестроений треугольников по критерию Делоне.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 93-102$1210 $d2025
606 ## $2AR-MARS$aМатематика
606 ## $2AR-MARS$aВычислительная математика
610 0# $aтриангуляция Делоне
610 0# $aДелоне триангуляция
610 0# $aалгоритмы триангуляции
610 0# $aполосовые алгоритмы
610 0# $aневыпуклое полосовое слияние
610 0# $aполосовое слияние
610 0# $aтриангуляции
675 ## $a519.6
686 ## $2rubbk$a22.19$vТаблицы для массовых библиотек
700 #1 $aЛитовченко$bМ. И.$gМарина Игоревна$cассистент$4070$pТомский государственный университет$cаспирант
701 #1 $aКостюк$bЮ. Л.$gЮрий Леонидович$cдоктор технических наук$4070$pТомский государственный университет$cпрофессор
790 #1 $aLitovchenko$bM. I.$gMarina I.$4070
790 #1 $aKostyuk$bYu. L.$gYuriy L.$4070
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/9
005 20260430102302.1
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss93_ad1$2AR-MARS
903 ## $acode$bvvt7$cОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина"$d18013
903 ## $ayear$b2025
903 ## $ano$b71
903 ## $ass$b93
903 ## $aad$b1
801 #0 $aRU$b6341709X$c20260428$gRCR
801 #1 $aRU$b6341709X$c20260428
801 #2 $aRU$bAR-MARS$c20260430$gRCR
801 #3 $aRU$bAR-MARS$c20260430
6
001 vvt725_no71_ss82_ad1
100 ## $a20260428d2025 e y0rusy0400
101 0# $aeng
102 ## $aRU
200 1# $aShortages of perishables control for a stochastic inventory system in retail through dynamic pricing$dКонтроль дефицита скоропортящихся товаров в стохастической системе управления запасами с использованием динамического ценообразования$zrus$fAnna V. Kitaeva, Yu Cao
203 ## $aТекст$cнепосредственный
215 ## $cрис.
225 1# $aОбработка информации
320 ## $aБиблиогр.: с. 91 (13 назв.)
330 ## $aРешается задача максимизации средней прибыли при управлении запасами единичного продукта на конечном временном горизонте в условиях гетерогенного пуассоновского спроса - с использованием диффузионной аппроксимации уровня запасов и учета линейной зависимости интенсивности спроса от розничной цены.
333 ## $a16+
461 #0 $1011 $a1998-8605$12001 $aВестник Томского государственного университета. Управление, вычислительная техника и информатика$dTomsk State University. Journal of Control and Computer Science$zeng
463 #0 $12001 $a№ 71$vС. 82-92$1210 $d2025
606 ## $2AR-MARS$aЭкономика
606 ## $2AR-MARS$aМатематическая экономика. Эконометрика
610 0# $aстохастические системы
610 0# $aпуассоновские процессы
610 0# $aуправление запасами
610 0# $aзапасы
610 0# $aдинамическое ценообразование
610 0# $aценообразование
610 0# $aскоропортящиеся товары
610 0# $aтовары
610 0# $aдефицит товаров
610 0# $aконтроль дефицита
610 0# $aпуассоновский спрос
610 0# $aдиффузионная аппроксимация
610 0# $aматематические модели
610 0# $aимитационное моделирование
675 ## $a330.4
686 ## $2rubbk$a65в631$vТаблицы для массовых библиотек
700 #1 $aKitaeva$bA. V.$gAnna V.$4070
701 #0 $aYu Cao$4070
790 #1 $aКитаева$bА. В.$gАнна Владимировна$cдоктор физико-математических наук$4070$pТомский государственный университет$cпрофессор
790 #0 $aЮй Цао$cаспирант$4070$pТомский государственный университет
856 4# $uhttp://dx.doi.org/10.17223/19988605/71/8
005 20260430102302.0
901 ## $aдля МАРК-SQL$tb
014 ## $aRUMARS-vvt725_no71_ss82_ad1$2AR-MARS