Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:681.142.2
Номер:4 (74)
ГРАФО-АНАЛИТИЧЕСКИЕ МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ В САПР
Аннотация:
Рассматривается применение графо-аналитических моделей для верификации вычислительных процессов в рамках САПР, приводится пример построения комплексного кубического покрытия по графо-аналитической модели ациклического вычислительного процесса, формулируется задача синтеза тестовых наборов на основе кубического покрытия.
Ключевые слова:
Постоянный URL
Статьи в номере
- НАПРАВЛЕНИЯ ОПТИМИЗАЦИИ ФОТОПРИЕМНЫХ УСТРОЙСТВ С ЗАРЯДОВОЙ СВЯЗЬЮ ЛИНЕЙНОГО ТИПА
- ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ СЛУЧАЙНОЙ ПОГРЕШНОСТИ ОПТИКО-ЭЛЕКТРОННОГО ДОКОВОГО ПРОГИБОМЕРА
- АЛГОРИТМ ПРОСТРАНСТВЕННО-ВРЕМЕННОЙ СЕЛЕКЦИИ СИГНАЛОВ В АДАПТИВНЫХ СИСТЕМАХ НАБЛЮДЕНИЯ ЗА ПОДВИЖНЫМИ ОБЪЕКТАМИ
- ВЛИЯНИЕ КОНФИГУРАЦИИ ИНТЕГРИРУЮЩЕЙ СФЕРЫ НА ФОТОМЕТРИЧЕСКУЮ ПОГРЕШНОСТЬ ИЗМЕРЕНИЯ КОЭФФИЦИЕНТОВ ОТРАЖЕНИЯ
- ВЛИЯНИЕ ХАРАКТЕРИСТИК ПАТТЕРНА ЗАДАЧИ НА АДЕКВАТНОСТЬ ГИПОТЕЗ, ПОРОЖДАЕМЫХ НЕЙРОННОЙ СЕТЬЮ СО СВЯЗЯМИ ПО СХЕМЕ ГОЛОГРАФИИ ФУРЬЕ
- СОЗДАНИЕ ФОТОИНДУЦИРОВАННЫХ БРЭГГОВСКИХ ДИФРАКЦИОННЫХ СТРУКТУР В КРИСТАЛЛЕ НИОБАТА ЛИТИЯ С ПОМОЩЬЮ УЛЬТРАФИОЛЕТОВОГО НАНОСЕКУНДНОГО ЭКСИМЕРНОГО ИМПУЛЬСНОГО ЛАЗЕРА
- ИЗЛУЧЕНИЕ РЕЗОНАНСНОЙ СРЕДЫ, ВОЗБУЖДАЕМОЙ УЛЬТРАКОРОТКИМ СВЕТОВЫМ ИМПУЛЬСОМ
- ВЛИЯНИЕ ПЛЕНКИ ПОРИСТОГО КРЕМНИЯ НА СПЕКТРАЛЬНУЮ ХАРАКТЕРИСТИКУ КРЕМНИЕВОГО ФОТОДИОДА
- ПРИМЕНЕНИЕ НЕМАТИЧЕСКИХ ЖИДКИХ КРИСТАЛЛОВ ДЛЯ ВИЗУАЛИЗАЦИИ СТРУКТУРНЫХ ДЕФЕКТОВ КВАРЦЕВЫХ РЕЗОНАТОРОВ
- АНАЛИЗ СТРУКТУРЫ ПРОСТРАНСТВА СОСТОЯНИЙ ЛИНЕЙНЫХ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ ИХ РЕКУРРЕНТНОГО МОДЕЛЬНОГО ПРЕДСТАВЛЕНИЯ
- МОДЕЛИРОВАНИЕ СХЕМЫ ИСТОЧНИКА ТОКА ДЛЯ ПОДДЕРЖАНИЯ РАЗРЯДА В ЛАМПАХ НАКАЧКИ ТВЕРДОТЕЛЬНЫХ ЛАЗЕРОВ
- МОБИЛЬНАЯ ИНКЛИНОМЕТРИЧЕСКАЯ СТАНЦИЯ ДЛЯ ОПЕРАТИВНОЙ ПРИВЯЗКИ ВЗАИМНОГО ПОЛОЖЕНИЯ ГРУППЫ ВЗРЫВНЫХ СКВАЖИН ПОДЗЕМНОЙ ВЫРАБОТКИ
- ИССЛЕДОВАНИЕ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ С ТРЕМЯ СТЕПЕНЯМИ СВОБОДЫ
- ОСОБЕННОСТИ КОНСТРУИРОВАНИЯ КРУПНОГАБАРИТНОГО ЭЛЕКТРОПРИВОДА НА ОСНОВЕ ВОЛНОВЫХ ЗУБЧАТЫХ ПЕРЕДАЧ
- ДИФФЕРЕНЦИАЛЬНЫЙ ЕМКОСТНОЙ ДАТЧИК ПЕРЕМЕЩЕНИЙ С ДОПОЛНИТЕЛЬНОЙ ИНФОРМАЦИЕЙ О ЗАЗОРЕ
- ИССЛЕДОВАНИЕ ДИНАМИКИ МИКРОМЕХАНИЧЕСКОГО ГИРОСКОПА ПРИ МЕХАНИЧЕСКИХ ВОЗДЕЙСТВИЯХ
- АНАЛИЗ И УЧЕТ КОЛЛИМАЦИОННЫХ ИСКАЖЕНИЙ ПРИ МАЛОУГЛОВОМ РЕНТГЕНОВСКОМ РАССЕЯНИИ НА ОРИЕНТИРОВАННЫХ ОДНОРОДНЫХ ЦИЛИНДРАХ. ОЦЕНКА ВЛИЯНИЯ ЭКСПЕРИМЕНТАЛЬНОЙ ПОГРЕШНОСТИ НА КАЧЕСТВО КОЛЛИМАЦИОННОГО ПЕРЕСЧЕТА
- БЛИЖНЕПОЛЬНЫЕ ТЕРАГЕРЦОВЫЕ ЗОНДЫ НА ОСНОВЕ ЗАОСТРЕННЫХ МЕТАЛЛИЧЕСКИХ СТЕРЖНЕЙ С ДИФРАКЦИОННЫМИ РЕШЕТКАМИ
- ОПТИЧЕСКИЕ АНТЕННЫ-ЗОНДЫ НА ОСНОВЕ МЕТАЛЛИЧЕСКИХ НАНООБОЛОЧЕК
- ОБ УСТОЙЧИВОСТИ ВОЛЬФРАМОВЫХ ЗОНДОВ ПРИ ФУНКЦИОНИРОВАНИИ СКАНИРУЮЩЕГО ЗОНДОВОГО МИКРОСКОПА В РЕЖИМАХ ДИНАМИЧЕСКОЙ СИЛОВОЙ ЛИТОГРАФИИ И НАНОИНДЕНТИРОВАНИЯ
- МНОГОАГЕНТНЫЙ ПОДХОД К РЕШЕНИЮ ЗАДАЧ НЕИНФОРМИРОВАННОГО ПОИСКА
- ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ ПРИ ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ ПРОГРАММ, СОДЕРЖАЩИХ ОБРАБОТКУ ИСКЛЮЧЕНИЙ
- ИССЛЕДОВАНИЕ ПРОЦЕССОВ ВОЗДЕЙСТВИЯ ОПТИЧЕСКОГО ИЗЛУЧЕНИЯ НА БИОЛОГИЧЕСКИЕ ТКАНИ И ЭЛЕМЕНТЫ ЛАЗЕРНЫХ СИСТЕМ
- ИССЛЕДОВАНИЕ ПРОЦЕССОВ МНОГОЧАСТОТНОЙ ГЕНЕРАЦИИ МАЛОГАБАРИТНЫХ ТВЕРДОТЕЛЬНЫХ ЛАЗЕРОВ СРЕДНЕГО ИК-ДИАПАЗОНА С ДИОДНОЙ НАКАЧКОЙ
- ПАРАЛЛЕЛЬНЫЕ СТРУКТУРЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМИ ПРОЦЕССАМИ В САПР
- ИСПОЛЬЗОВАНИЕ ЦИФРОВЫХ СЕРТИФИКАТОВ И ПРОТОКОЛОВ SSL/TLS ДЛЯ ШИФРОВАНИЯ ДАННЫХ ПРИ ОБЛАЧНЫХ ВЫЧИСЛЕНИЯХ
- ОСОБЕННОСТИ РАЗРАБОТКИ СТРУКТУРЫ СРЕДСТВ ОБНАРУЖЕНИЯ УГРОЗ ОХРАНЯЕМОМУ ОБЪЕКТУ
- ИНТЕРАКТИВНЫЕ ТЕХНОЛОГИИ ОБУЧЕНИЯ ДЛЯ СОЦИАЛЬНО-ГУМАНИТАРНЫХ ДИСЦИПЛИН ВУЗА
- ОСОБЕННОСТИ ПРИМЕНЕНИЯ РАЗЛИЧНЫХ ИНСТРУМЕНТОВ ПРОДВИЖЕНИЯ УСЛУГ НА РЫНКЕ
- РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РЕАЛИЗАЦИИ БИЗНЕС-ПРОЦЕССОВ ИСПОЛНЕНИЯ СЛУЖЕБНЫХ ЗАПИСОК ДЛЯ КОМПАНИИ ООО «ГАЗПРОМ ТРАНСГАЗ САНКТ-ПЕТЕРБУРГ»
- СТАНОВЛЕНИЕ ОПТИЧЕСКОЙ ПРОМЫШЛЕННОСТИ В РОССИИ В 1905–1917 г.г.
- ДИСКУССИЯ ОБ ОСОБЕННОСТЯХ РАЗВИТИЯ РУССКОЙ ПРОМЫШЛЕННОСТИ НАЧАЛА ХХ ВЕКА В ОТЕЧЕСТВЕННОЙ ИСТОРИОГРАФИИ ВТОРОЙ ПОЛОВИНЫ ХХ ВЕКА
- ФТОРИДНАЯ НАНОКЕРАМИКА
- МНОГОКАНАЛЬНАЯ ОПТИКО-ЭЛЕКТРОННАЯ СИСТЕМА КОНТРОЛЯ ДЕФОРМАЦИЙ СООРУЖЕНИЙ
- АЛГОРИТМ УПРАВЛЕНИЯ ПО ВЫХОДНОЙ ПЕРЕМЕННОЙ ДЛЯ ЛИНЕЙНОГО ОБЪЕКТА С НЕИЗВЕСТНЫМИ ПАРАМЕТРАМИ И ДИНАМИЧЕСКОЙ РАЗМЕРНОСТЬЮ
- ФОРМИРОВАНИЕ БАНКА ПРОВЕРОЧНЫХ МАТРИЦ СИСТЕМАТИЧЕСКИХ ПОМЕХОЗАЩИЩЕННЫХ КОДОВ С ПОМОЩЬЮ МАТРИЧНОГО МУЛЬТИПЛИКАТИВНОГО КОМПОНЕНТА
- ИССЛЕДОВАНИЕ ПАРАМЕТРОВ ГЕНЕРАЦИИ ТВЕРДОТЕЛЬНЫХ ЭРБИЕВЫХ МИКРОЛАЗЕРОВ С ДИОДНОЙ НАКАЧКОЙ
- РАЗРАБОТКА МАЛОГАБАРИТНОГО УДАРНОГО СТЕНДА ДЛЯ ИСПЫТАНИЙ МИКРОМЕХАНИЧЕСКИХ ДАТЧИКОВ
- СОЗДАНИЕ ПАРАМЕТРИЧЕСКОЙ МОДЕЛИ ДЕТАЛИ В СРЕДЕ CAD-СИСТЕМЫ