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

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

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

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

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

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

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

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

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