数字电路的层次化测试生成新趋势

与传统的门级测试生成方法相比，数字电路的层次化测试生成方法采用层次化模块的方式，利用不同抽象级的电路信息，包括结构信息和功能信息，有利于加速测试生成，提高故障覆盖率，分析和综述了几类主要的层次化测试生成算法：预先生成低层模块测试法、模块在约束下直接生成全局测试法、高层模块动态展开法、高层软件测试与低层门级结构测试结合法等，并讨论今后有待解决的主要问题。     

基于CGAN的居住区强排方案生成设计方法

居住区强排方案设计有助于提高项目容积率,是达成集约化建设的重要途径.既有强排设计多由设计者基于日照模拟分析结果,主观制定强排设计决策,设计效率较低.旨在立足深度学习技术语境,提出基于条件生成对抗网络(CGAN)的居住区强排方案生成设计方法,应用pix2pix算法,构建基于CGAN的居住区强排方案生成设计模型,通过学习低层、多层、高层居住区轮廓与强排设计方案总平面图的对应关系,生成任意居住区轮廓条件下的居住区强排设计方案,提高居住区强排设计精度与效率,推动城市土地的高效率利用.以中纬度地区的3个居住区为例,验证所提方法的应用效果,评价所生成方案的日照性能.结果表明:所生成低层方案可满足大寒日2 h日照要求,多层方案中96%的房间可满足日照要求,高层方案中84%的房间可满足日照要求,高层容积率3.0、多层容积率1.5、低层容积率0.5,说明所生成方案有效利用了城市用地,且应用所建立模型可在3 s内生成居住区强排设计方案,显著降低了强排设计耗时,提高了设计效率.     

基于层次化类别嵌入的电力ICT系统故障分类

为解决电力信息通信客服系统在故障研判时存在故障分类准确率低甚至误分的问题,提出基于层次化类别嵌入的文本分类方法,进行电力信息通信系统故障识别.首先,基于电力信息通信系统故障的用户保修工单文本数据构建电力信息通信系统层次化电力故障标签;其次,提出了基于层次化深层金字塔卷积神经网络和基于层次化中断循环神经网络2种层次化文本分类方法,采用层次化类别嵌入方法逐层进行故障类型分类.实验结果表明,基于层次化深层金字塔卷积神经网络的方法效果最优,可以提供高效、准确的故障识别服务.     

基于Bayes理论的粮情测控系统多传感器特征级信息融合研究

主要研究粮情测控系统的特征级信息融合,采用基于Bayes理论的数据融合方法把多个异质传感器提供的数据进行特征级融合处理,以提高系统低层数据融合的准确度和稳定性;提出基于Bayes理论的粮情特征级融合的模型和算法.通过实验,验证了此模型的有效性,有效解决了粮情测控系统低层次特征级融合的不确定性和不精确性的问题.     

基于视觉关系推理与上下文门控机制的图像描述

为了探索图像场景理解所需要的视觉区域间关系的建模与推理,提出视觉关系推理模块. 该模块基于图像中不同的语义和空间上下文信息,对相关视觉对象间的关系模式进行动态编码,并推断出与当前生成的关系词最相关的语义特征输出. 通过引入上下文门控机制,以根据不同类型的单词动态地权衡视觉注意力模块和视觉关系推理模块的贡献. 实验结果表明,对比以往基于注意力机制的图像描述方法,基于视觉关系推理与上下文门控机制的图像描述方法更好;所提模块可以动态建模和推理不同类型生成单词的最相关特征,对输入图像中物体关系的描述更加准确.     

基于多层特征融合的视网膜血管分割模型

针对现有的视网膜血管分割算法在下采样的学习层中不能有效捕捉更多特征,且低层特征没有得到充分利用从而提高视网膜血管分割的准确性,提出了一种新颖的多层特征融合网络。首先设计了一个具有连续记忆力机制的模块来增加网络的深度,以捕获更多的特征。在此基础上提出了一个多层特征融合模块将低层特征和高层特征进行融合。在DRIVE和CHASE＿DB1数据集上进行训练和测试,结果表明：与其它流行的深度学习方法相比,该方法在两个数据集上获得了更好的结果,视网膜血管分割结果更加准确。     

上下文信息多样聚合的图像修复算法

为解决现有算法修复大面积、不规则语义缺失图像时存在结构扭曲和纹理模糊的缺陷，提出了一种基于上下文信息的多样聚合图像修复算法。首先，用编码器提取待修复图像的信息，估计缺失内容，经纹理信息生成模块融合来自各种感受野的上下文信息，增强缺失区域的结构与纹理信息；然后，经解码器恢复原始图像特征；最后，使用掩码匹配鉴别器对生成图像进行鉴别训练，结合对抗损失、重建损失、感知损失和风格损失共同优化模型，促进生成器合成清晰的纹理。在公开数据集上，对所提算法进行训练和测试，实验结果表明，修复随机不规则大面积语义缺失图像时，所提算法可得到比对比算法更清晰合理的结构和纹理细节，其峰值信噪比和结构相似度等客观指标均优于对比算法。     

基于全局?局部特征和自适应注意力机制的图像语义描述算法

