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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

1-10 11-20 21-30 31-40 41-50 51-60

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)
Постоянная гиперссылка

А
К642

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

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

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

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

519
К 474

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

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

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

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

681.3
Л 610

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

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

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

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

316
Н 209

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

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

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

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

(Свободных экземпляров нет)
Шифр: Д301668/2006/6
Журнал
Томский государственный университет систем управления и радиоэлектроники.

Доклады Томского государственного университета систем управления и радиоэлектроники : периодический научный журнал/ Томский государственный университет систем управления и радиоэлектроники. - Томск : Издательство ТУСУР, 1997 - . - ISSN 1818-0442. - Выходит ежеквартально
2006г. N 6(14)

Содержание:
Алексеев, Валерий Павлович. Вопросы численного моделирования двумерного нелинейного нестационарного температурного поля подложки гибридно-пленочного микротермостата / В. П. Алексеев, В. М. Карабан. - С.5-10
Кл.слова: задача теплопереноса, тепловыделения, температура
Бабак, Леонид Иванович. "Визуальное" проектирование корректирующих и согласующих цепей полупроводниковых СВЧ-устройств. Часть 1. Описание процедуры проектирования / Л. И. Бабак, М. В. Черкашин, Д. А. Зайцев. - С.11-23
Кл.слова: методики проектирования, иммитанс, элементы цепи
Бойченко, Иван Валентинович. Программа распределенной обработки лидарных данных атмосферного зондирования / И. В. Бойченко, М. Ю. Катаев, А. И. Петров. - С.24-29
Кл.слова: станции лидарные, измерения, архитектура
Катаев, Михаил Юрьевич. Автоматизация процессов удаленных измерений, обработки и передачи данных Фурье-спектрометра / М. Ю. Катаев, А. В. Лончин, А. В. Мардяшов. - С.30-37
Кл.слова: обмен данными, технологии, обзоры
Катаев, Михаил Юрьевич. Чтение, визуализация и анализ трехмерной модели поверхности Земли по данным SRTM / М. Ю. Катаев, А. Г. Чугунов. - С.38-41
Кл.слова: рельеф, наклон, поворот
Кижнер, Любовь Ильинична. Волноводные условия распространения УКВ над Тихим океаном в зимний период / Л. И. Кижнер. - С.42-46
Кл.слова: волноводы атмосферные, характеристики, обработка наблюдений
Киселев, Олег Николаевич. Экспериментальное изучение мезомасштабных флуктуаций индекса преломления в приземном слое атмосферы / О. Н. Киселев, Л. И. Кижнер, М. В. Крутиков. - С.47-51
Кл.слова: неоднородности, метеопараметры, изммерения
Кологривов, Василий Андреевич. Взаимосвязь интерполяции, аппроксимации и преобразования Фурье / В. А. Кологривов, С. В. Мелихов. - С.52-56
Кл.слова: интерполяция, аппроксимация, преобразование Фурье
Мартышевский, Юрий Васильевич. Применение фракталов для обработки изображений в телевизионных автоматических системах / Ю. В. Мартышевский. - С.57-62
Кл.слова: сжатие фрактальное, восстановление, алгоритмы
Мелихов, Сергей Всеволодович. Оценка чувствительности радиоприемников с настроенными антеннами / С. В. Мелихов, В. А. Кологривов. - С.63-67
Кл.слова: шумы, коэффициенты, мощность
Мелихов, Сергей Всеволодович. Взаимосвязь качественных характеристик для различных видов цифровой манипуляции / С. В. Мелихов, В. А. Кологривов. - С.68-77
Кл.слова: ошибки битовые, эффективность спектральная, способность пропускная
Моисеев, Артем Андреевич. Алгоритм выделения тепловых аномалий подстилающей поверхности Земли по данным спутника NOAA / А. А. Моисеев, К. Т. Протасов. - С.78-85
Кл.слова: пожары лесные, обнаружение, зондирование дистанционное
Мицель, Артур Александрович. Модели оптимизации стратегии эмитента на вторичном рынке субфедеральных облигаций / А. А. Мицель, Е. А. Ефремова, Н. А. Истомин. - С.86-90
Кл.слова: облигации, тенденции цен, прогнозирование численное
Мицель, Артур Александрович. Методы оценки трудоемкости проектов по созданию программных систем / А. А. Мицель, К. А. Шелковников, Н. А. Истомин. - С.91-95
Кл.слова: системы программные, модель стоимости конструктивная, оценка трудоемкости
Савин, Александр Александрович. Квазиоптимальная оценка координат наземного источника излучения в космической системе с измерениями частоты радиосигналов / А. А. Савин, В. И. Тисленко. - С.96-102
Кл.слова: ошибки среднеквадратичные, координаты, погрешности
Сивцев, Степан Степанович. Генераторы импульсов наносекундной длительности в современных технологических процессах / С. С. Сивцев, В. А. Шалимов. - С.103-105
Кл.слова: импульсы, генраторы, обзор
Тисленко, Владимир Ильич. Динамический алгоритм разрешения неоднозначности в фазовом угломере космической системы определения местоположения наземного источника радиоизлучения / В. И. Тисленко, А. А. Савин. - С.106-113
Кл.слова: координаты, оценка, фильтрация
Московченко, Александр Дмитриевич. Философия и наука (основные признаки тождества и отличия) / А. Д. Московченко. - С.117-122
Кл.слова: верификация, фальсификация, парадигма
Имеются экземпляры в отделах: всего 2 : сбо (2)
Свободных экз. нет
Издания есть только в отделениях/филиалах

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

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

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

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

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

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

    Юдин, А. И.
    Верификация знаний с использованием полиграфа : доклад, тезисы доклада / А. И. Юдин // Научная сессия ТУСУР-2008. - Томск : В-Спектр, 2008. - Ч. 3. - С. 234-236. - Библиогр. в конце ст.

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

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

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

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)
Постоянная гиперссылка

10.

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

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

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

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

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

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

1-10 11-20 21-30 31-40 41-50 51-60

Статистика за 15.06.2024
Число запросов	16468
Число заказов	0

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