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

warning: Creating default object from empty value in /home/www/web/it.nsu.ru/public_html/modules/taxonomy/taxonomy.pages.inc on line 34.

Миркин А.Л., Петров В.А. "Система миграции виртуальных серверов в режиме реального времени"

СИСТЕМА МИГРАЦИИ ВИРТУАЛЬНЫХ СЕРВЕРОВ В РЕЖИМЕ РЕАЛЬНОГО ВРЕМЕНИ

Виртуализация на уровне операционной системы – это расширение функциональности ядра ОС, которое дает возможность запускать несколько изолированных друг от друга групп процессов, известных как виртуальные серверы (virtual servers) или контейнеры (containers), не требуя при этом загружать еще одно ядро. Подобная изоляция позволяет сохранять полное состояние (checkpoint) контейнера, чтобы в дальнейшем его можно было восстановить (restart) в такое же состояние. Процедуры сохранения и восстановления используются для реализации миграции в режиме реального времени. В этой статье мы рассматриваем реализацию системы сохранения, восстановления и миграции в проекте OpenVZ.
Ключевые слова: виртуализация, операционная система, сохранение и восстановление состояния, миграция.

A. L. Mirkin, V. A. Petrov
Containers Live Migration
Container-type virtualization is an ability to run multiple isolated sets of processes, known as containers, under a sin-gle kernel instance. Having such an isolation opens the possibility to save the complete state of (in other words, to check-point) a container and later to restart it. Checkpoint itself is used for live migration, in particular for implementing high-availability solutions. In this paper, we present the checkpoint and restart and live migration feature for containers as im-plemented in OpenVZ.
Keywords: virtualization, operating system, checkpoint, restart, migration.

http://lib.nsu.ru:8080/jspui/handle/nsu/122

Попова А.К. "Информационная система прогнозирования динамики лесных ресурсов"

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

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

A. K. Popova
The Information System for Forest resources Dynamic Prediction
The developed information system for taking decisions of forest resources conservation by computer analysis and state prediction is considered. The knowledge bases of automatic parametric identification of forest resources dynamic mathematical models are described. The software tools of the software system which allow users to make own applications are considered.
Keywords: mathematical modeling, forest resources, artificial intelligence, Java, Prolog.

http://lib.nsu.ru:8080/jspui/handle/nsu/124

Редькина Н.С., Зибарева И.В. "Библиометрическое изучение российских химических исследований: модели и методы"

БИБЛИОМЕТРИЧЕСКОЕ ИЗУЧЕНИЕ РОССИЙСКИХ ХИМИЧЕСКИХ ИССЛЕДОВАНИЙ: МОДЕЛИ И МЕТОДЫ

На представительных примерах, включающих отдельных ученых, исследовательские институты и научные журналы, рассмотрено использование библиометрических моделей и методов в изучении российских химических исследований, в том числе в оценке научной результативности. Разработанная методология применена в предварительном изучении российских химических исследований начала XXI в. (2001–2005 гг.).
Ключевые слова: библиометрические модели и методы, базы данных, международная научно-техническая сеть STN International, российские химические исследования.

N. S. Redkina
Bibliometric Study on Russian Chemical Research:
Models and Methods
With representative examples including selected scientists, institutes and journals, application of bibliometric models and methods to some aspects of Russian chemical research has been studied. A generalized multilevel information model has been suggested for investigation of scientific productivity. The methodology elaborated has been used in preliminary study of Russian chemical research in the beginning of XXI century (2001–2005).
Keywords: bibliometric models and methods; databases; Scientific and Technical Network International; Russian chemical research.

http://lib.nsu.ru:8080/jspui/handle/nsu/125

Сидорова Е.А. "Инструментальные средства фактографического анализа документов в информационных системах, основанных на онтологиях"

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

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

E. A. Sidirova
Factographic Text Analysis Tools in Information Systems Based on Ontologies
The technology intended for development of services of factographic analysis of text resources is considered. The knowledge base includes four components: ontology of subject domain, dictionary, formal text structure of documents and schemes of facts. Each scheme describes the structure of facts and rules to connect terms and ontology elements. The tools for creation of knowledge base and automatic usage of expert knowledge for text processing are determined.
Keywords: natural language processing, linguistic ontology, information extraction, text analysis technology.

http://lib.nsu.ru:8080/jspui/handle/nsu/127

Стасенко А.П., Пыжов К.А., Идрисов Р.И. "Компилятор в системе функционального программирования SFP"

КОМПИЛЯТОР В СИСТЕМЕ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ SFP

Статья посвящена описанию компилятора в системе функционального программирования SFP (System of Functional Programming). Вкратце описываются основные черты функционального языка Sisal 3.2, являющего входным языком системы SFP. Рассмотрено первое внутреннее представление IR1 и схема трансляции входного языка в него. Описаны дальнейшие внутренние представления IR2 и IR3 и фазы трансляции между ними и, в частности, фазами оптимизации и распараллеливания. Представлены результаты исследования эффективности оптимизирующих преобразований и результаты исполнения программ на SMP архитектуре.
Ключевые слова: функциональное программирование, потоковые языки, трансляция, оптимизация, распараллеливание.

