广反应系统中的行为同余问题研究 无法得到保证。为了解释并发性的本质并在此基础上提出开发并发系统的正确方法，R.Milner于2001年提出了双图反应系统(Bigraphicalreactivesystem，Brs)理论。在该模型中，用双图表示系统状态，用反应规则表示系统的动态变化。Brs是广反应系统(Widere
基于4个网页-相关网页
偶图反应系统( Bigr aphical React ive Syst em, BRS) [ 2] 是Milner( 演算的发明人) 等提出的一种 新的理论工具, 其基础是一种强调位置和...
基于2个网页-相关网页
偶图反应系统 bigraphical reactive system
年提出了双图反应系统 Bigraphical reactive system
视觉诱发反应图象系统 visual evoked response image system
古拉斯还开发了许多非用于评估在小鼠视觉系统，神经功能，如电图，是衡量视网膜的反应轻入侵方法。
Gouras also developed many of the non-invasive methods used to assess neuronal function in mouse visual system, such as electroretinography, which measures the retina's response to light.
系统采用图象用户界面和控制菜单操作，使用简便，整个系统安排合理，预测准确，反应快捷。
The practice shown that the whole system is reasonable in arrangement, proper in predication, quick in reaction and easy for use .
有限状态机用于对系统的动态行为建模，一般用状态图来可视化表示，是对反应式系统建模的一种强大工具。
Finite state machine is used for the dynamic behavior of system modeling, which is represented by visual state chart. And the finite state machine is a powerful tool of reaction system modeling.
应用推荐