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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

Поисковый запрос: (<.>K=PROLOG<.>)

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

004
Б 535

    Бессмертный, Игорь Александрович.
    Интеллектуальные системы [Электронный ресурс] : учебник и практикум для вузов / И. А. Бессмертный, А. Б. Нугуманова, А. В. Платонов ; рец.: С. А. Арустамов, Д. В. Пузанков ; Университет ИТМО. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., схемы, табл. - (Высшее образование). - Библиогр. в конце глав. - ISBN 978-5-534-01042-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.89(075.8)(076.5)
~РУБ 004

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

Доп.точки доступа:
Нугуманова, Алия Багдатовна
Платонов, Алексей Владимирович
Арустамов, С. А. \рец.\
Пузанков, Д. В. \рец.\
Университет ИТМО

Перейти к внешнему ресурсу https://urait.ru/viewer/intellektualnye-sistemy-451101#page/1
Постоянная гиперссылка

004
Ц 850

    Цуканова, Нина Ивановна.
    Теория и практика логического программирования на языке Visual Prolog 7 [Электронный ресурс] : учебное пособие / Н. И. Цуканова, Т. А. Дмитриева ; рец. И. В. Солодовников. - Электрон. текстовые дан. - М. : Горячая линия - Телеком, 2015. - on-line : рис., табл. - Библиогр.: с. 227. - ISBN 978-5-9912-0194-0 : Б. ц.

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

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

Доп.точки доступа:
Дмитриева, Татьяна Александровна
Солодовников, И. В. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/111113/#1
Постоянная гиперссылка

004
Б 140

    Багаев, Дмитрий Викторович.
    Методы искусственного интеллекта. Программирование в Prolog [Текст] : практикум / Д. В. Багаев ; Федеральное агентство по образованию, Ковровская государственная технологическая академия им. В. А. Дегтярева (Ковров). - Ковров : КГТА, 2010. - 52 с. - Библиогр.: с. 51. - ISBN 978-5-86151-356-2 : 155.32 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(076.5)
004.432.4 Пролог(076.5)
~РУБ 004

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

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

Шифр: И515367/2011/54/6
Журнал

Приборостроение : журнал информационных технологий, механики и оптики. Известия ВУЗов/ Министерство образования Российской Федерации (М.), Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики. - СПб. : ЦНИИ " Электроприбор", 1958 - . - ISSN 0021-3454. - Выходит ежемесячно
2011г. т.54 N 6

