设备协同技术及其系统软件研究综述

设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控制的快捷性和协同的安全性.之后,归纳了大规模设备协同系统软件的体系结构,并分析了大规模设备协同中的三...     

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

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

一种决策树算法的研究

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

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

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

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

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

Ambient演算的一种分层语义

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

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

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

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

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

棉花枯黄萎病的发生及综合防治技术

棉花枯、黄萎病是棉花生产上的毁灭性病害,被棉农称为棉花的"癌症",具有传播迅速,损失严重,防治困难等特点.据调查,河北省各棉区棉花枯、黄萎病危害呈逐年加重趋势,如不及时控制将对棉农的经济收入造成很大影响.棉花枯、黄萎病可以引起棉花叶片和蕾铃的大量脱落,轻的可减产10％,重则可达30％～50％,且棉花的品质明显下降,影响商品率.