На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
16 Июня 2024

Статьи из выпуска № 2 за 2010 год.

Упорядочить результаты по:
Дате публикации | Заголовку статьи | Авторам

31. Оценка инновационного потенциала организаций региона на основе гибридных экспертных систем [№2 за 2010 год]
Авторы: Пятковский О.И., Тишков О.И.
Просмотров: 13724
В статье рассматриваются вопросы создания моделей и программного обеспечения для определения уровня ин-новационного потенциала организации с применением технологии гибридных экспертных систем и нейронных сетей.

32. Технология автоматизированной защиты информационного обслуживания через Интернет [№2 за 2010 год]
Автор: Алексеевский М.В.
Просмотров: 11170
Рассматривается технология построения автоматизированных информационных систем реального времени и динамического криптографирования информационных ресурсов в масштабе Интернета. Представленная технология существенно опережает по производительности, уровню автоматизации и безопасности известные технологии ин-формационного обслуживания, соблюдаемые в рамках стандарта HTML/XML и концепции сервера приложений.

33. Метод определения размытости контуров на цифровых изображениях [№2 за 2010 год]
Автор: Кольцов П.П.
Просмотров: 7790
В работе предлагается метод оценки размытости изображения без привлечения априорной информации об усло-виях получения этого изображения. Метод основан на применении предложенного ранее оператора выделения линий, суть которого состоит в локальной аппроксимации фрагментов оцифрованного изображения другой, более простой функцией. Аппроксимация выполняется в окнах, форма которых приближена к круглой. В качестве простой функции берется ступенчатая.

34. Растущие индукторные пространства и анализ параллельных алгоритмов [№2 за 2010 год]
Автор: Коганов А.В.
Просмотров: 9215
Вводятся критерии эффективности использования параллельных алгоритмов при расчете логических и матема-тических функций. Для анализа этих критериев предлагается аппарат растущих индукторных пространств. Подробно рассмотрены две задачи с эффективной и малоэффективной параллельностью алгоритмов.

35. Реализация стереорежима для различных устройств отображения в реальном времени [№2 за 2010 год]
Автор: Торгашев М.А.
Просмотров: 10526
В статье подробно рассматриваются алгоритмы реализации в реальном времени стереорежима в различных форматах, используемых в устройствах стереоотображения. В число рассмотренных систем и технологий стерео-отображения входят системы с анаглифическими, а также с затворными очками, поляризационные проекционные системы, мониторы с чересстрочной стереотехнологией и автостереоскопические мониторы Philips 3D Solutions.

36. Моделирование трехмерных температурных полей в электронных модулях [№2 за 2010 год]
Авторы: Мадера А.Г., Кандалов П.И.
Просмотров: 13438
Статья посвящена методу математического и компьютерного моделирования трехмерных температурных полей в сложных конструкциях реальных электронных модулей, содержащих многослойную печатную плату и установленные на ней интегральные микросхемы и электрорадиоэлементы. Метод моделирования реализован в виде программного пакета для персональных компьютеров, доведенного до уровня пользователя.

37. Развитие системы стохастического тестирования микропроцессоров INTEG [№2 за 2010 год]
Авторы: Грибков И.В., Захаров А.В., Коганов М.А., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш.
Просмотров: 12158
Случайное тестирование является одним из наиболее мощных средств верификации проектов микропроцессоров. Для упрощения генерации случайных тестов и создания инструмента для тестирования процессоров архитектуры MIPS64 была создана система INTEG. После ее использования на протяжении нескольких лет проводилась глубокая модернизация INTEG, результатом которой стал программный комплекс INTEG2. В статье рассматриваются основные своиства и компоненты как INTEG, так и INTEG2, описываются их сходство и различие. Также приводятся некоторые направления дальнейшего развития INTEG2.

38. Анализ отказоустойчивости параллельных кольцевых вычислительных систем [№2 за 2010 год]
Авторы: Коганов А.В., Сазонов А.Н.
Просмотров: 9460
Вводятся понятия модели кольцевой вычислительной системы (КлВС), представленной в виде ненаправленного кольцевого раскрашенного графа, а также набора одинаковых кольцевых моделей (НКлВС). В качестве модели задачи для НКлВС используется задача, граф которой полностью совпадает с графом КлВС. Исследуется возможность выполнения задачи на разрушенной КлВС, а также ее зависимость от количества цветов в графе и длины кольца. Методом имитационного моделирования исследуется зависимость наработки НКлВС от параметров графа КлВС и закона роста НКлВС.

39. Программирование, ориентированное на мониторинг, в контексте контролируемого выполнения [№2 за 2010 год]
Авторы: Галатенко В.А., Костюхин К.А., Шмырев Н.В.
Просмотров: 11167
Формальные методы верификации программ, основанные на статической проверке соответствия модели, дока-зательстве теорем, статическом анализе, не позволяют в полной мере решать задачи, связанные с контролем количе-ственных характеристик выполнения приложений. В статье предлагается подход, включающий как статический анализ программного кода на соответствие модели, так и динамическую верификацию программы в ходе ее выполнения.

40. Математическая модель контролируемого выполнения [№2 за 2010 год]
Автор: Шмырев Н.В.
Просмотров: 9303
Описание сложной информационной системы требует наличия формализма, позволяющего описывать объекты системы и их взаимодействие, унифицировать подходы к вычислениям. В статье представлена модель вычислений, описывающая основные аспекты контролируемого выполнения распределенных ответственных приложений реального времени.

← Предыдущая | 1 | 2 | 3 | 4