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

Представлен проект создания информационной системы СИМИКС для проведения гуманитарных исследований в области культуры, который выполняется при поддержке РГНФ (грант N 96-04-12030). Данная информационная система ориентирована на накопление и представление знаний в области современной музыки и киноискусства, а также в области истории развития информатики, поскольку, на взгляд авторов, информатика в современном обществе является элементом культуры. При отборе информационных данных акцент делался на отражении региональных особенностей перечисленных выше областей знаний. Предлагаются описания особенности тематики информационной системы и ее структуры. Информационная система СИМИКС предназначена для работников культуры и искусствоведов, а также для преподавателей и студентов таких профильных вузов, как консеpватоpии, Институты и колледжи культуры, а также для всех, кто интересуется вопросами современной культуры и ее истории.

Р. Глаббек и У. Гольц ввели ряд бисимуляций на структурах событий: интерливинговую, шаговую, частичного порядка, сохраняющую историю; установили их свойства и взаимосвязи. Ф. Шериф исследовал обратную бисимуляцию в интерливинговой семантике. На системах переходов Ф. Милнером было введено понятие слабой бисимуляции. В данной работе рассматриваются обратные варианты бисимуляционных эквивалентностей на структурах событий в различных семантиках, определяется ряд бисимуляций, явно отражающих параллелизм и конфликт между событиями структуры. Для перечисленных эквивалентностей вводятся их слабые варианты, которые используют понятие "невидимых" действий. Установлена полная иерархия всех рассмотренных эквивалентностных понятий. Исследовано сохранение/несохранение под действием операции уточнения для всех вновь введенных бисимуляций.