dynamic logic发音

意思翻译

动态逻辑

相似词语短语

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

dynamic pricing───动态定价

dynamic poses───动态姿势

cartesian logic───笛卡尔逻辑

dynamic abt───动态abt

dynamic stretches───动态拉伸

effectual logic───有效逻辑

group dynamic───群体动力

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

双语使用场景

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

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

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

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

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

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

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

英语使用场景

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

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