英文
SIGNAL language
简介
可用来建立混杂系统模型的一种实时同步形式语言.由法国的本温尼斯特(Benveniste，A.)等人于1986年提出.SIGNAL语言的基本单元是信号，它们各有其信号名并由其取值序列和时钟决定，取值范围可为实数、布尔量或“缺省”.动态过程由以下基本算子描述：
1.基本过程.由信号间的函数与时间关系描述，诸如V：=Z+1，指ᗄt均有Vt＝Zt+1.
2.延迟.用Z=V＄1表示ᗄt均有Zt＝Vt-1.
3.过程组合.例如上面两个子过程组合起来就定义了新的反馈过程(｜V：=Z+1｜Z：=V＄1｜)，这里竖线表示信号的连结.
4.欠采样.用式“a：=b when c”表示当c为真时输出信号a取值b，由于a的时钟小于b和c，故称欠采样.
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或0，1，2)F3上进行.这里由于x3＝x0，任何函数均为阶数不超过2的多项式.事实上，任何SIGNAL过程都可化为整数模3有限域F3上的动态系统.SIGNAL语言经常用于该类混杂系统的仿真，但理论分析还有一定困难.