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

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

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

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

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

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

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

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

1. Вопросы эквивалентности схем параллельных программ [№4 за 2011 год]
Авторы: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.
Просмотров: 12682
Рассматриваются вопросы эквивалентности схем параллельных программ. Предложен метод сравнения систем рекурсивных уравнений на эквивалентность, позволяющий анализировать различные свойства программ.

2. Процессная семантика языков распределенного программирования [№4 за 2011 год]
Авторы: Кораблин Ю.П., Кучугуров И.В.
Просмотров: 10742
В данной статье семантика языков распределенного программирования исследуется посредством сопоставления программам множества вычислительных последовательностей и анализа семантических значений, которые могут быть представлены системами рекурсивных уравнений. Это позволяет проводить формальную верификацию программ.

3. Алгоритм визуализации линий уровня двухмерных скалярных полей на регулярной сетке [№4 за 2011 год]
Автор: Кандалов П.И.
Просмотров: 11320
В статье рассматриваются методика и алгоритм построения линий уровня массива данных на регулярной сетке по алгоритму Marching Squares. Алгоритм реализован на языке Pascal. Описывается методика заливки областей цве-товой палитрой между соседними линиями уровня.

4. Технология разработки систем поддержки научных исследований [№4 за 2011 год]
Авторы: Бачурин С.А., Гусева А.И.
Просмотров: 12643
Данная статья посвящена процессам проектирования систем поддержки научно-исследовательской деятельности. Предлагается подход к проектированию таких систем на основе анализа моделей компетенций исследователей. В качестве платформы для разработки системы предлагается использовать CMS Drupal.

5. Применение чисел малой разрядности в задаче бинарной оптимизации [№4 за 2011 год]
Авторы: Крыжановский М.В., Мальсагов М.Ю.
Просмотров: 8745
Рассматривается задача нейросетевой минимизации квадратичного функционала в пространстве бинарных пере-менных. Для ее решения предложен и исследован модифицированный алгоритм минимизации, основанный на при-менении метода дискретизации. Показано, что его применение дает уменьшение объема вычислений.

6. Математическое моделирование конвективного теплопереноса в электронных устройствах [№4 за 2011 год]
Автор: Мадера А.Г.
Просмотров: 17768
Модели конвективного теплопереноса, используемые в существующих программных комплексах для теплового проектирования электронных устройств, основаны на концепции линейного уравнения теплообмена Ньютона и ко-эффициенте теплоотдачи, что, однако, не дает возможность адекватно моделировать тепловые процессы, протекаю-щие в реальных электронных системах. В статье предлагается подход, позволяющий адекватно моделировать кон-вективный теплоперенос в электронных устройствах, который основан на сопряженной формулировке уравнений конвективного теплопереноса и их непосредственном и прямом решении.

7. Алгоритм выделения тренда зашумленных больших временных рядов [№4 за 2011 год]
Автор: Бахмутский М.Л.
Просмотров: 19513
В работе предложен эффективный и точный метод нахождения тренда, фильтрации шумов и сглаживания боль-ших нестационарных временных рядов. Показано, что тренды таких рядов могут быть определены при помощи вейвлет-пакетного преобразования совместно с сингулярно-спектральным анализом.

8. Методология построения потоков данных в сложных аппаратно-программных комплексах [№4 за 2011 год]
Авторы: Лазутин Ю.М., Чертов Г.А., Родиков А.В., Рогожкин В.А.
Просмотров: 11912
Рассматриваются проблемы, возникающие при разработке сложных аппаратно-программных комплексов. Пред-лагается метод организации ПО технических систем, позволяющий снизить трудоемкость при модификации потоков данных внутри комплекса. Рассматриваются составные части ПО при указанной идеологии его построения. Приво-дятся преимущества, достигаемые благодаря применению предложенного метода.

9. Оптимизация элементов интегральных микросхем для защиты от одиночных сбоев [№4 за 2011 год]
Автор: Шунков В.Е.
Просмотров: 11853
В настоящей работе описываются методы подавления одиночных сбоев в элементах интегральных микросхем при помощи оптимизации схемотехнических методов. Показана эффективность предложенных методов.

10. Выявление консервативных гидрофобных ядер семейств белковых доменов [№4 за 2011 год]
Авторы: Пеков Ю.А., Алексеевский А.В., Спирин С.А.
Просмотров: 11544
Описаны алгоритм и его реализация, программа Conclus, для анализа данных по структурам молекул белков. Программа выделяет части молекулы, которые являются эволюционно консервативными гидрофобными кластерами. Статья содержит также минимальные сведения, необходимые для понимания биохимического и биофизического со-держания алгоритма. Программа Conclus протестирована на нескольких семействах белковых доменов и снабжена общедоступным через Интернет веб-интерфейсом.

| 1 | 2 | 3 | 4 | 5 | 6 | Следующая →