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

Базы данных

- результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

Поисковый запрос: (<.>K=ЛОГИЧЕСКИЕ ВЫВОДЫ<.>)

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

330
У 847

    Уткин, Владимир Борисович.
    Информационные системы в экономике [Текст] : учебник для вузов / В. Б. Уткин, К. В. Балдин. - 5-е изд., стереотип. - М. : Академия, 2010. - 288 с. - (Высшее профессиональное образование. Экономика и управление). - Библиогр.: с. 278-280. - ISBN 978-5-7695-6184-9 : 320.00 р.

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

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

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

Шифр: К067075/2010/4
Журнал
Украина. Национальная академия наук Украины (Киев).

Кибернетика и системный анализ : международный научно-теоретический журнал/ Национальная академия наук Украины (Киев), Институт кибернетики им. В.М. Глушкова (Киев). - Киев, 1965 - . - ISSN 1019-5262. - Выходит раз в два месяца
2010г. N 4

Содержание:
Летичевский, А. А. Свойства предикатного трансформера системы VRS / А. А. Летичевский, А. Б. Годлевский, С. В. Потиенко
Кл.слова: верификация, символьное моделирование, трансформеры
Скобелев, В. В. О сложности анализа автоматов над конечным кольцом / В. В. Скобелев, В. Г. Скобелев
Кл.слова: автоматы, конечные кольца, симметричные поточные шифры
Шахбазян, К. В. Вхождения в моноидах треков / К. В. Шахбазян, Ю. Г. Шукурян
Кл.слова: графы зависимостей, моноид треков, сравнение образцов
Захаров, В. А. Проверка эквивалентности программ с помощью двухленточных автоматов / В. А. Захаров
Кл.слова: разрешимость, многоленточные автоматы, вычислительная сложность
Елфимова, Л. Д. Быстрые гибридные алгоритмы умножения матриц / Л. Д. Елфимова
Кл.слова: линейная алгебра, умножение матриц, клеточные методы
Чеботарев, А. Н. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / А. Н. Чеботарев
Кл.слова: двустороннее сверхслово, элиминация кванторов, язык спецификации L*
Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели / А. В. Колчин
Кл.слова: проверка модели, динамическое построение, абстракция
Годлевский, А. Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем / А. Б. Годлевский
Кл.слова: символьное моделирование, предикатные преобразователи
Bjorner, D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner
Кл.слова: domain engineering, domin modelling, software development
Глибовец, Н. Н. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda / Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало
Кл.слова: расширение языка, распределенные вычисления, координационные системы
Герман, В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел / В. Н. Герман
Кл.слова: верификация моделей, линейные неравенства, элиминация кванторов
Лаврищева, Е. М. Формальные основы интероперабельности компонентов в программировании / Е. М. Лаврищева
Кл.слова: гетерогенные среды, интероперабельность, компонентное программирование
Дорошенко, А. Е. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств / А. Е. Дорошенко, Н. В. Котюк, С. С. Николаев
Кл.слова: искусственный интеллект, алгебра алгоритмики, синтез программ
Львов, М. С. Полиномиальные инварианты линейных циклов / М. С. Львов
Кл.слова: статический анализ, полиномиальные инварианты, линейные циклы
Летичевский, А. А. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования / А. А. Летичевский, В. Н. Герман, М. К. Мороховец
Кл.слова: алгебраическое программирование, параллельные вычисления, логические выводы
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

Шифр: М101216/2010/3
Журнал

Мехатроника, автоматизация, управление : теоретический и прикладной научно-технический журнал. - М. : Новые технологии. - ISSN 1684-6427. - Выходит ежемесячно
2010г. N 3

Содержание:
Фурсов, В. А. Согласованная идентификация управляемого объекта по малому числу наблюдений / В. А. Фурсов
Кл.слова: функции взаимной близости, точность оценок, векторные уравнения
Цыкунов, А. М. Следящие системы для линейных объектов с запаздывающим управлением / А. М. Цыкунов
Кл.слова: эталонные модели, ошибки прогноза, наблюдатели
Ушаков, А. В. Формирование полиномиальной динамической модели при сложном экзогенном стохастическом воздействии / А. В. Ушаков, А. Ю. Цвентарный
Кл.слова: асимптотическое представление, относительные дисперсии, модальное управление
Седов, А. В. Новый подход для оценки учета высокочастотных составляющих при выборе частоты дискретизации сигнала / А. В. Седов, Е. В. Тришечкин
Кл.слова: цифровые системы, адаптивная дискретизация, спектры сигналов
Романов, А. М. Оценка старших производных в контуре цифровой системы управления в условиях шумов / А. М. Романов
Кл.слова: обработка датчиков, Калмана фильтры, Фурье ряды
Иванов, Е. Б. Система поддержки принятия решений по управлению доменным процессом / Е. Б. Иванов
Кл.слова: физико-химические модели, доменные печи, рентгенофазовый анализ
Антонов, А. Н. Нечеткая модель системы принятия решений по выбору параметров дозирования пипетирующей станции EVO Freedom 75 / А. Н. Антонов, М. М. Аршанский
Кл.слова: Мамдани алгоритм, логические выводы, жидкие реагенты
Фалдин, Н. В. Синтез оптимального по быстродействию объемного силового гидропривода при задании ограничения на потребляемую мощность / Н. В. Фалдин, А. Ю. Липатов, А. В. Моржов
Кл.слова: оптимальный закон управления, приводные двигатели, фазовые траектории
Когут, А. Т. Синтез приближенных алгоритмов двойного управления двигателями постоянного тока на основе процедур линеаризации / А. Т. Когут
Кл.слова: нелинейные объекты, обратная задача динамики, траекторное управление
Ганнель, Л. В. Анализ процессов управления линейными синхронными двигателями на основе быстродействующих синусоидальных усилителей мощности / Л. В. Ганнель
Кл.слова: пульсации тока, вентильные двигатели, силы двигателя
Зенкевич, С. Л. Управление движением мобильного робота в неподвижную точку / С. Л. Зенкевич, П. В. Космачев
Кл.слова: закон управления, параметрический синтез, модели движения
Сильвестров, М. М. Концепция построения эргатического комплекса управления многоцелевыми беспилотными летательными аппаратами / М. М. Сильвестров, А. В. Федоров, Л. О. Котицын
Кл.слова: эргатический интерфейс, запас устойчивости, бортовое оборудование
Сапунков, Я. Г. Решение задач оптимального управления космическим аппаратом с ограниченной и импульсной тягой в KS-переменных / Я. Г. Сапунков
Кл.слова: Кустаанхеймо-Штифеля переменные, Понтрягина принцип, жесткая встреча
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

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

Статистика за 18.07.2024
Число запросов	68261
Число заказов	0

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