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.
中文翻譯推薦
- axial pressure gradient
- divergence zone
- all the others
- all the night we can not see
- axial pressure load
- dynamic look
- belittles
- divergenceless
- arider
- admeasures
- dynamic loop
- all the people dont believe
- brake detection
- be back for
- all the people you knew
- all the people in the world
- all the people of one mind
- all the people you know
- all the people youll never know
- belittling
- be back for a visit