SIGNAL語言（SIGNAL language）是可用來建立混雜系統模型的一種實時同步形式語言，由法國的本溫尼斯特（Benveniste, A.）等人於1986年提出。
基本介紹
- 中文名：SIGNAL語言
- 提出者：本溫尼斯特
簡介,過程描述,結論,
簡介
SIGNAI、語言的基本單元是信號，它們各有其信號名並由其取值序列和時鐘決定，取值範圍可為實數、布數學辭海第4卷量或“預設”.動態過程由以下基本運算元描述:
過程描述
1.基本過程.由信號間的函式與時間關係描述，諸如V:=Z十1，指dt均有VL=Z，十1.
2.延遲.用Z=V $ 1表示dt均有Zz=V}_1.
3.過程組合.例如上面兩個子過程組合起來就定義了新的反饋過程(}V:=Z十1}Z:=V$1})，這裡豎線表示信號的連結.
4.欠採樣.用式‘`a : =b when c”表示當。為真時輸出信號a取值h，由於a的時鐘小於h和。，故稱欠採樣.
5.過採樣.用“V:=a default b”表示兩個信號的合併，表示當a有值時輸出V為a，否則為b.因V 的時鐘恆大於a或b，故稱過採樣. 6.同步."synchro a , V”表示a和V具有相同時鐘.
結論
在描述信號間的同步約束問題時，只考慮非布爾信號的預設(用“-1”表示)或出現(用十1表示)，以及布爾信號的值(士1)，因此信號的同步演算完全在整數模3有限域(一1,0,1或。,1,2)F'3上進行. 這裡由於x,3=x,o，任何函式均為階數不超過2的多項式.事實上，任何SIGNAL過程都可化為整數模3 有限域F}s上的動態系統.SIGNAL語言經常用於該類混雜系統的仿真，但理論分析還有一定困難.
