Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

База данных нормативных документов (1)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ВЕРИФИКАЦИЯ<.>)

Общее количество найденных документов : 105
Показаны документы с 1 по 20

1-20 21-40 41-60 61-80 81-100 101-105

(Свободных экземпляров нет)
Шифр: И271191/2012/3
2012г.3

Содержание:
Афонин, С. А. Построение иерархии понятий на основе лексических шаблонов / С. А. Афонин, А. В. Бахтин. - С.2-7
Кл.слова: онтология, гипонимия, гиперонимы
Костенко, К. И. Операции унифицированной технологии построения цифровых пространств знаний / К. И. Костенко. - С.8-13
Кл.слова: модели, интеграция, гомоморфизмы
Ходашинский, Илья Александрович. Идентификация нечетких систем на базе алгоритма имитации отжига и методов, основанных на производных / И. А. Ходашинский
Паламарь, И. Н. Анализ применимости современных методов статистического моделирования для распознавания и понимания речи / И. Н. Паламарь, С. С. Юлин. - С.20-25
Кл.слова: модели, класссификаторы, поля
Андрейчиков, А. В. Экспертная система для начальных стадий проектирования инноваций / А. В. Андрейчиков, А. А. Хорычев. - С.26-32
Кл.слова: классификация, прогнозирование, изобретательство
Бобков, С. Г. Верификация модели контроллера ведущего интерфейса USB 2.0 / С. Г. Бобков, С. О. Задябин, А. В. Крыницкий. - С.33-37
Кл.слова: схемотехника, тестирование, СБИС
Кузнецов, Е. С Автоматизация проектирования виброзащиты ячеек электронной аппаратуры демпфирующими вставками / Е. С Кузнецов, Е. М. Талицкий, С. В. Шумарин. - С.37-42
Кл.слова: САПР, ANSYS, колебания
Керимов, С. Г. Репозитории в информационных системах и программном обеспечении / С. Г. Керимов, Е. С. Керимова. - С.43-48
Кл.слова: данные, интернет, транзакции
Елесина, С. И. Повышение эффективности генетического алгоритма / С. И. Елесина, М. Б. Никифоров. - С.49-54
Кл.слова: кластеризация, алгоритмы, поиск
Васильев, В. В. Полиномиальная аппроксимация сигналов как операционное исчисление: применение к моделированию динамических систем дробного порядка / В. В. Васильев, Л. А. Симак. - С.55-60
Кл.слова: исчисления, преобразования, сигналы
Добротворский, А. С. Оценка перспектив использования ассоциативных инструментальных платформ квантовых компьютеров, работающих в многозначном алфавите / А. С. Добротворский. - С.62-65
Кл.слова: эмуляторы, символы, потоки
Соломаха, А. А. Нейросетевая экспертная медико-технологическая система прогнозирования риска развития осложнений у больных с гнойно-деструктивными заболеваниями легких / А. А. Соломаха, К. А. Милова, В. И. Горбаченко. - С.66-69
Кл.слова: воспаления , лечение, торактомия
Девяситский, А. С. Нейросетевой алгоритм сопровождения судов в системе управления движением / А. С. Девяситский, В. М. Гриняк. - С.70-74
Кл.слова: траектории, измерения, оценки
Петрушан, М. В. Метод контрастирования описаний изображений лиц для системы санкционированнного доступа / М. В. Петрушан, А. И. Самарин. - С.74-78
Кл.слова: машины, анализ, обучение
На вкладках: Меркушева А. В. Элементы прикладной теории время частотных преобразований и обработки нестационарных сигналов в информационно-измерительных системах
Все экземпляры списаны
Постоянная гиперссылка

621.37
Н 345

    Научная сессия ТУСУР - 2017 [Текст] : материалы Международной науч.-технической конф. студентов, аспирантов и молодых ученых, посвящ. 55-летию ТУСУРа 10-12 мая 2017 г., г. Томск. В восьми частях / Минобрнауки России, ФГБОУ ВО Томский государственный университет систем управления и радиоэлектроники (Томск). - Томск : В-Спектр, 2017 - .
   Ч. 4. - 256 с. : граф., рис., табл. - Библиогр. в конце ст. - ISBN 978-5-91191-353-3. - ISBN 978-5-91191-357-1 : 15.83 р.
    Содержание:
