基于关键分支的不可行路径确定方法

不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.     

南京市“禁粘”工作进入收官阶段

<正>本刊讯截至9月10日,南京市今年列入计划的三个"禁粘"城区中高淳区、浦口区已通过省级验收组的创建验收考核。根据方案,溧水区将在10月前完成创建工作,接受省验收组的考核,全市"禁粘"创建工作进入收官阶段。"禁粘"由城市逐步向农村拓展。城区"禁粘"自2010年启动,以主城区(江南八区、河西、仙林两大新城区)创建为起始,一年     

基于CAN总线的雷达分布式监控系统

主要介绍了CAN总线技术在雷达整机操控及故障检测系统中应用。首先给出了CAN总线的特点以及协议,详细描述了系统的操控和故障检测的流程。本文的分布式监控系统采用总线型结构,其中上位机采用VxWorks系统,下位机采用单片机加上SJA1000控制器组成的系统,来收集各个节点的数据。     

通过LS:DO实现Lotus Notes与SQL Server的接口

本文介绍了LS：DO对于实现Notes与外部数据库接口的功能及它们之间的关系，对Notes与SQL Server接口实际操作过程给出详细的说明，并提供了已调试成功的程序清单。     

基于消息机制的自动化黑盒测试方法研究*

如何对人机交互频繁的软件如三维CAD软件进行自动化黑盒测试是一个富有挑战性的研究课题。基于Windows消息机制提出一种针对图形用户界面软件进行自动化黑盒测试的构造模型,该模型通过拦截Windows底层的各种消息,同时依据相应的流程规约和生成算法将消息序列进行重组,从而派生出大量的测试用例,然后以重构后的衍生消息序列驱动被测试系统自动运行,达到自动测试的目的。实验结果表明,基于该思路构建的测试系统具有良好的测试效果。     

采用融合卷积网的图像分类算法

目前,卷积神经网络已成为视觉对象识别的主流机器学习方法。有研究表明,网络层数越深,所提取的深度特征表征能力越强。然而,当数据集规模不足时,过深的网络往往容易过拟合,深度特征的分类性能将受到制约。因此,提出了一种新的卷积神经网络分类算法：并行融合网FD-Net。以网络融合的方式提高特征的表达能力,并行融合网首先组织2个相同的子网并行提取图像特征,然后使用精心设计的特征融合器将子网特征进行多尺度融合,提取出更丰富、更精确的融合特征用于分类。此外, 采用了随机失活和批量规范化等方法协助特征融合器去除冗余特征,并提出了相应的训练策略控制计算开销。最后,分别以经典的ResNet、InceptionV3、DenseNet和MobileNetV2作为基础模型,在UECFOOD-100和Caltech101等数据集上进行了深入的研究和评估。实验结果表明,并行融合网能在有限的训练样本上训练出识别能力更强的分类模型,有效提高图像的分类准确率。     

基于.NET架构的基层水务站系统设计

基层水务站信息管理系统是利用先进的地理信息系统、数据库技术、计算机管理技术和相关专家的经验,实现水务站信息化管理,辅助水务站进行日常管理工作,发布水务管理有关信息,面向广大农民和所属单位进行水资源、节水和防汛抗旱宣传,建立一个现代化的基层水务管理的工作平台.