Ю. А. Загорулько, канд. техн. наук, зав. лабораторией,
О. И. Боровикова, мл. науч. сотр., Институт систем информатики имени А. П. Ершова СО РАН, г. Новосибирск, e-mail: zagor@iis.nsk.su

Информационная модель портала научных знаний

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

Стр. 2 – 7

Zagorulko Yu. A., Borovikova O. I. The Information Model of Scientific Knowledge Portal

The paper presents an information model of scientific knowledge portal which provides content-based access to the scientific information resources. The information model integrates models of subject and problem domains of the portal, and describes types of represented information. Based on the ontology, internal storages of the portal data are constructed and management of its information content, as well as navigation and search, are organized.
Keywords: ontology, knowledge portal, information model, scientific information resources.

В. В. Савченко, д-р техн. наук., проф., зав. каф., e-mail: svv@lunn.ru, Д. А. Пономарев, аспирант, инж.-програм., e-mail: dima-tenzor@yandex.ru, Нижегородский государственный лингвистический университет, г. Н.-Новгород

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

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

Стр. 7 – 12

Savchenko V. V., Ponomaryov D. A. Phonetic Database Optimization Based on Information Theory of Speech Perception
The problem of forming and optimization of phonetic database (PDB) by selected speakers group is defined and solved. Based on the information theory of speech perception criterion of the minimal information mismatch of distributions between united and personal phonetic databases is offered and substantiated. The experimental investigation results are given.
Keywords: speech, phonetic database, information theory of speech perception, information approach.

Н. П. Вашкевич, д-р техн. наук, проф., Пензенский государственный университет, Р. А. Бикташев, канд. техн. наук, проф., Пензенская государственная технологическая академия,
e-mail: bir@pgta.ac.ru

Формализация алгоритма синхронизации процессов при диспетчеризации задач в многопроцессорных системах с использованием механизма "рандеву"

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

Vashkevitch N. P., Bektashev R. A. The Formalization of the Synchronization Processes Algorithm when Dispatching Tasks in Multiprocessor Systems with the Use of Rendezvous Mechanism
The article deals with the formal presentation of algorithms for the synchronization of interacting processes acting in parallel computer systems when dispatching tasks in the queue to the FIFO processor type. In these synchronization algorithms method "rendezvous" and primitive "monitor" are applied. To formalize, the logic of the nondeterministic automata is used. The equations that describe the procedures for client and server parts of the synchronization algorithm, bearing in mind the discipline to ensure priority and mutual exclusion of processes when choosing the executable tasks (processors).
Keywords: multiprocessing systems, scheduling of tasks, synchronization of processes, not determined state machine, algorithm "hairdressing salon work", of rendezvous mechanism.

Д. А. Сериков, аспирант, Московский государственный университет имени М. В. Ломоносова

К математическому моделированию процесса диспетчеризации задач в распределенной вычислительной среде

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

Стр. 17 – 24

Serikov D. A. Mathematical Modeling of the Process of Dispatching Jobs in a Distributed Computing Environment
The paper discusses approaches to mathematical modeling of the division of resources between jobs of the various users which arrive to services in a distributed computing environment, based on the methodology GRID. Analyzed a model of the system of dispatching, which are used in the instrumental complex GridWay.
Keywords: grid, dispatching, modeling.

О. Н. Коваленко, канд. техн. наук, ст. преподаватель, Омский государственный университет путей сообщения, e-mail: onkovalenko@mail.ru

Влияние метода обработки очередей на качество обслуживания трафика мультисервисной сети

Предлагаются математические модели наиболее распространенных способов распределения пропускной способности канала мультисервисной сети между кон­курирующими потоками — PQ (приоритетные очереди) и CBWFQ (взвешенная справедливая буферизация, основанная на классах) для системы массового обслуживания M/M/N:n.
Ключевые слова: обслуживание, канал, качество, очередь, приоритет.

Стр. 25 – 27

Kovalenko O. N. Influence of Method of Treatment of Turns on Quality of Maintenance of Traffic of Multiservis Communication Networks
At construction of multiservice communication networks of one of the main tasks granting of de­manded quality of service to various kinds of the traffic is. To solve the given problem it is possible by means of classification of arriving streams and flexible distribution of resources between turns. In work mathematical models of the most widespread ways of division of throughput of the channel between competing streams — PQ and CBWFQ for system of mass service M/M/N:n are offered.
Keywords: service, channel, quality, turn, priority.

