Выпуск 4

Федотов А.М., Барахнин В.Б. "К ВОПРОСУ О ПОИСКЕ ДОКУМЕНТОВ «ПО АНАЛОГИИ»"

К ВОПРОСУ О ПОИСКЕ ДОКУМЕНТОВ «ПО АНАЛОГИИ»

Статья посвящена анализу формализации понятий аналогии и сходства, а также изложению процедуры поиска документов «по аналогии»
Ключевые слова: информационный поиск, аналогия, сходство, кластеризация

A.M.Fedotov, V.B,Barakhnin
PROBLEMS OF DOCUMENTS RETRIEVAL «IN ANALOGY»
Study of notion “analogy” and “similarity”, their formalization, and also procedure of information retrieval “in analogy” are resolved in the article.
Keywords: information retrieval, analogy, similarity, clustering.

Страницы 3 - 14

БредихинС.В., Костин В.И., Щербакова Н.Г. "ОБНАРУЖЕНИЕ СКАНЕРОВ В IP-СЕТЯХ МЕТОДОМ ПОСЛЕДОВАТЕЛЬНОГО СТАТИСТИЧЕСКОГО АНАЛИЗА"

ОБНАРУЖЕНИЕ СКАНЕРОВ В IP-СЕТЯХ МЕТОДОМ ПОСЛЕДОВАТЕЛЬНОГО СТАТИСТИЧЕСКОГО АНАЛИЗА

Рассматриваются подходы к обнаружению сканирования в ip-сетях. Приведен обзор методов, применяемых в системах обнаружения вторжения Snort и Bro и статистических моделей выявления аномального трафика. Особое внимание уделяется методу последовательного анализа и моделям, использующим этот метод для выявления сканеров. Представлен алгоритм для выявления сканеров в ip-сетях, который базируется на методе последовательного анализа А. Вальда. Приведены результаты апробирования алгоритма на трафике сети Интернет СО РАН. Даны оценки эффективности алгоритма и исследованы его возможности в зависимости от выбора параметров.

Ключевые слова: сети на базе стека протоколов ip, сканирование адресов и портов, базовые системы Snort и Bro, вероятностные подходы, метод последовательного анализа А. Вальда, модели TRW и TAPS, алгоритм обнаружения сканеров, его производительность и эффективность.

Bredikhin S.V., Kostin V.I., Scherbakova N.G.
Scan Detection in IP Networks Using Sequential Hypothesis Testing

The approaches to scan detection in ip networks are considered in the first part of the article. The information on the base methods used in the known intrusion detection systems Snort and Bro, and also applying of statistical models for anomalous traffic diagnostic is introduсed. The special attention is given to a method of the sequential analysis and to models that use this method for scan detection. The algorithm for scan detection in ip networks is introduced in the second part of the article. The algorithm is based on the method of sequential hypothesis testing by A. Wald. The results of algorithm approbation in the Internet SB RAS environement are given. The performance evaluations are presented and algorithm capabilities depending on the parameters values are investigated.

Keywords: ip-based networks, address/port scanning, base systems Snort and Bro, statistical methods, sequential hypothesis testing by A. Wald, models TRW and TAPS, algorithm efficiency and effectiveness.

Страницы 15 - 35

Хмельнов А.Е., Игнатьев А.С., Семенов А.А. "ДВОИЧНЫЕ ДИАГРАММЫ РЕШЕНИЙ В ЛОГИЧЕСКИХ УРАВНЕНИЯХ И ЗАДАЧАХ ОБРАЩЕНИЯ ДИСКРЕТНЫХ ФУНКЦИЙ"

ДВОИЧНЫЕ ДИАГРАММЫ РЕШЕНИЙ В ЛОГИЧЕСКИХ УРАВНЕНИЯХ И ЗАДАЧАХ ОБРАЩЕНИЯ ДИСКРЕТНЫХ ФУНКЦИЙ

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

A. E. Khmelnov, A. S. Ignatjev, A. A. Semenov
BINARY DECISION DIAGRAMS IN LOGICAL EQUATIONS
AND PROBLEMS OF DISCRETE FUNCTIONS INVERSION
The paper addresses software implementation of one approach to the problems of discrete functions inversion. Such an approach is based on the technique representing boolean functions in the form of binary decision diagrams (BDD). We propose new methods of memory usage optimization when working with BDD. The described technology is tested on some cryptanalysis problems.
Keywords: binary decision diagrams, logical equations, discrete functions, cryptanalysis.

