АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" №6, 2012

К оглавлению

М. С. Талалай, инженер-исследователь, e-mail: mikhail.s.talalay@intel.com, К. В. Трушин, инженер-практикант, e-mail: konstantin.trushin@intel.com, О. В. Венгер, инженер-исследователь, e-mail: oleg.v.venger@intel.com, ЗАО "ИНТЕЛ А/О", Москва

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

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

Стр. 2 – 11

Talalay M. S., Trushin K. V., Venger O. V. Logic Synthesis of a Boolean Function on Regular Layout Templates

In this paper we describe the method of logic synthesis that can be applied to design ICs within the limits of strongly regular layout structures. Proposed technique skips the hierarchy of standard cells and uses regular layout templates as minimal functional elements. We describe the method to decompose logic functions using combinational circuits of general view. We propose a set of transistor circuits that have regular layout for usage as the set of functional elements for regular layout synthesis and demonstrate examples of template-based synthesis solutions. We show that the template-based approach can significantly reduce design area in comparison with standard cells approach.
Keywords: regular layout, regular fabrics, logic decomposition, layout templates

П. Н. Бибило, д-р техн. наук, проф., e-mail: bibilo@newman.bas-net.by, Объединенный институт проблем информатики Национальной академии наук Беларуси, г. Минск

Экспертные знания в САПР цифровых устройств

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

Стр. 11 – 17

Bibilo P. N. Expert Knowledge in CAD for Digital Devices
The problem of development of expert systems for CAD is considered in an example of the problem area
of logical design of digital devices. Organization of design systems is analysed, and a model of expert knowledge
representation is reported.
Keywords: digital devices, CAD systems, expert knowledge, productions, frames

В. Н. Тарасов, д-р техн. наук, проф., зав. каф., Е. М. Мезенцева, аспирант, ассистент, Поволжский государственный университет телекоммуникаций и информатики, г. Самара, e-mail: katya-mem@psati.ru, vt@ist.psati.ru

Организация защиты компьютерных сетей. Метод многомодульной фильтрации спама на Web-сайтах

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

Стр. 17 – 22

Tarasov V. N., Mezentseva E. M. Organization of the Computer Networks Security. Multimodular Filtering
Method for Spam in Web-Sites
We show the model of spam filtering in comments, feedback forms, and other interactive sections. Also given
the general scheme of the filter and filtering process, learning of the filter and algorithm of spam identification.
Keywords: spam, message, filter, principal scheme, token, orthogonal sparse bigrams, Bayes formula

С. Н. Карутин, канд. техн. наук, зам. начальника центра, ОАО "Российские космические системы", e-mail: sergey.karutin@rniikp.ru

Метод автономного эфемеридно-временного обеспечения навигационных космических аппаратов системы ГЛОНАСС

Проведен анализ существующих методов эфемеридно-временного обеспечения навигационных космических аппаратов космических комплексов ГЛОНАСС. Предложен метод автономного и оперативного определения эфемеридно-временной информации на борту навигационных космических аппаратов ГЛОНАСС за счет использования сети земных станций, формирующих радионавигационное поле с использованием навигационных радиосигналов навигационных космических аппаратов системы ГЛОНАСС. Приведены результаты проекти­рования системы оперативного эфемеридно-временного обеспечения навигационных космических аппаратов системы ГЛОНАСС. На основе проведенных исследований сделаны выводы о возможных направлениях развития элементов космического комплекса системы ГЛОНАСС.
Ключевые слова: глобальные навигационные спутниковые системы, ГЛОНАСС, эфемеридно-временное обеспечение

Стр. 23 – 28

Karutin S. N. Autonomous GLONASS Navigation Satellites Ephemeris and Clocks Estimation Method
Analysis of existing GLONASS navigation satellite orbits and clocks estimation methods had been done. Autonomous and real time on-board of GLONASS navigation satellites orbits and clocks determination method, based on a use of radio navigation field created by ground stations with GLONASS satellites navi­gation signal support, is proposed. Results of GLONASS navigation satellites real-time orbits and clocks de­termination system design are presented. Conclusions about possible GLONASS space complex components development directions had been made based on these studies. Keywords: GLONASS, orbits and clocks determination

М. В. Бочков, д-р. техн. наук, зам. директора по научной работе, НОУ "Центр предпринимательских рисков", Ю. П. Лалушкин, д-р. техн. наук, консультант, УИС Спецсвязи ФСО России, А. А. Шкадов, канд. техн. наук, зам. нач. отделения, НИИ "Энергия" ФСО России, e-mail: shkadline@mail.ru

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

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

