Программные продукты и системы

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

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

21. Параллельная генерация пространства состояний дискретных детерминированных моделей [№4 за 2010 год]
Автор: Коротков И.А.
Просмотров: 13907
Основной проблемой проверки конечных моделей является комбинаторный взрыв числа состояний, которые с ростом размера модели становится трудно хранить в ОЗУ одной машины. Рассматривается подход к проверке моделей на основе параллельной генерации состояний и их распределенного хранения. Предлагается схема распределенного хранения состояний, позволяющая уменьшить число удаленных вызовов между узлами в процессе генерации. Приводятся результаты экспериментов, полученные при помощи разработанного программного средства.

22. Программная система для исследования вычислительной сложности решения задач на графовых моделях [№4 за 2010 год]
Авторы: Ткаченко С.В., Кохов В.А.
Просмотров: 16758
Рассматривается комплекс оригинальных программных средств «Полигон для исследования алгоритмов струк-турной информатики», предназначенный для экспериментального определения вычислительной сложности про-граммных реализаций алгоритмов решения задач на графовых моделях систем. Перечислены классы решаемых задач и средства, входящие в состав комплекса. Проиллюстрирован метод исследования эффективности, основанный на выделении уровней сложности графовых моделей.

23. Моделирование зерна пленки для сокрытия артефактов кодирования видеокодеков стандарта Н.264 [№4 за 2010 год]
Авторы: Куликов Д.Л., Стрельников К.Н.
Просмотров: 12553
В данной статье предлагается новый подход к сокрытию артефактов блочности в видео, возникающих в процессе кодирования. Основная идея маскирования артефакта блочности, помимо использования базовых алгоритмов де-блокинга, заключается в реконструкции зерна пленки – специфичных среднечастотных искажений. Предложенный метод позволяет значительно снизить визуальную заметность артефактов блочности и замаскировать неточности ра-боты алгоритмов подавления блочности. Для проверки качества работы предложенного метода используется экс-пертное сравнение по методологии SAMVIQ.

24. Аппаратно-программный комплекс для измерения электромагнитных полей промышленной частоты в электрических сетях [№4 за 2010 год]
Авторы: Курбацкий В.Г., Струмеляк А.В.
Просмотров: 14920
Одной из актуальных проблем современной электроэнергетики является обеспечение безопасности персонала в зоне влияния электромагнитных полей. В статье представлен аппаратно-программный комплекс для измерения на-пряженности электрических и магнитных полей промышленной частоты.

25. Интеллектный программно-вычислительный комплекс «АНАПРО» для задачи мониторинга в распределительных электрических сетях [№4 за 2010 год]
Авторы: Курбацкий В.Г., Томин Н.В.
Просмотров: 14522
В работе представлен интеллектный программно-вычислительный комплекс «АНАПРО», реализующий подходы на базе современных методов нелинейного анализа данных и технологий искусственного интеллекта. Приведены основные подсистемы комплекса и показана их работа на примере экспериментальных расчетов для реальных рас-пределительных электрических сетей.

26. Построение оптической транспортной магистрали оператора связи [№4 за 2010 год]
Автор: Лисецкий Ю.М.
Просмотров: 12687
Рассматривается построение оптической магистральной транспортной сети оператора связи. Сформулирован набор требований, приведены соответствующая им функциональная структура телекоммуникационных систем и по-следовательность задач, решаемых в ходе их интеграции. Описан опыт реализации проекта для оператора мобильной связи «Киевстар Дж.Эс.Эм.».

27. Построение адаптивной регулярной сетки трехмерной сцены в реальном режиме времени [№4 за 2010 год]
Автор: Мальцев А.В.
Просмотров: 16594
Предлагаются новые методы и алгоритмы построения и заполнения в реальном режиме времени структуры ус-корения, основанной на регулярной сетке, для системы трассировки лучей в трехмерных виртуальных сценах. Опи-санные методы и алгоритмы используют архитектуру параллельных вычислений CUDA и подходят как для статиче-ских, так и для динамических сцен.

28. Алгоритм поддержки принятия решений при ликвидации чрезвычайных ситуаций [№4 за 2010 год]
Автор: Матвеев Ю.Н.
Просмотров: 18867
В статье предложен алгоритм функционирования автоматизированной системы поддержки принятия решений для управления процессами ликвидации чрезвычайных ситуаций на объектах хранения и уничтожения химического оружия.

29. Генератор текста программ в исходном виде для систем реального времени [№4 за 2010 год]
Автор: Нархов К.Г.
Просмотров: 18671
Статья посвящена практическим вопросам технологии генерации текста программ в исходном виде для систем реального времени. Рассматриваются принципы работы технологических средств автоматизированной генерации программ, логическая структура генератора текста программ в исходном виде и алгоритмы функционирования его программных модулей.

30. Исследование архитектурной чувствительности к сбоям с использованием метода статистического внесения сбоев [№4 за 2010 год]
Авторы: Осипенко П.Н., Антонов А.А., Левадский С.А.
Просмотров: 13193
В статье описываются методика определения коэффициента архитектурной чувствительности к сбоям цифровых блоков и результаты ее применения на примере исследования блока автомата состояний контроллера мультиплексного канала информационного обмена, выполненного в соответствии с ГОСТ Р 52070-2003

◄ ← Предыдущая | 1 | 2 | 3 | 4 | 5 | Следующая → ►