Лукьянова Е. А.

Cтруктурное окрестностное моделирование систем промышленной вентиляции

Журнал: 
Страница: 
96

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

On conditions imposed on sections of a Kripke structure that simulate the functioning of the compound components allocated in detailed Petri net of parallel distributed system for verification of accuracy of temporal logic formulae

Журнал: 
Страница: 
23
Изучаются модели Крипке детальной сети Петри и её компонентной сети Петри параллельной распределённой системы. Устанавливаются необходимые и достаточные условия для проверки истинности формул темпоральной CT L-логики по редуцированной модели Крипке — модели Крипке компонентной сети Петри.

On similarity of Petri nets languages

Журнал: 
Страница: 
74

The concept of languages similarity of Petri nets is introduced. It is determined, that mapping of languages similarity of Petri nets is a surjective homomorphism. The similarity of languages of component Petri net and original detailed Petri model of the investigated parallel distributed system is considered. The work reveals that the language of the original detailed Petri net model can always be restored using the language of its component model.

О структурировании задействованной дискретной информации моделей Петри с целью ускорения вычисления инвариантов

Журнал: 
Страница: 
62

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

Ключевые слова: модели Петри со временем, большие данные, компонентное моделирование, матрица инцидентности, инварианты временной сети Петри.