Стр. 29 – 33

Bochkov M. V., Lalushkin Yu. P., Shkadov A. A. The Model of Conditions of Protection Computer Network
in Based Hierarchical Colored Petri Nets
In the article approach to the management of secure computer network, based on the policy of security, is described. The model of definition of secure computer network has been offered. The formal model is designed compositionally using colored Petri nets (CPN), which can serve as a high-level design for penetration testing.
Keywords: colored Petri nets, security policy, vulnerabilities, computer network

А. В. Козленко, адъюнкт, Военная академия связи, г. Санкт-Петербург, e-mail: et-ak@yandex.ru

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

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

Стр. 33 – 38

Kozlenko A. V. Information Security Estimation Method from Unauthorized Access in Computer Networks
in the Conditions of Complex Threats
In this article the urgency of information security quantitative estimation problem from unauthorized access in computer networks is shown. Information security estimation method from unauthorized access in computer networks on a basis of security graph is offered. The offered method provides rise of a information security management efficiency in computer networks due to complex security metric, and also application of the security graph which considering real structure of a computer network and information security system.
Keywords: security estimation, unauthorized access, computer network, security coefficient, security graph

В. А. Бобков, д-р. техн. наук, зав. лаб., e-mail: bobkov@iacp.dvo.ru, Ю. И. Роньшин, вед. инж., e-mail: ronshin@iacp.dvo.ru, В. Ю. Машенцев, аспирант, e-mail: v.mashentsev@gmail.com, Институт автоматики и процессов управления ДВО РАН

Построение карт глубин на множественной последовательности видов*

Предложена модификация ранее разработанного авторами алгоритма построения карт глубин по множественной последовательности изображений с реализацией параллелизма на языке CUDA. Алгоритм основывается на применении space-sweep-стратегии, адаптивной методики сопоставления окон и учете связности точек. Получены оценки эффективности алгоритма по результатам вычислительных экспериментов.
Ключевые слова: множественная последовательность изображений, карта глубин, сопоставление точек, CUDA

Стр. 39 – 44

* Работа выполнена при финансовой поддержке РФФИ (проект № 11-07-00088-а) и Программы № 18 Президиума РАН

Bobkov V. A., Ronshin Yu. I., Mashentsev V. Yu. Depth-Maps Generation from Multiple Images
A modification of the previously developed algorithm for the creation of depth maps from multiple images with the implementation on CUDA is suggested. The algorithm is based on the use of space-sweep strategy, the adaptive window technique and consideration of the connection points. The results of computational experiments on efficiency algorithm are presented.
Keywords: multiple images, depth map, point matching, CUDA

В. А. Бимаков, директор, Е. В. Бимаков, вед. инженер, Общество с ограниченной ответственностью "Робинт", г. Ижевск, e-mail: robint@mail.ru

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

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

Стр. 44 – 49

Bimakov V. A., Bimakov E. V. Principles of Building and of Functioning of Devices for High Speed Processing
of Dot Geometrical Models
The general principles of building and functioning of the devices intended for application in intellectual systems of technical vision, in control systems by high-maneuverable autonomous robots, in systems of high-realistic computer graphics and animation, in systems of the automated designing are being described.
The method, being used in these devices, to process the scenes and images, allows to offer the new superfast processing algorithms, which are not dependent on geometrical forms of objects being processed .
Keywords: high-speed processing of scenes and images, geometrical models

И. Г. Панин, канд. техн. наук, доц. каф. ИТ, e-mail: igpanin@list.ru, В. В. Благовещенский, д-р физ.-мат. наук, проф. каф. физики, Костромской государственный технологический университет

Численное решение уравнения эволюции дислокационного источника Франка — Рида

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

Стр. 50 - 56

Panin I. G., Blagoveshchenskii V. V. Numerical Solution of Equations of Evolution Dislocation Sources Frank — Read
This paper describes the principles of constructing a model of dislocation Frank — Read source, based on the solution of linear partial differential equations of parabolic type. Produced by choosing the most suitable schemes for the numerical solution of the equation. Studied problems of stability, convergence, accuracy difference scheme and the sweep method solving the system of linear equations, compiled on the basis of the equation being solved. The choice made solution algorithm with minimum time spent.
Keywords: crystal, dislocation, dislocation source model, the numerical solution, convergence, stability, accuracy

