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

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

Боженкова Е.Н., Воронков А.Д., Иртегов Д.В., Конышева Е.Н., Черненок С.А., Чурина Т.Г. "МОДЕЛЬ РАЗГРАНИЧЕНИЯ ПРАВ ДОСТУПА В СИСТЕМЕ АВТОМАТИЗИРОВАННОЙ ПРОВЕРКИ КОРРЕКТНОСТИ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ"

МОДЕЛЬ РАЗГРАНИЧЕНИЯ ПРАВ ДОСТУПА
В СИСТЕМЕ АВТОМАТИЗИРОВАННОЙ ПРОВЕРКИ
КОРРЕКТНОСТИ ПРОГРАММНЫХ ПРИЛОЖЕНИЙ *
В статье рассматриваются особенности и специфика ролевой модели для обеспечения безопасности системы
тестирования на уровне доступа. На основе теоретико-множественного подхода приводится формализованное
описание ролевой модели безопасности системы тестирования NSUts. Показывается, что в системе тестирования
управление доступом осуществляется на основе системных ролей, назначаемых каждому пользователю, и что
системные роли корректны по отношению к заявленным организационным ролям. Представлена реализация ро-
левой модели в системе NSUts.
Ключевые слова: информационная безопасность, модели разграничения доступа, автоматизированная система
тестирования, олимпиадное программирование.

E. N. Bozhenkova, A. D. Voronkov, D. V. Irtegov, E. N. Konysheva,
S. A. Chernenok, T.G. Churina
MODEL ACCESS CONTROL IN SYSTEMS OF AUTOMATED TESTING
OF SOFTWARE CORRECTNESS
This article discusses design of role-based access control for security of automated testing system using set-theory
formalism. Access control is based on system roles assigned to user accounts; it is demonstrated that these roles or their
combinations are correct according to specified organizational roles. Implementation of this role system in NSUts is presented.
Keywords: information security, model access control, automated testing system, programming contests

Страницы 79-85

Банасиковска Я. "ОЦЕНКА УРОВНЯ ВНЕДРЕНИЯ Е-АДМИНИСТРАЦИИ В ПОЛЬШЕ НА ОСНОВАНИИ СТАТИСТИЧЕСКИХ ИСТОЧНИКОВ"

ОЦЕНКА УРОВНЯ ВНЕДРЕНИЯ Е-АДМИНИСТРАЦИИ В ПОЛЬШЕ
НА ОСНОВАНИИ СТАТИСТИЧЕСКИХ ИСТОЧНИКОВ
Представлен современный уровень развития электронной администрации в Польше на фоне стран Европей-
ского союза. Проанализированы итоги проведенных испытаний уровня развития е-услуг с 2002 по 2010 г. Обра-
щено внимание на безусловность обеспечения интероперабельности на уровне страны и в более широком контен-
те, что является необходимым требованием для обеспечения дальнейшего развития электронной администрации.
Ключевые слова: электронное правительство, электронные услуги, информационное общество, электронная
подпись, взаимодействие.

J. Banasikowska
POLISH E-ADMINISTRATION EVALUATION LEVEL
IN THE LIGHT OF STATISTICAL SOURCES
The aim of this article is to present the current level of development of e-Administration in Poland against a background
of EU states. The authors have analysed the data of e-services development from the year 2002 to 2010. Attention
was drawn to the necessity of ensuring interoperability on the level of a particular country, but also in a wider context; this
being the prerequisite for further development of e-administration.
Keywords: е-Government, e-Services, Information Society, Electronic Signature, Interoperability.

Страницы 86-93

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

ИСПОЛЬЗОВАНИЕ ВЕБ-ГИС-ТЕХНОЛОГИЙ ДЛЯ РАЗРАБОТКИ
ИНФОРМАЦИОННО-ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ ДЛЯ АНАЛИЗА
ПРОСТРАНСТВЕННО-ПРИВЯЗАННЫХ ДАННЫХ *
Описан создаваемый программный инструментарий для разработки геоинформационных веб-систем, обеспе-
чивающих поддержку исследований в области климато-экологического мониторинга на основе комплексного
анализа наборов пространственно-привязанных геофизических данных (метеонаблюдений, результатов модели-
рования, данных дистанционного зондирования). Программный инструментарий состоит из трех частей: вычис-
лительного ядра, набора исполняемых в рамках специализированного веб-портала управляющих PHP-модулей и
JavaScript-библиотеки для создания типовых элементов графического интерфейса веб-ГИС-приложений на базе
технологии AJAX. Вычислительное ядро реализует базовую функциональность для работы с наборами данных.
В качестве основы для представления картографической информации используется ПО GeoServer. JavaScript-
библиотека, используемая для проектирования графического интерфейса, основана на продуктах ExtJS Framework
и OpenLayers.
Ключевые слова: программное обеспечение, информационные системы, веб-технологии, ГИС, изменения кли-
мата.

E. P. Gordov, I. G. Okladnikov, A. G. Titov
APPLICATION OF WEB MAPPING TECHNOLOGIES
FOR DEVELOPMENT OF INFORMATION-COMPUTATIONAL SYSTEMS
FOR GEOREFERENCED DATA ANALYSIS
In this paper the software framework being developed for creation of web mapping (Web-GIS) systems to support scientific
research in the area of climate and ecological monitoring based on complex analysis of spatially distributed geophysical
data obtained as results of meteorological observations, modelling, and remote sensing is presented. The software
framework consists of 3 basic parts: computational kernel, a set of PHP-controllers run within specialized web portal, and
JavaScript class library for development of typical components of web mapping application graphical user interface (GUI)
based on AJAX technology.
Keywords: software, information systems, web technologies, GIS, climate change.

Станицы 94-102

