В. В. Кулямин, канд. физ.-мат. наук, А. К. Петренко, д-р физ.-мат. наук, В. В. Рубанов, А. В. Хорошилов,
канд. физ.-мат. наук, Институт системного программирования РАН (ИСП РАН)

Формализация интерфейсных стандартов и автоматическое построение тестов соответствия

Описывается подход к построению инфраструктуры эффективного использования стандартов на программные интерфейсы (API). Предлагаемый подход основан на описании требований таких стандартов в виде формальных спецификаций и автоматическом построении тестов для проверки соответствия этим требованиям. В рамках этого подхода предлагается технологическая поддержка для решения ряда возникающих инженерных и организационных задач, что позволяет использовать его для сложных промышленных стандартов программного обеспечения. Этот тезис иллюстрируется использованием описанного метода для формализации стандарта Linux Standard Base Core 3.1 [5], промышленного стандарта на интерфейсы базовых библиотек операционной системы Linux.

Стр. 2 - 7

С. М. Белоусов, А. Г. Тормасов, канд. физ.-мат. наук,
Московский физико-технический институт (ГУ) tor@crec.mipt.ru

Проблемы имитационного моделирования процесса распределения ресурсов вычислительных систем

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

Стр. 8 - 14

наверх

П. П. Олейник, ООО "Торговый Дом Волшебный край", г. Шахты

Применение параметрированных типов при реализации базовых классов предметной области

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

Стр. 14 - 17

наверх

А. В. Горбатов, д-р техн. наук, проф., О. С. Калитина,
Московский государственный горный университет

Стратегия эффективной настройки k-значного сотового нейрона

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

Стр. 17 - 21

С. В. Жернаков, д-р техн. наук, проф.,
Уфимский государственный авиационный технический университет

Нейросетевые технологии для диагностики технического состояния авиационных двигателей

Рассматривается применение технологии нейронных сетей для решения задач контроля и диагностики авиационных двигателей. Приводятся методика и примеры решения таких задач в нейросетевом базисе.

Стр. 22 - 29

А. И. Гусева, д-р техн. наук, проф., Д. О. Сторожук,
Московский инженерно-технический институт (государственный университет)

Оптимизация по времени многопоточной модели опроса компьютерной сети

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

Стр. 30 - 33

А. П. Скворцов, МГУ им. М. В. Ломоносова

Анализ производительности сети BitTorrent

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

Стр. 33 - 36

В. Г. Гетманов, д-р техн. наук, проф., В. Н. Гридин, д-р техн. наук, проф., Белов К. В.,
Центр информационных технологий в проектировании РАН, г. Одинцово, Моск. обл.

Цифровая обработка нестационарных доплеровских сигналов для оценивания кинематических параметров движений

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

Стр. 37 - 40

Н. И. Мошкин, канд. техн. наук,
Восточно-Сибирский государственный технологический университет, г. Улан-Удэ

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

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

Стр. 40 - 42

А. Л. Жизняков, канд. техн. наук, доц.,
А. А. Фомин, Муромский институт (филиал) Владимирского государственного университета,
Г. А. Симонова, Филиал ООО "Волготрансгаз" - управление аварийно-восстановительных работ

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

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

Стр. 43 - 49

наверх

К. К. Колин, д-р техн. наук, проф., Институт проблем информатики РАН

Об актуальных проблемах формирования новой информационной культуры общества

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

Стр. 49 - 54

наверх

А. Н. Ермаков, Московский государственный институт радиотехники, электроники и автоматики (технический университет)

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

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

Стр. 54 - 58

наверх

А. Т. Бекишев, канд. техн. наук, В. М. Комаров, К. В. Семин, канд. техн. наук, О. А. Сперанский, канд. техн. наук,
Московский государственный институт радиотехники, электроники и автоматики - технический университет: МИРЭА speranski@mirea.ru

Система информационного обеспечения интернет-рынка инноваций

Представлена технология создания системы информационного обеспечения инноваций

Стр. 58 - 63

наверх

P. M. Алгулиев, д-р техн. наук, Ф. Ф. Юсифов,
Институт информационных технологий НАН Азербайджана, г. Баку, Азербайджан

Методы контент-анализа информационного пространства как механизм обратной связи в э-правительстве

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

Стр. 64 - 67

наверх

А. Б. Усов, канд. физ.-мат. наук, Ростовский государственный университет, г. Ростов-на-Дону

Система поддержки принятия решений по управлению рациональным использованием природных ресурсов

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

Стр. 67 - 71

наверх

П. Ю. Бунаков, канд. техн. наук, ООО "Базис-центр", г. Коломна,
А. В. Стариков, канд. техн. наук, доц., В. Н. Харин, д-р техн. наук, проф., Воронежская государственная лесотехническая академия

Информационная инфраструктура современного мебельного предприятия

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

Стр. 71 - 76

наверх

В. Г. Попова, А. И. Мигин, д-р педагог, наук, канд. физ.-мат. наук,
Российская академия государственной службы при Президенте Российской Федерации

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

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

Стр. 76 - 79

наверх

оглавление