提出了一种反应式系统选择性测试方法。
A selective testing method for reactive systems is presented.
该语言不仅适合处理突发性高速数据流，也适用于反应式系统设计。
It is not only suit for high speed burst data flow processing, but also can be used in reactive system design.
有限状态机用于对系统的动态行为建模，一般用状态图来可视化表示，是对反应式系统建模的一种强大工具。
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.
危机发生后，银行脆弱性直接危害了整个支付与清算系统正常运转，造成连锁反应式的信用恐慌与崩溃。
When crisis began, the frangibility of bank endangered the normal operation of the payment and clearing system, which resulted in credit and confidence collapse.
针对反应式实时系统，我们使用时序规范来描述系统性质。
In this paper, we use temporal specification for describing the properties of reactive, real-time systems.
采用分布式系统将反射式行为、反应式行为与慎思规划相结合，设计了移动机器人导航控制策略。
A navigation control strategy for mobile robot is designed by the tight integration of reflecting behavior, reactive behavior and deliberative module based on distributed system.
底层运动控制系统可以产生反应式行为，能够有效地控制助行电机，并且能将各种传感器信息将传送至上层系统，用于信号的分析处理。
On-board motion control system can implement reactive behaviors, and can effectively control the walker aid motor motion. Also it can send the sensor data to the upper system for signal analysis.
底层运动控制系统可以产生反应式行为，能够有效地控制助行电机，并且能将各种传感器信息将传送至上层系统，用于信号的分析处理。
On-board motion control system can implement reactive behaviors, and can effectively control the walker aid motor motion. Also it can send the sensor data to the upper system for signal analysis.
应用推荐