緩衝運算元三公理指不動點公理、信息依據公理和解析表達公理三個公理。
基本介紹
- 中文名:緩衝運算元三公理
- 外文名:The three axioms for buffer operators
公理1(不動點公理),公理2(信息依據公理),公理3(解析表達公理),
公理1(不動點公理)
設為系統行為數據序列,為序列運算元,則滿足
不動點公理限定在序列運算元作用下,系統行為數據序列中的數據保持不變,即運用序列運算元對系統行為數據進行調整,不改變這一既成事實。
根據定性分析的結論,亦可使以前的若干個數據在序列運算元作用下保持不變。例如,令
且
其中,。
公理2(信息依據公理)
運算元作用要以現有系統行為數據序列為依據,系統行為數據序列中的每一個數據都應充分參與運算元作用的全過程。
信息依據公理強調任何序列運算元都應以給定系統行為數據序列中的數據為基礎和依據進行定義,不允許拋開原始數據另搞一套。
公理3(解析表達公理)
任意的 ,皆可由一個統一的的初等解析式表達。
解析表達公理要求由系統行為數據序列得到運算元作用序列的程式清晰、規範、統一,且儘可能簡化,以便於計算出運算元作用序列並使計算易於在計算機上實現。