УДК 004.4
В.В.Липаев, д-р техн.наук,
Институт системного программирования РАН

Стандартизация верификации программных средств

Рассматриваются цели и принципы верификации сложных программных средств. Представлены основные положения международных стандартов по функциям и этапам верификации от требований комплексов программ и их компонентов. Изложены особенности тестирования при верификации программ на основе исходных требований контракта и спецификаций

УДК 004.4'242

С. М. Абрамов, д-р физ.-мат. наук, Институт программных систем РАН,
А. В. Кондратьева, МГУ им. М. В. Ломоносова,
В. А. Роганов, Центр телекоммуникаций и технологий Интернет МГУ им. М. В. Ломоносова,
А. М. Чеповский, канд. техн. наук, МГТУ им. Н. Э. Баумана

Проектирование высокопроизводительного процессора обработки графов

Рассматриваются основные принципы реализации процессора для обработки структур данных, представленных в виде графов общего вида (граф- машины). Процессор разработан на базе ядра Т- системы, что позволяет эффективно распараллеливать задачи обработки графов на мультипроцессорных системах.

УДК 004.3.06

В. В. Лидовский, канд. филол. наук,
РГТУ - "МАТИ"

Пролог. Прошлое. Настоящее. Будущее?

Пролог не является языком логики. Для быстрых СУБД можно использовать данные в виде предложений Хорна, а не только в виде таблиц. Наиболее эффективный способ использования Пролога в программировании≈ это вовлечение его возможностей в существующие развитые системы создания программ.

УДК 004.3

С. П. Панасенко,
фирма "АНКАД"

Комплексная защита информации

Описаны принципы построения и использование специальных средств криптографической защиты информации.

УДК 004.32.06

И. П. Норенков, д-р техн. наук, проф.,
МГТУ им. Н. Э. Баумана

Системные вопросы дистанционного обучения

Рассматривается структура системы дистанционного обучения инженерного вуза, состав и функции компонентов системной среды.

УДК 004.7

Я. Е. Львович, д-р техн. наук, проф., В. Н. Кострова, канд. техн. наук, доц., Д. В. Долгих, канд. техн. наук,
Воронежский государственный технический университет

Использование информационных технологий в образовательном процессе

Рассматриваются принципы организации образова- тельного процесса в вузе с использованием сетевых образовательных технологий и вопросы формирования учебного материала для системы дистанционного обучения.

УДК 519.68

Л. Б. Яблочкин, М. А. Андриянова, канд. техн. наук, Л. В. Каргин,
Тульский государственный университет

"Гипертест" ≈ новая технология для создания систем тестирования знаний

Рассмотрена возможность применения гипермедийной технологии для создания систем тестирования знаний. Приведены основные принципы построения таких систем. Описан формат некоторых команд системы "Гипертест ", позволяющей реализовать такие системы. Дан обзор некоторых систем, созданных с помощью данной технологии.

УДК 004.031.43

А. С. Мухач╦ва, канд. физ.-мат. наук, А. В.Чиглинцев,
Уфимский государственный авиационный технический университет

Генетический алгоритм поиска минимума в задачах двумерного гильотинного раскроя*

Рассматривается задача гильотинного раскроя рулонного материала. Известны методы расчета оптимального раскроя в условиях массового производства, основанные на линейном программировании с неявным заданием матрицы раскроев. Здесь основной является целочисленная задача раскроя. Для ее решения предлагается генетический гильотинный алгоритм на базе методологии И. П. Норенкова с использованием последовательности эвристик в качестве аллелей генов.
_________________________________________________
∙Работа поддержана РФФИ, проект 99-01-00937.

УДК 621.3

В. Н. Мелешко, канд. техн. наук,
Министерство обороны РФ

Влияние предпочтений компонент векторного критерия на качество управления процессом развития сложных систем

Рассмотрена задача управления процессом развития сложных систем. Исследовано влияние различных предпочтений компонент векторного критерия на результаты решения задачи управления процессом развития сложной системы. Показано, что оптимизация только по эффективностным компонентам может приводить к нерациональным, с точки зрения практической реализации, результатам. Введение в векторный критерий ресурсных компонент является одним из способов учета условий сбалансированного расходования разнородных ресурсов.

УДК 62-50

А. А. Гурченков, канд. физ.-мат. наук, Е. Д. Гридина, А. М. Башлыков, канд. физ.-мат. наук,
Вычислительный Центр РАН

Математическое моделирование фильтрационных процессов в роторных системах

Рассматриваются различные гипотезы о функциональной зависимости моментов внешних сил, возмущающих данную динамическую систему. Качественно описан наиболее сложный процесс обезвоживания, выявлены наиболее характерные особенности процесса. Проводится обработка экспериментальных данных и обсуждаются результаты экспериментального исследования процесса обезвоживания в роторных системах. Устанавливается физически обоснованная зависимость для угловой скорости вращающегося ротора.

УДК 004.7

Ф. Э. Гербек, Э. Э. Гербек, канд. техн. наук,
Институт автоматики и процессов управления ДВО РАН

Архитектура гибкой системы обработки информации

Массовая обработка данных (в том числе спутниковых) по изменяющимся алгоритмам на персональных компьютерах в силу системной сложности первой и ограниченных ресурсов последних требует изменения подхода к разработке систем обработки таких данных. В статье описывается архитектура гибкой системы обработки данных, предназначенной для одновременной работы в оперативном и исследовательском режимах. Обсуждаются ключевые системные решения.

УДК 004.4

А. Н. Иншаков, канд. техн. наук,
НПФ "Лазер- Компакт"

Использование допускового анализа при отработке технологических процессов

Рассмотрены возможности применения методики допускового анализа и программного комплекса ДОПАН при отработке технологических процессов. Показано, что разработанная методика и программное обеспечение позволяют определять не только оптимальные допуски на параметры полуфабрикатов, элементов или исходных материалов, но и оценивать оптимальную себестоимость проектируемого и/или изготавливаемого изделия.