基于程序数据属性的联合软件特征

程序的语义体现在程序对数据的处理过程中,在数据处理的过程中数据的调用序列以及值变化的序列和程序的语义是紧密相关的。为此,分别对程序中的常量和变量进行分析得到基于程序数据属性的各个子特征,由各个子特征共同构成基于程序数据属性的联合软件特征。计算每个子特征的相似度,以各个子特征相似度的平均值表征联合软件特征的相似度。理论和实验结果均表明:该特征具有较高的可信性和鲁棒性。     

医疗健康数据的模糊粗糙集规则挖掘方法研究

医疗健康数据通常属性较多,且存在连续型、离散型并存的混合数据,这在很大程度上限制了知识发现方法对医疗健康数据的挖掘效率。以模糊粗糙集理论为基础,研究混合数据上的分类规则挖掘方法,通过引入规则获取算法的泛化阈值,来控制获取规则集的大小和复杂程度,提高粗糙集知识发现方法在医疗健康数据上的分类效率。最后通过对比实验验证了该算法在医疗决策表上挖掘规则的有效性。     

扩展命题区间时序逻辑公式可满足性判定算法

针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得...     

多目标人工蜂群算法在服务组合优化中的应用

应用广泛的聚集函数法可将多目标问题转换为单目标问题,但函数设计困难,通用性不强,且优化结果不能直观反映各目标的优化情况。提出了一个基于Pareto占优的多目标人工蜂群算法,改进了邻域搜索策略,给出一个对比实验。实验结果表明,改进算法在个体多样性与对Pareto最优边界的趋近程度方面均有优势。     

升温速率对Fe79Zr8Mo1B12非晶合金晶化过程及磁性能的影响

采用单辊快淬法制备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随热处理温度的升高呈不同趋势。     

关于交替的ω─有穷自动机的接受条件

到目前为止，交替的ω－有穷自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．     

基于串空间模型的Andrew RPC协议的分析与验证

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

时间自动机状态空间的一个极小化构造方法

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。