Т. М. Волосатова, канд. техн. наук, доц., Д. Е. Беломойцев, ассистент, МГТУ им. Н. Э. Баумана, e-mail: dmitry.belomoytsev@gmail.ru

Технологии и библиотеки методов построения пикосетей мобильных устройств

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

Стр. 28

Volosatova T. M., Belomoytsev D. E. Mobile Devices Piconet Building Technologies aиd Methods Libraries
Methods of secure message passing channels design are described. Mobile device wireless connection channel model is introduced. Client-server cooperation software realization is developed.
Keywords: design, automation, wireless, mobile.

О. О. Андреев, науч. сотр., Институт проблем информационной безопасности МГУ им. М. В. Ломоносова, e-mail: olegoandreev@yandex.ru

Интеграция моделей логического разграничения доступа, описанных на специализированном языке

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

Стр. 29 – 33

Andreev O. O. Integration of Access Control Models Defined in Special Language
Article presents access control models description language. Issues of automated analysis of models, described with this language are studied.
Keywords: information security, access control, integration of access control models.

О. С. Ушмаев, канд. техн. наук. ст. науч. сотр.,
Институт проблем информатики РАН, ООО "Биолинк Солюшенс", директор по науке, e-mail: oushmaev@ipiran.ru

Проблемы применения биометрической идентификации в комплексной защите информации

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

Стр. 34 – 38

Ushmaev O. S. Biometric Applications for Integrated Information Security      
We consider applications of biometrics to integrated information security. An outline of biometric technologies and their advantages is presented. We analyze typical solutions for different IT security applications: physical access, identifications in OS and networks, data protection. We proposed new approach to integration of short listed applications basing on the single biometric identification.
Keywords: biometric identification, user authentication, access control.

А. А. Владыкин, аспирант, А. А. Шалыто, д-р техн. наук, проф., зав. каф., Санкт-Петербургский государственный университет информационных технологий, механики и оптики, e-mail: shalyto@mail.ifmo.ru

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

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

Стр. 38 - 45

Vladykin A. A., Shalyto A. A. Proposal and Applications of a Declarative Language for Automata-Based XML Handlers
A declarative language for XML document handlers is proposed. The handlers are intended to be used together with the standard SAX parser. They are implemented using automata, which simplifies their structure and understanding. Keywords: XML, SAX-handlers, automata.

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

Стр. 45 – 50

Asratian R. E. A Service for Parallel Processes Synchronization in Network Environment
The organizational principles of a new Internet service oriented to parallel processes synchronization in global network environment are described. The service can be viewed as a sort of "network ge­neralization" of conventional interprocess interaction and synchronization tools, which all modern operating systems provide for (mutexes, critical sections, conditional variables etc.) and can be used in distributed information systems development.
Keywords: distributed systems, Internet services, process synchronization.

Оцоков Ш. А., канд. техн. наук, доц., Московский энергетический институт (технический университет), e-mail: shamil24@mail.ru

Применение модулярной арифметики с фиксированной точкой для ослабления влияния ошибок округления компьютерных вычислений

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

Стр. 50 – 54

Otsokov Sh. A. Application of Fixed Point Modular Arithmetic for Reducing Influence of Round-off Errors of computer computation
A fixed point modular arithmetic for an exception of catastrophic loss of accuracy of computer computation with very different from each other numbers is offered. The effect of catastrophic loss of accuracy is shown on an example of definition of scalar product of two vectors and discrete transformation of Fure.
Keywords: modular arithmetic, modular format, working positive range, working negative range.

А. Н. Голубинский, канд. техн. наук, ст. преподаватель, Воронежский институт МВД России, e-mail: annikgol@mail.ru

Методика проверки на адекватность математической модели речевого сигнала экспериментальным данным

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

Стр. 54 – 59

Golubinskiy A. N. Method of Mathematical Model Verification of a Speech Signal to Experimental Data
The majority of used measure of concordance of mathematical model of a speech signal to experimental data is proposed and analyzed. The method of mathematical model verification of a speech signal with using exact statistical criterion is designed.
Keywords: mathematical model, adequacy, speech signal, measure of concordance, error of model, statistical criterion.

