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

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

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

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

2. Программный комплекс планирования производства на малом предприятии [№2 за 2010 год]
Автор: Арендателева С.И.
Просмотров: 14964
Рассматривается математическая модель оптимального планирования и прогнозирования производст-венной деятельности с учетом динамичности производственной среды и ограниченности возможностей мало-го предприятия. Разработанная модель реализована в виде специализированного программного комплекса.

3. Особенности реализации архитектурного шаблона Thin web client на платформе Java EE 6 [№2 за 2010 год]
Авторы: Аржаев В.И., Полыгаев А.C.
Просмотров: 11731
На конкретном примере рассматривается технология создания полнофункционального интерфейса web-прило-жения на основе шаблона Thin web client с помощью фреймворка Java Server Faces. Для построения пользовательского интерфейса применяются JSF-компоненты Woodstock, расширенные с помощью библиотеки DynamicFaces.

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

5. Программный комплекс поддержки принятия решений при оптимизации производственно-сбытового процесса [№2 за 2010 год]
Автор: Боковая Н.В.
Просмотров: 12921
Рассматриваются принципы организации, основные функции и структурные компоненты программного комплекса поддержки принятия решений при оптимизации производственно-сбытовых систем, разработанного с использованием оптимизационно-имитационного подхода.

6. Применение метода анализа иерархии для поддержки принятия решения при выборе лекарственных препаратов [№2 за 2010 год]
Авторы: Большаков А.Л., Бутенко Д.В.
Просмотров: 13314
Разработана модель поддержки принятия решения для выбора наиболее безопасных лекарственных препаратов. Модель, основанная на методе анализа иерархии, позволяет учитывать индивидуальные особенности конкретного пациента.

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

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

9. Принципиальный подход к разработке информационной системы управления научными проектами в вузе [№2 за 2010 год]
Авторы: Говорков А.С., Гутгарц Р.Д.
Просмотров: 14715
В работе описывается текущий уровень автоматизации бизнес-процессов в вузе и делается вывод о необходимости построения информационной системы для управления научно-исследовательскими работами. Предлагается общая структура информационной системы для управления НИР.

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

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