В. И. Мамай, канд. техн. наук, С. В. Дуднаков, Р. А. Хади, И. П. Лазуренко,
ГНУ НИИ "Спецвузавтоматика", Ростов-на-ДонуПротоколы, используемые в IP-телефонии
Проводится анализ методов и архитектур средств IP-телефонии. Рассматриваются уровни архитектуры IP-телефонии, характеристика стандартов и организаций по стандартизации, протоколы Н.323, SIP, MGCP, MEGACO/H.248, а также перспективные направления в развитии протоколов и средств организации IP-телефонии, проект TIPHON.
В. В. Крюков, канд. физ.-мат. наук, В. С. Майоров, К. И. Шахгельдян, канд. техн. наук,
Владивостокский государственный университет экономики и сервисаАлгоритм баланса нагрузки для обеспечения режима реального времени в распределенной системе сбора и обработки данных
Рассматривается работа распределенной системы, предназначенной для сбора и обработка экспериментальных данных. Предложен алгоритм баланса нагрузки в распределенной гетерогенной вычислительной среде, целью которого является обеспечение мягкого реального времени. Рассматриваются архитектура распределенной системы сбора и обработки данных, собственно алгоритм, состоящий из критерия распределения, выбора наиболее подходящего компьютера, правила перераспределения нагрузки, а также результаты экспериментов.
А. И. Грушин, канд. техн. наук
Институт микропроцессорных вычислительных систем РАН
gru@mcst.ruАлгоритм быстрого выбора минимальной и максимальной величины
Предлагается алгоритм выбора минимальной и максимальной величины, позволяющий ускорить этот процесс по сравнению с известными методами. Особенно существенный выигрыш по времени достигается в случае, когда нужно выбрать минимум или максимум из большого количества чисел.
А. Б. Барский, д-р техн. наук, проф.,
МГУ ПС (МИИТ)Применение SPMD-технологии при построении сетевых баз данных с циркулирующей информацией
Предлагается способ преобразования централизованной сетевой базы данных из традиционно одноканальной в многоканальную систему массового обслуживания на основе применения SPMD-технологии. Способ заключается в организации встречного движения информации к пользователям, рабочие станции которых располагают копией системы управления базой данных. Целью рассматриваемых построений является минимизация времени обслуживания.
С. А. Фоменков, д-р техн. наук, проф., Д. А. Давыдов, канд. техн. наук, С. Г. Колесников,
Волгоградский государственный технический университетАвтоматизированный информационный поиск физических эффектов
Рассмотрены различные методы информационного поиска в базе данных по физическим эффектам, позволяющие создавать эффективные, не имеющие аналогов справочные системы по физическим знаниям, предназначенные для удовлетворения широкого спектра информационных потребностей разных групп пользователей. В рамках каждого метода рассмотрены типы возможных запросов и процедуры их индексирования (перевода запроса с естественного языка пользователя на язык принятых в методах формализмов).
П. Н. Афремов, В. К. Беляев, И. А. Мухин,
Институт микропроцессорных вычислительных систем РАНАбстрактный пользовательский интерфейс в Java 2 Platform, Micro Edition: библиотека и ее поддержка
Рассмотрен вариант реализации основных компонентов библиотеки абстрактного пользовательского интерфейса и представлены результаты анализа способов поддержки этого интерфейса в Java 2 Platform, Micro Edition. Они были получены в процессе разработки соответствующей библиотеки в рамках проекта Java Telematics Technology, осуществлявшегося фирмой Sun Microsystems. Основная работа по проектированию и реализации интерфейса была выполнена в ЗАО "МЦСГ в 2000/2002 гг.
В. В. Липаев, д-р техн. наук,
Институт системного программирования РАНВерификация и тестирование сложных программных средств
Рассматриваются функции, применение и взаимодействие верификации и тестирования в жизненном цикле сложных программных средств. Внимание акцентировано на разработке и использовании спецификаций требований и спецификаций тестов для обеспечения качества программ. Рекомендуется использовать систематизированные спецификации тестов в качестве второй формы описания содержания и эталонов для тестирования при разработке и проверке текстов программ.
В. Е. Поляк, канд. физ.-мат. наук, А. И. Безруков, канд. эконом, наук, Е. П. Семин,
ФГУП СНПФ "Агроприбор", г. СаратовФормализованный язык описания нормативных требований (язык регламентов)
Рассматриваются элементы формального языка, позволяющего проинтерпретировать тексты нормативно-правовых документов, построить и проанализировать формально-логические модели системы требований. В качестве основы языка описания нормативных требований (языка регламентов) предлагается применить идеологию объектных языков, широко использующуюся в программировании. Процесс интерпретации текстов и построения модели требований рассматривается как совокупность двух подпроцессов: моделирование предметной области и моделирование системы требований. Результат моделирования ≈ формальная система, позволяющая построить на своей основе информационно-поисковую систему с расширенными возможностями семантического поиска, моделировать изменения исходной системы требований, выявлять противоречия и оценивать последствия изменений документации. Рассмотрены основные элементы языка, приведены примеры использования.
Н. А. Ласкин, А. В. Приходько, В. В. Сурков, канд. техн. наук,
ЗАО ОВИОНТПрограммируемый пошаговый метод распределения финансовых ресурсов с автовыравниванием
Предложен метод, используемый для распределения финансовых ресурсов между получателями бюджетных средств с учетом целевого назначения этих средств и формирования лимитов бюджетных обязательств, доводимых до получателей бюджетных средств.
Основная задача метода заключается в получении такого частного распределения, чтобы совокупный, с начала года, объем доведенных до получателей лимитов совпадал с распределением бюджетных ассигнований за тот же период. Если же совпадение не представляется возможным, то искомое распределение должно быть максимально близко к распределению бюджетных ассигнований.