Информатика

СИНТЕЗ ПСЕВДОСЛУЧАЙНЫХ КОНТРОЛИРУЮЩИХ ТЕСТОВ ДЛЯ ДИСКРЕТНОГО УСТРОЙСТВА

В статье рассматривается псевдослучайный метод построения контролирующих тестов для дискретных устройств, применимый как к комбинационным, так и к последовательностным устройствам. Используется энтропийный подход для отыскания оптимального распределения вероятностей входных наборов, что позволяет сокращать среднюю длину генерируемых тестов. Для определения упомянутых вероятностей решается многомерная задача поиска максимума выходной энтропии с применением генетического алгоритма.

МЕТОДЫ И АЛГОРИТМЫ ИДЕНТИФИКАЦИИ ПАРАМЕТРОВ ВНЕШНЕГО ТЕПЛООБМЕНА ПРОЦЕССОВ ТЕПЛОМАССОПЕРЕНОСА

Предложены методы и алгоритмы идентификации параметров внешнего теплообмена на основе метода наименьших квадратов. Проведён сравнительный анализ методов идентификации распределенных параметров.

O РАЗРЕШИМОСТИ ОБРАТНОЙ ЗАДАЧИ ШТУРМА – ЛИУВИЛЛЯ В СИММЕТРИЧНОМ СЛУЧАЕ

В статье предоставлены необходимые и достаточные условия разрешимости обратной задачи восстановления оператора Штурма – Лиувилля по его спектру в случае симметричного относительно середины отрезка потенциала.

УСЛОВИЯ РЕАЛИЗУЕМОСТИ ФУНКЦИЙ НА ПОЛУРЕШЁТКАХ УСТОЙЧИВЫМИ К СОСТЯЗАНИЯМ СХЕМАМИ

В статье рассматриваются схемы, реализующие функции на полурешётках. Даётся определение функциональной устойчивости таких схем к состязаниям, формулируются условия реализуемости функций на полурешётках функционально устойчивыми схемами в произвольном базисе и в любых RS (от Resistor, Switch)-базисах.

ОБ ОДНОМ ПОДХОДЕ К ВОССТАНОВЛЕНИЮ ПОВЕДЕНИЯ КОНЕЧНОГО АВТОМАТА С ЗАЦИКЛИВАНИЕМ ИЗМЕНЕНИЙ СОСТОЯНИЙ

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

ПРИМЕНЕНИЕ ПРОГРАММНОГО КОМПЛЕКСА gLite ДЛЯ ОРГАНИЗАЦИИ РАСПРЕДЕЛЕННОГО ХРАНИЛИЩА ДАННЫХ

В статье дается введение в использование инфраструктуры grid для организации распределенного хранилища данных. Существует большое число различных технологий построения grid-систем для задач географически распределенного хранения данных и распределенных вычислений. Одна из таких технологий, описываемая в данной работе, программное обеспечение промежуточного слоя gLite. Описаны архитектура, принцип работы и основные сервисы gLite.

АВТОМАТНАЯ ИНТЕРПРЕТАЦИЯ ЦЕЛОЧИСЛЕННЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

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

О РЕАЛИЗАЦИИ КОНЕЧНО-ЭЛЕМЕНТНОГО МОДЕЛИРОВАНИЯ В ЗАДАЧАХ ОСТЕОСИНТЕЗА НА КЛАСТЕРНЫХ СИСТЕМАХ СГУ

В статье рассмотрена оптимизированная кластерная версия пакета конечноэлементного моделирования, использованная в проекте «Разработка вычислительноинформационных технологий компьютерного моделирования на параллельных вычислительных комплексах травматологических и операционных процессов для оперативной выработки диагностических и лечебных рекомендаций», выполняемом в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007–2012 годы» по Государственному

ТЕХНОЛОГИЯ ПОСТРОЕНИЯ ТВЕРДОТЕЛЬНЫХ МОДЕЛЕЙ БЕДРЕННЫХ КОСТЕЙ НА ОСНОВЕ ДАННЫХ КОМПЬЮТЕРНОЙ ТОМОГРАФИИ

В статье рассмотрена технология построения твердотельных моделей бедренных костей на основе данных компьютерной томографии, использованная в проекте «Разработка вычислительно-информационных технологий компьютерного моделирования на параллельных вычислительных комплексах травматологических и операционных процессов для оперативной выработки диагностических и лечебных рекомендаций».

 

О БЕСКОНТУРНЫХ ТОЧНЫХ РАСШИРЕНИЯХ

Точные расширения неориентированных графов достаточно хорошо исследованы, а о точных расширениях орграфов известно значительно меньше. В данной работе доказывается, что только бесконтурный или сильно связный граф может быть точным 1-расширением орграфа. Более того, бесконтурным точным 1-расширением может быть только транзитивный турнир.

Страницы