基于变异技术的第三方构件安全性测试系统

针对基于变异技术的第三方COM(component object model)构件安全性异常的自动检测问题,设计实现了一个第三方构件安全性测试原型系统TCSTS(third-party component security testing system).TCSTS系统的主要功能模块有构件接口分析模块、参数变异测试模块、条件变异测试模块、状态变异测试模块和安全分析模块.构件接口分析模块能分析得到被测试构件的接口方法和参数信息;在参数变异测试模块中,采用参数变异测试用例生成算法生成参数变异值集合进行变异测试;在条件变异测试模块中,生成违背前置条件的测试用例并结合后置条件检测条件语句中是否存在安全漏洞;在状态变异测试模块中,基于行为冲突算法和条件冲突算法变异可扩展有穷状态机以生成冲突序列,进而参照变异前序列进行安全性测试,最终通过安全分析模块生成测试报告.试验结果表明:所设计实现的TCSTS原型系统具有自动化程度高、操作简单以及测试效果较好的特点;TCSTS对异常序列的检测率达到了20%以上,表明TCSTS能够较好地对构件中状态相关的安全漏洞进行检测.     

碘化银地面发生器远程遥控系统设计

文章设计了一套能够远程控制布置于高山迎风坡的碘化银地面发生器系统,该系统通过点燃碘化银烟条,使燃烧后的碘化银颗粒随着气流上升至云层中作为催化剂以增加云层雨滴数量,实现人工增雨。碘化银地面发生器系统由远程监控中心和多套碘化银地面发生器系统组成,监控中心和碘化银地面发生器系统间采用北斗卫星与GPRS通信方式;文章对系统的核心模块如点火控制模块、烟炉状态采集模块、CAN通信模块和远程通信模块的硬件设计与系统软件设计总体流程进行了描述。最后的测试验证结果表明,该系统能够实现远程遥控点火、监控以及数据采集的功能,点火成功率大于95%,远程监控中心发出指令到烟条点燃能在10 s内完成,信息反馈能在30 s内完成,符合系统的要求。     

基于振荡采样的真随机数发生器IP设计

为了得到真正硬件产生的随机数序列,采用振荡电路作为物理源,设计了混洗电路和扰频电路来改善输出序列的均衡性和数据冗余,它具有真随机数发生器的不可预测性高、随机性好的优点.理论分析表明,采用该方法可使获得的随机数序列达到完全的均衡分布,计算验证和检测结果也证实了其输出序列的随机性要好于未经处理的输出序列.最后给出了一种使用FIFO实现的随机数发生器模块跨时钟域总线接口.该设计能够较好地与系统其他模块相集成.     

LabVIEW环境下Word格式测试报告生成模块开发及应用

开发了一组基于LabVIEW的Word格式测试报告生成模块,介绍了报告生成模块的构成和各模块的功能,能够完成文档的打开和创建及文本、表格和图片的添加,文档的保存及关闭等,对主要模块的实现原理做了详细的阐述.通过实例说明了测试报告的生成流程和实现方法,实现了测试报告的自动生成.实践表明,Word格式测试报告生成模块能够满足测试系统的要求,实现了系统的测试管理功能.     

基于FPGA的曼彻斯特编码DSG的设计与实现

利用可编程门阵列(FPGA)技术的可重构性与灵活性,设计实现了一种数据率可调、具有曼彻斯特编码功能的数字信号发生器。该信号发生器结合了数字信号发生器和曼彻斯特编码的优点,弥补了信号发生器不具备曼彻斯特编码功能的不足。该系统采用硬件描述语言VHDL进行设计,使用Quartus II 8.0进行综合布线,最终适配到DE2开发板并用示波器等设备进行了验证测试。整个设计硬件结构简单、占用逻辑器件资源少、可靠性高、灵活性强、适应性好,具有一定的理论价值和应用前景。     

FPGA中主脉冲波形的输出和触发输出的实现

对脉冲/数据发生器波形产生模块的硬件设计进行了详细阐述。首先设计了系统硬件的功能,然后完成了脉冲发生器核心高速FPGA的设计,重点分析了FPGA中的主脉冲波形的输出和触发输出的实现方法,通过仿真表明输出波形符合设计要求。     

基于伪随机码生成器的数字产品加密研究

阐述了随机序列在数字产品产权保护措施中的作用,并对随机序列生成器底层逻辑进行了研究;对线性同余发生器存在的缺陷进行了改进,设计了一种新的随机序列发生器,对改进前后发生器进行参数检验、均匀性检验等随机性进行测试,结果表明,改进后的随机序列发生器有较好的随机性和独立性.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

基于FPGA数字钟的设计与实现

伴随着集成电路(IC)技术的发展,电子设计自动化(EDA)逐渐成为重要的设计手段,经广泛应用于模拟与数字电路系统等许多领域.本设计给出了多功能数字钟自顶向下(TOP)的设计思想和实现方案,采用结构描述风格,依据功能将系统分为五个模块组成:分频模块:控制模块、计数器模块、闹铃模块、显示模块,并用Verilog HDL实现各个功能模块,图形输入法生成顶层模块.最后在EDA工具MAX PLUS II下进行仿真,验证数字钟FPGA设计的正确性和实用性.     

基于Cortex-M3和互联网的分布式测试系统设计

介绍了以Cortex-M3微处理器为核心、基于互联网的分布式测试系统,分析了系统的各部分功能。提出了分布式测试系统总体设计框架以及设计原则。并分别给出了分布式测试系统中主控制器模块、模拟输入输出模块和以太网接口电路模块等的硬件设计和该测试系统平台的软件模块设计。其中包括嵌入式软件和CPLD控制模块软件的设计。通过反复实验测试,该分布式测试系统运行效果极佳,能非常可靠的进行数据采集、控制、传输,采样率和采样精度也达到预期值。     

