Выпуск 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.

Ляпунова Н.А., Казаков В.Г., Пищик Б.Н., Федотов А.М., Фет Я.И. "СОЗДАНИЕ ВИРТУАЛЬНОГО МУЗЕЯ АЛЕКСЕЯ АНДРЕЕВИЧА ЛЯПУНОВА КАК ТИПИЧНАЯ ЗАДАЧА ПУБЛИКАЦИИ НАУЧНО-ОБРАЗОВАТЕЛЬНЫХ КОЛЛЕКЦИИ В ИНТЕРНЕТЕ"

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

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

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

Ануреев И.С. "ЯЗЫК ОПИСАНИЯ ОНТОЛОГИЧЕСКИХ СИСТЕМ ПЕРЕХОДОВ OTSL КАК СРЕДСТВО ФОРМАЛЬНОЙ СПЕЦИФИКАЦИИ ПРОГРАММНЫХ СИСТЕМ"

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

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

I. S. Anureev
A Language of Description of Ontological Transition Systems OTSL
as a Tool for Formal Specification of Program Systems
Ontological transition systems are a formalism for specification of program systems. They combine a conceptual ap-proach to static semantics of these systems, based on ontologies, with an operational approach to description of dynamics of the systems, based on transition systems.
In this paper the language of description of ontological transition systems OTSL is presented and formal semantics of this language is defined. Examples of OTSL specifications of routine problems, which are solved by an information sys-tem with open ontology, illustrate expressive power of the language.
Keywords: ontological transition system, program system, ontology, transition system, operational-ontological seman-tics, OTSL, operational semantics.

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

Апанович З.В. "МЕТОДЫ НАВИГАЦИИ ПРИ ВИЗУАЛИЗАЦИИ ГРАФОВ"

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

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

Z. V. Apanovich
Navigation Methods for Graph Visualization
Information Visualization is a process of transformation of large and complex abstract forms of information into vis-ual form, strengthening user’s cognitive abilities and allowing them to take the most optimal decisions. Graphs and trees are widely used for abstract information representation. This paper is a survey of navigation methods for graph visualiza-tion. Such techniques as logical filtering, geometric distortion, semantic zooming and clustering are considered.
Keywords: interactive information visualization, graph, navigation, focus + context.

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

Барахнин В.Б., Федотов А.М. "ИССЛЕДОВАНИЕ ИНФОРМАЦИОННЫХ ПОТРЕБНОСТЕЙ НАУЧНОГО СООБЩЕСТВА ДЛЯ ПОСТРОЕНИЯ ИНФОРМАЦИОННОЙ МОДЕЛИ ОПИСАНИЯ ЕГО ДЕЯТЕЛЬНОСТИ"

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

В работе проведено исследование информационных потребностей научного сообщества, основанное на известной методике «5W+ 1H» и на анализе тематики совместных информационных проектов коллективных пользователей – организаций СО РАН. На основе этого исследования проведено обоснование информационной моде-ли деятельности научного сообщества, которая (модель. – В. Б., А. Ф.) легла в основу модели, описывающей программные системы информационного обеспечения научной деятельности, предназначенные для включения в научно-информационный процесс слабоструктурированных интернет-документов.
Ключевые слова: информационные потребности, информационная модель описания деятельности научного сообщества.

V. B. Barakhnin, A. M. Fedotov
Studying the Information Needs of Scientific Community
for Constructing the Information Model of Its Activity
The work investigates the information needs of the scientific community based on the well-known «5W+ 1H» ap-proach and on the subject analysis of joint information projects of collective users, i.e. SB RAS organizations. On the basis of this study a justification for the scientific community information model has been performed. This model in turn served as a foundation for the model describing software systems for the information support of scientific activity in-tended for the inclusion of semistructured internet documents in the scientific information process.
Keywords: information needs, information model of activity of scientific community.

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

Белоглазов Д.М., Непомнящий В.А. "МОДЕЛИРОВАНИЕ И ВЕРИФИКАЦИЯ ВЗАИМОДЕЙСТВИЯ ФУНКЦИОНАЛЬНОСТЕЙ В ТЕЛЕФОННЫХ СЕТЯХ ПРИ ПОМОЩИ КОНЕЧНЫХ АВТОМАТОВ И РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ"

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