Киндяшов, М. Г. Создание трехмерной модели территории / М. Г. Киндяшов. - С .15-16
Кл.слова: координаты, преобразования, программы
Конончук, С. В. Сравнительный анализ методов измерения спутниковыми приборами GOSAT и OCO-2 / С. В. Конончук, Р. Р. Рахматов. - С .17-19
Кл.слова: облака, обработка, сигналы
Коробко, А. П. Поиск коленного сустава человека по 3DOF-модели фигуры человека по бинаризованному изображению / А. П. Коробко. - С .19-21
Кл.слова: этапы, характеристики, ходьба
Лукманов, П. Ю. Создание интернет-сайта - визитки для факультета вычислительных систем / П. Ю. Лукманов, В. М. Марукян. - С .21-23
Кл.слова: HTML, CSS, информирование
Фаерман, В. А. Постановка и исследование задачи разработки программной части течепоискового комплекса / В. А. Фаерман, В. М. Марукян. - С .23-25
Кл.слова: устройства, принципы, алгоритмы
Петухов, Д. Г. Автоматизированная система контроля дефектов на кирпиче-сырце / Д. Г. Петухов. - С .26-28
Кл.слова: Хэмминг, ИНС, классификатор
Яушкин, П. Ю. Эвристический алгоритм разработки расписания с учетом самостоятельной работы студента и его задолженности / П. Ю. Яушкин. - С .28-30
Кл.слова: схемы, алгоритм, отчисления
Богомолов, Ю. А. Информационная система для обучения студентов и проверки их знаний / Ю. А. Богомолов. - С .30-32
Кл.слова: схемы, преподаватели, статистика
Гольцев, А. С. Шаблоны движения человека на основе обработки данных акселерометра / А. С. Гольцев, В. В. Бартов, М. А. Лаврук. - С .32-33
Кл.слова: ходьба, оси, идентификация
Дадонова, М. М. Определение типов растений и их вегетационного состояния с помощью методов обработки изображений / М. М. Дадонова, К. С. Ёлгин. - С .33-36
Кл.слова: программы, схемы, тенденции
Лазарев, А. А. Онлайн-биржа для размещения рекламы в инстаграмм-аккаунтах / А. А. Лазарев. - С .36-39
Кл.слова: взаимодействия, этапы, интернет-маркетинг
Мышанский, А. А. Web-приложение для проекта "Робот-охранник" / А. А. Мышанский. - С .39-41
Кл.слова: возможности, подсистемы, программирование
Полынцев, Е. С. Роботизированный образовательный комплект "RoboBall" / Е. С. Полынцев. - С .41-42
Кл.слова: технологии, функциональность, Bluetooth
Пугачев, П. Е. Робот для участия в Robocub Yunior Rescue на базе Intel Edison / П. Е. Пугачев, А. А. Климов. - С .42-45
Кл.слова: трассы, соревнования, регламенты
Слепцов, И. Ю. Архитектурная среда программирования / И. Ю. Слепцов. - С .46-47
Кл.слова: уровни, структура, комплекс
Чернов, Р. С. Оценка параметров ходьбы человека по данным акселерометра / Р. С. Чернов. - С .48-50
Кл.слова: анализ, недостатки, датчики
Чирцов, Р. С. Влияние ветра на линейные размеры пятна области съемки беспилотного летательного аппарата / Р. С. Чирцов. - С .50-52
Кл.слова: маршруты, отклонения, углы
Савина, А. С. Анализ походки человека с помощью смартфона / А. С. Савина, Е. М. Шатова. - С .52-54
Кл.слова: акселерометр, координаты, ПО
Шицов, А. Е. Kinect. Преобразование движений в нажатие клавиш / А. Е. Шицов. - С .54-56
Кл.слова: проект, ПО, скелет
Ермолова, М. А. Роль контроля исполнительской дисциплины в системе документооборота / М. А. Ермолова. - С .57-61
Кл.слова: оценка, учет, этапы
Крашенинников, М. Г. Визуализация геоданных / М. Г. Крашенинников, П. Ю. Найданов, И. В. Скляров. - С .61-64
Кл.слова: компоненты, качество, методы
Крупский, А. С. Имитационная модель однороднойкомпьютерной сети / А. С. Крупский. - С .64-66
Кл.слова: предположения, законы, характеристики
Макридина, Е. А. Интернет-панели в государственном и муниципальном управлении: возможности и перспективы развития / Е. А. Макридина. - С .67-69
Кл.слова: опросы, маркетинг, надежность
Малаховская, Е. К. Малобюджетный маркетинг для продвижения мобильных приложений на потребительский рынок / Е. К. Малаховская. - С .70-72
Кл.слова: агенства, инструменты, интернет-технологии
Найданов, П. Ю. Возможность применения веб-ориентированной геоинформационной системы в геомаркетинговых исследованиях / П. Ю. Найданов, М. Г. Крашенинников, И. В. Скляров. - С .72-74
Кл.слова: маркетинг, модули, платформы
Фостенко, А. М. Особенности и возможности использования информационно-коммуникационных технологий как способа развития имиджа и качества городской среды (на примере г. Томска / А. М. Фостенко, Д. В. Сапрон. - С .74-77
Кл.слова: исследования, стоимость, управление
Серых, О. К. Практика реализации раскрытия открытых данных и создания на их основе мобильных приложений / О. К. Серых. - С .77-80
Кл.слова: стандарты, администрация, публикации
Чистяков, А. П. Разработка распределенной архитектуры системы безопасного обмена конфиденциальной информацией / А. П. Чистяков. - С .80-83
Кл.слова: тестирование, масштабирование, производительность
Шишанина, М. А. Предпосылки построения онтологической модели социально-экономического развития сельских поселений: сущностный и информационно-аналитический аспекты / М. А. Шишанина. - С .83-86
Кл.слова: оценивание, управление, эффективность
Дмитриев, В. М. Среда моделирования сценариев для прототипирования микроконтроллеров / В. М. Дмитриев, Т. В. Ганджа, А. С. Букреев. - С .87-90
Кл.слова: многоуровневость, структуры, компоненты
Григорьева, Т. Е. Автоматизированная параметризация компьютерных моделей с помощью электронных документов / Т. Е. Григорьева, С. А. Панов. - С .90-92, генераторы, вариативность
Сайнакова, А. П. Моделирование сравнения двух видов платежей по кредиту в банке / А. П. Сайнакова, Т. Е. Григорьева. - С .93-96
Кл.слова: дифференциация, слои, компоненты
Кочергин, М. И. Обзор инструментов для компьютерного моделирования физических процессов / М. И. Кочергин. - С .96-99
Кл.слова: программы, СКМ, "МАРС"
Маковкин, В. И. Нейросетевая модель трехмерной поверхности с интерполяцией координат / В. И. Маковкин. - С .99-102
Кл.слова: эксперименты, конструкция, схемы
Мельник, А. А. Интерактивное учебное пособие по дисциплине "теория дифференциальных и интегральных уравнений" / А. А. Мельник, Л. А. Гембух. - С .102-104
Кл.слова: технологии, темы, преимущества
Панов, С. А. Классификация компонентов подсистемы автоматизированной поддержки экспериментов / С. А. Панов. - С .104-107
Кл.слова: этапы, документирование, параметризация
Дмитриев, В. М. Многоуровневая компьютерная модель для определения параметров регулятора методом Циглера-Никольса / В. М. Дмитриев, Т. В. Ганджа, С. А. Панов. - С .107-110
Кл.слова: коэффициенты, автоматизация, уровни
Репкин, А. С. Разработка автоматизированной системы оценивания ответов студентов на основе плагина Stack системы Moodle / А. С. Репкин, Д. Т. Нугманов, П. В. Перминов. - С .110-112
Кл.слова: обучение, деревья, значения
Рыскаленко, П. А. Разработка методического материала фонда оценочных средств по дисциплине "оптические направляющие среды" / П. А. Рыскаленко. - С .113-115
Кл.слова: интерфейс, тестирование, задания
Репкин, А. С. Подход к разработке типовых вопросов системы обучения Moodle для математических дисциплин / А. С. Репкин, Д. Т. Нугманов, П. В. Перминов. - С .115-118
Кл.слова: структуры, отзывы, проверка
Шабля, Ю. В. Автоматизация процесса разработки индивидуальных контрольных заданий с использованием систем Maxima и Latex / Ю. В. Шабля, В. С. Мельман. - С .118-119
Кл.слова: математика, технологии, ПО
Шин, М. В. Подходы к проектированию автоматизированной системы планирования финансовых затрат на техническое обслуживание оборудование и сооружений связи / М. В. Шин. - С .120-122
Кл.слова: ППР, решения, 1С
Богданов, И. А. Определение низкотемпературных свойств дизельных топлив с использованием методов математического моделирования / И. А. Богданов, А. А. Алтынов, М. В. Киргина. - С .123-125
Кл.слова: рецептуры, помутнение, застывание
Ахметшина, Э. Р. Компьютерное моделирование и изготовление топливной форсунки малогабаритного ТРД на FDM-принтере / Э. Р. Ахметшина, Р. М. Хисматуллин, В. В. Березин. - С .125-127
Кл.слова: 3D-печать, экструзия, проектирование
Барков, Д. Е. Математическая модель выпарного аппарата в технологии переработки обработанного ядерного топлива / Д. Е. Барков. - С .127-129
Кл.слова: законы, ОЯТ, САУ
Белослудцева А. А,. Моделирование структур ГЦК решеток для расчета параметров ближнего порядка / А. А, Белослудцева, Л. Д. Баркалов. - С .129-132
Кл.слова: верификация, программы, дефекты
Голубчикова, И. С. Аппроксимация временных рядов посредством дискретного вейвлет-преобразования / И. С. Голубчикова. - С .132-135
Кл.слова: ошибки, алгоритмы, осадки
Курбанова, Н. Е. Моделирование омических контактов к СВЧ AlGa/GaN-HEMT / Н. Е. Курбанова, О. И. Демченко. - С .135-138
Кл.слова: нитрид, галий, СВЧ-диапазон
Зайцев, М. С. Имитационная модель технологического процесса сушки кирпича / М. С. Зайцев. - С .138-141
Кл.слова: функции, параметры, переменные
Карманова, М. В. Топографический план как основа для создания ГИС-моделей местности, при прогнозировании последствий возникновения чрезвычайных ситуаций регионального и муниципального уровней / М. В. Карманова. - С .141-144
Кл.слова: ЦММ, СУБД, карты
Кожуховская, О. А. Прогнозирование платежеспособности клиентов банковских учреждений с помощью скорингового метода / О. А. Кожуховская, П. И. Бидюк, А. Д. Кожуховский. - С .144-147
Кл.слова: GINI, динамика, индексы
Кондрашов, А. А. Модель перемещения манипулятора / А. А. Кондрашов, К. П. Гладкая, А. А. Железнов. - С .148-151
Кл.слова: управление, проекции, подсистемы
Корнилов, Н. Я. Алгоритм распознавания диктора по голосу / Н. Я. Корнилов. - С .151-154
Кл.слова: функции, моделирование, кепстр
Котельникова, Н. А. Нахождение показателей походки человека / Н. А. Котельникова. - С .154-156
Кл.слова: формулы, колебания, оцифровывание
Кравец, А. С. Первые результаты выявления искажения формы СВЧ-импульсов пр их прохождении и отражении от плазмы на установках типа токамак / А. С. Кравец. - С .157-158
Кл.слова: излучения, режимы, субоптимальное
Мусиенко, О. П. Текстура изображений локализованных полей облачности на фоне ледового и снежного покровов по спутниковым данным Modis / О. П. Мусиенко, К. В. Курьянович. - С .159-161
Кл.слова: Колмогоров-Смирнов, характеристики, факторы
Надеждин, И. С. Математическая модель электроэрозийного процесса очистки воды / И. С. Надеждин. - С .161-163
Кл.слова: Ом, энергия, шарики
Перисаев, А. Р. К вопросу математического моделирования обжига молибденового концентрата в печи КС / А. Р. Перисаев. - С .164-167
Кл.слова: параметры, воздействия, режимы
Петренко, В. Е. Математическое моделирование двухконтурной системы управления процессов индукционной пайки / В. Е. Петренко, Г. С. Тимофеев, В. С. Тынченко. - С .168-171
Кл.слова: волноводы, алгоритмы, температура
Резванова, А. Е. Моделирование тепловых и акустических свойств фуллерита C₆₀ / А. Е. Резванова. - С .171-173
Кл.слова: формулы, молекулы, кристаллы
Сагайдачная, П. В. Динамическая имитационная модель для оценки эффективности алгоритмов планирования для кластерных систем на сетях Петри / П. В. Сагайдачная. - С .173-176
Кл.слова: нечеткость, варианты, FIFO
Свиридова, Е. В. Создание проблемного комплекса "Compounding" для повышения ресурсоэффективности производства товарных бензинов / Е. В. Свиридова, М. В. Киргина. - С .177-179
Кл.слова: структура, комплексы, моделирование
Сёма, Е. Г. Моделирование оптимальной загрузкки малых ГЭС и предварительная оценка технико-экономических показателей ПАО "МРСК Сибири - "ХакасЭнерго" / Е. Г. Сёма, Н. С. Фроленко, А. В. Тенешев. - С .180-182
Кл.слова: режимы, мощность, сети
Хисматуллин, Р. М. Моделирование теплообмена системы охлаждения дизельного ДВС / Р. М. Хисматуллин, В. В. Березин, Р. М. Смолкин. - С .182-184
Кл.слова: термостаты, помпы, режимы
Шевелева, А. А. Оценка эффективности систем безопасности на основе элементов теории графов / А. А. Шевелева. - С .184-186
Кл.слова: программы, окна, моделирование
Анфилофьев, А. Е. Классификатор на основе модифицированной системы Ангелова-Ягера / А. Е. Анфилофьев. - С .187-190
Кл.слова: AnYa, алгоритм, псевдокод
Аримпилов, С. Н. Метод Чиу для отбора информативных признаков нечетких классификаторов / С. Н. Аримпилов, С. А. Ворожцов. - С .190-192
Кл.слова: идентификация, правила, анализ
Бардамова, В. Б. Сокращение объема выборки данных алгоритмом на основе экстремумов классов для обучения нечеткого классификатора / В. Б. Бардамова, В. С. Ковалев. - С .193-195
Кл.слова: таблицы, термы, эксперименты
Боков, И. М. Исследование качества распознавания музыкальных нот / И. М. Боков. - С .196-197
Кл.слова: сравнения, метрики, программы
Власенко, А. В. Алгоритм "Летучей мыши" для оптимизации нечеткого аппроксиматора / А. В. Власенко. - С .197-200
Кл.слова: функции, структуры, эксперименты
Горбунов, И. В. Сравнение популярных алгоритмов построения деревьев решений для задачи классификации / И. В. Горбунов. - С .200-203
Кл.слова: требования, эксперименты, точность
Зарипов, Д. В. Использование алгоритма "Серого волка" для оптимизации нечеткого аппроксиматора / Д. В. Зарипов. - С .204-206
Кл.слова: Такаги-Сугено, системы, стая
Ковалев, В. С. Кластеризация алгоритмом "Прыгающих лягушек" / В. С. Ковалев, М. Б. Бардамова. - С .206-209
Кл.слова: принципы, k-средние, точность
Ковчунов, П. А. Оптимизация параметров нечеткого аппроксиматора на основе алгоритма креативного обучения / П. А. Ковчунов. - С .209-211
Кл.слова: сравнения, моделирование, генерация
Костин, К. А. Детектирование патологий туберкулеза легких по данным компьютерной томографии / К. А. Костин. - С .212-215
Кл.слова: этапы, обработка, обнаружение
Мельман, В. С. Разработка библиотеки по работе с производящими функциями в математическом пакете "Mathematica" / В. С. Мельман, Ю. В. Шабля, Д. В. Кручинин. - С .215-217
Кл.слова: коэффициенты, коэффициенты, Тейлор
Самсонов, С. С. Экспериментально-вычислительная сложность алгоритма обезьян / С. С. Самсонов. - С .218-220
Кл.слова: наборы, данные, оптимизация
Светлаков, М. О. Генерация начальной базы нечеткой системы на основе алгоритма DBSCAN / М. О. Светлаков. - С .220-223
Кл.слова: классификация, правила, эксперимент
Слезкин, А. О. Оптимизация параметров нечеткого классификатора на основеалгоритма "Стаи ласточек" / А. О. Слезкин. - С .223-226
Кл.слова: алгоритмы, частицы, виды
Сорокина, Ю. А. Исследование параметров алгоритма "Мозговой штурм" при построении нечеткого аппроксиматора / Ю. А. Сорокина. - С .226-230
Кл.слова: положения, вероятности, тестирование
Филимоненко, И. В. Сравнение результатов работы алгоритма оптимизации "Krill Herd"на нечетких моделях типа Такаги-Сугено и Синглтон / И. В. Филимоненко. - С .230-233
Кл.слова: структуры, аппроксиматор, параметры
Филимоненко, И. В. Исследование влияния параметров метаэвристики "Krill Herd" на результат оптимизации нечетких моделей типа Синглтон / И. В. Филимоненко. - С .233-236
Кл.слова: структуры, эксперименты, ошибки
Мейта, М. В. Обзор задачи анализа тональности текста / М. В. Мейта, В. В. Шиповской. - С .236-238
Кл.слова: точность, системы, алгоритмы
Мейта, М. В. Анализ тональности русскоязычного текста в системе микроблогов твиттер / М. В. Мейта, В. В. Шиповский. - С .238-241
Кл.слова: выборки, зависимости, классификации
Ширяев, Б. В. Оценка возможности нейронной сети для автоматизации визуального контроля производства СВЧ-электроники / Б. В. Ширяев. - С .241-244
Кл.слова: распознавание, эпохи, образы
Юдин, И. А. Модель распознавания дрожных знаков и пешеходов в видеопотоке / И. А. Юдин, И. Г. Ханыков. - С .244-246
Кл.слова: движение, информация, алгоритмы

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37/.39
~РУБ 621.37

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- СТАТЬИ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ -- ТЕХНИКА -- ОБРАЗОВАНИЕ -- ЕСТЕСТВЕННЫЕ НАУКИ -- ТЕХНИЧЕСКИЕ НАУКИ -- МОДЕЛИРОВАНИЕ -- ВЫЧИСЛИТЕЛЬНЫЙ ИНТЕЛЛЕКТ
Доп.точки доступа:
Минобрнауки России
ФГБОУ ВО Томский государственный университет систем управления и радиоэлектроники(Томск)

Имеются экземпляры в отделах: , сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

316
Н 209

    Найбороденко, Нина Максимовна.
    Прогнозирование и стратегия социального развития России [Текст] : монография / Н. М. Найбороденко. - 2-е изд. - М. : Маркетинг, 2003. - 352 с. - Библиогр.: с. 323. - ISBN 5-94462-307-1 : 100.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
316.43(470+571)
~РУБ 316

Кл.слова (ненормированные):
ПРОГНОСТИКА -- УПРАВЛЕНЧЕСКИЕ РЕШЕНИЯ -- ВЕРИФИКАЦИЯ ПРОГНОЗОВ -- МИНИМАКСНАЯ ИДЕНТИФИКАЦИЯ -- ГОСУДАРСТВЕННАЯ СОЦИАЛЬНАЯ ПОЛИТИКА -- ПРОГНОЗНЫЙ АНАЛИЗ

Имеются экземпляры в отделах: , кабинет ОН (1 экз.)
Свободны: кон (1)
Постоянная гиперссылка

    Мирсаитов, Р. А.
    Верификация человека по изображению лица : доклад / Р. А. Мирсаитов, Т. А. Гультяева // Научная сессия ТУСУР-2009. - Томск : В-Спектр, 2009. - Ч. 4. - С. 226-229. : ил.

    Коды, Ключ.слова, Доп.точки доступа

Кл.слова (ненормированные):
образцы -- сравнение -- фотографии -- модели -- кластеры

Доп.точки доступа:
Гультяева, Т. А.

Полный текст/внешний ресурс (постраничный просмотр) : 2009_mirsaitov_220609.pdf или скачать
Имеются экземпляры в отделах: всего 1
Свободны: 1

Постоянная гиперссылка

А
К 431

    Кириллович, Александр Витальевич.
    Модели и методы построения многоязычного облака Лингвистических открытых связанных данных [Текст] : автореферат диссертации ... кандидата технических наук: 05.13.11 / А. В. Кириллович ; Казанский федеральный университет. - Казань, 2019. - 25 с. : рис., табл.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.4
81'322
~РУБ А

Кл.слова (ненормированные):
МНОГОУРОВНЕВЫЕ МОДЕЛИ -- АНАЛИЗ СИСТЕМЫ -- МОДУЛИ -- КОМПЬЮТЕРНАЯ ЛИНГВИСТИКА -- ВЕРИФИКАЦИЯ
Доп.точки доступа:
Казанский федеральный университет (Казань). кафедра интеллектуальных технологий поиска
МГУ им. М. В. Ломоносова (М.)

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

681.3
Л 610

    Липаев, Владимир Васильевич.
    Методы обеспечения качества крупномасштабных программных средств : Монография / В. В. Липаев ; Российская Академия наук, Институт системного программирования. - М. : СИНТЕГ, 2003. - 510[10] с. : ил, табл. - (Управление качеством). - Библиогр.: с. 501-505. - ISBN 5-89638-068-2 (в пер.) : 100.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06.004.12
~РУБ 681.3

Кл.слова (ненормированные):
программное обеспечение -- КАЧЕСТВО -- СТАНДАРТИЗАЦИЯ -- ПРОГРАММИРОВАНИЕ -- тестирование -- верификация -- оценка
Доп.точки доступа:
Российская Академия наук
Институт системного программирования

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

А
К642

    Кондратьев, Сергей Александрович.
    Разработка математического и прикладного программного обеспечения системы временной верификации проектов специализированных КМОП БИС : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12 / Сергей Александрович Кондратьев; Науч. рук. В. В. Ермак ; Московский государственный институт электронной техники. - М., 1995. - 26[4] с. - Библиогр.: с. 25-26. - (в пер.)

    Коды, Ключ.слова, Доп.точки доступа
~РУБ А

Кл.слова (ненормированные):
авторефераты -- математическое обеспечение ЭВМ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- КМОП -- ИНТЕГРАЛЬНЫЕ МИКРОСХЕМЫ -- верификация
Доп.точки доступа:
Ермак, В. В. \науч. рук.\
Московский государственный институт электронной техники

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

004
С 788

    Сташин, Владислав Викторович.
    Проектирование цифровых устройств на однокристальных микроконтроллерах : / В. В. Сташин, А. В. Урусов, О. Ф. Мологонцева. - М. : Энергоатомиздат, 1990. - 224 с. : ил. - Библиогр.: с. 220-221. - ISBN 5-283-01543-2 : 50.00 р., 01.10 р., 15.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.415.2
621.377.6:004.08
621.3.049.77
~РУБ 004

Кл.слова (ненормированные):
МК-СИСТЕМЫ -- ВНЕШНЯЯ ПАМЯТЬ -- ВЕРИФИКАЦИЯ -- МИКРОЭЛЕКТРОНИКА -- ХОЛОСТОЙ ХОД -- ЭНЕРГОПОТРЕБЛЕНИЕ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ОБРАБОТКА ДАННЫХ -- ОБЪЕКТЫ УПРАВЛЕНИЯ -- ДАТЧИКИ -- ИМПУЛЬСНЫЕ СИГНАЛЫ -- МАСШТАБИРОВАНИЕ -- ЗВУКОВЫЕ СИГНАЛЫ -- КЛАВИАТУРЫ -- ДИСПЛЕИ -- МАТРИЧНЫЕ ИНДИКАТОРЫ
Доп.точки доступа:
Урусов, Андрей Владимирович
Мологонцева, Ольга Федоровна

Имеются экземпляры в отделах: , аунл (30 экз.), счз1 (5 экз.)
Свободны: аунл (28), счз1 (5)
Постоянная гиперссылка

А
П 492

    Полежаев, Максим Олегович.
    Моделирование и верификация аппаратно - программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 05.13.05 - элементы и устройства вычислительной техники и систем управления / М. О. Полежаев ; науч. рук. С. М. Чудинов ; ОАО Институт электронных управляющих машин имени И.С. Брука. - М., 2014. - 20 с. : рис.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.052.42(043.3)
004.415.2(043.3)
~РУБ А

Кл.слова (ненормированные):
АВТОРЕФЕРАТЫ -- ДИССЕРТАЦИИ -- НАДЕЖНОСТЬ -- ПОМЕХОУСТОЙЧИВОСТЬ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ЭВМ
Доп.точки доступа:
Чудинов, Станислав Михайлович \науч. рук. .\
ОАО Институт электронных управляющих машин имени И.С. Брука

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

10.

316
Л 466

    Леньков, Роман Викторович.
    Социальное прогнозирование и проектирование [Текст] : учебное пособие / Р. В. Леньков. - 2-е изд., испр. и доп. - М. : ФОРУМ-ИНФРА-М, 2014. - 192 с. : ил. - (Высшее образование. Бакалавриат). - Библиогр.: с. 157-159. - ISBN 978-5-91134-877-9. - ISBN 978-5-16-009724-4 : 100.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
316.3/4(075.8)
~РУБ 316

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ИССЛЕДОВАНИЯ -- СОЦИОЛОГИЯ -- МЕТОДЫ ПРОГНОЗИРОВАНИЯ -- ОБРАЗОВАТЕЛЬНЫЕ ПРОЦЕССЫ -- ВЕРИФИКАЦИЯ ПРОГНОЗОВ -- ОБЩЕСТВЕННОЕ СОЗНАНИЕ -- ОТЕЧЕСТВЕННАЯ КУЛЬТУРА -- ПРЕСТУПНОСТЬ -- АЛКОГОЛИЗМ -- НАСЕЛЕНИЕ СТРАНЫ

Имеются экземпляры в отделах: кабинет ОН (2 экз.)
Свободны: кон (2)
Постоянная гиперссылка

11.

519
К 474

    Кларк, Эдмунд М. (младший).
    Верификация моделей программ: Model Checking : Монография: Пер. с англ. / Эдмунд М. Кларк, Орна Грамберг, Дорон Пелед; Пер. В. Захаров, Пер. Р. Кончаков, Пер. Д. Царьков, Ред. пер. Р. Смелянский. - М. : МЦНМО, 2002. - 416 с. : ил. - Библиогр.: с. 377-399. -Предм. указ.: с. 400-416. - ISBN 5-94057-054-2 (в пер.) : 80.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.686
~РУБ 519

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- верификация моделей -- модели -- Model Checking -- контроль программ -- АВТОМАТИЗАЦИЯ
Доп.точки доступа:
Грамберг, Орна
Пелед, Дорон
Захаров, В. \пер.\
Кончаков, Р. \пер.\
Царьков, Д. \пер.\
Смелянский, Р. \ред. пер.\

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

12.

514
Х 421

    Хибель, Михаэль.
    Основы векторного анализа цепей [Текст] / М. Хибель; пер. С. М. Смольский; ред. У. Филипп = Fundamentals of Vector Network Analysis / Hiebel, Michael. - М. : Издательский дом МЭИ, 2009. - 502 с. : граф., схемы, табл., цв. ил. - Пер. с англ. - Библиогр.: с. 453-459. - ISBN 978-5-383-00442-5 : 169.83 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
514.742:621.372
~РУБ 514

Кл.слова (ненормированные):
СПРАВОЧНЫЕ ИЗДАНИЯ -- ВОЛНОВЫЕ ВЕЛИЧИНЫ -- ИЗМЕРИТЕЛЬНЫЕ УСТАНОВКИ -- АТТЕНЮАТОРЫ -- ГЕНЕРАТОРЫ -- КАЛИБРОВКА ПРИБОРОВ -- ВЕРИФИКАЦИЯ -- ЛИНЕЙНЫЕ ИЗМЕРЕНИЯ -- ГРУППОВОЕ ЗАПАЗДЫВАНИЕ -- ГАРМОНИКИ -- ИНТЕРМОДУЛЯЦИЯ -- АНТЕННЫЕ УСТРОЙСТВА
Доп.точки доступа:
Смольский, С. М. \пер.\
Филипп, Уте \ред.\

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (7 экз.)
Свободны: счз1 (1), аунл (7)
Постоянная гиперссылка

13.

А
В 124

    Вагин, Денис Владимирович.
    Методы и реализующее их программное обеспечение для решения трёхмерных прямых и обратных задач геоэлектромагнетизма, термоупругости и многофазной фильтрации [Текст] : автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 05.13.18 - Математическое моделирование, численные методы и комплексы программ / Д. В. Вагин ; науч. конс. М. Г. Персова. - Новосибирск, 2022. - 39 с. : рис., схемы. - Библиогр.: с. 35-39

    Коды, Ключ.слова, Доп.точки доступа
УДК
550.38:531/534(043.3)
004.67:519.711.3(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- НАУКОЕМКИЕ ТЕХНОЛОГИИ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- ИЗМЕРИТЕЛЬНАЯ АППАРАТУРА -- МАТЕМАТИЧЕСКАЯ ФИЗИКА -- 3D - МОДЕЛИРОВАНИЕ -- ЛИНЕАРИЗАЦИЯ -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ -- ВЕРИФИКАЦИЯ
Доп.точки доступа:
Персова, Марина Геннадьевна \науч. конс.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

14.

    Кораблев, А. С.
    Верификация сырья и материалов / А. С. Кораблев, Е. Н. Бархатова // Научная сессия ТУСУР-2007. - Томск : В-Спектр, 2007. - Ч. 5. - С. 296-298.

    Коды, Ключ.слова, Доп.точки доступа

Доп.точки доступа:
Бархатова, Е. Н.

Полный текст/внешний ресурс (постраничный просмотр) : 2007_korablev_160807.pdf или скачать
Имеются экземпляры в отделах: всего 1
Свободны: 1

Постоянная гиперссылка

15.

А
Т 853

    Тупоносова, Елена Павловна.
    Управление кадровым обеспечением регионального производственного комплекса "ВУЗ - нефтяной кластер" [Текст] : автореферат ...кандидата технических наук: 2.3.3 / Е. П. Тупоносова ; науч. рук. М. Ю. Лившиц ; Самарский государственный технический университет (Самара), кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов. - Самара, 2023. - 24 с. : рис.

    Коды, Ключ.слова, Доп.точки доступа
УДК
332.1:378.095(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- ПРОИЗВОДСТВЕННЫЕ ПОКАЗАТЕЛИ -- ПОДГОТОВКА КАДРОВ -- ВЕРИФИКАЦИЯ -- ДИНАМИЧЕСКОЕ УПРАВЛЕНИЕ -- СИСТЕМНЫЕ СВЯЗИ -- АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ
Доп.точки доступа:
Лившиц, Михаил Юрьевич \науч. рук.\
Самарский государственный технический университет (Самара). кафедра управление и системный анализ теплоэнергетических и социотехнических комплексов

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

16.

621.37
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : диссертация на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 166 с. : рис., схемы, табл. - Библиогр.: с. 140-158

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ 621.37

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- ДИССЕРТАЦИИ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

17.

А
К 354

    Кенжегулова, Зарина Муратбековна.
    Аналитические модели защитных полосковых устройств на основе метода модального разложения во временной области [Текст] : автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.2.13 - Радиотехника, в том числе системы и устройства телевидения / З. М. Кенжегулова ; науч. рук. Р. С. Суровцев. - Томск, 2023. - 19 с. : рис., схемы, табл. - Библиогр.: с. 18-19

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.37:621.397.74(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- РАДИОТЕХНИКА -- ТЕЛЕВИДЕНИЕ -- РАДИОЭЛЕКТРОНИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОНЕЧНЫЕ РАЗНОСТИ -- СВЕРХКОРОТКИЕ ИМПУЛЬСЫ -- ВЕРИФИКАЦИЯ -- ИМПУЛЬСЫ
Доп.точки доступа:
Суровцев, Роман Сергеевич \науч. рук.\

Имеются экземпляры в отделах: счз1 (1 экз.), сбо (1 экз.)
Свободны: счз1 (1), сбо (1)
Постоянная гиперссылка

18.

658.5
Я 657

    Янушевская, Марина Николаевна.
    Аудит качества [Текст] : учебное пособие / М. Н. Янушевская ; Министерство науки и высшего образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУРа, 2021. - 120 с. : рис., табл. - Библиогр.: с. 111. - ISBN 978-5-86889-927-0 : 135.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
658.562:005(075.8)
~РУБ 658.5

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МЕНЕДЖМЕНТ -- ПРОФЕССИОНАЛЬНОЕ ОБЩЕНИЕ -- АНАЛИЗ ДОКУМЕНТОВ -- ВЕРИФИКАЦИЯ -- СЕРТИФИКАЦИЯ
Доп.точки доступа:
Лариошина, Ирина Анатольевна
Филонов, Н. Г. \рец.\
Сырямкин, В. И. \рец.\
Министерство науки и высшего образования Российской Федерации
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (2 экз.)
Свободны: счз1 (1), аунл (2)
Постоянная гиперссылка

19.

А
Р 920

    Ручай, Алексей Николаевич.
    Текстозависимая верификация диктора: модель, статистические исследования, комплекс программ [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 05.13.18 / А. Н. Ручай ; науч. рук. А. А. Соловьев ; Челябинский государственный университет. - Челябинск, 2012. - 22 с. : ил. - Библиогр.: с. 20-22

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.934(043.3)
~РУБ А

Кл.слова (ненормированные):
ОБРАБОТКА ЗВУКА -- СЕГМЕНТАЦИЯ РЕЧИ -- ВЕЙВЛЕТ-ПРЕОБРАЗОВАНИЕ СИГНАЛОВ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- АВТОРЕФЕРАТЫ
Доп.точки доступа:
Соловьев, Александр Артемович \науч. рук.\
Челябинский государственный университет (Челябинск)

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

20.

А
Д 444

    Дидикин, Антон Борисович.
    Формирование и развитие аналитической традиции в философии права ХХ века [Текст] : автореферат диссертации ... доктора философских наук. Спец. 09.00.03 - История философии / А. Б. Дидикин ; науч. конс. В. В. Оглезнев. - Томск, 2016. - 33 с. - Библиогр.: с. 29-32

    Коды, Ключ.слова, Доп.точки доступа
УДК
340.12(043.3)
~РУБ А

Кл.слова (ненормированные):
НАУЧНЫЕ ИЗДАНИЯ -- АВТОРЕФЕРАТЫ -- БРИТАНСКИЙ ЭМПИРИЗМ -- ФИЛОСОФИЯ НОВОГО ВРЕМЕНИ -- НЕОПОЗИТИВИЗМ -- ВЕРИФИКАЦИЯ -- ЛИНГВИСТИЧЕСКИЙ АНАЛИЗ -- ЭПИСТЕМОЛОГИЯ
Доп.точки доступа:
Оглезнев, Виталий Васильевич \науч. конс.\

Имеются экземпляры в отделах: сбо (1 экз.)
Свободны: сбо (1)
Постоянная гиперссылка

1-20 21-40 41-60 61-80 81-100 101-105

Статистика за 29.06.2024
Число запросов	87492
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)