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逻辑模型。
This paper set out from the high order shear deformation theory at first, and utilize the spline finite point method to set up a new dynamic model of piezoelectric intellectual plate.
本文首先从高阶剪切变形理论出发，利用样条有限点法，建立了压电智能层合板新的动力模型；
A first order lagging equation is used to acount for dynamic effects. This model can simulate the compressor response to inlet temperature transients and find the critical stage.
该模型可以模拟进口温度（或压力）瞬变下压气机的逐级响应，寻找首先失速的关键级。
A first order lagging equation is used to acount for dynamic effects. This model can simulate the compressor response to inlet temperature transients and find the critical stage.
该模型可以模拟进口温度（或压力）瞬变下压气机的逐级响应，寻找首先失速的关键级。
应用推荐