Выпуск 1, Выпуск 2, Выпуск 3, Выпуск 4

К 100-летию со дня рождения АЛЕКСЕЯ АНДРЕЕВИЧА ЛЯПУНОВА

8 октября 2011 года исполнилось 100 лет со дня рождения Алексея Андреевича Ляпунова – одного
из основоположников отечественной кибернетики, члена-корреспондента АН СССР, основателя
Московской и Сибирской школ кибернетики и теоретического программирования, одного из
основателей НГУ и ФМШ при НГУ. Его значение в истории отечественной кибернетики уникально.
Достаточно сказать, что в 1996 г. (посмертно) он был награжден самой престижной наградой
мирового компьютерного сообщества – золотой медалью «Computer Pioneer» с формулировкой:
«Создателю операторного метода программирования, основателю советской кибернетики и
программирования». И хотя А. А. Ляпунова вот уже почти 40 лет нет с нами, его научное наследие
не только не теряет своей актуальности, но и становится все более востребованным.

А. М. Федотов
член-корреспондент РАН
заместитель директора
Института вычислительной техники СО РАН
декан факультета информационных технологий
Новосибирского государственного университета

Шокин Ю.И., Клименко О.А., Петров И.С. "АНАЛИЗ СВЯЗЕЙ МЕЖДУ САЙТАМИ ИНСТИТУТОВ СИБИРСКОГО ОТДЕЛЕНИЯ РАН"

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

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

Yu. I. Shokin, O. A. Klimenko, I. S. Petrov
ANALYSIS OF LINKS BETWEEN SITES OF INSTITUTES OF THE SIBERIAN BRANCH OF RAS
The work provides analysis of the structure and dynamics of academic web-space development by the example of the
Siberian Branch of the Russian Academy of Sciences (SB RAS). An original program which takes into account some
special situations having influence on completeness and quality of the collected data has been created. The results are
presented as graphs in which nodes are sites, and edges-hyperlinks. The graphs of interlinked data have shown, that some
organizations reference each other, other organizations have many outgoing references, the third are isolated, and the
fourth have many incoming references, that show a value of information placed on the site.
Keywords: web-space, webometrics, hyperlink, site.

Страницы 12-17

Крюков П.А. "РАЗРАБОТКА ЭФФЕКТИВНЫХ ТОРГОВЫХ СТРАТЕГИЙ НА ВАЛЮТНОМ РЫНКЕ FoRex"

РАЗРАБОТКА ЭФФЕКТИВНЫХ ТОРГОВЫХ СТРАТЕГИЙ НА ВАЛЮТНОМ РЫНКЕ FoRex

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

P. A. Kryukov
WORKING OUT OF EFFECTIVE TRADING STRATEGY
IN THE CURRENCY MARKET FoRex
In work the methodical approach of the author to construction of models of the analysis and forecasting of dynamics
of the rate of exchange from a position of the decision of a problem of typological classification of its conditions by methods
factorial scaling is presented. The technique of construction of effective trading strategy on the basis of the developed
models is considered.
Keywords: a method, the forecast, the analysis, dynamics, the rate of exchange, model, classification, factorial scaling.

Страницы 18-28

Котляров В.П., Дробинцев П.Д. "АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ПРОДУКТА С ПОМОЩЬЮ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ"

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

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

V. P. Kotlyarov, P. D. Drobintsev
SOFTWARE DESIGN AUTOMATION BASED ON FORMAL SPECIFICATION
Considered is the problem of manual development of specifications for the designed application, which introduces a
significant efforts to the software development process together with the problem of application semantics control, required
by the customer. Discussed are the instruments of development automation of requirements and architectural models'
formal specifications as well as the technology of specifications and models design in the notation, appropriate for the
customer's control (monitoring, inspection).
Keywords: requirements models, architectural models, semantics of the requirements, customer's control (monitoring,
inspection).

Страницы 29-38

Бобов А.В. "ЭКСПЕРТНАЯ СИСТЕМА ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПО ОПРЕДЕЛЕНИЮ ОЧЕРЕДНОСТИ АВТОМАТИЗАЦИИ ЭТАПОВ ПОДГОТОВКИ ПРОИЗВОДСТВА"

ЭКСПЕРТНАЯ СИСТЕМА ПОДДЕРЖКИ ПРИНЯТИЯ РЕШЕНИЙ ПО ОПРЕДЕЛЕНИЮ ОЧЕРЕДНОСТИ АВТОМАТИЗАЦИИ
ЭТАПОВ ПОДГОТОВКИ ПРОИЗВОДСТВА

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

A. V. Bobov
THE EXPERT SYSTEM OF SUPPORT OF ACCEPTANCE OF THE DECISIONS
BY DEFINITION OF SEQUENCE OF AUTOMATION
OF STAGES OF PREPARATION OF MANUFACTURE
In clause is shown, that it is expedient to automate stages of design-technological preparation of manufacture (DTPM)
in decreasing order of economy of time from automation of the given stage. The algorithm of definition of economy of
time is offered. The algorithm is realized as expert system (ES). The initial data and structure ES are given. The realization
ES is described and the results of its application are given.
Keywords: preparation of manufacture, automation on stages, economy of time, expert system, results of application.

