一种决策树算法的研究

SURPASS是一种增量式的处理数字数据的决策树算法,常被用于入侵检测和模式识别.它在准确率方面超过了一些决策树算法,它的另一个优越性表现在能够处理大小超过计算机内存的数据集.但是由于SURPASS要处理大数据集,它生成决策树耗费的时间比较长.针对这一问题,提出了一种指标并指出了指标的两种形式,使得在SURPASS生成的决策树生长的每一步,可对属性的指标值排序,保留指标值较小的属性,算法从被保留的属性集中选择最佳属性进行分割.这样每一步需要评价的属性的个数减少,或者说在每一步,少量的内存操作可代替大量的外存操作.     

Ambient演算的一种分层语义

网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.     

基于形式化方法的航空电子系统检测

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.     

浅谈高频材料局部混压嵌埋铜块PCB的制作方法

随着高频RF(射频)和PA(功放)等大功率电子元件对PCB散热能力的要求越来越高,业界开始引入了在PCB印制板内部嵌埋铜块的制造工艺,称之为嵌埋铜板,同时为节约高频材料的用料成本,只在射频线路部分设计为高频材料局部混压,目前大部分产品为两种工艺同时结合。将完成单面线路制作后的高频材料和散热铜块是在压合前叠层之后埋入,同时散热铜块还要进行机械加工出相应的功放元件放置槽,文章将详细阐述高频材料局部混压嵌埋铜块的制造流程设计和工艺控制方法,以供业界同行参考。     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

基于局部差别性分析的目标跟踪算法

在复杂场景下,为了更好地提升跟踪的鲁棒性,基于局部的相似度测量得到了广泛应用。然而,局部遮挡,形变和光照变化等场景的复杂性,基于传统局部相似度测量的目标跟踪存在很大缺点,例如,在跟踪过程中,仅仅依靠目标和模板的匹配度容易造成跟踪的偏移现象。鉴于此,该文提出一种基于局部差别性相似度测量的目标跟踪算法。首先,以目标-背景的差异性,形成相似性和差异性相结合的局部判别性相似度测量;其次,基于子块在视频序列中的差异性,对子块进行差异性学习,以提高跟踪的准确性。最后,在粒子滤波框架下,基于差别性局部区域测量构建了一种有效的目标跟踪算法。实验结果表明,在复杂图像序列中,该算法实现了目标的准确跟踪,并在光照变化、旋转、缩放和遮挡等方面具有较好的效果。     

面向地震网络计算的网格工作流管理系统

针对国家地震网络计算应用系统的需求,将工作流技术引入地震网络计算,实现了国家地震网格工作流管理系统.该系统能够将地震领域的部分专业应用定义为一个工作流来为用户提供服务,对系统中的基本服务进行调度,通过网格中间件进行执行,并对任务进行监视和管理.论述了该系统的框架及相关技术,通过对现有的地震行业典型应用的流程分析,构造出一个工作流实例,简化了类似应用服务的开发过程.     

衡水市农药使用现状及控制农药使用量零增长推进措施探析

衡水市为实现国家控制农药使用量零增长目标,对全市农药使用现状进行了调查分析,有针对性地提出了做好病虫害预测预报、绿色防控、统防统治、科学安全用药四项推进措施。     

基于人工神经网络的碱矿渣混凝土强度预测

强度是混凝土的重要性能指标,碱矿渣混凝土的强度不仅与水胶比有关,还与碱激发剂相关,故而传统的硅酸盐水泥混凝土强度预测模型不适用于碱矿渣混凝土。为了能够精准预测碱矿渣混凝土的强度,减少试验次数,节约试验资源,将改进BP算法及主成分分析法(PCA)运用于人工神经网络模型,结果显示：相对于T-BP网络模型,基于碱矿渣混凝土构建的PCA-BP神经网络强度预测模型的训练速度更快、训练误差更小、精准度更高,平均相对误差只有3.81%,能够达到理想的预测效果,为有效预测碱矿渣混凝土强度提供了新的途径。