提出了一种新的动态启发式二叉判定图(BDD)最小化算法。
A new dynamic heuristic binary decision diagram (BDD) minimization algorithm is proposed.
边界控制理论适用于所有的非线性开关变换器电路，是一种简单有效的稳定性判定和提高动态响应的控制方法。
The boundary control theories can be applied to all nonlinear switching circuits, and it is a simple and valid control method for judging stability briefly and raising the dynamic response validly.
文中提出了一个服务组合动态演化过程框架，在此框架下形式化地定义了一种新的实例可迁移性标准，并给出了相应的判定算法。
This paper presents a framework to support the dynamic evolution of Web service compositions under which a new formal migratability criterion is proposed.
应用推荐