特别是若状态流形是齐次流形的话，则由系统在某一点可能控分解就能推出系统可全局能控分解。
It is proven that if the systems with symmetries can be decomposed at a point, then it can be decomposed at all the points in the orbit of this point.
本文提出并采用微分流形理论证明智能机器人体系结构可分解性定理。
In this paper, a decomposability theorem is presented and proved by differentiable manifolds theories.
进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。
Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.
应用推荐