dynamic logic（意思翻译）

动态逻辑

dynamic logic（相似词语短语）

1、dynamic braking───[机]动态制动；[机]动力制动；动力制动，动态制动

2、dynamic poses───动态姿势

3、group dynamic───群体动力

4、effectual logic───有效逻辑

5、cartesian logic───笛卡尔逻辑

6、dynamic pricing───动态定价

7、logic───n.逻辑；逻辑学；逻辑性

8、dynamic abt───动态abt

9、dynamic stretches───动态拉伸

dynamic logic（双语使用场景）

1、In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.───该文提出一种论证安全协议之安全性质的非单调动态逻辑。

2、Digital rights expression model based on first-order dynamic logic───一种采用一阶动态逻辑表示的数字权限描述模型

3、speed of arithmetic circuits can be improved dramatically by using this kind of dynamic logic.───使用这种动态逻辑可以大大提高运算电路的速度。

4、A Multi-Action Commitments Approach Based on Dynamic Logic───基于动态逻辑的多动作承诺机制

5、Normal logic has been moving forward towards dynamic logic from static...───规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。

6、Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.───命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。

7、The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic───电子商务安全协议及其非单调动态逻辑验证

dynamic logic（英语使用场景）

1、An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.

2、Then, this paper designs IDMS in detail by describing both static and dynamic logic models of the system.

dynamic logic（相关推荐）