Я. Е. Львович, д-р техн. наук, проф., зав. каф., И. Л. Каширина, канд. техн. наук, доц., А. А. Тузиков, аспирант, e-mail: Kash.irina@mail.ru, Воронежский государственный технический университет

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

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

Стр. 56 – 60

Lvovich Ya. E., Kashirina I. L., Tuzikov A. A. Genetic Algorithm Solution the Problem of Increasing the Reliability Multicriterial Reservation
The process of automated design systems is the multi-criteria optimization problem,which is one of the criteria — to ensure a given level of reliability. The relevance of scientific publications of this theme is that there is no universal formal methods, algorithms, programs to help automate the management of reliability for any complex technical system at all stages of its life cycle. In this paper the mathematical modeland genetic algorithm for solving reliability redundancy components Clay information and control systems for fire tests of liquid rocket engines.
Keywords: liquid rocket engine, control system testing, reservation, multicriteria mathematical model, the genetic algorithm

Оценка параметров сигналов в базисах функций сплайн-характеров

Предлагаются методы и реализующие их алгоритмы оценки параметров сигналов в базисах функций сплайн-характеров (БФСХ). Описывается быстрое преобразование сигналов в БФСХ. Обосновывается его высокая вычислительная эффективность. Демонстрируется выигрыш в объеме вычислений при переходе от дискретных экспоненциальных функций к частному случаю БФСХ— базису сплайн-Виленкина — Крестенсона функций.
Анализируется эффективность метода оценки несущей частоты сигналов с позиций точности, скорости и вычислительных затрат.
Ключевые слова: оценивание параметров сигналов, функции сплайн-характеров, быстрые преобразования сигналов, базис сплайн-Виленкина — Крестенсона функции

Стр. 61 – 68

Agievich S. N. Parameter Estimation for Signals in the Bases of Spline-Characters Functions
The methods and implement their algorithms for the evaluation of signal parameters in the bases of spline-characters functions (BFSH). Described by the rapid transformation of the signals in BFSH. Justified by its high computational efficiency. Demonstrates how to win in the volume of calculations in the transition from discrete exponential functions to the particular case BFSH — the basis of spline-Vilenkin — Chrestenson functions.
Analyzes the effectiveness of the method of evaluation of the carrier frequency signals from the standpoint of accuracy, speed and computational resources.
Keywords: estimation parameter signal, functions spline-сharacter, quick transformations signal, the base of spline-Vilenkina — Krestensona functions

А. А. Рындин, д-р техн. наук, проф., В. П. Ульев, соискатель, e-mail: u_vitalii@mail.ru, Воронежский государственный технический университет

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

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

Стр. 69 – 73

Ryndin A. A., Ulyev V. P. Development a Hybrid System of Scoring Credit Rating for Corporate Clients
The article reviews the main challenges of designing a hybrid scoring systems for evaluating the credit-worthiness of legal entities. We consider the classification of hybrid systems and the problems of their design, proposed compensation model estimates the integration of different techniques. The approach of constructing a hybrid fuzzy neirogenetical system of decision-making. Presented a general hybrid system flow chart, preview the main module algorithm considered and principles of interaction between subsystems.
Keywords: credit scoring, hybrid systems, fuzzy sets, neural networks, genetic algorithms

Я. А. Архипова, аспирант, e-mail: yand5883@yandex.ru, Нижегородский государственный лингвистический университет

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

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

Стр. 73 – 76

Arkhipova Ya. A. Automatic Periodization of Exchange Quotation Dynamics on the Basis of Minimum Information Divergence Criterion
According to the general enunciation of the disorder problem set and solved the task automatic segmentation of exchange quotations stochastic time series into homogeneous data segments (clusters) on the basis of the autoregressive model and minimum of an information mismatch criterion. The problem of the selection and validation of the admissible level of disorder of time series raised and resolved. The results of the experimental investigations of stock market dynamics in the USA and Russia are shown.
Keywords: stochastic time series, linear autoregressive model, minimum of information mismatch criterion

В. А. Китов, Институт истории естествознания и техники им. С. И. Вавилова РАН e-mail: vladimir.kitov@mail.ru
В. М. Трояновский, Национальный исследовательский университет "МИЭТ" e-mail: troy40@mail.ru

2-я Международная конференция по истории отечественной вычислительной техники и информатики SoRuCom-2011

Стр. 77 – 78

оглавление