В. И. Мамай, канд. техн. наук, С. В. Дуднаков, Р. А. Хади И. П. Лазуренко,
ГНУ НИИ "Спецвузавтоматика", Ростов-на-Дону

Протоколы, используемые в IP-телефонии

Проводится анализ методов и архитектур средств IP-телефонии. Рассматриваются уровни архитектуры IP-телефонии, характеристика стандартов и организаций по стандартизации, протоколы Н.323, SIP, MGCP, MEGACO/H.248, а также перспективные направления в развитии протоколов и средств организации IP-телефонии, проект TIPHON.

Mamay V. I., Dudnakov S. V., Hady R. A., Lazurenko I. P.

IP-phone protocols

In this paper authors survey methods and programming platforms of "IP-phone" technology, voice coding in packet-commutated networks, protocols and session establishment algorithms including call-center technology. Also new efficient approaches and modem projects in this area are discussed.

наверх

В. В. Крюков, канд. физ.-мат. наук,
В. С. Майоров, К. И. Шахгельдян, канд. техн. наук,
Владивостокский государственный университет экономики и сервиса

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

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

Kryukov V. V., Mayorov V. S., Shakhgeldyan C. J.

Load Balancing Algorithm Intended for Supporting Real Time Mode in Distributed Data Acquisition and Processing System

The load balancing algorithm intended for supporting real time mode is suggested at the article. It operates in heterogeneous environment providing soft real time for data acquisition and processing system. Architecture of the system, the algorithm consisting of distributing condition, the rules of data redistributing, and the results of experiments are discussed by authors.

наверх

А. И. Грушин, канд. техн. наук
Институт микропроцессорных вычислительных систем РАН
gru@mcst.ru

Алгоритм быстрого выбора минимальной и максимальной величины

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

Grushin A. I.

Fast Selection of Minimum and Maximum Value

An algorithm of minimum and maximum value selection is proposed allowing to speed up the process in comparison with a prior art. Particularly essential time improvement is gained when minimum or maximum of large number of values is selected.

наверх

А. Б. Барский, д-р техн. наук, проф., МГУ ПС (МИИТ)

Применение SPMD-технологии при построении сетевых баз данных с циркулирующей информацией

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

Barsky A. B.

SPMD-Technology Application for Network Database with Circulated Information

The formation method of the network database, as the multichannel mass determines system, is proposed. Method is based on the meeting information movement to work stations. Each of them has copy database control system.

наверх

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

Автоматизированный информационный поиск физических эффектов

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

Fomenkov S. A., Davydov D. A., Kolesnikov S. G.

Automated Informational Search of Physical Effects

The different methods of informational search in date base on physical effects are considered. They permit to create the effective, not having analogs the reference systems on physical knowledges intended for satisfaction of the wide spectrum of informational demands of the different user groups. Within the limits of the every method the types of possible inquiries and the processes of their indexing are considered (the translation of the inquiry from him natural
language of the user into the language of formalisms accepted in methods).

наверх

П. Н. Афремов, В. К. Беляев, И. А. Мухин,
Институт микропроцессорных вычислительных систем РАН

Абстрактный пользовательский интерфейс в Java 2 Platform, Micro Edition: библиотека и ее поддержка

Рассмотрен вариант реализации основных компонентов библиотеки абстрактного пользовательского интерфейса и представлены результаты анализа способов поддержки этого интерфейса в Java 2 Platform, Micro Edition. Они были получены в процессе разработки соответствующей библиотеки в рамках проекта Java Telematics Technology, осуществлявшегося фирмой Sun Microsystems. Основная работа по проектированию и реализации интерфейса была выполнена в ЗАО "МЦСГ в 2000/2002 гг.

Afremov P. N., Beliaev V. K., Mukhin I. A.

Abstract User Interface in Java 2 Platform, Micro Edition: the Library and its Support

This article proposes the variant of the implementation of the main components of the Abstract User Interface library and gives the results of the analysis of this interface support in Java 2 Platform, Micro Edition. They were got as a result of development of the correspondent library for Java Telematics Technology project performed by Sun Microsystems. The main work on design and implementation of this interface was done by PHC "MCST years 2000-2002.

наверх

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

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

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


Lipaev V. V.

Verifications and Testings of Compound Software.

The functions, use and interaction of verification and testing in living cycle of the compound software are considered. Attention is accent on the development and use of specifications of demands and specifications of tests for security of programs. It's recommended to use the systematized specifications of tests in the capacity of the second form of the description of contents and standards for testing in development and check of tests of programs.

наверх

В. Е. Поляк, канд. физ.-мат. наук,
А. И. Безруков, канд. эконом, наук, Е. П. Семин,
ФГУП СНПФ "Агроприбор", г. Саратов

Формализованный язык описания нормативных требований (язык регламентов)

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

Polyak V. E., Beznikov A. I., Semin E. P.

The formalized language of the description of normative requirements

The article gives the elements of the formal language, that allows to interpret texts of normative-legal documents, to construct and analyze formal - logic models of the system that contain the requirements in the researched documentation. Authors offered to apply the ideology of object languages as a basis of language of the description of normative requirements, what is widely use in programming. Process of interpretation of texts and constructions of model of requirements is considered as two subprocesses: modeling of a subject domain and modeling of system of requirements. In the article the basic elements of language were considered and the examples of use it were given.

наверх

Н. А. Ласкин, А. В. Приходько,
В. В. Сурков, канд. техн. наук, ЗАО ОВИОНТ

Программируемый пошаговый метод распределения финансовых ресурсов с автовыравниванием

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

Laskin N. A., Prikhodjko A. V., Surkov V. V.

Soft Stepwise Method of Finance Resources Distribution with Autoalignment

The method used for the distribution of the finance resources between the recipients of budget means with regard to the goal purpose of these means and formation of limits of budget obligations reduced to the recipients of budget means is suggested.