为了探究图像底层视觉特征与高层语义概念存在的差异,提出可以确定图像关注重点、挖掘更高层语义信息以及完善描述句子的细节信息的图像语义描述算法. 在图像视觉特征提取时提取输入图像的全局-局部特征作为视觉信息输入,确定不同时刻对图像的关注点,对图像细节的描述更加完善;在解码时加入注意力机制对图像特征加权输入,可以自适应选择当前时刻输出的文本单词对视觉信息与语义信息的依赖权重,有效地提高对图像语义描述的性能. 实验结果表明,该方法相对于其他语义描述算法效果更有竞争力,可以更准确、更细致地识别图片中的物体,对输入图像进行更全面地描述;对于微小的物体的识别准确率更高.     

一种实用的计算机考试系统

介绍了一种利用VB实现计算机应用基础课程(一级)考试系统的设计方法,系统由考生信息录入模块、考题随机生成模块、单选题考试模块、多选题考试模块、录入题测试模块和主界面模块组成,系统规模小巧,考试程序和相关件均装入一张考试软盘中,使用方便、可靠,便于在考生数量大的公共课考试中使用,系统已经在实际教学中得到应用,并取得良好效果。     

直流输电换流阀晶闸管级阻抗测试系统设计

为了满足高压直流输电换流阀晶闸管级阻尼回路阻抗现场测试的需要,基于STM32F4ZGT6控制器的高精度参考电阻自动切换技术,提出了一种晶闸管级阻抗快速检测方法,并设计了测试系统的高频正弦信号产生模块、高精度基准电阻选择切换模块、电压信号调理采集模块和STM32控制模块.将晶闸管级阻抗测试系统应用于特高压换流阀晶闸管级的阻抗检测与结果判定.结果表明,阻抗测量误差小于5%,满足现场工程应用需求.     

Class hierarchical test case generation algorithm based on expanded EMDPN model

A new model of event and message driven Petri network（EMDPN） based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths （copaths） was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion（OSC）. The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.     

组合电路伪穷举测试的一种生成算法

提出一种基于电路结构的伪穷举测试生成算法,通过对待测电路的逐步二块划分和对各个子电路的穷举测试,形成待测电路的伪穷举测试集.本算法从实际应用出发,基于电路结构进行选优划分,算法简单,运行速度快.通过这一算法,伪穷举测试能够实现机器自动生成,并充分发挥了伪穷举测试的各项优点,因此具有一定的实用价值.     

RFCcertDT:SSL/TLS中证书验证的测试工具

为解决现有工具对安全套接层或传输层安全协议实现中证书验证模块的检测效率低等问题,研发了对证书验证模块进行差异测试的新工具RFCcertDT。首先,RFCcertDT基于因特网工程任务组制定的请求评议进行证书规则的自动提取、更新、分类和表示,基于动态符号执行技术生成证书作为测试用例;然后,使用生成的证书和令牌环式测试实现对单个或多个证书验证模块的差异测试并生成软件错误报告。实验结果表明,RFCcertDT的检测效率优于现有工具。RFCcertDT对证书验证模块实现了高效的检测,有助于加强安全套接层或传输层安全协议的软件安全。     

回流式低速风洞流场品质的测试及分析

针对上海电力学院新建的回流式低速风洞,介绍了该风洞的流场品质的校测方法,并对测试数据进行了分析,主要包括风速范围、动压稳定性、动压场系数、局部气流偏角、紊流度及噪声6种数据.测试结果说明,该风洞流场品质满足工程研究的要求.     

在线测试技术的原理及软硬件结构

讨论了数字集成电路的在线测试原理及硬件结构，给出了学习与伪穷举相结合的软件测试方法     

一种非同步时序电路的测试生成方案

分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。     

航天器综合电子系统通用测试系统设计

提出了一种接口丰富、可重构扩展的模块化通用测试系统方案．引入开放式柔性测试系统设计方法,基础测试模块使用FPGA作为控制核心,以保证系统硬件柔性化;系统软件采用分层模块化方法设计,通过转换层统一操作系统的接口,以保证系统软件柔性化．并应用PC／104 PLUS与以太网两种总线技术,将测试模块灵活组合成3种本地测试节点模型．本地测试设备以节点的形式通过光纤网络接入测试系统,实现分布式测试系统网络,增强系统兼容性与应用范围,同时保证数据传输安全．真空罐测试和多设备联合测试实验表明该系统有能力适应不同型号任务、不同阶段、不同测试场景的综合电子系统测试工作．     

Research of the test generation algorithm based on search state dominance for combinational circuit

PODEM,FANandSOCRATESalgorithmsallpresentafewstrategiesacceleratingthetestpatterngenerationbasedoncircuitstructure.PODEMalgo rithm[1]introducesbacktrackingtechnology,anditre ferstestgenerationtoanimplicitenumerationprobleminn dimensionalspacesuchthatitbrea…     

中小企业弹性ERP系统架构的设计

针对中小企业发展特点和对企业资源计划(Enterprise Resource Planning,ERP)系统的特殊需求,提出一种层次型弹性ERP系统架构。该架构包括用户界面层、业务表示层、业务逻辑层、数据持久层四个层次。通过在各层次中进一步划分子层或模块的方式,可使对系统的弹性要求得以满足。结合开源软件OpenbravoERP可完成该构架的实现和测试。实验证明该架构具有适应性强、可裁剪和易扩展的优点,以该架构为基础的应用系统能够较好的满足中小企业实际需要。     

信息与计算科学专业实践教学体系创新研究探析

结合专业建设对信息与计算科学专业实践教学的现状及存在的主要问题进行了分析,同时就信息与计算科学专业实践教学体系的主要内容、总体设计和组织管理方面进行了探讨,提出了按模块分层次构建实践教学内容体系的设想,对信息与计算科学专业实践教学有一定的指导意义。