排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
一、前言 在现代石油化工生产中,约有80%以上的产品离不开催化剂。对某种特定催化剂而言,它又可用于其它化工产品的生产中,可称之为“单用途多功能”催化剂;如该特定催化剂用在其它方面性能差些,则经添加 相似文献
2.
3.
概述了缓倾斜煤层群矿井依靠科技进步,进行矿井技术改造,改革巷道布置,使矿井合理化集中,增加矿井储量,提高矿井生产能力,降低岩巷掘进率,进而提高矿井经济效益的几个主要途径。 相似文献
4.
基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。 相似文献
5.
分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性。 相似文献
6.
基于UML的面向方面的实时系统建模方法 总被引:5,自引:0,他引:5
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。 相似文献
7.
Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合A.K.Mok方法,对表达系统时间约束的RTL公式进行优化,然后再转化为Z++类history中RTL公式,使history中的谓词公式更简要更完整,从而减少了检测时间,提高实时响应能力。 相似文献
8.
本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2) O(n^2) O(2^k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^2),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。 相似文献
9.
10.
本文围绕国内乙烯装置副产之裂解汽油加氢一段用 Pd/Al_2O_3型催化剂,将模拟中毒物如砷、硫化氢、一氧化碳、胶质、水、氮、氯等致毒物质,加在裂解汽油的模型样品油中作原料,在温度80~100℃、压力4.8MPa,液时空速3~10h~(-1)、氢:油(分子)0.5~1.8:1条件下,分别在100cm~3高压釜和连续评价装 相似文献