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

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

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

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

42. Синтез синтаксисов в создании специализированных языков программирования [№4 за 2011 год]
Авторы: Никифоров А.Ю., Русаков В.А.
Просмотров: 10024
Рассматривается метод синтеза синтаксиса языков программирования как специализированных средств описания заданной предметной области.

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

44. Метод оценки констант нелинейных кинетических моделей многостадийных химических реакций [№4 за 2011 год]
Автор: Писаренко Е.В.
Просмотров: 8595
Рассмотрены основные этапы проведения кинетических исследований, построения высокоточных кинетических моделей, идентификации констант моделей, планирования стартовых и прецизионных экспериментов. Разработаны комплексы алгоритмов и программ идентификации констант кинетических моделей сложных химических реакций, планирования прецизионных экспериментов и построения оптимальных планов экспериментов по критерию D-оптимальности.

45. Программа для автоматического создания и проверки исходных материалов конструкторской документации [№4 за 2011 год]
Автор: Подковыров А.А.
Просмотров: 12341
Описана программа, позволяющая за несколько минут выполнить большинство операций, которые невозможно автоматизировать с помощью САПР, и тем самым существенно сократить количество ошибок и время создания до-кументации для производства печатной платы. Генератор спецификаций дает все необходимые возможности редак-тирования спецификации и проверки актуальности используемых компонентов.

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

47. Методы обобщающей кластеризации при анализе социальных сетей [№4 за 2011 год]
Автор: Сивоголовко Е.В.
Просмотров: 13070
Описаны результаты анализа социальных сетей с использованием комбинации различных методов кластериза-ции для получения наиболее полной кластерной структуры, которая в дальнейшем будет использоваться для более сложного анализа сети.

48. Система оперативного мониторинга температуры и энергопотребления суперкомпьютера «УРАН» [№4 за 2011 год]
Авторы: Созыкин А.В., Гольдштейн М.Л., Черноскутов М.А.
Просмотров: 11497
Рассматривается разработанная система оперативного мониторинга температуры и энергопотребления супер-компьютера «УРАН», ключевой особенностью которой является компактное представление данных мониторинга, позволяющее администратору быстро оценить работоспособность суперкомпьютера, просмотрев один-два экрана. Система основана на открытом ПО Zabbix.

49. Моделирование головы человека по изображениям для систем виртуальной реальности [№4 за 2011 год]
Автор: Федюков М.А.
Просмотров: 10640
Описан алгоритм построения синтетической гибкой модели головы человека по изображениям. Предлагаются новый эвристический алгоритм и новая метрика для определения меры сходства построенной формы головы и черт лица на входных фотографиях. Применимость предложенного метода моделирования головы человека по изображениям подтверждена результатами тестирования алгоритма на реальных данных.

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

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