排序方式: 共有99条查询结果,搜索用时 31 毫秒
3.
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。 相似文献
4.
5.
程序的语义体现在程序对数据的处理过程中,在数据处理的过程中数据的调用序列以及值变化的序列和程序的语义是紧密相关的。为此,分别对程序中的常量和变量进行分析得到基于程序数据属性的各个子特征,由各个子特征共同构成基于程序数据属性的联合软件特征。计算每个子特征的相似度,以各个子特征相似度的平均值表征联合软件特征的相似度。理论和实验结果均表明:该特征具有较高的可信性和鲁棒性。 相似文献
6.
7.
采用单辊快淬法制备Fe_(79)Zr_8Mo_1B_(12)非晶合金薄带,在升温速率为5、20℃/min时对合金进行不同温度的热处理。利用X射线衍射仪(XRD)和振动样品磁强计(VSM)研究不同热处理条件下合金的微观结构及磁性能。结果表明:Fe_(79)Zr_8Mo_1B_(12)非晶合金在两种升温速率下热处理具有完全不同的晶化过程;当升温速率为5℃/min时,初始晶化产物仅为α-Fe(B)相;当升温速率为20℃/min时,初始晶化产物为α-Mn型亚稳相和α-Fe相。晶化产物的不同导致两种速率下合金的矫顽力Hc随热处理温度的升高呈不同趋势。 相似文献
8.
针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得... 相似文献
9.
10.