Содержание:
Бобцов, Алексей Алексеевич. Повышение точности оценки частоты синусоидального сигнала с использованием нелинейного фильтра / А. А. Бобцов, А. В. Крылов, А. А. Пыркин. - С.7-12
Кл.слова: идентификация, сигнал гармоничный, фильтрация
Арановский, Станислав Владимирович. Синтез гибридного наблюдателя для линейного объекта в условиях гармонического возмущения / С. В. Арановский, А. А. Бобцов, А. А. Пыркин. - С.13-18
Кл.слова: сигнал гармонический, система гибридная, коэффициент усиления сигнала
Быстров, Сергей Владимирович. Проектирование статических регуляторов в дискретных системах с периодически изменяющимися коэффициентами / С. В. Быстров, В. В. Григорьев, О. К. Мансурова. - С.18-24
Кл.слова: изменение параметров периодическое, качество процессов, моделирование математическое
Григорьев, Валерий Владимирович. Использование условий качественной экспоненциальной устойчивости для оценки динамических процессов / В. В. Григорьев, С. В. Быстров, А. К. Наумова. - С.24-30
Кл.слова: конструирование регуляторов, системы непрерывные и дискретные, быстродействие
Антонов, Владимир Феохарович. Утилизация тепловой энергии при контактной сварке / В. Ф. Антонов, С. В. Быстров, В. В. Григорьев. - С.30-36
Кл.слова: модель математическая, процессы тепловые, тепловыделение
Бирюков, Дмитрий Сергеевич. Грамианный подход к оценке энергетических затрат на управление в непрерывных системах при стационарных стохастических воздействиях / Д. С. Бирюков, А. В. Ушаков. - С.36-43
Кл.слова: матрица дисперсии, шум белый, шум окрашенный
Алиев, Тауфик Измайлович. Приоритетные стратегии управления трафиком в мультисервисных компьютерных сетях / Т. И. Алиев, Л. А. Муравьева-Витковская. - С.44-48
Кл.слова: качество обслуживания, модель функционирования, приоритеты динамические
Захаров, Илья Дмитриевич. Использование порождающих полиномов М-последовательностей при построении псевдослучайных кодовых шкал / И. Д. Захаров, А. А. Ожиганов. - С.49-55
Кл.слова: децимация, дорожки кодовые, преобразователи перемещений
Бессмертный, Игорь Александрович. Методы поиска информации в продукционных системах / И. А. Бессмертный. - С.56-59
Кл.слова: алгебра реляционная, язык Prolog, вывод логический
Бушуев, Александр Борисович. Анализ треугольных динамических структур / А. Б. Бушуев, С. В. Быстров, В. В. Григорьев. - С.59-65
Кл.слова: треугольник динамический, веполь, гомеостат
Ландау, Борис Ефимович. Бескарданная инерциальная система ориентации на электростатических гироскопах для орбитального космического аппарата / Б. Е. Ландау, А. А. Белаш, С. С. Гуревич. - С.66-74
Кл.слова: положение угловое, дрейфы гироскопов, навигация подвижных объектов
Евстифеев, Михаил Илларионович. Основные этапы разработки отечественных микромеханических гироскопов / М. И. Евстифеев. - С.75-80
Кл.слова: приборы навигации, технология, кремний
Садовников, Михаил Алексеевич. Прецизионный электропривод для оптических комплексов контроля космического пространства / М. А. Садовников, В. С. Томасов, В. А. Толмачев. - С.81-86
Кл.слова: космические аппараты, системы контроля, устройство телескопа опорно-поворотное
Ильина, Аглая Геннадьевна. Синтез ЛКГ-регулятора прецизионного следящего электропривода оси телескопа траекторных измерений / А. Г. Ильина, С. Ю. Ловлин, С. А. Тушев. - С.86-91
Кл.слова: регулирование робастное, шум состояния, система регулирования
Овчинников, Игорь Евгеньевич. Математическая модель вентильного двигателя поворотной платфоры телескопа / И. Е. Овчинников, А. В. Егоров. - С.91-98
Кл.слова: обмотка сегментированная статорная, момент элементарный, катушка статорная
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

004
Х 690

    Ходашинский, Илья Александрович.
    Методические указания по выполнению лабораторных работ по дисциплине "Системы искусственного интеллекта" для студентов специальности 230102- Автоматизированные системы обработки информации и управления : / И. А. Ходашинский ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизации обработки информации. - Томск : [б. и.], 2006. - 21 с. : ил. - [Системы искусственного интеллекта] . - Библиогр.: с. 21. - Б. ц.

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

Кл.слова (ненормированные):
учебные пособия -- методические пособия -- искусственный интеллект -- языки программирования -- среды программирования -- Visual Prolog
Доп.точки доступа:
Федеральное агентство по образованию
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизации обработки информации

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

Шифр: И515367/2010/53/10
Журнал

