论文以具有大范围工况特点的实际系统为背景，结合混合逻辑动态模型来研究分段线性系统的模型预测控制。
Through logic variables, piecewise linear systems can be modified into a single-linear model and affiliated constraints with mixed logical dynamic systems.
表现力大多源于存在条件逻辑、动态更改输入模型和控制执行流的标签。
Much of the expressiveness comes from there being tags for conditional logic, dynamically changing the input model, and controlling the flow of execution.
提出了一种基于逻辑证书的数字权利的动态描述模型。
This paper presented a kind of dynamic expression model of digital right based logic license.
离散事件动态系统（DEDS）矩阵模型是一种逻辑运算与代数运算的混合系统。
Matrix model for discrete event dynamic simulation (DEDS) is a hybrid system with logical and algebraic components.
对软件测试建立动态运行模型，提出基于逻辑统计特征描述的软件测试方法。
Through establishing dynamic movement model for software test, this article proposes software test method based on the logical statistics characteristic description.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
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.
在非线性动态过程的建模中，融入了模糊逻辑和局部线性模型。
Fuzzy logic and local linear models are employed for modeling a non-linear dynamic process.
本文介绍了梅山炼钢厂连铸机二冷水动态控制模型的数学模型、控制逻辑和模型诊断功能。
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.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
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.
本文使用了信息动态打包法构造概念模型和逻辑模型，并通过事实星座模式构造物理数据存储模型，来实现英语教学信息数据仓库的构建。
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...
本文使用了信息动态打包法构造概念模型和逻辑模型，并通过事实星座模式构造物理数据存储模型，来实现英语教学信息数据仓库的构建。
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...
应用推荐