Страницы 39-49

Перфильев А.А., Мурзин Ф.А., Шманина Т.В. "МЕТОДЫ СИНТАКСИЧЕСКОГО АНАЛИЗА И СОПОСТАВЛЕНИЯ КОНСТРУКЦИЙ ЕСТЕСТВЕННОГО ЯЗЫКА, ОРИЕНТИРОВАННЫЕ НА ПРИМЕНЕНИЕ В ИНФОРМАЦИОННО-ПОИСКОВЫХ СИСТЕМАХ"

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

Работа посвящена проблеме релевантности информации искомой в сети Интернет. Предложенный метод ос-
новывается на использовании алгоритмов сравнения предложений, которые принимают во внимание схемы син-
таксического анализа, создаваемые программным приложением Link Grammar Parser. Основная идея состоит в
том, что синтаксические диаграммы дают примитивную структуру текста, и это позволяет выбрать фразы в тек-
сте, похожие на те, которые имеются в поисковом запросе. На базе этих идей была разработана информационно-
поисковая система (ИПС) iNetSearch. Исследования показали, что часто достаточно оставаться на уровне синтак-
сиса, чтобы получить хорошие результаты. Приведены результаты тестирования метода в рамках системы iNet-
Search.
Ключевые слова: информационно-поисковая система, Link Grammar Parser, синтаксический анализ, семанти-
ческое дерево, релевантность.

A. A. Perfiliev, F. A. Murzin, T. V. Shmanina
METHODS OF SYNTACTIC ANALYSIS AND COMPARISON OF CONSTRUCTIONS OF A NATURAL
LANGUAGE, FOCUSED ON APPLICATION IN INFORMATION RETRIEVAL SYSTEMS
This work is dedicated to an actual problem of efficient information search in the Internet. The work is based on the
algorithms of sentences comparison taking into account the schemes of syntactic analysis generated by Link Grammar
Parser software. The main idea is that syntactic diagrams give us a primitive structure of a text, which allows us to select
phrases in a text, which have a syntactic structure similar to that given in a request. According to these ideas, the Information
Retrieval System (IRS) iNetSearch was developed. Our study showed that it is often sufficient to remain on the syntactic
level and obtain rather good search results. The final part of the article represents the results of testing for the methods
implemented within iNetSearch.
Keywords: Information Retrieval System, Link Grammar Parser, syntactic analysis, semantic tree, relevance.

Страницы 50-59

Терехов А.Н., Оносовский В.В. "ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ МОБИЛЬНЫХ ПРИЛОЖЕНИЙ UBIQ MOBILE"

ПЛАТФОРМА ДЛЯ РАЗРАБОТКИ МОБИЛЬНЫХ ПРИЛОЖЕНИЙ UBIQ MOBILE

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

A. N. Terekhov, V. V. Onossovski
PLATFORM FOR MOBILE APPLICATIONS DEVELOPMENT UNIQ MOBILE
The paper describes an original approach to the creation of mobile online applications based on the use of the original
development platform – called Ubiq Mobile – in combination with a set of domain-specific languages (DSL), focused on
specific subject areas. The Ubiq Mobile platform has been developed by the team of software engineers and students from
St. Petersburg State University for creation of robust and efficient mobile online services. The platform combines extended
functionality and rich user experience with traffic and resource optimization that lets mobile services work efficiently
in comparatively slow networks and on a wide set of mobile handsets. Using domain-specific modeling (DSM)
approach for development mobile applications on the basis of Ubiq Mobile platform significantly reduces complexity of
the development and expanding the scope of use of modern mobile services. The approach is illustrated with an example
of webcam-based surveillance application.
Keywords: mobile online services, universal platform, domain-specific modeling, domain-specific languages.

Страницы 60-70

Лазарева Г.Г., Куликов И.М., Вшивков В.А., Кошкарова Е.А.,Берендеев Е.А. , Горр М.Б., Антонова М.С. "ПАРАЛЛЕЛЬНАЯ РЕАЛИЗАЦИЯ ЧИСЛЕННОЙ МОДЕЛИ СТОЛКНОВЕНИЯ ГАЛАКТИК"

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

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

G. G. Lazareva, I. M. Kulikov, V. A. Vshivkov, E. A. Koshkarova,
E. A. Berendeev, M. B. Gorr, M. S. Antonova
PARALLEL PROGRAM FOR NUMERICAL MODEL OF COLLIDING GALAXIES
The results of parallel program design for numerical model of dynamics of self-gravitation gas structures are presented.
Model is based on decision of gas dynamics equations and Poisson equation for gravity potential. The initial system
of the equations of gas dynamics is solved by the Fluids-in-Cells method with energy balance correction. The threedimensional
problem is solved with a glance of cooling action in Cartesian display. Adequate results of colliding galaxies
process are obtained.
Keywords: effective parallel algorithm, astrophysics, hydrodynamics models, galaxies formation and dynamics, gravitational
instability.

Страницы 71- 78

RSS-материал