Препринты Института систем информатики СО РАН 2000 г.

Препринт 82
В.Е. Козюра
Развертки раскрашенных сетей Петри со временем

В работе [10] метод развертки был применен к раскрашенным сетям Петри (РСП) [8,9]. Также в [10] было показано, как использовать свойства симметрии и эквивалентности при построении развертки. В работе [1] метод развертки был применен к сетям Петри с интервальным временем. В данной работе метод развертки применяется к РСП с интервальным временем и к РСП со временем, описанным в [8,9]. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета.

Препринт 80
В.Е. Козюра
Развертки раскрашенных сетей петри

В данной работе метод развертки применен к раскрашенным сетям Петри (РСП) [8,9]. Метод формально описан, приведены два алгоритма и три критерия финитизации. Также показано как применять метод развертки, используя спецификации симметрии или эквивалентности, описанные в [9]. На РСП накладываются ограничения конечности, n-безопасности и конечности множеств, представляющих цвета.

Препринт 79
М.Ю. Лоенко
Улучшение внешней оценки множества решений задач удовлетворения ограничений

В настоящее время существуют эффективные методы решения нелинейных уравнений с одной переменной, такие как интервальный метод Ньютона, метод Кравчика и другие [3]. Эти методы неприменимы или неэффективны при решении систем уравнений. В статье представлен алгоритм NC, предназначенный для улучшения существующей внешней оценки множества решений. Предлагаемый алгоритм использует методы решения уравнений с одной переменной для решения систем уравнений с несколькими переменными.

Препринт 78
Е.В. Окунишникова
Моделирование динамических конструкций языка estelle посредством раскрашенных сетей петри

Работа посвящена исследованию проблемы автоматического построения сетевых моделей динамических Estelle-спецификаций распределенных систем. В качестве моделей выбраны раскрашенные сети Йенсена, обогащенные приоритетами. В работе представлен метод трансляции динамических конструкций Estelle-систем в данную сетевую модель.

Препринт 77
М.В. Андреева
Параллельные варианты may-тестовых эквивалентностей временных структур событий

Исследуются варианты may-тестовой эквивалентности дискретновременных структур событий в интерливинговой, шаговой и частично упорядоченной семантиках. Как результат дается их следовая характеризация, и в заключение рассматриваются взаимосвязи всех введенных эквивалентностей. Данная работа частично финансируется РФФИ (00-01-00898).

Препринт 76
И.А. Лисицын
Системы визуализации и редактирования графовых объектов: обзор

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

Препринт 75
Е.Н. Боженкова
Исследование эквивалентностных отношений структур событий с дискретным временем

В статье вводятся и исследуются варианты тестовых эквивалентностей для структур событий с дискретным временем. Устанавливается разрешимость проблемы их распознавания.

Препринт 73
В.Ф. Мурзина
Полимодальная логика на основе a-пространств

Рассматривается полимодальная логика на основе A-пространств. Модальности, связанные с A-пространствами, интерпретируются как временные. Речь идет о ближайшем и отдаленном будущем или прошлом, т.е. используются четыре модальности. Временные модальности особенно важны при изучении параллельных вычислений и верификации программ. Описано множество аксиом и сформулирована теорема корректности для этих аксиом относительно шкал на основе A-пространств. Введено некоторое логическое исчисление L', для которого сформулирована теорема о канонической модели. Устанавливается связь между фрагментами L' и известной логикй S4. Доказательства опущены ввиду их громоздкости.

Препринт 72
Ю.В. Бирюкова
SISAL 90 руководство пользователя

В работе представлено описание языка Sisal 90. Он содержит черты современных функциональных и императивных языков. Добавление некоторых возможностей языка Фортран 90 и поддержка смешанно-языкового программирования повысило пригодность Sisal 90 для научного программирования. Данная работа выполнена в рамках проекта "Методы и средства функционального программирования поддержки супервычислений" (грант РФФИ 98-01-748).

Препринт 71
Т.Г. Чурина
Моделирование динамических конструкций языка sdl посредством раскрашенных сетей Петри

Работа посвящена исследованию проблемы автоматического построения сетевых моделей динамических SDL-спецификаций распределенных систем. В качестве моделей выбраны раскрашенные сети Йенсена, обогащенные приоритетами. В работе представлен метод трансляции динамических конструкций SDL-систем в данную сетевую модель.




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).