A. P. Stasenko, K. A. Pyjov, R. I. Idrisov
Compiler of System of Functional Programming (SFP)
Paper describes compiler of system of functional programming (SFP). The main features of SFP input language Sisal 3.2 are briefly introduced. The structure of first internal representation (IR1) and translation scheme from an input lan-guage to it is shown. Paper presents the following internal representations IR2 and IR3 as well as translation phases be-tween them and phases of optimization and parallelization in particular. The benchmark results of program optimizing transformations and execution on SMP architecture are shown.
Keywords: functional programming, dataflow languages, translation, optimization, parallelization.

http://lib.nsu.ru:8080/jspui/handle/nsu/129

Феоктистов А.Г., Корсуков А.С. "РАЗРАБОТКА GRID-СИСТЕМЫ С ДЕЦЕНТРАЛИЗОВАННЫМ УПРАВЛЕНИЕМ ПОТОКАМИ ЗАДАНИЙ"

"РАЗРАБОТКА GRID-СИСТЕМЫ С ДЕЦЕНТРАЛИЗОВАННЫМ УПРАВЛЕНИЕМ ПОТОКАМИ ЗАДАНИЙ"

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

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

THE DEVELOPMENT OF THE GRID-SYSTEM WITH DECENTRALIZED JOB FLOW CONTROL

Abstract. The issue of the development of the Grid-system is considered. This process is carried out with use of methods and tools of specification of the distributed information and computing resources and their control in the process of computing. The various methods of access of users to resources of Grid-system are discussed. The new decentralized method of the job flow control is represented.

Keywords: distributed computing, Grid, specification of computing resources, job flow control.

http://lib.nsu.ru:8080/jspui/handle/nsu/130

Федотов А.М. "ПАРАДОКСЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ"

ПАРАДОКСЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

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

А. M. Fedotov
Problems of Information Technologies
The paper is devoted to problems and ontology's history of information technologies.
Keywords: information technologies, information resource, history, network, information revolution, programming paradigms, search.

http://lib.nsu.ru:8080/jspui/handle/nsu/42

Бездушный А. А. "МАТЕМАТИЧЕСКАЯ МОДЕЛЬ СИСТЕМЫ ИНТЕГРАЦИИ ДАННЫХ НА ОСНОВЕ ОНТОЛОГИЙ"

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

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

A. A. Bezdushny
Formal Model of Ontology-Based Data Integration Systems
The paper proposes a formal theory for ontology-based data integration systems, and considers the query rewriting problem for such class of data integration systems. A choice of appropriate description logic dialects and query languages is studied, provided that the rewriting problem is decidable. A query rewriting algorithm is proposed for an important class of ontology-based data integration systems.
Keywords: data integration, ontologies, description logics, OWL.

http://lib.nsu.ru:8080/jspui/handle/nsu/43

Белов С.Д., Ломакин С.В. , Огородников В.А. , Пригарин С.М., Родионов А.С. , Чубаров Л.Б. "АНАЛИЗ И МОДЕЛИРОВАНИЕ ТРАФИКА В ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ КОМПЬЮТЕРНЫХ СЕТЯХ"

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

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

S. D. Belov, S. V. Lomakin, V. A. Ogorodnikov, S. M. Prigarin, A. S. Rodionov, L. B. Chubarov
Analysis and Simulation of the Traffic in High Performance Computer Networks
The paper deals with numerical methods to simulate time series of the network traffic on the basis of nonlinear trans-formations of Gaussian random processes. Fractal dimension of the real and simulated time series was analyzed. It was shown that the proposed methods enable to reproduce one-dimensional distributions, correlations, and fractal dimension of the observed time series.
Keywords: network traffic, numerical modeling of time series, nonlinear transformations of Gaussian processes, frac-tal dimension.

http://lib.nsu.ru:8080/jspui/handle/nsu/44

Белоусова О.Н. "ИНТЕРАКТИВНОЕ МОДЕЛИРОВАНИЕ НА СЕРВЕРЕ "МАТЕМАТИЧЕСКИЕ ПРОБЛЕМЫ ГЕОФИЗИКИ""

ИНТЕРАКТИВНОЕ МОДЕЛИРОВАНИЕ НА СЕРВЕРЕ «МАТЕМАТИЧЕСКИЕ ПРОБЛЕМЫ ГЕОФИЗИКИ»

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

Ключевые слова. Математическое моделирование, алгоритмы, интерактивное моделирование, сервер, вычислительный эксперимент, имитационные модели, прямая и обратная кинематические задачи геофизики, динамический анализ.

O.N. Belousova Interactive modelling on a server "Mathematical problems of geophysics"
Annotation: In the given work results of researches of the author in the field of use of Internet resources in educational and analytical information systems, including the workings out connected with creation of demonstration versions of larger software products, some important geophysical problems realising mathematical modelling are represented.

Keywords: Mathematical modelling, algorithms, interactive modelling, server, computing experiment, imitating models, direct and inverse kinematic problems of geophysics, dynamic analysis.

http://lib.nsu.ru:8080/jspui/handle/nsu/45

RSS-материал