Страницы 36 - 52

Власенко А.Ю. "МОДЕЛЬ МАСШТАБИРУЕМОЙ СИСТЕМЫ АВТОМАТИЧЕСКОГО КОНТРОЛЯ КОРРЕКТНОСТИ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ"

МОДЕЛЬ МАСШТАБИРУЕМОЙ СИСТЕМЫ АВТОМАТИЧЕСКОГО КОНТРОЛЯ КОРРЕКТНОСТИ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ

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

Ключевые слова: параллельные вычисления, MPI, контроль корректности параллельных программ, логические ошибки в MPI-программах.

MODEL OF SCALABLE SYSTEM OF PARALLEL PROGRAMS AUTOMATIC CORRECTNESS CHECKING

Problem of debugging parallel programs in model of distributed memory is very difficult process that needs special software tools. In current time there are several approaches for construction such program systems. Comparative analysis of these approaches, mistakes classification in parallel programs and the most widely-spread systems to this time is given in this paper. Also paper describes model and algorithms of detection mistakes by Kemerovo University’s automatic correctness checking system.

Keywords: parallel computing, Message Passing Interface, correctness cheching of parallel programs, logical errors in MPI-programs.

Страницы 53 - 65

Захаров Ю.Н., Потапов В.П., Счастливцев Е.Л., Чирюкина А.В. "МОДЕЛИРОВАНИЕ РАСПРОСТРАНЕНИЯ ЗАГРЯЗНЯЮЩИХ ВЕЩЕСТВ В ЗАТОПЛЕННЫХ ГОРНЫХ ВЫРАБОТКАХ"

МОДЕЛИРОВАНИЕ РАСПРОСТРАНЕНИЯ ЗАГРЯЗНЯЮЩИХ ВЕЩЕСТВ В ЗАТОПЛЕННЫХ ГОРНЫХ ВЫРАБОТКАХ

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

Yu. N. Zakharov, V. P. Potapov, E. L. Schastlivtsev, A. V. Chiryukina
SIMULATION OF DIRT EXPANSION IN FLOODED COAL MINES
The article presents three models of flow – ideal stratified, ideal non-stratified and viscous incompressible liquid. The dynamic of dirt expansion is found.
Keywords: mathematical models, coal mines, water flow, dirt expansion.

Страницы 66 - 72

Врагова Е.В., Скляров Л.А."ОБНАРУЖЕНИЯ УТЕЧЕК ГАЗА ИЗ МАГИСТРАЛЬНЫХ ГАЗОПРОВОДОВ В ТЕПЛОВОМ ПОЛЕ ИЗЛУЧЕНИЯ ЗЕМНОЙ ПОВЕРХНОСТИ"

ОБНАРУЖЕНИЯ УТЕЧЕК ГАЗА ИЗ МАГИСТРАЛЬНЫХ ГАЗОПРОВОДОВ В ТЕПЛОВОМ ПОЛЕ ИЗЛУЧЕНИЯ ЗЕМНОЙ ПОВЕРХНОСТИ

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

Ключевые слова: моделирование, аварии, трубопроводный транспорт, температурные поля, тепловизор.

E.V.Vragova, L.A.Sklayrov
DETECTION OF LEAKS GAZA FROM THE MAIN GAS PIPELINES IN THE THERMAL FIELD OF RADIATION OF THE TERRESTRIAL SURFACE.

Analysis of existing methods and a new methodic of calculation of leaks of gas from the pipeline in a thermal field of radiation of a terrestrial surface is considered. It is shown, what even small cracks in pipes lead to occurrence on a surface of a ground of the thermal anomalies, allowing localizing a leak place a pilotless flying machine with established onboard infra-red radio metre.
Keywords: modeling, accident, pipeline transport, , temperature fields, teplovizor.

Страницы 73 - 80

Князева А.А., Колобов О.С., Турчановский И.Ю., Федотов А.М. "РАНЖИРОВАННЫЙ ПОИСК В БИБЛИОГРАФИЧЕСКИХ БАЗАХ ДАННЫХ"

РАНЖИРОВАННЫЙ ПОИСК В БИБЛИОГРАФИЧЕСКИХ БАЗАХ ДАННЫХ

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

