М. А. Марченко, ИППМ РАН, г. Москва

Оценка и оптимизация трассируемости

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

Marchenko M. A.

Estimate and Optimization of Traceness

In this paper new placement optimization algorithm is presented. New approach was introduced. Firstly, congestion estimation algorithm is used to detect problem areas in terms of routability. Secondly, optimization is performed without full replacement of elements. Therefore, new algorithm is fast and efficient. Test results are also presented, they show the effectiveness of the approach

О. Б. Пащенко, канд. техн. наук, доц., М. В. Филиппов, канд. техн. наук, доц.,
Т. М. Волосатова, канд. техн. наук, доц., МГТУ им. Н. Э. Баумана

Метод построения эвристических алгоритмов в системе автоматизированного проектирования компоновки
радиоэлектронного оборудования на борту маневренного самолета

Предложены эвристические алгоритмы и метод экспертных оценок для системы автоматизированного проектирования компоновок (схем размещения) радиоэлектронного оборудования на борту маневренного самолета

Pashenko О. В., Filippov M. V., Volosotova Т. М.

Creation of Heuristic Algorithms for Computer for Computer-Aided Design of Fighter Avionics Layout

To solve tasks computer electronic model-layout mock-up synthesis, there are used formalized heuristic algorithms.

А. В. Меркушева, канд. техн. наук, Санкт-Петербургский политехнический университет

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

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

Merkusheva A. V.

Neural Network Method for Signal Processing in Information-Measurement Systems. Structure Elements, Learning Principles and Diversiy Measure for Mapping Realized by Network

In the form of compact report, we consider the main statements lying in the base of neural networks (NN) methods that are used for signal processing in information-measurement systems: neural network structures, problems, principles and rules of learning (Habbian-. competition- and Boltzmann types of learning). We describe the statistical foundations of learning process: empirical risk minimization principle, variety estimation for mappings that are realized by NN, operation reliability criteria for NN in the phase of generalization after learning, the rule for controlling the generalization error bounds - on the basis of Vapnik-Chervonenkis dimension conception.

Е. Б. Мазаков, канд. техн. наук, С. Г. Чекинов, д-р техн. наук, Институт автоматизации проектирования РАН

Применение нейросетей в системах распознавания речи*

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

*Работа выполнена при поддержке РФФИ (грант 04-01-00339) и Академической программы "Интеллектуальные компьютерные системы" (проект 16.3.2)

Mazakov E. В., Chekinov S. G.

Application of Neural Networks in the Systems of Recognition of a Voice Information

In the article the version of usage Neural Networks is offered at construction of a system of recognition of a voice information, in which basis the background-oriented method of speech recognition lays.

В. А. Фомичев, канд. техн. наук, проф. МАТИ, МИЭМ E-mail: vdrfom@aha.iru

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

