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

Заозерская Л.А., Планкова В.А. "ПРИМЕНЕНИЕ МОДЕЛЕЙ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ ДЛЯ РАЗРАБОТКИ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ ЗНАНИЙ"

ПРИМЕНЕНИЕ МОДЕЛЕЙ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ ДЛЯ РАЗРАБОТКИ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ КОНТРОЛЯ ЗНАНИЙ

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

L. A. Zaozerskaya, V. A. Plankova
Application of Discrete Optimization Models in Development of an Automatic Knowledge Control System
The authors develop further an approach to form optimal knowledge control tests satisfying a given criterion, based on
discrete optimization. Mathematical models for determining structure of such a test are presented. Results of applying
these models to create an automated testing system in the field of linear programming are demonstrated.
Keywords: computer knowledge testing, mathematical modeling, integer programming.

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

Опарин Г. А., Новопашин А.П. "БУЛЕВЫ МОДЕЛИ СИНТЕЗА ПАРАЛЛЕЛЬНЫХ ПЛАНОВ РЕШЕНИЯ ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ"

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

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

G. A. Oparin, A. P. Novopashin
Boolean Models for Synthesis of Parallel Plans of Solving Computational Problems
A new approach to constructing parallel asynchronous plans of a required length for solving computational problems
in the multiprocessor environment is proposed. Conditions of the planning problem are represented as a system of Boolean
equations (constraints). Solutions of such system determine possible plans of starting of the program modules. Constraints
on number of nodes of multiprocessor environment, time delays at execution of program modules and plurality of
their installation in nodes are taken into consideration.
Keywords: planning and synthesis of parallel plans, Boolean models, constraints and equations.

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

Опарин Г. А., Богданова В.Г. "РЕБУС – ИНТЕЛЛЕКТУАЛЬНЫЙ РЕШАТЕЛЬ КОМБИНАТОРНЫХ ЗАДАЧ В БУЛЕВЫХ ОГРАНИЧЕНИЯХ "

РЕБУС – ИНТЕЛЛЕКТУАЛЬНЫЙ РЕШАТЕЛЬ КОМБИНАТОРНЫХ ЗАДАЧ В БУЛЕВЫХ ОГРАНИЧЕНИЯХ *

В статье рассматриваются архитектура, функциональные возможности и технология применения инструмен-
тального комплекса РЕБУС, ориентированного на использование в фундаментальных и прикладных исследовани-
ях при решении задач в разнообразных областях знаний, где естественным образом возникают дискретные моде-
ли в виде систем булевых уравнений (ограничений). Методы и средства автоматизации представления,
накопления, модификации и использования знаний при решении задач удовлетворения булевых ограничений со-
ставляют основу организации решателя РЕБУС.
Ключевые слова: булевы уравнения и ограничения, комбинаторные задачи, булева выполнимость.

Г. А. Опарин, В. Г. Богданова
Rebus – Intellctual Solver for Combinatorial Problems in Boolean Constraints
The architecture, functionalities and applications of REBUS tools are described in our paper. This toolkit can be used
for problem solving in various fields of knowledge where there are discrete models as systems of Boolean equations (constraints).
Methods and facilities for automatization of representation, accumulation, modification and using of knowledge
at the solving of Boolean constraint satisfaction problems underlie in base of REBUS-solver.
Keywords: Boolean equations and constraints, combinatorial problems, Boolean satisfiability.

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

Самарина О. В. "ИНВАРИАНТЫ ОДНОКАНАЛЬНОГО ИЗОБРАЖЕНИЯ"

ИНВАРИАНТЫ ОДНОКАНАЛЬНОГО ИЗОБРАЖЕНИЯ

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

O. V. Samarina
The Single-Channel Image Invariants
Automatic processing of the visual information is one of the major directions in the sphere of an artificial intellect and
an escalating attention is paid to it last years. In the analysis and identification of the images a great role plays the system
of construction of invariants of images concerning to the various groups of transformations. In this work differential single-
channel image invariants concerning to a large group of transformations, rotations and calibration of channel are defined
and investigated.
Keywords: invariant, differential characteristics, single-channel image.

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

Хорунджий М.Д. "МЕТОД КОЛИЧЕСТВЕННОЙ ОЦЕНКИ ЦВЕТОВ РАЗЛИЧИЙ ПРИ ВОСПРИЯТИИ ЦИФРОВЫХ ИЗОБРАЖЕНИЙ"

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

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

M. D. Khorunzhij
METHOD OF SCORING COLOR DIFFERENCE IN DIGITAL IMAGE SENSING
Determination of color difference between two stimuli is an important problem of colorimetry and color reproduction
in informational systems. By stimulus as used here we intend a digital image, investigated by effect of distorting factors
and producing reaction of human visual system as changing of color perception. One of the principial problems of digital
color image quality modeling is establishment of correlation between subjective estimation of color perception and objective
criteria of color difference between pairs of images with the comprehension of the image distortion factors being not
necessary.
Keywords: color image difference, chromatic contrast, multidimensional scaling, image quality, sensory characteristic.

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

Чеснавский А. А. "ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АЛГОРИТМА СЕМАНТИЧЕСКОГО АНАЛИЗА ИЗМЕНЕНИЙ В HTML-ДОКУМЕНТАХ"

ПРАКТИЧЕСКОЕ ПРИМЕНЕНИЕ АЛГОРИТМА СЕМАНТИЧЕСКОГО АНАЛИЗА ИЗМЕНЕНИЙ В HTML-ДОКУМЕНТАХ

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

A. A. Tchesnavskij
Application of Semantic Change Detection of HTML-Documents Algorithm
That article is dedicated to describe semantic web-sites change detection algorithm. The main advantages of proposed
algorithm are detection of changes only in data of HTML-page, not presentation part; there is no need to know internal
structure of the page and have a preprocessing of HTML-pages. That algorithm could be used in many practical areas,
where there is a need to proceed data retrieved from web-sites. The main examples of applications are semantic webclipping,
web-pages caching, transforming HTML-pages in RDF form.
Keywords: semantic change detection, web-clippinng, web page data structure, HTML.

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

RSS-материал