И. Г. Игнатова, канд. техн. наук, МИЭТ. г. Москва

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

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

Ignatova I. G.

Organization of Access Diversification Based on Semantic Levels of interaction Between Users and Information Environment

A new way of building access diversification model has been introduced. A procedure for determining characteristics of faction between objects and subjects of an information environment based on introduced semantic levels of interaction has been examined.

А. А. Устинов, канд. техн. наук, доц., Военный университет связи, г. С. Петербург

Постановка задачи совместного кодирования дискретного источника и дискретно-непрерывного канала связи с изменяющимися параметрами

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

Ustinov A. A.

Formulation the Problem for Joint Coding of a Discrete Source and a Discretely Continuous Communication Channel with Varying Parameters

Formulation of the problem for joint coding of a discrete source and a discretely continuous communication channel with varying parameters is considered. It is shown that the synthesis of the systems for joint coding of a discrete source and a discretely continuous communication channel is possible through solution of the problem of joint coding and modulation in the transmission path and solution of the problem of joint demodulation and adaptive compensation in the receiving path with the same constraints on signal assemblies at the output of a modulator and a demodulator, respectively.

наверх

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

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

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

Solodovnikov I. V., Doronin V. A.

Genetic Algorithm for Search of Logical Regularities in Data

Algorithm for search of latent logical regularities is considered. In the base of the approach is the separation logical events getting as a result of data preprocessing with the help of genetic algorithm.

И. М. Зацман, канд. техн. наук, Институт проблем информатики РАН, г. Москва

Семиотические основания и элементарные технологии информатики*

К настоящему времени не сформировались общепринятые основания информатики, что связано не только с относительной молодостью этой фундаментальной области знания, но и с ее особой позицией в системе современного научного познания относительно ответа на следующий вопрос: "Являются ли знания субъекта в разные моменты времени самотождественными"? На основе двух основных подходов к определению понятия "знак" в семиотике - лингвоцентрический и логоцентрический, в статье предпринята попытка рассмотреть семиотические основания информатики, сформулировать дефиниции ее базисных терминов и предложить типологию основных классов элементарных технологий. В настоящей статье предлагается использовать определение Ю. А. Шрейдера для предметной области информатики как объединения информационной (information science) и компьютерной (computer science) наук.

* Работа выполнена при частичной поддержке РГНФ, грант № 05-03-03230а.

Zatsman I. M.

Semiotic Foundations for Informatics and Its Elementary Technologies

By now, the conventional foundations for informatics have not established. It is connected not only to a relative youth of this fundamental area of knowledge, but also with its unique position in the system of modern scientific knowledge. This position is concerning the answer to the following question - whether knowledge of the subject are self-identical during the different moments of time. Based on two approaches to definition of concept "sign" in semiotics - linguistic and logical - in the paper an attempt to consider the semiotic foundations for informatics is undertaken. In addition, definitions of its basic terms are formulated and the typology of the main classes of elementary technologies is offered. For the purposes of the present paper it is offered to use Shreider's definition for a subject domain of informatics as union of information and computer sciences

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

Об одной схеме подписи на основе идентификационных данных с использованием билинейных отображений на эллиптических кривых

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

Imamverdiyev Ya. N.

About an New Identity Based Signature Scheme from Bilinear Maps on Elliptic Curves

In identity-based cryptography public key can be an arbitrary string, and particular, a string that identifies the user who holds the associated private key, like his email address. In this paper we propose an identity-based signature scheme using pairings over elliptic curves. Security is based on Computational Diffie-Hellman problem. We compare it with other identity-based signature scheme from efficiency points of view.

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

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

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

Alguliev R. M., Ragimov E. R.

On the Information Security Estimation of Corporate Networks at the Design Phase

The metric of an information security estimation of corporate networks at the design phase, based on statistic data about information security violations and model of reliability of software is offered. The numerical example is also presented.

А. Ю. Дроздов, А. Е. Кирнасов, ИМВС РАН, г. Москва sasha@mcst.ru

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

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

Drozdov A. Yu., Kirsanov A. E.

Predicate Analysis and It's Use in Optimizing Compilers for Explicitly Parallel Architectures

