经过几十年的改进，有限状态机的功能被不断扩充和改良．如今，有限状态机广泛地应用于反应式系统（Reactive Systems），即根据外部输入（事件或消息等）和系统当前状态而作出响应的系统。
基于12个网页-相关网页
A selective testing method for reactive systems is presented.
提出了一种反应式系统选择性测试方法。
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.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
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)的结构和掺杂状况进行了研究。
应用推荐