HLMGAN:分层学习的多奖励文本生成对抗网络

文本生成是自然语言处理的一项重要任务. 针对生成的文本大多缺乏多样性，且当生成文本过长时，文本生成的质量会有明显下降的问题，提出了一种采用Sentences and Words（SW）奖励机制的传递向量文本生成对抗网络. 首先，为生成器提出了层次结构设计，包括传递特征向量训练模块和生成向量训练模块，同时传递判别模型中真实文本特征向量给生成器的传递特征向量训练模块，由此来提高长文本生成的准确率，生成向量训练模块接收其生成词序列；然后，在训练过程中，使用关系存储核心代替传统的长短期记忆循环神经网络模型作为生成器，提高了模型的表达能力和捕获信息的能力；最后，采用SW奖励机制提高文本生成的多样性. 实验结果表明，分层学习的多奖励文本生成对抗网络（Generation Adversarial Network Based on Hierarchical Learning with Multi-reward Text，HLMGAN）模型在合成数据负对数似然度和双语互译质量评估辅助工具指标中均有所提升.     

基于FPGA的正弦波PWM信号发生器的设计

采用Altera公司的Cyclone系列FPGA为数字平台,利用Quartus II6.0已有的模块在FPGA中设计出了PWM信号发生器,整个系统可以实现频率、幅度均可调的信号输出。在产生某一频率信号时,让采样脉冲的周期保持不变,在每一个采样周期内改变一次占空比,改变的规律按正弦表变化;在产生高低不同频率的信号时,为了降低对滤波电路的复杂度,采用插空法使得输出的PWM波频率恒定。经过验证,设计系统的输出信号具有以下特点:稳定性和平滑性均较好,相比传统的信号产生方式,具有较高的频率分辨率,且易于实现频率幅度的数控调制,输出信号频率在1 Hz～1 MHz可调。     

激光加工CAD/CAM系统的开发

研究激光加工计算机辅助设计(CAD)与计算机辅助制造(CAM)系统的体系结构和信息流程,分析其主要功能模块,即系统接口模块、CAD绘图模块、图像处理模块、CAM处理模块等.采用面向对象编程方法和VC 6.0开发激光加工CAD/CAM软件系统,实例表明,系统具有切割和影雕图像生成两大功能,同时还具有DXF文件导入接口、图形输入、编辑、刀具路径生成等功能,生成的数控(NC)代码和影雕图像应用于自主开发的数控激光加工系统上,可得到满意的产品.     

基于SOPC的液晶图形显示系统设计

为了克服传统液晶图形显示系统成本高、可移植性差等缺点,设计了基于SOPC（system on programmable chip）的液晶图形显示系统.介绍了该系统的总体结构和各功能模块,利用Avalon总线将Nios Ⅱ、数据缓存区以及LCD控制器联系起来.在对LP064V1真彩液晶屏工作时序分析的基础上,详细介绍了LCD时序产生器的VHDL设计,实现为LCD提供扫描时序信号和图形数据的功能,并给出在Nios Ⅱ IDE中,控制系统进行图形显示的C语言编程思路.该方案接口灵活,操作简便,移植性好,便于扩展,可很好地降低系统成本.     

CPLD在DS-FH混合扩频通信系统中的应用

直接序列扩频通信技术具有抗多径干扰等许多优点，跳频通信技术具有很强的抗部分带宽干扰的能力．结合这两种通信技术的特点，重点介绍了一种由m序列和Walsh函数构成的DS—FH混合扩频系统，该系统利用Walsh函数的频谱特性实现跳频，同时具有直扩技术和跳频技术的优点，并且实现简单．在系统实现中扩频码和跳频图案的产生部分用CPLD来完成，并对此进行了详细的介绍．     

基于串行RapidIO的舰载相控阵雷达波束控制设计

为了提高舰载相控阵雷达波束指向捷变能力,设计了一种分布式波控系统,其中传输方式采用串行RapidIO,波控主机采用PowerPC矢量运算处理器,子阵运算模块为FPGA。重点推导了舰载相控阵雷达波控码的公式,实现了RapidIO的初始化编程,以及波控主机的波控任务编程。测试波控码的计算和RapidIO通信时间,设计方案能够满足舰载相控阵雷达的波束切换时间指标。     

基于MSP430F149与AD9850的信号发生器设计

频率合成技术是目前研制信号源的关键技术介绍了一种基于直接数字频率合成技术的信号源的实现。选用DDS专用芯片AD9850与MSP430F149单片机,并详细介绍了信号产生模块、人机交互模块和控制与数据处理模块的设计与实现,并给出了软件控制框图。该信号发生器具有结构简单、性能优良、使用方便、制作成本低廉等优点。     

VXI总线任意波形发生器模块的研制

VXI总线是仪器系统和测试系统的优秀平台,基于VXI总线的任意波形发生器模块是集成VXI自动测试系统的重要模块.文中提出了一种VXI总线任意波形发生器模块的设计原理和实现方法,给出了模块的VXI总线寄存器基接口和波形发生电路的设计方法及其软硬件设计,并研制了VXI总线任意波形发生器模块.实验测试表明, 所研制的VXI总线任意波形发生器模块能够产生较高精度的任意波形.     

基于特定领域建模的代码生成器研究

针对从软件模型到程序代码自动生成的问题,研究了特定领域建模生成器,把深度优先算法和广度优先算法运用到系统生成中。提出了MetaEdit+环境下,基于广度优先算法和基于深度优先算法的代码生成器实现方法。实现了代码自动生成,同时提高了生成代码的可读性,最后结合电子万年历的实例进行验证。