Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2011
1. Verfasser:	Гайтан, Е.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2011
Schlagworte:	Моделювання і управління великими системами
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83600
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	О временном представлении теории взаимодействующих процессов Хоара / Е.Н. Гайтан // Мат. машини і системи. — 2011. — № 3. — С. 130-134. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Синтез-обоснование идеала структуры языка научной теории
von: Кургаев, А.Ф.
Veröffentlicht: (2006)

Математическое моделирование газогидратных процессов
von: Повещенко, Ю.А., et al.
Veröffentlicht: (2011)

Нарушение статистической устойчивости физических процессов
von: Горбань, И.И.
Veröffentlicht: (2010)

Имитационное моделирование случайных процессов в СМ-ДЭС
von: Максимей, И.В., et al.
Veröffentlicht: (2010)

Об одной методике имитационного моделирования вероятностных технологических процессов производства
von: Гончаров, А.Н., et al.
Veröffentlicht: (2008)

Применение теории гиперслучайных явлений для расчета функциональных характеристик и параметров радиоэлектронных средств
von: Уваров, Б.М., et al.
Veröffentlicht: (2011)

Агрегатная система автоматизации моделирования вероятностных технологических процессов производства
von: Смородин, В.С.
Veröffentlicht: (2007)

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

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

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

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

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

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

Методика интеллектуальной диагностики зрительного анализатора
von: Федоров, Е.Е., et al.
Veröffentlicht: (2010)

Неопределенность и причинно-следственный принцип оптимизации систем пожарного мониторинга
von: Землянский, А.Н., et al.
Veröffentlicht: (2011)

Моделирование особенностей речи диктатора
von: Криводубский, О.А., et al.
Veröffentlicht: (2008)

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

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

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

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

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

Применение имитационных моделей для принятия решений в системах управления на транспорте
von: Максимей, И.В., et al.
Veröffentlicht: (2010)

Имитационное моделирование вероятностных характеристик функционирования железнодорожной сети
von: Максимей, И.В., et al.
Veröffentlicht: (2008)

Симметричные разностные схемы метода совместной аппроксимации для решения линейного уравнения переноса
von: Бучарский, В.Л., et al.
Veröffentlicht: (2011)

Выработка решений в системах ситуационного управления методом направленного перебора вариантов
von: Литвиненко, А.Е., et al.
Veröffentlicht: (2004)

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

Математические модели оптимального планирования геологоразведочных работ
von: Литвиненко, А.Е., et al.
Veröffentlicht: (2008)

Математические модели оптимального управления динамическими структурами данных
von: Аксенова, Е.А., et al.
Veröffentlicht: (2009)

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

Алгоритмизация нечетких многокритериальных задач выбора
von: Маляр, Н.Н.
Veröffentlicht: (2011)

Конструювання програм створення тестових наборів на базі автоматних моделей
von: Райчев, І.Е., et al.
Veröffentlicht: (2006)

Моделирование процесса проведения и оценивания практикумов по компьютерной дискретной математике с использованием адаптивного тестирования
von: Белоус, Н.В., et al.
Veröffentlicht: (2009)

Определение интегрального максимального потока в региональной сети с помощью имитационного моделирования
von: Максимей, И.В., et al.
Veröffentlicht: (2008)

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

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

Стохастический метод прогнозирования конфликтных ситуаций и столкновения самолетов
von: Васильев, В.Н.
Veröffentlicht: (2005)

Методы оценки вероятностей отказов в процессах прогнозирования техногенных чрезвычайных происшествий
von: Серебровский, А.Н.
Veröffentlicht: (2007)

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

Анализ подходов оценивания вероятностей базисных событий техногенной опасности
von: Серебровский, А.Н.
Veröffentlicht: (2008)

Экспертные системы оперативной оценки техногенной опасности
von: Серебровский, А.Н.
Veröffentlicht: (2007)