А. К. Ким, канд. техн. наук, ген. директор,
В. М. Фельдман, канд. техн. наук, ст. науч. сотр., нач. отделения,
ОАО ИНЭУМ
E-mail: kim@mcst.ru, feld@mcst.ru
Вычислительная система реального времени для реализации программ управления сложными объектами
Рассмотрены методы построения вычислительных систем, включенных в звено управления сложными объектами обороны. Описаны структура вычислительной системы, подходы в проектировании операционной системы реального времени. Приведен пример расчета надежности предлагаемой вычислительной системы.
Ключевые слова: вычислительная система, микропроцессор, компилятор, операционная система реального времени, надежность.
Г. В. Кристовский, канд. техн. наук, нач. отд.,
Ю. Л. Погребной, вед. инж.,
С. А. Соин, ст. инж.,
ЗАО "МЦСТ"
E-mail: soin_s@mcst.ru
Разработка и исследование маломощного быстродействующего трехпортового регистрового файла
На примере разработки трехпортового регистрового файла показано, как оптимизация структуры, схемотехники и топологии позволяют минимизировать мощность регистрового файла без потерь быстродействия. С применением КМОП-технологии с минимальным размером 90 нм создан трехпортовый регистровый файл 32 ?32 с рабочей частотой 1 ГГц и мощностью менее 1 мВт на порт.
Ключевые слова: микропроцессор, КМОП-технология, топология, дешифратор.
С. Г. Бобков, канд. техн. наук, ст. науч. сотр.,
НИИ системных исследований РАН, г. Москва
E-mail: bobkov@cs.niisi.ras.ru
Методы повышения эффективности контроллера коммутатора Ethernet 10/100 Мбит/с
Рассматриваются методы повышения эффективности контроллера коммутатора Ethernet 10/100 Мбит/с, использованные при разработке микросхемы 1890КП1Я.
Ключевые слова: контроллер коммутатора Ethernet, МАС-адрес, хэш-функция.
Аль-Аммори Али, канд. техн. наук, Почетный вице-президент Научно-методического центра процессного анализа (НМЦПА)
Национальный транспортный университет, г. Киев, Украина
E-mail: ammourilion@ukr.net
Оптимизация параллельного информационного резервирования методом вложенных модулей
Предложена методика выбора и обоснования оптимальной структуры параллельного информационного резервирования способом вложенных модулей с учетом технической надежности. Обоснованы экономические преимущества способа вложенных модулей по сравнению с альтернативным вариантом такого же резервирования, но без принципа вложенных модулей.
Ключевые слова: информационное резервирование, вложенные модули резервирования, техническая надежность.
Е.В. Щуревич, аспирант,
Алтайский государственный технический университет им. И.И. Ползунова
E-mail: scey.barn@gmail.com
Кластеризация знаний в системах искусственного интеллекта
Рассмотрены проблемы автоматической обработки на естественном языке, предложено несколько вариантов проведения кластеризации знаний, а также даны сравнение и анализ их результатов. Описанные методики могут применяться на различных этапах жизненного цикла интеллектуальных систем, основанных на знаниях.
Ключевые слова: база знаний, кластеризации, муравьиные алгоритмы, нейронные сети, визуализация знаний.
УДК 529.58
Е. Г. Брындин, директор, Исследовательский центр "ЕСТЕСТВОИНФОРМАТИКА",
Новосибирск
E-mail: bryndin@ngs.ru
Теоретические основы коммуникативно-ассоциативной имитации символически-языкового мышления
Мышление языковыми элементами знаний представляет собой коммуникативные процессы анализа, синтеза и расщепления предложений и суждений. Имитация мышления осуществляется на основе символически-языковой коммуникативно-ассоциативной логики над комбинаторно-расширяемым сетевым иерархическим коммуникативно-ассоциативным представлением предложениями и суждениями типовых информационных потребностей и их реализаций предметных областей знаний.
Ключевые слова: символически-языковая имитация мышления, комбинаторно расширяемое сетевое иерархическое коммуникативно-ассоциативное представление типовой информационной потребности предложениями и суждениями, коммуникативно-ассоциативная логика реализации информационной потребности.
УДК 004:65
О. Н. Долинина, канд. техн. наук, доц., зав. каф.,
А. К. Кузьмин, аспирант,
Саратовский государственный технический университет
E-mail: odolinina@rambler.ru
Применение методов технической диагностики для отладки баз знаний нейросетевых экспертных систем
Проведен анализ ошибок, возникающих в базах знаний экспертных систем, проанализированы существующие методы их отладки. Описан подход к решению задачи генерации исчерпывающих тестовых наборов, основанный на преобразовании структуры представления знаний экспертной системы к виду логической сети и применении к ней методов технической диагностики. Предложен метод тестирования нейросетевых экспертных систем, базирующихся на распространении данного подхода на модель многослойного персептрона.
Ключевые слова: экспертные системы, нейронные сети, базы знаний, ошибки в базе знаний, отладка, тестовое множество.
И. В. Котенко, д-р техн. наук, проф., вед. научн. сотр.,
А. В. Уланов, канд. техн. наук, мл. научн. сотр.,
Санкт-Петербургский институт информатики и автоматизации РАН
E-mail: ivkotel@mail.ru
Многоагентное моделирование механизмов защиты от распределенных компьютерных атак
Предлагаются модели, методика и реализующая их система для моделирования механизмов защиты от распределенных компьютерных атак. Подход основывается на представлении сторон атаки и защиты в виде команд интеллектуальных агентов. На основе предложенной архитектуры разработана система моделирования. В качестве примера реализации моделей и методики исследуются механизмы защиты от атак, вызывающих ╚распределенный отказ в обслуживании╩
Ключевые слова: распределенные компьютерные атаки, механизмы защиты от компьютерных атак, многоагентное моделирование, распределенный отказ в обслуживании, Интернет.
УДК 004.332.3
О. Д. Жуков, канд. техн. наук, вед. науч. сотр.,
Московский государственный университет им. М. В. Ломоносова
E-mail: zhukovo@decl.sinp.msu.ru
Модулярные числовые системы в криптографии
Модулярные экспоненциальные вычисления составляют основу многих криптографических методов. Эта статья обсуждает возможность создания эффективных систем, ориентированных на использование модулярных числовых систем и известного метода умножения Монтгомери.
Ключевые слова: модулярные числовые системы, вычет, экспоненциальные вычисления, информационная безопасность.
П. Д. Зегжда, д-р техн. наук, проф., зав. каф.,
Д. П. Зегжда, д-р техн. наук, проф.,
М. О. Калинин, канд. техн. наук, доц.,
ГОУ "Санкт-Петербургский государственный политехнический университет"
E-mail: max@ssl.stu.neva.ru
Реализация логического подхода к оценке безопасности состояния ОС семейства MS Windows в системе анализа настроек безопасности "Декарт"
Рассмотрен подход к оценке защищенности информационных систем путем представления и проверки безопасности их состояний с использованием логики предикатов. Представлен пример применения логического анализа настроек безопасности. Предложенный подход является основой для разработки средств автоматического доказательства безопасности информационных систем. Он реализован с помощью механизмов вычислительного ядра системы "Декарт ", которая в автоматизированном режиме выполняет анализ безопасности настроек операционной системы семейства Windows.
Ключевые слова: автоматизированный анализ, оценка безопасности, критерий, логика предикатов, настройки безопасности, информационная безопасность, уязвимость.
А. А. Колоколов, д-р физ.-мат. наук, проф., зав. лабораторией,
А. В. Адельшин, канд. физ.-мат. наук, ст. науч. сотр.,
Омский филиал Института математики им. С. Л. Соболева СО РАН,
Д. И. Ягофарова, канд. физ.-мат. наук, ст. преподаватель,
Омский государственный университет
Решение задачи выполнимости с использованием метода перебора L-классов
Рассматривается задача выполнимости логической формулы в конъюнктивной нормальной форме. Предлагается комбинаторный алгоритм решения указанной задачи, основанный на моделях и методах целочисленного линейного программирования и переборе L-классов. Приводятся результаты вычислительного эксперимента, проведенного для различных серий задач из специализированной электронной библиотеки SATLIB.
Ключевые слова: задача выполнимости, целочисленное программирование, метод перебора L-классов.
А. С. Филиппова, д-р техн. наук, доц.,
Д. В. Филиппов, аспирант,
Н. А. Гильманова, студентка,
Уфимский государственный авиационный технический университет
E-mail: annamuh@mail.ru
Задачи маршрутизации в транспортных логистических системах: локальный поиск рациональных решений
Рассматривается оптимизационный блок транспортной логистической системы. Для решения задачи построения маршрутов перевозки при условии многономенклатурности продукции предложен трехэтапный метод: построение остовного дерева; декомпозиция дерева на однопродуктовые маршруты; синтез маршрутов. Для поиска альтернативных допустимых маршрутов используются двухуровневые эволюционные метаэвристики с применением алгоритмов на графах. Приведен пример.
Ключевые слова: транспортная логистика, многопродуктовая модель, маршрутизация, эвристика, метаэвристика, алгоритмы на графах.
УДК 004.421.5
М. А. Яковлев, аспирант, инженер-программист, ООО "ДС БАРС",
И. В. Чугунков, канд. техн. наук, доц., МИФИ
E-mail: 5may@bk.ru
Повышение эффективности оценочных тестов для псевдослучайных последовательностей
Предлагается новый подход к построению статистических тестов для оценки качества псевдослучайных последовательностей, обеспечивающий сокращение объемов затрачиваемой памяти.
Ключевые слова: псевдослучайные последовательности, генераторы псевдослучайных последовательностей, оценка качества генераторов псевдослучайных последовательностей, оценочные тесты для псевдослучайных последовательностей, повышение эффективности, оценка качества.
УДК 541.182
Б. Г. Кухаренко, канд. физ.-мат. наук, вед. научн. сотр.,
Институт машиноведения РАН, г. Москва
E-mail: kukharenko@imash.ru
Предварительная обработка записей колебаний в технологии спектрального анализа на основе быстрого преобразования Прони
Представлены основные этапы предварительной обработки записей колебаний в технологии спектрального анализа на основе быстрого преобразования Прони. В качестве примера анализируются содержащие шум записи нестационарных колебаний с относительно стабильным спектром собственных частот. Показано, что предварительная обработка записей нестационарных колебаний позволяет надежно определять зависящее от времени демпфирование на собственных частотах, которое играет роль информативных параметров, описывающих эволюцию этих колебаний.
Ключевые слова: линейные динамические системы, временные ряды, метод Прони, рекурсивные фильтры, дискретное вейвлет-преобразование.
УДК 004 42
О. С. Исаева, канд. техн. наук, науч. сотр.,
Институт вычислительного моделирования СО РАН, г. Красноярск
E-mail: isaeva@icm.krasn.ru
Унифицированная информационная модель описания медицинских услуг
Рассматривается реализация информационной системы для описания медицинских услуг. Задача потребовала построения формального описания элементов реализации для произвольной настройки визуального отображения данных. Приведены структурная схема предметной области, построенная на ее основе модель данных и пример реализации адаптируемой информационной системы. Полученные результаты могут быть использованы для построения сложно структурированных информационно-справочных систем.
Ключевые слова: проектирование баз данных, информационные системы, формальная модель визуализации данных, система для описания медицинских услуг.
УДК 61:004.651.2
О. В. Воробейчикова, канд. техн. наук, доц.
Сибирский государственный медицинский университет, г. Томск
E-mail: mbc@ssmu.tomsk.ru
Технология построения структуры усвоения учебного материала по результатам тестирования
Внедрение ПК в учебный процесс является предпосылкой широкого использования компьютерного тестирования как средства проверки знаний испытуемых.
Предлагается метод, позволяющий по результату тестирования делать вывод не только об уровне знаний испытуемых в целом по тесту, но и построить структуру усвоения ими учебного материала, и тем самым, выявить слабо усвоенные темы учебного материала.
Ключевые слова: компьютерное тестирование, уровень знаний, структура усвоения учебного материала.
УДК 518.5
В. И. Левин, д-р техн. наук,
Пензенская государственная технологическая академия
E-mail: levin@pgta.ac.ru
Что такое интервальная задача математического программирования
Ответ на письмо В.И. Левина.
В. И. Левин, д-р техн. наук,
Пензенская государственная технологическая академия
E-mail: levin@pgta.ac.ru
Еще раз об интервальных задачах математического программирования