动态逻辑模型(Dynamic logic model)描述对象之间的相互 作用，相互作用通过一组协同的对象，对象之间的消息序列，参考对象的可见 性来定义系统运行时的行为，表达了...
基于8个网页-相关网页
Mixed Logic Dynamic Model 混合逻辑动态模型
This paper presented a kind of dynamic expression model of digital right based logic license.
提出了一种基于逻辑证书的数字权利的动态描述模型。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
Large amplitude test, Unsteady aerodynamic, Wall influence, dynamic derivative simulating, Mathematic model, Fuzzy logic, Aerodynamicmodeling, Flight simulating.
大振幅试验，非定常空气动力，空气动力模型，洞壁干扰，动导数仿真，数学模型，模糊逻辑，飞行仿真。
应用推荐