RANKED SEARCH IN BIBLIOGRAPHIC DATABASES
The paper describes the approach to the ranked search in bibliographic databases. The problem of effective subject search in automated library catalogs is solved with this approach. Bibliographic record is considered as structured document, which may consist of a several zones. This allows us to calculate the assessment in relation to the search query according to different zones of the document. The obtained estimates documents are used for ranking search results. There are considered various models of ranked search, as well as the approach to meta-search, for a variety of bibliographic databases.
Keywords: information retrieval, databases, ranking, metadata, meta-search.

Страницы 81 - 96

Максименко А.А., Новоселов С.В., Пятковский О.И. "ИНТЕЛЛЕКТУАЛЬНАЯ АНАЛИТИЧЕСКАЯ СИСТЕМА УПРАВЛЕНИЯ ИННОВАЦИОННЫМ РАЗВИТИЕМ РЕГИОНА"

ИНТЕЛЛЕКТУАЛЬНАЯ АНАЛИТИЧЕСКАЯ СИСТЕМА УПРАВЛЕНИЯ ИННОВАЦИОННЫМ РАЗВИТИЕМ РЕГИОНА

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

A.A. Maksimenko. S.V. Novoselov, O.I. Pyatkovsky
Intellectual analytical management system of the innovational development in the regional conditions

Provided are development results of the intellectual analytical management system of the innovational development in the regional conditions in the system "university - industry". Analytical management system is based on the concept of innova-tional development of/in the region, developed evaluation models of the innovational potential of the scientific-technical organization, enterprises and a comparison of the potentials, with a purpose of forming theatrical innovational clusters.
Keywords: models, innovational potential, concept, management system, the scientific-technical organization, enterprise, region.

Страницы 97 - 107

Панасенко Е.А., Старченко А.В. "ПРИМЕНЕНИЕ МНОГОПРОЦЕССОРНОЙ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ПРИ ОПРЕДЕЛЕНИИ ИСТОЧНИКОВ МГНОВЕННОГО ВЫБРОСА В ЧРЕЗВЫЧАЙНЫХ СИТУАЦИЯХ"

ПРИМЕНЕНИЕ МНОГОПРОЦЕССОРНОЙ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ПРИ ОПРЕДЕЛЕНИИ ИСТОЧНИКОВ МГНОВЕННОГО ВЫБРОСА В ЧРЕЗВЫЧАЙНЫХ СИТУАЦИЯХ

В представляемой работе рассматриваются обратные задачи, в которых по данным измерений определяются мгновенные точечные источники загрязнения атмосферного воздуха. Излагается постановка задачи, обсуждаются алгоритмы решения задач и используемые разностные схемы численного решения уравнений. Кроме того, представлена модификация метода Г.И. Марчука для решения обратных задач, позволяющая с помощью многопроцессорных вычислительных систем определять источники загрязнения воздуха. Сформулированы параллельные алгоритмы для решения задач переноса примеси на многопроцессорной вычислительной технике с распределенной памятью. Алгоритмы опираются на принципы геометрической декомпозиции сеточной области и подход «master-slave» и в совокупности показывают высокую эффективность на кластерах семейства СКИФ.
Ключевые слова: задача переноса примеси, обратная задача, математическое моделирование, адвективно-диффузионное уравнение, пост наблюдения, разностная схема, параллельная реализация, суперкомпьютер СКИФ Cyberia.

E.A. Panasenko, A.V. Starchenko
Application of multiprocessing computer facilities for numerical realization of the method of the solution of inverse problems of carry of the impurity with the purpose of definition of sources of instant emission in extreme situations

The inverse problems are considered in the present work and instant the sources of atmosphere pollution are defined by measurements. The statement of the problem is formulated and algorithms of the problems solution, used numerical schemes for equations are discussed. Besides the modification of G.I.Marchuk method for the solution of the inverse problems is realized which is allow with the use of multiprocessing computing systems to define sources of air pollution. Parallel algorithms for the solution of problems of carry of an impurity on multiprocessing computer facilities with the distributed memory are formulated. Algorithms base on principles of geometrical decomposition and the approach "master-slave" and they in aggregate show high efficiency on computing cluster Cyberia.

Key words: a problem of carry of an impurity, a inverse problem, mathematical modelling, the equation of advection and diffusion, a post of supervision, a numerical schemes, parallel realization, a cluster Cyberia.

Страницы 108 - 119

RSS-материал