Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Книги" (2)БД "Статьи" (5)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логическое моделирование<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Ларионов, А. А.
    Параллельные схемы алгоритмов автоматического доказательства теорем в исчислении позитивно-образованных формул [Текст] / А. А. Ларионов, Е. А. Черкашин // Дистанционное и виртуальное обучение. - 2012. - № 2. - С. 93-100. . - Библиогр.: с. 100 (7 назв. )
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
параллельные схемы -- алгоритмы -- теоремы -- доказательство теорем -- логическое моделирование -- вычислительные системы -- программные системы -- позитивно-образованные формулы -- информационные системы -- компьютерные программы
Аннотация: Представлены результаты исследования исчисления позитивно-образованных формул на предмет построения параллельных схем алгоритмов логического вывода.


Доп.точки доступа:
Черкашин, Е. А. (кандидат технических наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
2.


    Силкина, Галина Юрьевна.
    Пространственно-временная структура инновационных процессов и ее модельное представление [Текст] / Г. Ю. Силкина // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Экономические науки. - 2012. - № 1 (139). - С. 309-315. - Библиогр.: с. 315 (8 назв.) . - ISSN 1994-2354
УДК
^a658.152
ББК 65.291.5
Рубрики: Экономика
   Экономика организации (предприятия, фирмы) в целом
Кл.слова (ненормированные):
инновации -- логическое моделирование -- анализ инновационных процессов -- логистическая динамика -- логистическая кривая -- пространственно-временные структуры -- инновационные методы хозяйствования -- конкурентоспособность -- математическое моделирование -- диффузия инноваций -- теория катастроф -- экономический анализ
Аннотация: Рассмотрены закономерности инновационных процессов как основа их логического моделирования. Исследована модель логистической динамики как инвариантный инструмент анализа инновационных процессов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
3.


    Иванников, А. Д. (доктор технических наук).
    Анализ методов декомпозиции задачи отладки проектов цифровых систем [Текст] / А. Д. Иванников // Информационные технологии. - 2016. - Т. 22, № 10. - С. 758-763. - Библиогр.: с. 763 (5 назв.) . - ISSN 1684-6400
УДК
^a004.31
ББК 32.973-04
Рубрики: Вычислительная техника
   Блоки обработки данных
Кл.слова (ненормированные):
цифровые системы -- логическое моделирование -- логико-временной анализ -- алгебраические модели -- модели программного обеспечения
Аннотация: В связи со сложностью и большой размерностью задачи отладки сложных цифровых систем методом моделирования в целом предлагаются алгебраические модели методов декомпозиции этой задачи, а именно: вертикальной и горизонтальной структурной декомпозиции, функциональной декомпозиции, декомпозиции по типам ошибок. Приводится алгебраическая модель программного обеспечения цифровых систем. Программное обеспечение представляется как полугруппа операторов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 06.09.2024
Число запросов 43995
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)