排序方式: 共有31条查询结果,搜索用时 31 毫秒
1.
2.
为解决限界模型检测的完备性问题,研究了完全界的计算问题,给出了完全界的上近似计算.首先,在线性时态认知逻辑中引入过去时态算子,得到新的时态认知逻辑LTLPK,从而可以紧凑自然地描述系统的可靠性规范;其次,依据图结构理论,设计了一套深度优先算法计算出系统的最大可达深度和最长无循环路径的长度;最后,以定理的形式给出了最大可达深度和最长无循环路径的长度与完全界的关系,得出了完全界的一种上近似估算.所做工作有效地解决了限界模型检测中的完全界计算问题,从而保证了限界模型检测的完备性. 相似文献
3.
我国绿色制造发展的思考 总被引:7,自引:0,他引:7
绿色制造的研究正在全球兴起。在总结国内外绿色制造研究现状及分析绿色制造内涵的基础上,结合我国工业现状,提出一些发展我国绿色制造的建议。 相似文献
5.
本文简要介绍了国内产业化步子迈得较慢的精密直线运动的驱动装置——直线步进电动机的结构、工作原理,并对其控制系统和应用领域作了简单概述。 相似文献
6.
水平速度损失对撑竿跳高运动成绩的影响 总被引:8,自引:1,他引:7
撑竿跳高实质上就是一种能量转变过程,即动能和势能的转变过程。运动员通过助跑获得动能,经双手作用于撑竿,使撑竿产生形变具有势能,运动员借助撑竿所具备的势能使身体越过一定高度。因此,只有发挥我国运动员身体灵巧的特点,把能量守衡定律充分运用到撑杆跳高运动之... 相似文献
7.
阐述了高压共轨喷油系统的特点和构成,对高压共轨直喷式柴油机的模型建立及控制方式做了深入讨论,并对发展我国电子高压共轨喷油柴油机提出了一些建议。 相似文献
8.
9.
10.