О временном представлении теории взаимодействующих процессов Хоара

О временном представлении теории взаимодействующих процессов Хоара

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2011
Автор:	Гайтан, Е.Н.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2011
Назва видання:	Математичні машини і системи
Теми:	Моделювання і управління великими системами
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/83600
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Синтез-обоснование идеала структуры языка научной теории
за авторством: Кургаев, А.Ф.
Опубліковано: (2006)

Математическое моделирование газогидратных процессов
за авторством: Повещенко, Ю.А., та інші
Опубліковано: (2011)

Нарушение статистической устойчивости физических процессов
за авторством: Горбань, И.И.
Опубліковано: (2010)

Имитационное моделирование случайных процессов в СМ-ДЭС
за авторством: Максимей, И.В., та інші
Опубліковано: (2010)

Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
за авторством: Уваров, Б.М., та інші
Опубліковано: (2011)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
за авторством: Гончаров, А.Н., та інші
Опубліковано: (2008)

Агрегатная система автоматизации моделирования вероятностных технологических процессов производства
за авторством: Смородин, В.С.
Опубліковано: (2007)

Верификация имитационных моделей технологических процессов производства с переменной структурой
за авторством: Смородин, В.С.
Опубліковано: (2007)

Программный комплекс поддержки системы документооборота на основе моделей процессов
за авторством: Круковский, М.Ю.
Опубліковано: (2006)

Метод пошаговой реструктуризации имитационных моделей для исследования вероятностных технологических процессов
за авторством: Смородин, В.С.
Опубліковано: (2008)

Компьютерное моделирование процессов передачи тепла в перспективных базовых несущих конструкциях стоечного типа с тепловыми трубами
за авторством: Верлань, А.Ф., та інші
Опубліковано: (2008)

О применении вейвлетов и линейной фильтрации для решения задач восстановления сигналов
за авторством: Карпенко, Е.Ю.
Опубліковано: (2008)

О подходе к решению задачи составления расписания использования летного состава в авиакомпании
за авторством: Мирошниченко, А.В.
Опубліковано: (2010)

Методика интеллектуальной диагностики зрительного анализатора
за авторством: Федоров, Е.Е., та інші
Опубліковано: (2010)

Неопределенность и причинно-следственный принцип оптимизации систем пожарного мониторинга
за авторством: Землянский, А.Н., та інші
Опубліковано: (2011)

Моделирование особенностей речи диктатора
за авторством: Криводубский, О.А., та інші
Опубліковано: (2008)

Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний
за авторством: Ильина, Е.П.
Опубліковано: (2007)

Автоматизация процесса исследования вариантов организации перемещения транспортных потоков в железнодорожной сети
за авторством: Сукач, Е.И.
Опубліковано: (2009)

Сравнение критериев выбора модели в задачах аппроксимации с естественным базисом
за авторством: Ревунова, Е.Г.
Опубліковано: (2005)

Моделирование эволюции сложных биологических и искусственных систем с использованием нейросетевой идентификации
за авторством: Снитюк, В.Е.
Опубліковано: (2010)

Метод исследования функционально-сложных систем с использованием вероятностно-алгебраического моделирования
за авторством: Сукач, Е.И.
Опубліковано: (2010)

Применение имитационных моделей для принятия решений в системах управления на транспорте
за авторством: Максимей, И.В., та інші
Опубліковано: (2010)

Имитационное моделирование вероятностных характеристик функционирования железнодорожной сети
за авторством: Максимей, И.В., та інші
Опубліковано: (2008)

Симметричные разностные схемы метода совместной аппроксимации для решения линейного уравнения переноса
за авторством: Бучарский, В.Л., та інші
Опубліковано: (2011)

Математические модели оптимального планирования геологоразведочных работ
за авторством: Литвиненко, А.Е., та інші
Опубліковано: (2008)

Математические модели оптимального управления динамическими структурами данных
за авторством: Аксенова, Е.А., та інші
Опубліковано: (2009)

Решение обыкновенных дифференциальных уравнений с применением системы АНАЛИТИК-2000
за авторством: Кралина, А.С., та інші
Опубліковано: (2004)

Выработка решений в системах ситуационного управления методом направленного перебора вариантов
за авторством: Литвиненко, А.Е., та інші
Опубліковано: (2004)

Об автоматизации расчетов акустических полей в неоднородных волноводах
за авторством: Гладкий, А.В., та інші
Опубліковано: (2006)

Алгоритмизация нечетких многокритериальных задач выбора
за авторством: Маляр, Н.Н.
Опубліковано: (2011)

Конструювання програм створення тестових наборів на базі автоматних моделей
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)

Моделирование процесса проведения и оценивания практикумов по компьютерной дискретной математике с использованием адаптивного тестирования
за авторством: Белоус, Н.В., та інші
Опубліковано: (2009)

Особенности моделирования циркулирующего двухфазного потока
за авторством: Герега, А.Н., та інші
Опубліковано: (2010)

Определение интегрального максимального потока в региональной сети с помощью имитационного моделирования
за авторством: Максимей, И.В., та інші
Опубліковано: (2008)

Обзор алгоритмов и решений задачи оптического распознавания пешехода
за авторством: Куссуль, М.Э., та інші
Опубліковано: (2005)

Методы оценки вероятностей отказов в процессах прогнозирования техногенных чрезвычайных происшествий
за авторством: Серебровский, А.Н.
Опубліковано: (2007)

Оценка вероятности опасного сближения самолетов при управлении воздушным движением
за авторством: Васильев, В.Н.
Опубліковано: (2007)

Экспертные системы оперативной оценки техногенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2007)

Анализ подходов оценивания вероятностей базисных событий техногенной опасности
за авторством: Серебровский, А.Н.
Опубліковано: (2008)

Автоматизация моделирования систем управления технологическими процессами на основе человеко-машинного комплекса имитации
за авторством: Гончаров, А.Н.
Опубліковано: (2009)