Апанович З.В., Винокуров П.С., Кислицина Т.А. "МЕТОДЫ И СРЕДСТВА ВИЗУАЛИЗАЦИИ ИНФОРМАЦИОННОГО НАПОЛНЕНИЯ БОЛЬШИХ НАУЧНЫХ ПОРТАЛОВ"

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

Аннотация Благодаря быстрому развитию направления Semantic Web и его новой ветви Linked Open Data, в Интернете становятся доступными большие объемы структурированной информации, размещенной на научных порталах, посвященных различным научным направлениям. Наиболее достоверным источником информации, посвященной любому научному направлению, являются собственно научные публикации, составляющие основное наполнение таких порталов. Эти данные нуждаются в средствах анализа, которые могли бы способствовать упрощению их понимания и оптимизации научного менеджмента. В данной работе описываются новые алгоритмы визуализации графов, реализованные в ИСИ СО РАН, и демонстрируется применение этих алгоритмов для визуализации сетей соавторства и сетей цитирования, извлеченных из научных порталов, входящих в облако Linked Open Data.

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

Visualization tools for large scientific portals content

Abstract. Due to the fast development of Semantic Web and its new branch of Linked Open Data, large amounts of structured information on various scientific areas become available. Digital libraries, information systems and portals based on ontologies are the most reliable sources of this information that need careful investigation in order to optimize science management. A generally accepted way to facilitate understanding of such large and complex data sets is graph visualization. This paper is devoted to newly developed visualization algorithms of co-authorship and citation networks extracted from information portals and digital libraries of the Linked Open Data cloud.

Key words: scientific portal, ontology, content, information visualization, layered graph drawing, citation networks, modularity, Open Linked Data.

Страницы 5 - 14

Легалов А.И., Солоха А.Ф. "ОСОБЕННОСТИ ЯЗЫКОВОЙ ПОДДЕРЖКИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОЙ ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ"

Особенности языковой поддержки процедурно-параметрической парадигмы программирования

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

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

The features of procedure-parametric programming language

Abstract
Some specific opportunities of procedure-parametric programming language described. The procedural-parametric programming paradigm overcomes a number of shortcomings specific to a pure object-oriented design and programming approach. It supports more effective evolution software development using multimethods. Generalized records and parametric procedures proposed for it. Furthermore new module organization was used for flexible extension of programs.

Keywords:
programming languages; programming paradigms; evolution software development; module programming; procedural-parametric programming.

Страница 15 - 22

Дягилев В.В., Цхай А.А., Бутаков С.В. "АРХИТЕКТУРА СЕРВИСА ОПРЕДЕЛЕНИЯ ПЛАГИАТА, ИСКЛЮЧАЮЩАЯ ВОЗМОЖНОСТЬ НАРУШЕНИЯ АВТОРСКИХ ПРАВ"

АРХИТЕКТУРА СЕРВИСА ОПРЕДЕЛЕНИЯ ПЛАГИАТА, ИСКЛЮЧАЮЩАЯ ВОЗМОЖНОСТЬ НАРУШЕНИЯ АВТОРСКИХ ПРАВ

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

Ключевые слова: определение плагиата, архитектура сервиса, охрана авторского права

ARCHITECTURE OF PLAGIARISM DETECTION SERVICE THAT DOES NOT VIOLATE INTELLECTUAL PROPERTY RIGHTS

The paper describes architecture for plagiarism detection service. The proposed novel approach fulfills the copyrights protection requirements for the documents submitted for the check up. The proposed architecture divides the checkup process into two parts. First part utilizes local resources within the organization and another one uses external engine to search documents on the Internet. The executed division maintains the search quality and assures that copyrighted documents cannot be restored from the search requests.
Keywords: Plagiarism Detection, Service Architectures, Copyright Protection.

Страницы 23 - 29

Казаков В.В., Яценко А.С., Ковалёв В.С., Казаков В.Г. "ЦИФРОВАЯ ЭМУЛЯЦИЯ СПЕКТРОГРАФА"

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

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

The article discusses how to obtain the reference spectrogram required for a number of tasks in atomic spectroscopy. Discussed the advantages and disadvantages of classic atlases of spectra, and spectrograms of the reference samples used in the devices of the spectral analysis. The possibility of constructing the spectrograms on a database of radiation transitions and uses them as reference. Describes a software component for obtaining such spectrograms - spectrograph emulator - and its realization of an information system "Electronic structure of atoms."

Страницы 30 - 36

Фирсов Н.И. "СРАВНЕНИЕ СИСТЕМЫ «DISCOVERY» С MICROSOFT ASSOCIATION RULES"

СРАВНЕНИЕ СИСТЕМЫ «DISCOVERY» С MICROSOFT ASSOCIATION RULES

В работе проводится сравнение системы «Discovery» с алгоритмом Microsoft Association Rules. Показывается, что система «Discovery» больше подходит для обнаружения закономерностей и прогнозирования, чем Association Rules, а также позволяет обнаруживать знания в сильно зашумленных данных, например, финансовых.

Ключевые слова: интеллектуальный анализ данных, извлечение знаний, предсказание, обнаружение закономерностей

Comparison of “Discovery” software system versus Microsoft Association Rules

We have developed a relational approach (Relational Data Mining) to methods of data mining, and the Discovery software system which relaxes almost all restrictions peculiar to the KDD & DM techniques. The goal of this paper is to provide both theoretical and experimental comparisons of Discovery versus Microsoft Association Rules. We show that Discovery fits better for pattern detection and prediction tasks than the Association Rules, and, unlike the latter, it can detect knowledge in high-noised data such as financial time series.

Keywords: Intelligent Data Analysis, Data Mining, Regularities detection, Knowledge Discovery

Страницы 37 - 49

RSS-материал