Содержание:
Гришин, Михаил Викторович. Маркирование цифровых изображений путем спектральных преобразований / М. В. Гришин, А. Ю. Тропченко, Цзянь Ван. - С.5-9
Кл.слова: цифровые водяные знаки, Корви алгоритм, вейвлеты
Козырев, Владимир Александрович. Нелинейный регрессионно - тензорный анализ оптимальной установки электромагнитного источника излучения при несанкционированном сканировании его электромагнитного поля / В. А. Козырев, А. Е. Куменко, А. Г. Рудых. - С.10-17
Кл.слова: векторная регрессия, нелинейные модели, матрицы
Петунин, Валерий Иванович. Синтез систем автоматического управления летательными аппаратами с автоматами ограничений предельных параметров / В. И. Петунин. - С.18-24
Кл.слова: селектор каналов, моделирование, системы автоматического управления
Видин, Борис Викторович. Особенности движения летательного аппарата в вертикальной плоскости в неравновесном режиме с учетом ограниченного ресурса управления / Б. В. Видин, И. О. Жаринов, О. О. Жаринов. - С.24-28
Кл.слова: прямолинейная траектория, пилотажно - навигационные комплексы, летательные аппараты
Волобуев, Сергей Викторович. Процедура распределенной параллельно-конвейерной барьерной синхронизации инвариантная к способу размещения синхронизируемых процессов / С. В. Волобуев, И. В. Зотов, В. Н. Николаев. - С.29-34
Кл.слова: многопроцессорные системы, матричная топология, межпроцессорное взаимодействие
Бессмертный, Игорь Александрович. Применение реляционных операций для логического вывода в продукционных системах / И. А. Бессмертный. - С.34-38
Кл.слова: реляционная алгебра, искусственный интеллект, среда Prolog
Титов, Алексей Владимирович. Методика оценки надежности встроенных программных средств при редких отказах / А. В. Титов. - С.38-41
Кл.слова: статистические данные, характеристики надежности, программные средства
Емельянцев, Геннадий Иванович. Погрешности бескарданного гирогоризонт компаса на электростатическом гироскопе и микромеханических датчиках / Г. И. Емельянцев, А. В. Лочехин. - С.42-48
Кл.слова: гидроакустический лаг, модели погрешностей, моделирование
Степанов, Олег Андреевич. Использование последовательных методов Монте-Карло в задаче корреляционно-экстремальной навигации / О. А. Степанов, А. Б. Торопов. - С.49-54
Кл.слова: алгоритмы, моделирование, апостериорная выборка
Янушковский, Антон Юльевич. Точность определения параметров демодулятора в системах с квадратурной амплитудно-фазовой модуляцией / А. Ю. Янушковский, А. В. Кривошейкин. - С.55-60
Кл.слова: параметры, пороговые уровни, сигналы
Земляков, Виктор Леонидович. Методы и средства технической диагностики пьезокерамических элементов / В. Л. Земляков. - С.61-65
Кл.слова: пьезомодули, коэффициент электромеханической связи, эквивалентные электрические схемы
Порхунов, Владимир Иванович. Устройство для импульсного фотолиза в спектрометрах ядерного магнитного резонанса / В. И. Порхунов. - С.65-68
Кл.слова: импульсное облучение, импульсные трансформаторы, ксеноновые лампы
Андреев, Андрей Леонидович. Особенности расчета оптико-электронных систем позиционирования на основе готовых телевизионных модулей / А. Л. Андреев, В. В. Коротаев. - С.69-75
Кл.слова: комплексное моделирование, габаритно - энергетический расчет, оптические сигналы
Торшина, Ирина Павловна. Особенности компьютерного моделирования многодиапазонных оптико-электронных систем обнаружения / И. П. Торшина. - С.75-79
Кл.слова: энергетические модели, фоноцелевая обстановка, оптические сигналы
Дилбазов, Тариел Гаджи оглы. Оптическая система с высокой разрешающей способностью для малогабаритного спектрального прибора / Т. Г. Дилбазов, Н. Я. Ягубзаде, Е. А. Гусейнова. - С.80-83
Кл.слова: дифракционные решетки, разрешающая сила, цилиндрические зеркала
Ходунков, Вячеслав Петрович. Определение эффективной температуропроводности псевдоожиженного слоя / В. П. Ходунков. - С.84-88
Кл.слова: пакет частиц, пульсации температуры, тепловые модели
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

Статистика за 01.07.2024
Число запросов	32317
Число заказов	0

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