排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
分布式实时系统的实时特性可以利用面向方面软件设计方法来建模,把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术,不同的时间子方面分别利用随机实时时序逻辑(SQTL)和模糊时间Petri网(FTN)来表示,并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统,实现系统的实时特性。 相似文献
2.
3.
概述了缓倾斜煤层群矿井依靠科技进步,进行矿井技术改造,改革巷道布置,使矿井合理化集中,增加矿井储量,提高矿井生产能力,降低岩巷掘进率,进而提高矿井经济效益的几个主要途径。 相似文献
4.
基于随机时序逻辑(SQTL),通过扩展模糊时间来表达系统的模糊时间关系,并实现一种表达能力更强的时序逻辑——模糊随机时序逻辑(FSQTL)。FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间,并利用可能性实现对性能需求的分析。 相似文献
5.
一、前言 在现代石油化工生产中,约有80%以上的产品离不开催化剂。对某种特定催化剂而言,它又可用于其它化工产品的生产中,可称之为“单用途多功能”催化剂;如该特定催化剂用在其它方面性能差些,则经添加 相似文献
6.
本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法。第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n^2) O(n^2) O(2^k)。第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n^2),改进之后为O(n^2)。第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法。但需要运行前优化约束规则,将会增加额外的时间和空间复杂度。 相似文献
7.
Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合A.K.Mok方法,对表达系统时间约束的RTL公式进行优化,然后再转化为Z++类history中RTL公式,使history中的谓词公式更简要更完整,从而减少了检测时间,提高实时响应能力。 相似文献
8.
基于UML的面向方面的实时系统建模方法 总被引:5,自引:0,他引:5
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系统。模型从系统的静态结构模型、动态行为模型和时间方面的织入等几部分来建模实时系统,并扩展了UML来表达AOP技术和时间概念,提高软件的重用性。一个电梯控制系统例子用来说明了这种建模方法。 相似文献
9.
前言裂解汽油是乙烯工业的副产品,根据裂解如型、裂解深度及所用原料油品的不同,组分亦有变化。含碳数目约为C_5—C_(10),馏程约50~210℃,以砂子炉C_6—C_8计,经毛细管色谱仪对其组成进行分析,有200多个 相似文献
10.
随着负载型pd-Al_2O_3型贵金属催化剂在石油化工方面的广泛应用,催化剂的胂中毒问题日益引起人们的普遍关注。国内开发的系列化贵金属加氢催化剂如7051、7701、7901、8601等已先后实现了工业化生产和应 相似文献