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.
大振幅试验，非定常空气动力，空气动力模型，洞壁干扰，动导数仿真，数学模型，模糊逻辑，飞行仿真。
Based on the logic model of the problem of dynamic routing telephone network, LMBDR can give the plan of routing telephone network.
该系统可以在对电话网逻辑描述的基础上，通过推理得到动态选路方案。
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
This paper has described the mathematical model, spray control logic and diagnostics in the secondary cooling water dynamic control model of CCM at Meishan Steelmaking Plant.
本文介绍了梅山炼钢厂连铸机二冷水动态控制模型的数学模型、控制逻辑和模型诊断功能。
The article USES the information dynamic package method tectonic concept and logic model to achieve an intelligence data warehouse by which the fact constellation model constructs the physical...
本文使用了信息动态打包法构造概念模型和逻辑模型，并通过事实星座模式构造物理数据存储模型，来实现英语教学信息数据仓库的构建。
Grey assessing and predicting safety in dynamic index system is raised. A method concerning the system is developed via the grey prediction model GM (1, 1) and based on the grey logic analysis.
本文提出定量安全评价与预测的动态安全指标，灰色逻辑代数，然后使用GM(1,1)给出了系统动态安全评价与预测的新方法。
Through logic variables, piecewise linear systems can be modified into a single-linear model and affiliated constraints with mixed logical dynamic systems.
论文以具有大范围工况特点的实际系统为背景，结合混合逻辑动态模型来研究分段线性系统的模型预测控制。
Through logic variables, piecewise linear systems can be modified into a single-linear model and affiliated constraints with mixed logical dynamic systems.
论文以具有大范围工况特点的实际系统为背景，结合混合逻辑动态模型来研究分段线性系统的模型预测控制。
应用推荐