概念,要素,
概念
離散事件動態系統邏輯層次模型(logica曰evel model for discrete event dynamic system)描述離散事件動態系統的邏輯演化和控制的各種數學模型.
要素
這種模型應包含以下幾種要素:
- 狀態集合.常為離散的有限或可數集合，其元素間一般不必定義任何結構和運算.
- .事件集合.另一個離散集合，其元素事件按某些自發或預設的機制異步地出現並可能觸髮狀態的演變.
- .演化規則.即由事件出現導致系統原狀態轉移為新狀態的規則，這種規則可能是確定性的或隨機性的，其結果將形成若干狀態串或軌線.
- .控制目標.通常可用達到某特定狀態子集(通常稱標識狀態集)或其狀態軌線屬於(或不屬於)某預定軌道(即狀態串)的集合來加以描述.
- .控制機制.即影響事件出現或狀態演化過程的各種機制.
通常由人為設計，以滿足預定的控制目標的確定性模型，包括有限(狀態)自動機、描述並發過程的匹特里網，以及它們的各種擴充.又如有限遞歸過程、通信序貫進程、通信系統代數等，幾乎原用於理論計算機科學的邏輯工具和成果均可借用.此外，常見的馬爾可夫鏈也可作為一種隨機的邏輯演化過程的模型.