В течение нескольких последних лет в научно-техническом направлении "электронная коммерция" возникли две взаимосвязанные области исследований, получившие названия электронные переговоры (e-negotiations) и электронное заключение контрактов (electronic contracting). В статье обосновываются широкие перспективы использования аппарата стандартных К-языков, или СК-языков (см. работы автора в журнале "Информационные технологии, 2002, № 10, 11) для построения протоколов коммерческих переговоров, осуществляемых компьютерными интеллектуальными агентами (КИА) в произвольных предметных областях, и для формирования контрактов, заключаемых КИА в ходе таких переговоров.

Fomichov V. A.

Standard K-languages as a Universal and Flexible Tool of Forming Contracts and Records of Negotiations in the Field of ElectronicCommerce

During several last years, in the field of electronic commerce two interconnected subfields called "electronic negotiations" (e-negotiations) and "electronic contracting" (e-contracting) have emerged The paper grounds the broad prospects of using the theory of standard K-languages, or SK-languages (see the articles by V. A. Fomichov in "Informational Technologies", Moscow, 2002, № 10, № 11), for constructing in arbitrary application domains the records of commercial negotiations carried out by computer intelligent agents (CIA) and for forming the contracts concluded CIA in the course of such negotiations.

В. В. Овчинников, канд. техн. наук, ОАО НЛМК, г. Липецк (ovch@lipetsk.ru)

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

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

Ovchinnikov V. V.

Semantically Complete Modeling Technique and its Application to Construction of Distributed Heterogeneous Information Systems

The paper describes a conceptual modeling technique based on semantically complete model, the main property of which is that relations carry complete information about object types interconnection. The author introduces a semantically complete query language, expressions of which are formulated without proper names of relations, describes a closure mechanism allowing to request interconnection of indirectly connected object types by means of their simple enumeration. It is proposed an application of semantically complete model as a unified access interface to data stored in distributed way within systems with different architectures.

Д. М. Хартиков, ИМВС РАН

Эффективный способ мандатного управления доступом для сетей TCP/IP в ОС UNIX

Представлен простой метод организации мандатного управления доступом в сетях TCP/IP, который позволяет сохранить совместимость на уровне протоколов для ОС UNIX. Описываются основные преимущества и ограничения этого метода по сравнению с распространенными подходами.

Khartikov D. M.

Efficient Method of Mandatory Access Control for TCP/IP Networks in OS UNIX

A simple method of mandatory access control for the ТСРДР networks is introduced. The method lets to keep compatibility on the protocols level for the OS UNIX. Main advantages and limitations of the method are described comparing to the widely used approaches

М. В. Тарасюк, канд. техн. наук, Д. С. Порох, ОАО Институт сетевых технологий

Оптимизация спектра весов укороченного симплексного кода для повышения достоверности скрытых каналов передачи данных

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

Tarasyk M. V., Poroh D. S.

Shortcut Simplex Code Weight Spectrum Optimization for Increasing Reliability in Covert Data Transmission Channels

In the paper the error correction method based on employing shortcut simplex codes with truncated structure of weight spectrum is proposed. This class of codes increases the number of available data transmission algorithms optimized for archiving a given level of reliability of covert channels and bandwidth. Unlike the cyclic codes, this class of codes ensures that within a wide range of changing of intensity of collisions the level of reliability will be suitable and virtually constant. The decoding algorithm is based on using a priori information about bytes of packets transmitted correctly.

А. Ю. Дроздов, С. В. Новиков,
Институт микропроцессорных вычислительных систем РАН sasha@mcst.ru, novikov@mcst.ru

Эффективный алгоритм построения формы статического единственного присваивания

Рассмотрены вопросы эффективного построения формы статического единственного присваивания (Static Single Assignment (SSA)) программы, которая является одной из самых распространенных форм представления потока данных программы и активно используется в большинстве современных оптимизирующих компиляторов. Ключевым шагом в построении SSA-формы является нахождение мест размещения -функции, в предположении, что задано множество узлов управляющего графа, которые содержат записи в некоторую переменную программы. Проблема нахождения мест размещения -функции в свою очередь сводится к проблеме нахождения множества iterated dominance frontier для множества узлов управляющего графа, содержащих операции записи в переменную, для которой строится SSA-форма. При построении SSA-формы для программы эта процедура применяется ко всем переменным, участвующим в построении. В настоящий момент разработано много алгоритмов нахождения множества iterated dominance frontier для заданного множества узлов управляющего графа, на основе которых эффективно решается задача построения SSA-формы для отдельной переменной. В нашей работе сделан обзор известных алгоритмов нахождения множества iterated dominance frontier, имеющих наилучшую временную асимптотическую оценку, и предложена модификация этих алгоритмов, позволяющая существенно ускорить алгоритмы построения -функций для множества переменных и, как следствие, ускорить построение SSA-формы для всей программы.

Drozdov A. Yu., Novikov S. V.

Fast and Efficient Algorithm for Construction of Static Single Assignment Form

The article is devoted to questions of effective construction Static Single Assignment (SSA) form of programs which is one of the most widespread forms of representation of flow of data of programs and actively used in the majority of modem optimizing compilers. Key step in construction SSA form is finding of places in program where phi-functions should be inserted, in the assumption that we know all instructions which can change value of some program variable for which we want to construct the SSA-form. The problem of phi-functions placement is in turn reduced to a problem of finding of iterated dominance frontier for set of control flow graph nodes where some variable can be change. To construct whole SSA-form we should apply this procedure for each program variable separately. At the present moment many algorithms of a finding of iterated dominance frontier for the given set of control flow graph nodes are developed and used as a part of SSA construction algorithms. In our work we make the review of known algorithms for finding iterated dominance frontier sets especially those that have linear time complexity and offer modification of these algorithms which allows essentially speeding up algorithms of construction phi-functions for set of variables and as consequence to speed up construction of SSA form for whole program.

О. Д. Жуков, канд. техн. наук, Московский государственный университет им. М. В. Ломоносова

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

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

Zhukov O. D.

Information Technology with Dynamical Controlling a Precision and Range of Digital Data Processing

In the paper it is presented information technology with dynamical controlling precision and range of digital data processing. Realizing this technology is provided by special program operators and data structures

А. В. Архипов, д-р техн. наук, проф., e-mail: a_arkhipov@ipi.neva.ru Д. А. Иванов, канд. экон. наук, Санкт-Петербургский государственный политехнический университет,
Центральный научно-исследовательский институт робототехники и технической кибернетики, e-mail: itri.ivanov@mail.ru

Обобщенная задача оперативного планирования работ в производственно-логистических сетях

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

Archipov A. V., Ivanov D. A.

The General Problem of Operative Job Planning in Production-Logistics Networks

The problems of operative job planning in production-logistics networks are discussed. Production-logistics network is a new form of business organization based on a general information space, which enterprises form for collaborative project planning and operation. In this paper, the conceptual and the formal formulation of the operative job planning in production-logistics networks are presented

наверх

О. М. Омаров, канд. техн. наук, М. А. Гаджиев, Р. К. Ахмедов, А. Т. Тагиров,
Государственное Учреждение Отделение Пенсионного фонда России по Республике Дагестан

Корпоративная сеть передачи данных отделения Пенсионного фонда России по Республике Дагестан

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

Omarov O. M., Gadzhiev M. A., Akhmedov R. K., Tagirov A. T.

Corporative Network of Data Transmission of the Pension Reserves of Russia for Dagestan Republic

The main principles of the construction of the screened corporative network of the Pension reserves of Russia department for Dagestan republic being on the basis of information flows acting in the region are considered.

наверх