В. С. Анищенко, д-р физ-мат. наук, проф., Саратовский государственный университет им. Н. Г. Чернышевского,
Т. И. Булдакова, д-р техн. наук, проф., Поволжская академия государственной службы имени П. А. Столыпина, П. Я. Довгалевский, д-р мед. наук, проф., Саратовский НИИ кардиологии,
B.Б. Лифшиц, д-р мед. наук, проф., Саратовский государственный медицинский университет,
В. И. Гриднев, канд. мед. наук, Саратовский НИИ кардиологии,
C. И. Суятинов, канд. техн. наук, доц., Саратовский государственный технический университет,
e-mail: okb_sstu@sstu.ru

Концептуальная модель виртуального центра охраны здоровья населения

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

Стр. 59 – 64

Anitshenko V. S., Bouldakova T. I., Dovgalevsky P. Ya., Lifshits V. S., Gridnev V. I., Suyatinov S. I.
Conceptual Model of Virtual Centre of Public Health Services
There are considered the substantive provisions, principles, conditions and mechanisms of realization in the form of the virtual centre of the new concept in public health services — the personalized medicine. The virtual centre unites all making elements of system of public health services on the basis of the general information field, providing information gathering, the deep analysis and an exchange of great volumes of the data. In this concept the important problem is creation of virtual human physiology. The virtual "copy" of the patient constructed by means of mathematical models of elements and subsystems of an organism, describes activity of physiological subsystems of the person and represents its virtual physiological image.
Component of the general virtual model of human physiology is the computer model of biosystem "heart — vessels — lungs". The method of construction of this model on the basis of structurally-parametrical identification and its use for an estimation of a functional state is offered.
Transition to the virtual form of the organization of public health services assumes stage-by-stage realization of separate projects. A priority problem of the first stage is creation of methods and means of express monitoring and an estimation of a state of health of the person. The prototype of the virtual centre of health protection is offered.
Keywords: personalised medicine, monitoring, estimation of functional state, virtual physiological image, biosignals, system "heart — vessels — lungs", model equations.

С. Д. Махортов, канд. физ.-мат. наук, доц., Воронежский государственный университет, e-mail: sd@expert.vrn.ru

Интегрированная среда логического программирования LPExpert

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

Стр. 65 – 66

 Makhortov S. D. An Integrated Environment for the Logical Programming LPExpert
In a number of the earlier publications the author proposed an algebraic apparatus (the theory of LP-structures) allowing one to formalize the production logical inference on the basis of the theory of lattices and relations. This apparatus can be applied to the automated study of the properties of know-ledge bases on the basis of formal models, including their verification and optimization. In the present paper the functionality of the software package LPExpert created by the author, which is intended for the develop­ment of the production systems and which contains realization of LP-structures, is briefly presented.
Keywords: production system, algebraic model, knowledge management, computer implementation.

А. А. Кирьянов*, инженер, В. Ю. Сироткин**, программист, Ю. В. Сироткин**, вед. инженер, А. А. Смирнова*, инженер,
*" МАТИ "-Российский государственный технологический университет им. К. Э. Циолковского
**ООО "Связь-Строй", г. Москва, e-mail:5079311@mail.ru

Программный комплекс для автоматизированной системы мониторинга экологического состояния на предприятии

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

Стр. 67 – 68

Kiryanov A. A., Sirotkin V. Yu., Sirotkin Yu. V., Smirnova A. A. Softwear for the Computer Aided System for Environmental Monitoring at a Plant        
Results of development of the program complex for working in the automatical system of ecological monitoring at an enterprise are described in the article. The complex allows collecting information from detectors of the environmental condition to the integrated database and informs the operator about excess of admissible concentration of harmful substances and about tendencies of changing of ecological situation.
Keywords: the program complex, ecological monitoring at an enterprise.

В. Б. Вяткин, канд. техн. наук, г. Екатеринбург, e-mail: vbvvbv@yandex.ru

Синергетический подход к определению количества информации

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

Стр. 68 – 73

Vyatkin V. B. Symergetic Approach to Definition of Information Quantity
New approach is stated to definition of information quantity, where for information datum are taken about finite set how uniform whole, and information measure is average length of integrative code of elements.
Keywords: negentropy, information quantity, reflection, finite set, element, sign, integrative code.

Указатель статей, опубликованных в журнале "Информационные технологии" в 2009 году

Стр. 73 – 77

оглавление