The article is devoted to questions of predicate analysis and its effective applications in modern optimizing compilers. Approach is proposed which allows spreading analysis of predicate expressions on the case of arbitrary control flow and data flow of program. Some optimizations are considered which gain much power from advanced predicate analysis.

А. С. Филиппова, канд. физ.-мат. наук, доц., Э. А. Мухачева, д-р техн. наук, проф., Л. В. Чиглинцев,
Уфимский государственный авиационный технический университет

Задача ортогональной упаковки в полубесконечную полосу: численный эксперимент с безотходными задачами Е. Hopper*

Примеры задач Е. Hopper безотходные, т. е. для них известны оптимальные решения. Число различных прямоугольников колеблется от 16 до 197. Все примеры решались с помощью однопроходных декодеров с сохранением заданного порядка прямоугольников. Получены оптимальные решения следующими алгоритмами: "конструирования блоков", "замещения" и "парных списков". Методы локального поиска блочной структуры также оказались для них эффективными.

*Работа поддержана фондом Президента Российской Федерации, проект МК 145.2003.01

Filippova A. S., Mukhacheva E. A., Chiglintsev A. V.

The Orthogonal Bin Packing Problem: a Numerical Experiment with Waste-Free Instances of E. Hopper

The problem instances of E. Hopper are waste-free, i. e., the optimal solution value is known. The number of items in the instances varies from 16 to 197. We applied several single-pass algorithms. For the single-pass algorithms, we retained the optimal order of items in the list in order to test their "correctness". Optimal solutions could be obtained by the following single-pass algorithms: "block construction", "substitution", and "double list". Methods of local search of block structure also appeared to be efficient for them.

Ю. В. Федоров, канд. техн. наук, Тольяттинская государственная академия сервиса

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

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

Fjodorov Yu. V.
The Salvation of the Multi-Criterion Optimisation Task in Illegible Formulation

The article studies the problem of reasonable budget division among all the branches of the Department of Education.
The procedure of solving this task is based on the qualitative factors that are extremely important for the effective functioning of the system being examined.
To solve the task the methods of mathematical and imitation modeling are used.

М. X. Прилуцкий, д-р техн. наук, проф., Нижегородский государственный университет
им. Н. И. Лобачевского, email: pril@iani.inn.ru
С. Е. Власов, канд. техн. наук,
Научно-исследовательский институт измерительных систем им. Ю. Е. Седакова (Нижний Новгород),
svlasov@niiis.nnov.ru

Многокритериальные задачи объемного планирования. Лексикографические схемы

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

Prilntsky M. Kh., Vlasov S. E.

Multicriteria Tasks of Volumetric Planning Lexicographic Schemes

In the article the problem of forming plans for enterprise departments in volumetric parameters is considered. Problems of multicriteria volumetric planning are set. Solving algorithms for these problems based on lexicographic ordering of elements of the system are given. Results received in the article underlies developed software for planning technological preparation of manufacturing the equipment for manufacturers of radio electronics.

наверх

Н. М. Новикова, канд. техн. наук, доц., Воронежский государственный университет,
С. Л. Подвальный, д-р техн. наук, проф.,
Воронежский государственный технический университет

Характеристики статистической модели распознавания зрительных образов человеком-оператором

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

Novikova N. M., Podvalny S. L.

Characteristics of Statistical Models of Observer by Images Recognition

The pattern recognition statistical model of human work has been considered. Method of delivering from singular of covariance matrixes has been shown. Modeling algorithm of the pattern recognition system has been adduced. Estimates of errors and correcting probabilities of pattern recognition were received in simulation computer experiments. Results of experiments with observers and with simulation statistical model are compared.

Ю. И. Шемакин, д-р техн. наук, проф.
Российская академия государственной службы при Президенте РФ

Семантика коэволюционной технологии самоорганизации Вселенной*

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

* Статья получила неоднозначную оценку членов редколлегии журнала и поэтому публикуется в данной рубрике в порядке обсуждения

Shemakin Ju. I.

Semantics of Coevolutionary Technology of Self-Organization of Universe

Semantics of revolutionary technology of self-organization of universe is discussed. It's considered as the system prediction property of change of structure itself and the functions for purpose choice and also control by purposeful actions by means of inclusion of functional mechanisms.

оглавление