排序方式: 共有99条查询结果,搜索用时 31 毫秒
3.
程序的语义体现在程序对数据的处理过程中,在数据处理的过程中数据的调用序列以及值变化的序列和程序的语义是紧密相关的。为此,分别对程序中的常量和变量进行分析得到基于程序数据属性的各个子特征,由各个子特征共同构成基于程序数据属性的联合软件特征。计算每个子特征的相似度,以各个子特征相似度的平均值表征联合软件特征的相似度。理论和实验结果均表明:该特征具有较高的可信性和鲁棒性。 相似文献
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.
首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。 相似文献
10.
对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。 相似文献