Для моделирования, анализа и верификации телекоммуникационных систем обычно применяются такие модели, как конечные автоматы, сети Петри и их обобщения. Цель данной работы – представить новый двухуровневый метод моделирования и верификации телекоммуникационных систем. На первом этапе этого метода теле-коммуникационные системы моделируются в виде расширенных конечных автоматов, а на втором этапе автоматные модели транслируются в раскрашенные сети Петри. Данный метод применяется к исследованию проблемы взаимодействия функциональностей в телефонных сетях. В качестве примера рассматривается базовая модель звонков (Basic Call State Model) с дополнительными функциональностями. Для построения графов достижимости раскрашенных сетей Петри используется система CPN Tools, а для верификации методом проверки моделей используется система Petri Net Verifier. Описанные эксперименты позволили выявить некоторые нежелательные взаимодействия функциональностей в телефонных сетях.
Ключевые слова: телекоммуникационные системы, конечные автоматы, раскрашенные сети Петри, взаимодействие функциональностей, телефонные сети, верификация, метод проверки моделей.

D. M. Belogolazov, V. A. Nepomniaschy
Modeling and Verification of Feature Interaction in Telephone Networks
Using Finite Automata and Coloured Petri Nets
For modeling, analysis and verification of telecommunication systems, the models such as finite automata, Petri nets and their generalizations are usually applied. The goal of our work is to represent a new two-level approach for modeling and verification of telecommunication systems. On the first level telecommunication systems are modeled by extended finite automata, while on the second level the automata models are translated into coloured Petri net (CPN). This method is applied to investigation of feature interaction problem in telephone networks. As an example, Basic Call State Model with additional features is considered. CPN Tools is used for construction of reachability graphs of CPN. We used the Petri Net Verifier for verification of the net models by model checking method. Described experiments allowed us to detect some undesirable feature interactions in telephone networks.
Keywords: telecommunication systems, finite automata, coloured Petri nets, feature interaction, telephone networks, verification, model checking method.

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

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

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

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

A. S. Gachenko, G. M. Ruzhnikov, E. S. Fereferov, A. E. Khmelnov
Municipal Informative System of Town-Planning Activity Supporting
Efficient management and development of territory of municipal union at present is impossible without creation of in-formative system supporting town-planning activity that will allow to authorities, individuals and legal bodies to get au-thentin documentary information and data for town-planning activity. A number of informative intersystems were created for informational support of governmental authorities.
Keywords: information system, problem-oriented database, data analysis and geoinformative systems, enquire, meta-technology.

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

Гордеев Д.А. "ИНФОРМАЦИОННАЯ СИСТЕМА ДЛЯ МЕДИЦИНСКИХ УЧРЕЖДЕНИЙ"

ИНФОРМАЦИОННАЯ СИСТЕМА ДЛЯ МЕДИЦИНСКИХ УЧРЕЖДЕНИЙ

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

D. A. Gordeev
Information System for Medical Institutions
The article tells about structure and interface of the medical information system. Also it shows the ways for future de-velopment. This system is intended for automation of the information flows movement and for departs cooperation of medical institution.
Keywords: information system, medical institution, automation, workflow.

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

Долговесов Б.С., Мазурок Б.С., Ванданов В.Г. "ИНТЕРАКТИВНАЯ СИСТЕМА ВИЗУАЛИЗАЦИИ ДЛЯ WEB ПРИЛОЖЕНИЙ"

ИНТЕРАКТИВНАЯ СИСТЕМА ВИЗУАЛИЗАЦИИ ДЛЯ WEB ПРИЛОЖЕНИЙ

Для организации интерактивного взаимодействия между 3D сценой и Web приложением используется система запросов к глобальной базе данных. Сведение межмодульного обмена к обращению к глобальной базе данных позволяет унифицировать межмодульный обмен и ввести максимально полный контроль над системой в целом. Основа для унификации – специально разработанный язык запросов – XQL скрипт (eXtended Query Language).
Ключевые слова: Web3D, XQL, 3D visualization systems.

B. S. Dolgovesov, B. S. Mazurok, V. G. Vandanov
Interactive Visualization System for Web Applications
To organize the interaction between interactive 3D scenes and Web applications system queries to the global database used. Reducing intermodule communication to query to the global data base allows one to unify intermodule exchange and provides full system control. The basis for unification is specially developed query language - XQL script (eXtended Query Language) [1].
Keywords: Web3D, XQL, 3D visualization systems.

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

Марчук А.Г., Тихонова Т.И. "СИСТЕМА ПОДГОТОВКИ КАДРОВ ДЛЯ СИБИРСКОЙ НАУКИ"

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

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

A. G. Marchuk, T. I. Tikhonova
System of a Professional Training for the Siberian Science
In clause the approach to attraction of talented youth in sphere of influence of a science and development of the do-mestic information industry is considered. The important point in the given activity presents the mechanism of exit work with schoolboys. Such actions help to conduct techniques of early training to computer science.
Keywords: information technologies, programming, technique, education.

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

RSS-материал