Preview

Моделирование и анализ информационных систем

Расширенный поиск
Том 14, № 1 (2007)

Оригинальные статьи 

3-10 150
Аннотация
Доказывается, что величина On минимальной нормы проектора при линейной интерполяции на nмерном кубе On = [0,1]n удовлетворяет условию On = O(n1/2), n £ N. Отсюда и из неpавенств, установленных автоpом pанее, следует, что On примерно равно n1/2. Нужные веpхние оценки получаются из рассмотрения пpоектора, узлы которого находятся в вершинах симплекса максимального объёма в On.
11-18 167
Аннотация
Предлагается модель автоматной программы, удовлетворяющая требованиям синхронной модели. Создание формальной модели автоматной программы предоставляет возможность применения технологий и инструментов верификации синхронных программ для проверки автоматных программ. В частности предполагается использование языка esterel с пакетом программ компании Esterel Technologies Inc. для построения верификатора.
19-26 156
Аннотация
Дается исчерпывающее описание динамических свойств простейшей разностной аппроксимации квазинормальной формы сингулярно возмущенной системы реакциядиффузия на отрезке при граничных условиях Неймана.
27-30 175
Аннотация
Доказаны точные соотношения между K-функционалами пар (C, C1) и наилучшими равномерными кусочно-полиномиальными приближениями функций из C.
31-43 211
Аннотация
Рассматривается один из способов моделирования, спецификации и верификации программ, построенных на основе автоматного подхода к программированию. Технология автоматного программирования является достаточно эффективной при создании программного обеспечения для «реактивных» систем и систем логического управления. С точки зрения моделирования и анализа программных систем эта технология имеет ряд преимуществ по сравнению с традиционным подходом, так как исключает проблему адекватности построенной программной модели исходной программе. Набор взаимодействующих автоматов, описывающий логику программы, уже является адекватной моделью, по которой формальным образом строится программный модуль. Свойства программной системы в виде автоматов могут быть сформулированы и специфицированы естественным и понятным образом. Проверка свойств осуществляется в терминах, которые естественно вытекают из автоматной модели программы. Практическим результатом работы является применение инструментального средства SPIN и логики LTL для спецификации и верификации иерархических автоматных программ.
44-47 165
Аннотация
Строится серия функций на множестве пар черно-белых цифровых изображений, являющихся либо расстоянием, либо аналогом расстояния. Предложенные функции позволяют, с одной стороны, решать задачи различения изображений, а с другой стороны, дают некую меру сходства. Рассмотрены прило¬жения такого подхода к текстурам.
48-53 147
Аннотация
Предлагаются принципы построения семантической сервис-ориентированной архитектуры как средства достижения адаптивности и гибкости инфраструктуры распределенных информационных систем. Рассматриваются различные варианты построения данной архитектуры, ее основные элементы, их взаимодействие, методы работы с ними. Предлагаемая архитектура основана на определении семантического сервис-ориентированного архитектурного стиля и предоставляет семантические сред¬ства взаимодействия распределенных компонентов, обеспечивая новый уровень решения проблемы интеграции информационных систем.
54-56 189
Аннотация
Автоморфизм системы переходов есть изоморфное отображение системы на себя. Множество автоморфизмов системы является группой относительно суперпозиции отображений. Доказано,что любая конечная группа изоморфно вкладывается в группу автоморфизмов некоторой системы переходов.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)