经过几十年的改进，有限状态机的功能被不断扩充和改良．如今，有限状态机广泛地应用于反应式系统（Reactive Systems），即根据外部输入（事件或消息等）和系统当前状态而作出响应的系统。
基于12个网页-相关网页
Modelling reactive systems 模拟反应系统
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
A selective testing method for reactive systems is presented.
提出了一种反应式系统选择性测试方法。
The structure and protonation level of conductive polyaniline (PANI) chemically synthesized in different reactive systems have been investigated using X-ray photoelectron spectroscopy (XPS).
采用X射线光电子能谱(XPS)方法对不同反应体系下化学合成的聚苯胺(PANI)的结构和掺杂状况进行了研究。
应用推荐