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

Базы данных


БД "Статьи" - результаты поиска

Вид поиска

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


    Светлов, В. А.
    Грузино-Югоосетинский конфликт. Размышления конфликтолога [Текст] / В. А. Светлов // Полис: Политические исследования. - 2009. - N 3. - С. 65-73. : 4 рис. - Библиогр.: с. 73 (4 назв. )
УДК
ББК 66.4(4/8)
Рубрики: Политика. Политология
   Международные отношения и внешняя политика зарубежных стран--Грузия--Южная Осетия--Россия, 2008 г.

Кл.слова (ненормированные):
политические конфликты -- военные конфликты -- логическое моделирование -- конфликтология -- российско-грузинские отношения
Аннотация: Логическое моделирование развития событий и анализ военного конфликта между Грузией и Южной Осетией, а также Россией.


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

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

2.


    Панфилов, М. А.
    Логико-смысловое моделирование и информационные технологии в профессиональной подготовке современного юриста [Текст] / М. А. Панфилов // Стандарты и мониторинг в образовании. - 2009. - N 4. - С. 33-40. . - Библиогр.: с. 40 (14 назв. )
УДК
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование

Кл.слова (ненормированные):
педагогическое моделирование -- блок-модули -- подготовка юристов -- знаково-символический язык -- юристы -- профессиональная подготовка -- информационные технологии -- логическое моделирование -- смысловое моделирование -- теоретическая подготовка -- практическая подготовка -- высшее образование -- юридическое образование -- моделирование -- юридическая специальность -- студенты
Аннотация: В статье описаны проблемы теоретической и практической подготовки студентов юридических специальностей, этапы процесса логико-смыслового моделирования в профессиональной подготовке будущих юристов.


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

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

3.


    Бибило, Петр.
    Оценка энергопотребления комбинационных блоков заказных КМОП СБИС на основе логического моделирования [Текст] / Петр Бибило // Современная электроника. - 2010. - N 2. - С. 54-59 : 4 рис., 1 табл. - Библиогр.: с. 59 (5 назв. )
УДК
ББК 32.85
Рубрики: Радиоэлектроника
   Электроника в целом

Кл.слова (ненормированные):
интегральные схемы -- КМОП СБИС -- комбинационная логика -- логическое моделирование -- потребление тока -- схемотехническое моделирование -- цифровые интегральные схемы -- энергопотребление
Аннотация: Предлагается оценивать энергопотребление блоков комбинационной логики КМОП СБИС на основе логического моделирования VHDL-описаний схем, которое позволяет быстро подсчитать суммарное число переключений транзисторов в логических элементах. Приводятся результаты экспериментов по моделированию схемотехнических и логических описаний схем на тех же последовательностях входных сигналов.


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

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

4.


    Бибило, П. Н. (доктор технических наук; профессор; заведующий лабораторией).
    Нахождение энергоемких текстов для логических схем, реализующих конечные автоматы [Текст] / П. Н. Бибило, В. И. Романов // Программная инженерия. - 2017. - Т. 8, № 1. - С. 7-15 : ил. - Библиогр.: с. 14 (8 назв.). - Загл., аннот. и библиогр. парал. рус., англ. . - ISSN 2220-3397
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
КМОП-технология -- конечные автоматы -- логические схемы -- логическое моделирование -- оценка энергопотребления -- программная инженерия -- энергоемкие тесты -- энергопотребление логических схем
Аннотация: Сокращение энергопотребления цифровых блоков является одной из важнейших задач, возникающих при проектировании СБИС, выполняемых по КМОП-технологии. Предлагается проводить быструю оценку энергопотребления логических схем, реализующих конечные автоматы, используя результаты моделирования как структурных описаний логических схем, так и алгоритмических описаний, по которым строятся логические схемы.


Доп.точки доступа:
Романов, В. И. (кандидат технических наук; доцент; ведущий научный сотрудник)

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

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

5.


    Иванников, А. Д. (доктор технических наук; заместитель директора по научной работе).
    Формирование отладочного набора тестов для проверки функций цифровых систем управления объектами [Текст] / А. Д. Иванников // Мехатроника, автоматизация, управление. - 2017. - Т. 18, № 12. - С. 795-801 : ил. - Библиогр.: с. 800-801 (11 назв.). - Заглавие, аннотация, ключевые слова, список литературы на русском и английском языках . - ISSN 1684-6427
УДК
ББК 32.96
Рубрики: Радиоэлектроника
   Автоматика и телемеханика

Кл.слова (ненормированные):
входные взаимодействия -- логические сигналы -- логическое моделирование -- отладочные тесты -- системы управления -- управление объектами -- управляющие цифровые системы -- цифровые системы -- цифровые системы управления
Аннотация: Рассматриваются управляющие цифровые системы, функционирование которых может быть представлено в виде выполнения последовательности функций из конечного алфавита. Управляющие цифровые системы моделируются на уровне логических сигналов, которыми они обмениваются с внешней средой, в том числе с управляемыми объектами. В качестве входных данных для моделирования используются входные взаимодействия, включающие как собственно входные сигналы, так и выходные сигналы управления обменом. Предлагается алгоритм формирования минимально полного набора тестов для отладки проектов, основанный на задаваемых разработчиком классах эквивалентности входных взаимодействий.


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

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

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