Другие журналы

Савельев Александр Яковлевич

77-30569/372760 Методы представления и преобразования сигналов в базисе обобщенных функций Крестенсона
Инженерное образование # 03, март 2012
Рассмотрены методы синтеза и основные свойства различных дискретных базисных систем обобщенных функций Крестенсона в многоосновных системах счисления, а так же оригинальный скалярный способ построения быстрых алгоритмов анализа спектра в этих базисах. Теоретические результаты проиллюстрированы конкретными примерами.
77-30569/373672 Проблемы формальной верификации технических систем
Инженерное образование # 04, апрель 2012
 Улучшение результатов верификации аппаратных и программных систем связывается с применением формальных методов, среди которых авторы выделяют метод model checking, обеспечивающий автоматизированное рассмотрение всех возможных «траекторий функционирования» системы. Анализируется проблема «взрыва числа состояний», свойственная верификации методом model checking, и рассматриваются различные методы борьбы с этой проблемой. Особое внимание уделяется верификации протоколов когерентности памяти и излагаются возможные подходы к решению данной задачи.
 
ПОИСК
 
elibrary crossref ulrichsweb neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2020 «Наука и образование»
Перепечатка материалов журнала без согласования с редакцией запрещена
 Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)