基于双库协同机制的KDD*及其软件实现

在KDD(基于数据库的知识发现 )的基础上 ,提出了KDD的开放系统—KDD 的总体结构 ;探讨了其关键技术—双库协同机制的理论基础与实现技术 ;介绍了因果关联规则的统计归纳的发掘方法。初步演示试验的结果表明 ,KDD 这类新型构造是有效与可行的。     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

一种基于结构熵的类内聚度度量方法

内聚度是指模块内各成分之间的联结强度。在面向对象软件系统中,内聚度主要是指类内部的属性和方法之间的联结强度。在类依赖图的基础上,提出了一种基于结构熵类内聚度度量方法,从类的属性与属性、属性与方法和方法与方法之间依赖关系3个方面对类的内聚度进行度量。并综合以上3种内聚度给出了一个类内聚度的度量方法,为评价类的内聚度提供了指南。     

软件化多频地波雷达频率合成器设计

针对高频地波雷达海洋动力学参数多频探测的技术特点,提出了一种基于波形库的软件化多频地波雷达频率合成器实现方案,可以同时和分时产生多路脉内线性调频信号,各路信号形式、频率、初相、幅度等都独立可控,解决了雷达波形种类、幅相控制、捷变时间受限等问题,较大提高雷达系统性能;给出系统的硬软件实现方案.测试结果表明,该数字频率源的相位噪声在偏离载波1 kHz处达-112 dBc/Hz,满足高频地波雷达进行长时间相干积累对频率源稳定性的要求.     

一种海面后向散射特性实时仿真的统计模型

提出了一种用于海面后向散射特性实时仿真的三参数模型,导出了分别符合Weibull分布、Log-ormal分布和K-分布等三种统计模型的海杂波生成函数,并讨论了各函数中参数的拟合优化方法.该模型的输出特性既满足实测海面后向散射系数数据的均值和标准偏差,同时又反映出给定的概率密度统计特性,可用于各种仿真系统中的海杂波实时仿真.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

有色观测噪声下的多变量设置调整策略

针对存在初始设置偏差的离散的多变量生产制造过程,研究了观测噪声服从Auto-Rgressive （AR）模型的情况下,考虑调整花费成本为二次型函数时的设置调整问题,在建立过程状态空间方程的基础上,利用卡尔曼滤波方法在线估计过程的状态变量,根据随机二次型最优控制理论,得到了使过程质量损失最小的最优调整策略. 通过算例解释了最优调整策略的实现方法,并进行了仿真验证,结果表明,得到的调整策略与观测噪声为白噪声时的质量调整策略相比,能更好地减少过程总体质量损失.     

同时考虑环境因素和统计噪声的四阶段SFA模型——在我国省际技术效率和政府管理绩效中的应用

为克服三阶段DEA模型忽略了投入-产出之间统计噪声对技术效率的影响这一不足,将环境因素细分为员工工作环境和管理环境两类,提出了一种基于随机前沿分析（stochastic frontier analysis）技术的四阶段模型. 通过对比剔除管理环境因素前后的技术效率,得到动态经营管理效率（management efficiency）. 进一步,利用四阶段SFA模型对2002-2010 年间我国省际技术效率和政府管理绩效进行了测算. 研究发现：（1） 我国整体、三大地区及各省区综合技术效率均呈现“U型”波动趋势,且东部地区最高,中部次之,西部最低;而实际技术效率呈现单调递增的变动趋势,中部最高,东部次之,西部最低. （2） 政策扶持对于地区技术效率的提升具有重大的推动作用,贡献率高达71.4%;政府管理绩效呈现“U型”波动趋势（江西,湖北,海南除外）,且东部地区高出中西部约8.9% 和3.2%. 作为技术效率和经营管理绩效实证研究的技术基础,四阶段SFA 模型为优化资源配置提供了很好参考.