The speed of arithmetic circuits can be improved dramatically by using this kind of dynamic logic.
使用这种动态逻辑可以大大提高运算电路的速度。
Normal logic has been moving forward towards dynamic logic from static logic in the last 50 years.
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
Meanwhile, the dynamic logic manufacturing cell concept is adopted to implement the dynamic alliance of virtual enterprise and the reconfiguration of this MES.
同时，采用了动态逻辑制造单元来实现虚拟企业间的动态联盟以及敏捷化智能MES 的可重构性。
Meanwhile, the dynamic logic manufacturing cell concept is adopted to implement the dynamic alliance of virtual enterprise and the reconfiguration of this MES.
同时，采用了动态逻辑制造单元来实现虚拟企业间的动态联盟以及敏捷化智能MES 的可重构性。
应用推荐