https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565521 Wed 29 Mar 2017 09:43:54 KRAT ]]> Оценивание числа состояний и значений интенсивности асинхронного МС-потока событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565497 Wed 29 Mar 2017 09:23:00 KRAT ]]> Реинжиниринг и интеллектуализация систем сбора, обработки и передачи промысловой информации на нефтегазодобывающих предприятиях : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565500 Wed 29 Mar 2017 09:22:54 KRAT ]]> Идентификация и классификация процессов авторегрессии со случайными коэффициентами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000242263 Wed 15 Mar 2017 16:56:54 KRAT ]]> Обеспечение работоспособности систем с производным доступом и самопроверяемости логических схем : Автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000184554 Wed 15 Mar 2017 16:35:48 KRAT ]]> Оптимальные оценки состояний и параметров синхронного дважды стохастического потока событий с произвольным числом состояний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000227551 Wed 15 Mar 2017 15:53:52 KRAT ]]> Методы реализации в пространстве состояний для нечетких динамических систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000340596 Wed 15 Mar 2017 15:05:00 KRAT ]]> Управление односекторной экономикой в случае конечного временного горизонта: принцип магистрали, золотое правило накопления, экономический рост : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13 01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000375142 Wed 15 Mar 2017 15:04:53 KRAT ]]> Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000375414 Wed 15 Mar 2017 14:43:52 KRAT ]]> Оптимизация рекуррентных моделей временных рядов на основе B-сплайнов 2-го и 3-го порядков : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000338947 Wed 15 Mar 2017 10:52:56 KRAT ]]> Оценка параметров и состояний асинхронного альтернирующего потока с инициированием лишних событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000342914 Wed 15 Mar 2017 10:45:47 KRAT ]]> Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000340386 Wed 15 Mar 2017 10:45:47 KRAT ]]> Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000371402 Wed 15 Mar 2017 10:31:57 KRAT ]]> Идентификация стохастических систем авторегрессионного типа с нелинейностями и бесконечной дисперсией шума : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000370567 Wed 15 Mar 2017 10:17:51 KRAT ]]> Дискреционная модель безопасности управления доступом и информационными потоками в компьютерных системах с функционально или параметрически ассоциированными сущностями : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000369492 Tue 14 Mar 2017 16:56:58 KRAT ]]> Экзотические опционы с гарантированным доходом и с ограничением выплат на диффузионном рынке облигаций : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000394296 Tue 14 Mar 2017 13:59:54 KRAT ]]> Синтез локально-оптимальных систем управления выходом для дискретных стохастических объектов с неполной информацией : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000391086 Tue 14 Mar 2017 13:45:53 KRAT ]]> Последовательное обнаружение скачка среднего значения случайного процесса : Автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000182453 Tue 14 Mar 2017 13:03:52 KRAT ]]> Оценивание параметров нелинейных стохастических динамических систем с дискретным временем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000383805 Tue 14 Mar 2017 12:49:51 KRAT ]]> Обработка информации при радиометрическом контроле изделий со значительными перепадами по толщине : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01; 05.11.13. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000387220 Tue 14 Mar 2017 11:25:47 KRAT ]]> Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000391905 Tue 14 Mar 2017 09:40:50 KRAT ]]> Статистическое оценивание функционалов пенсионных рент актуарных моделей : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000721961 Tue 14 Dec 2021 00:54:21 KRAT ]]> Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000563925 Tue 11 May 2021 16:21:48 KRAT ]]> Разработка и исследование параллельных комбинаторных алгоритмов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000228609 Thu 16 Mar 2017 11:23:07 KRAT ]]> Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000228740 Thu 16 Mar 2017 11:15:55 KRAT ]]> Алгебраические методы представления динамических систем в пространстве состояний: точная и приближенная реализации : Автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000187732 Thu 09 Mar 2017 13:59:40 KRAT ]]> Адаптивное оптимальное прогнозирование многомерных процессов авторегрессионного типа с дискретным временем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000514514 Thu 09 Mar 2017 13:31:43 KRAT ]]> Алгоритмы нейросетевого детектирования и распознавания символов на сложном фоне : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000516158 Thu 09 Mar 2017 13:31:42 KRAT ]]> Робастные оценки параметров на основе взвешенного метода максимального правдоподобия : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000529463 Thu 09 Mar 2017 12:35:43 KRAT ]]> Оценка состояний и длительности мертвого времени в модулированном обобщенном полусинхронном потоке событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000550338 Thu 09 Mar 2017 11:53:48 KRAT ]]> Одноэтапные последовательные процедуры оценивания параметров динамических систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000537569 Thu 09 Mar 2017 11:46:49 KRAT ]]> Локально-оптимальное управление объектами с учетом запаздываний в условиях неполной информации о состоянии и параметрах модели : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000537737 Thu 09 Mar 2017 11:39:42 KRAT ]]> Разработка алгоритмов статистического анализа информационных сигналов со скачкообразным изменением характеристик в условиях параметрической априорной неопределенности : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000554826 Thu 09 Mar 2017 11:25:43 KRAT ]]> Оценивание, распознавание и передача информации в стохастических системах в случае совокупности непрерывных и дискретных наблюдений с памятью : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000191667 Thu 09 Mar 2017 11:11:55 KRAT ]]> Оценивание состояний и длительности мертвого времени в MAP-потоке событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000554822 Thu 09 Mar 2017 09:33:51 KRAT ]]> Оценка длительности мертвого времени и состояний модулированного синхронного дважды стохастического потока событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000554821 Thu 09 Mar 2017 09:33:40 KRAT ]]> Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000220861 Thu 09 Mar 2017 09:33:39 KRAT ]]> Управление с прогнозированием нелинейными дискретными системами со случайными параметрами при ограничениях : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000702948 Mon 23 Aug 2021 13:50:47 KRAT ]]> Оценивание длительности мертвого времени и параметров асинхронного дважды стохастического потока событий методом моментов : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000194099 Mon 13 Mar 2017 16:45:58 KRAT ]]> Оценивание и распознавание состояний стохастических систем по непрерывно-дискретным наблюдениям с памятью : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000206589 Mon 13 Mar 2017 16:45:54 KRAT ]]> Управление с прогнозированием дискретными системами со случайными параметрами и мультипликативными шумами при ограничениях : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000436787 Mon 13 Mar 2017 15:00:54 KRAT ]]> Улучшенное оценивание параметров регрессии с импульсными помехами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000427952 Mon 13 Mar 2017 15:00:49 KRAT ]]> Алгоритмы синтеза легко тестируемых комбинационных схем и тестов для кратных константных неисправностей и неисправностей задержек путей : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000404628 Mon 13 Mar 2017 12:40:50 KRAT ]]> Последовательные процедуры обнаружения момента разладки случайных процессов авторегрессионного типа с условной неоднородностью : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000425690 Mon 13 Mar 2017 12:13:00 KRAT ]]> Оптимальная оценка состояний и параметров асинхронного дважды стохастического потока событий с произвольным числом состояний : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000428331 Mon 13 Mar 2017 12:06:06 KRAT ]]> Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000426083 Mon 13 Mar 2017 11:58:58 KRAT ]]> Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000444858 Mon 13 Mar 2017 11:37:48 KRAT ]]> Оценивание и управление в дискретных стохастических системах со случайными скачкообразными параметрами в условиях неполной информации : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000721868 Mon 13 Dec 2021 11:29:15 KRAT ]]> Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539844 Mon 06 Mar 2017 14:14:45 KRAT ]]> Механизмы декомпозиционного управления жизненным циклом информационно-технологических сервисов (на примере предприятий черной металлургии) : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000553407 Mon 06 Mar 2017 14:14:43 KRAT ]]> Оценка состояний и параметров дважды стохастических потоков событий : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000554893 Mon 06 Mar 2017 14:07:38 KRAT ]]> Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000195144 Fri 17 Mar 2017 10:14:58 KRAT ]]> Системный анализ и синтез геоинформационного обеспечения управления развитием города и региона : автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000221622 Fri 17 Mar 2017 09:39:51 KRAT ]]> Алгоритмы обработки и анализа изображений иерархической временной сетью : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000441260 Fri 10 Mar 2017 16:04:55 KRAT ]]> Алгоритмы обработки и анализа символов вейвлет-преобразованием, методом главных компонент и нейронными сетями : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000476101 Fri 10 Mar 2017 13:26:42 KRAT ]]> Стратегии и алгоритмы оптимального резервирования : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000509720 Fri 10 Mar 2017 10:24:59 KRAT ]]> Повышение быстродействия и помехоустойчивости алгоритмов оценки деформации методом корреляции цифровых изображений : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000516404 Fri 10 Mar 2017 10:17:56 KRAT ]]> Обработка данных финансового рынка и принятие решения о структуре Европейского опциона : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000495676 Fri 10 Mar 2017 10:05:56 KRAT ]]> Оценка состояний и длительности мертвого времени в обобщенном асинхронном потоке событий : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000481020 Fri 10 Mar 2017 10:03:55 KRAT ]]>