青年中文青年中文

dynamic logic的意思

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.