О. Ф. Немолочнов, д-р техн. наук, проф.,
А. Г. Зыков, доц.,
Л. Г. Осовецкий, д-р техн. наук, проф.,
В. И. Поляков, канд. техн. наук, доц.,
К. В. Петров, Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Тестирование логических неисправностей вычислительных процессов в программах

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

Стр. 2 - 5

наверх

С. В. Давыдова, канд. техн. наук,
Д. А. Давыдов, канд. техн. наук,
С. А. Фоменков, д-р техн. наук, проф.,
Волгоградский государственный технический университет

Автоматизированная система проектирования устройств трехмерной голографической памяти

Назначение автоматизированной системы концептуального проектирования устройств трехмерной голографической памяти - автоматизация начальных этапов проектирования голографических запоминающих устройств на основе голограмм Фурье с целью повышения эффективности процессов проектирования. В статье приведено описание автоматизированной системы проектирования устройств трехмерной голографической памяти.

Стр. 7 - 11

наверх

С. А. Кинсбурский, ЗАО "МЦСТ
sighted@mcst.ru

Концепция виртуальной файловой системы на распределенных носителях

Быстрый старт и рестарт являются одними из важнейших параметров, характеризующих системы реального времени. В статье предлагается способ уменьшения времени загрузки и рестарта для многомашинных комплексов реального времени программными методами. Описаны принципы функционирования единой файловой системы на распределенных носителях, доступной для всех узлов многомашинного комплекса, а также приведены предполагаемые временные характеристики работы комплекса с данной файловой системой на основе многомашинных комплексов, состоящих из микропроцессоров MЦСТ-R500S.

Стр. 12 - 15

наверх

Р. С. Жавнис, С. В. Коротков, канд. техн. наук., ЗАО "ВИВОССиОИ", г. Москва

Модель шлюзовой системы на базе программного ядра

Шлюзовая система или шлюз - особый вид коммуникационного оборудования, объединяющего сети с различной топологией и принципами работы. Большинст-во подобных устройств создаются на основе других более распространенных, но менее интеллектуальных коммуникационных систем.
Описана функциональная модель, учитывающая особенности работы шлюзовых систем и эффективно использующая возможности современного аппаратного и программного обеспечения.

Стр. 16 - 22

С. В. Шалагин, канд. техн. наук,
Казанский государственный технический университет им. А. Н. Туполева

Умножение элементов расширений полей Галуа в базисе ПЛИС/FPGA

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

Стр. 22 - 27

Н. В. Лукашевич, канд. физ.-мат. наук,
Научно-исследовательский вычислительный центр МГУ им. М. В. Ломоносова

Моделирование отношения ЧАСТЬ-ЦЕЛОЕ в лингвистическом ресурсе для информационно-поисковых приложений

Описаны принципы моделирования отношения ЧАСТЬ-ЦЕЛОЕ в тезаурусе русского языка РуТез, создаваемого как ресурс для автоматической обработки документов. При моделировании основной задачей являлось обеспечение логического вывода на основе свойства транзитивности отношения ЧАСТЬ-ЦЕЛОЕ, а также обеспечение наследования свойства релевантности документа от части к целому.

Стр. 28 - 34

И. А. Минаков, канд. техн. наук, С. И. Вольман,
Институт проблем управления сложными системами РАН, г. Самара

Система нахождения бизнес-правил типа "if-then" в задачах транспортной логистики

Статья посвящена проблемам нахождения бизнес-правил вида "if-then" в области транспортной логистики. Предлагается новый подход к решению этой задачи, рассматривается специфика предметной области, дается обзор применимых в ней методов извлечения знаний, выделяется класс методов вывода логических правил вида "if-then" как наиболее перспективный для решения подобного рода задач, описывается подход по извлечению правил типа "if-then" на основе кластеризации и приводится ряд практических примеров применения данного подхода.

Стр. 35 - 42

А. А. Петунин, канд. техн. наук, доц., Уральская государственная архитектурно-художественная академия,
А Ф. Валеева, д-р. техн. наук, доц.,
Уфимский государственный авиационный технический университет

Параллелепипедная упаковка: алгоритмы, численный эксперимент и практические расчеты

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

Стр. 43 - 50

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

Мультиметодный генетический алгоритм для решения задач ортогональной упаковки

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

Стр. 50 - 56

А. М. Андреев, канд. техн. наук, доц., МГТУ им. Н. Э. Баумана,
Д. В. Березкин, канд. техн. наук, НПЦ "ИНТЕЛЕКТ ПЛЮС",
К. В. Симаков, НИС НУК МГТУ им. Н. Э. Баумана

Модель извлечения знаний из естественно-языковых текстов

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

Стр. 57 - 63

наверх

И. Г. Васияров, ЗАО "Информсвязь холдинг"

Процесс разработки специального программного обеспечения в технологии разработки программ (ТРАП)

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

Стр. 63 - 69

наверх

М. А. Князева, канд. техн. наук, М. С. Маевский,
Институт автоматики и процессов управления ДВО РАН, г. Владивосток

Проверка контекстных условий и поиск участков экономии в системе преобразований программ

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

Стр. 70 - 73

наверх

Nemolchanov О. F., Zykov A. G., Osovetsky L. G., Poliakov V. L, Petrov K. V. Testing of Logical Fault of Calculating Processes in Programs

Davydova S. V., Davydov D. A., Fomenkov S. A. CAD System of Three-Dimensional Holographic Storage

Kinsboursky S. A. Conception of Virtual Distributed File System

Zhavnis R. S., Korotkov S. V. Gateway System Model on the Program Kernel

Shalagin S. V. FPGA-Based Multiplication for Galois Fields Extensions Elements

Loukachevitch N. V. Modeling of PART-WHOLE Relations in Linguistic Resource for Information-Retrieval Application

Minakov I. A., Volman S. I. IF-THEN Business Rules Extraction in Transport Logistics Domain

Petunin A. A., Valeyeva A. F. Problem of Three-Dimensional Packing: Algorithms, Computational Experiment and Practical Results

Valiahmetova Yu. I., Filippova A S. Multi-Method Genetic Algorithm for the Decision of Problems of Orthogonal Packing

Andreev A.M., Berezkin D. V., Simakov K. V. The Model of Knowledge Extraction from Natural Language Texts

Vasiyarov I. G. Special Software Development Process in Software Development Technology

Knyazeva M. A., Mayevsky M. S. Check of Context Conditions and Search for Optimized Sections in the System of Program Transformations

наверх

оглавление