Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов
The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted by labeled transition systems. Definition is formed and the basic properties a...
Gespeichert in:
| Veröffentlicht in: | Электронное моделирование |
|---|---|
| Datum: | 2008 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2008
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/101549 |
| 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: | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862579471654060032 |
|---|---|
| author | Нестеренко, Б.Б. Новотарский, М.А. |
| author_facet | Нестеренко, Б.Б. Новотарский, М.А. |
| citation_txt | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос. |
| collection | DSpace DC |
| container_title | Электронное моделирование |
| description | The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted by labeled transition systems. Definition is formed and the basic properties are stated for strong mutual model similarity. The direct and accelerated algorithms are developed for determination of strong mutual similarity on the basis of the received properties
Рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены основные понятия поведенческой эквивалентности моделей, представленных маркированными системами с переходами. Дано определение и изложены основные свойства строгого взаимного подобия моделей. На основании полученных свойств разработаны прямой и ускоренный алгоритмы определения строгого взаимного подобия.
Розглянуто алгебру процесів, яка орієнтована на опис паралельних структур, що функціонують з використанням реального робочого навантаження. Визначено основні поняття поведінкової еквівалентності моделей, представлених маркованими системами з переходами. Дано визначення і викладено основні властивості строгої взаємної подібності моделей. На підставі отриманих властивостей розроблено прямий і прискорений алгоритми визначення строгої взаємної подібності.
|
| first_indexed | 2025-11-26T18:44:18Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-101549 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-11-26T18:44:18Z |
| publishDate | 2008 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| record_format | dspace |
| spelling | Нестеренко, Б.Б. Новотарский, М.А. 2016-06-04T19:11:18Z 2016-06-04T19:11:18Z 2008 Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б.Б. Нестеренко, М.А. Новотарский // Электронное моделирование. — 2008. — Т. 30, № 1. — С. 3-18. — Бібліогр.: 7 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/101549 681.3 The process algebra is considered which is on the parallel structure orientated description. The structures function with real working load. The basic concepts are determined for behavioral equivalence of models submitted by labeled transition systems. Definition is formed and the basic properties are stated for strong mutual model similarity. The direct and accelerated algorithms are developed for determination of strong mutual similarity on the basis of the received properties Рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены основные понятия поведенческой эквивалентности моделей, представленных маркированными системами с переходами. Дано определение и изложены основные свойства строгого взаимного подобия моделей. На основании полученных свойств разработаны прямой и ускоренный алгоритмы определения строгого взаимного подобия. Розглянуто алгебру процесів, яка орієнтована на опис паралельних структур, що функціонують з використанням реального робочого навантаження. Визначено основні поняття поведінкової еквівалентності моделей, представлених маркованими системами з переходами. Дано визначення і викладено основні властивості строгої взаємної подібності моделей. На підставі отриманих властивостей розроблено прямий і прискорений алгоритми визначення строгої взаємної подібності. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Математические методы и модели Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов Equivalent Representation of Models of Complicated Digital Systems by Means of Process Algebra Article published earlier |
| spellingShingle | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов Нестеренко, Б.Б. Новотарский, М.А. Математические методы и модели |
| title | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| title_alt | Equivalent Representation of Models of Complicated Digital Systems by Means of Process Algebra |
| title_full | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| title_fullStr | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| title_full_unstemmed | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| title_short | Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| title_sort | эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов |
| topic | Математические методы и модели |
| topic_facet | Математические методы и модели |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/101549 |
| work_keys_str_mv | AT nesterenkobb ékvivalentnoepredstavleniemodeleisložnyhdiskretnyhsistemspomoŝʹûalgebryprocessov AT novotarskiima ékvivalentnoepredstavleniemodeleisložnyhdiskretnyhsistemspomoŝʹûalgebryprocessov AT nesterenkobb equivalentrepresentationofmodelsofcomplicateddigitalsystemsbymeansofprocessalgebra AT novotarskiima equivalentrepresentationofmodelsofcomplicateddigitalsystemsbymeansofprocessalgebra |