本文给出了新的可辨布尔矩阵的定义，建立逻辑关系方程解模型，利用布尔矩阵的初等行变换把系数矩阵化为最简矩阵，并根据系数矩阵和......

为了缓解模型检测中的状态空间爆炸问题,使其在安全领域获得更大应用范围,本文基于Bchi自动机语言等价关系定义了语言等价类概念,......

本文用崭新的HB法双迭代解模型增加对ASHRAE2001与2005基础篇有关窗户热平衡计算补充其缺失外，并辅以实例计算作实务诊释可能有助于......

　　本文用甲醇裂解模型反应,程序升温(TPR,TPD)和XRD等技术研究了CeO2促进的Culr双金属催化剂.发现CeO2的加入有利于活性物种Cu2O......

该文研究了一种新型六自由度机器人误差补偿器的运动学反解，并分析了误差补偿器在位姿运动中存在的系统误差。在实测数据的基础上，提......

给出了Fibonacci问题的一种新的解模型.通过这个模型,找出了兔群的转移规律,得到一个与传统的递归解完全一样的非递归算法.......

In order to process different kinds of observing data with different precisions, a new solution model of nonlinear dynam......

聚烯烃生产经常需要进行牌号切换操作，最优牌号切换策略能在保证生产安全的前提下减少切换过程中的经济损失。由于实际生产中存在不......