净室统计测试在银行凭证系统的应用研究

基于使用模型的统计测试是统计方法在净室软件测试上的一种应用.本文根据马可夫理论建立银行凭证系统的使用模型,并对基于状态转移矩阵和激励矩阵的马可夫链表示模型进行定量分析.通过比较该模型使用链和测试链之间的差异度,结合定量分析方法为自动化测试的充分性证明提供依据;采用discriminant值和测试人员的基准经验数据,提高软件自动化验证效率,结果表明该方法具有较好的测试收敛性.     

嵌入式系统TEmb测试方法研究

应用在通信及军事电子等领域的嵌入式系统,由于工作环境和产品的特殊性,对系统的稳定性、可靠性等方面要求非常高,所以需要进行科学、严谨的测试.而由于嵌入式系统的特殊性,对它的测试,尤其是软件测试具有很大难度.本文简要介绍了一种新的嵌入式系统测试方法,TEmb测试方法.通过对该方法的研究,为嵌入式系统的测试工作起到指导和推动作用.     

基于CS5460A的三相电参数检测仪的设计

针对现有电参数检测仪功能单一、自动化程度不高等缺点,采用ATMEGA162为微控制器、专用电能计量芯片CS5460A为模数转换器.根据嵌入式系统的设计思想设计了三相电参数检测系统.介绍了三相电参数检测仪的硬件结构和软件设计方法,并分析了提高测试精度的方法.测试表明,系统的测量精度可达到0.1级,能满足对设备用电参数监测的要求.     

16位模型计算机的FPGA设计与实现

随着近些年现场可编程门阵列(FPGA)的发展和电子设计自动化(EDA)技术的进步,目前基于大规模可编程逻辑器件的嵌入式软核处理器设计已经成为可编程片上系统(SOPC)设计的重要部分。本文介绍了一种以软核处理器设计为核心的模型计算机设计,并给出了模型计算机各主要模块的设计思路和具体实现方法及16位模型机指令系统软硬件验证测试的相关内容。     

基于以太网的实时发布者/订阅者模型研究与实现

通过分析分布式网络控制系统通信的特点,在研究发布者／订阅者（Publisher/Subscriber）模型的基础上引入了控制参数和附加服务,以形成改进型嵌入式实时Publisher/Subscriber模型,这使得Subscribr具有主动询问、Publisher具有响应询问的功能,满足了工业控制实时性和可靠性的要求。用给出的实时Publisher/Subscriber模型研究了分布式网络控制系统中设备间异步、点对多点实时通信的方案。讨论了模型设计和执行原理,设计了基于32位嵌入式微处理器的实验模型。测试结果表明,该模型满足变电站自动化系统中点对多点实时通信的要求。     

某车型转向系统NVH性能分析与优化

针对某车型怠速时转向系统NVH性能存在的问题,采用仿真分析与实验测试相结合的方法,对汽车转向系统进行动力学特性分析. 建立转向系统的有限元模型并对其进行仿真分析,通过转向系统客观振动测试和模态测试,验证了有限元模型的正确性. 为了有效解决汽车怠速共振问题,基于有限元方法对转向系统进行尺寸优化,优化后系统NVH性能改善明显,达到了汽车舒适性的要求,验证了基于CAE仿真方法对转向系统振动特性优化的可行性.      

基于RTAI可扩展的实时调度模型的研究与实现

随着嵌入式实时系统的广泛应用,多类型的硬实时、软实时与非实时任务往往共存于同一系统,而只提供单一调度方法的传统嵌入式操作系统如Vxwork,pSOS已经无法满足这种需求.通过全面分析调度对象,提出了可扩展的层次性的调度模型,并基于RTAI实现了上述调度模型,最后通过实验,验证了系统良好的应用效果.结果表明,该调度模型很好地满足了嵌入式实时系统多样性的需求,对嵌入式系统的研发具有一定的现实意义.     

XML在嵌入式系统中的应用

阐述了XML在嵌入式系统中使用的背景,重点分析了嵌入式环境中数据存储和数据交换过程中的XML的验证机制、数据封装、数据打包解包过程,根据实验测试数据,给出了XML技术在实时数据交换中的性能分析报告,测试结果表明实时数据交换平台的性能符合应用要求.     

仿真模型的智能化验证方法

为实现仿真模型可信度验证过程的自动化,并解决验证技术在应用中过度依赖领域专家经验等问题,提出基于知识的模型验证方法.首先,对模型验证的客观和主观方法中的数据和信息转化过程,以及用于模型验证中真实系统测试数据和领域专家的经验等参考信息进行抽象和归纳.其次,在知识抽象的基础上,分别建立领域知识模型、验证技术模型和验证任务模型.最后,在知识模型的基础上设计和实现智能化验证系统.对电磁轨道炮仿真模型的验证表明,该方法可有效对仿真模型进行验证,且主观和客观的验证方法均可以集成到该系统中,提高了模型验证效率.     

一种混合方式的无线传感器网络测试调试系统

无线传感器网络是典型的网络化嵌入式系统,由于其既涉及嵌入式系统的行为又涉及网络的行为,以及其应用相关性,使其测试调试变得困难复杂,无法构建一个通用的测试调试平台. 为有效地测试调试无线传感器网络,在分析已有的研究工作基础上,采用半实物的仿真策略,提出了一种混合方式的无线传感器网络测试调试系统,解决了纯粹软件仿真平台掩盖太多实际器件实现的细节和实际环境测试中嵌入式系统行为和网络行为不可见、不可控性的缺陷,达到了一种折中的效果. 最后给出了该系统在FPGA(field programmable gate array)上的实现实例;通过实验验证了该系统能够有效地对无线传感器网络应用进行测试调试.     

传感器在环自动泊车仿真测试系统设计

针对智能网联汽车自动泊车功能实车测试成本高、周期长、重复性差问题,基于硬件在环及计算机数值模拟仿真技术,以自动泊车传感、控制系统为主要测试对象,搭建实验室环境下传感器在环自动泊车仿真测试系统,借助美国国家仪器公司(National Instruments,NI)软硬件实时平台、CarMaker虚拟仿真场景软件模拟仿真自动泊车交互场景、车辆底盘动力学特性及超声波传感器特性,集成开发摄像头视觉注入板卡、超声波物理回波仿真板卡仿真模拟传感器物理信号,虚实结合构建了完整的传感器在环自动泊车测试验证环境.以某车型实车带自动泊车功能的智驾控制器、超声波传感器为被测对象,搭建垂直停车位场景对仿真测试系统进行测试验证,仿真实验结果证实测试系统能够为自动泊车提供安全、高效的测试验证平台,助力自动泊车控制算法开发.     

基于广义预测控制的主动吸收造波

通过最小二乘法支持向量机对主动吸收造波模型进行在线辨识,基于广义预测控制算法提出一种新颖的主动吸收造波策略.采用高阶边界元法与自由面混合欧拉拉格朗日模型建立二维推板造波数值波浪水槽,将预测控制器的输出作为造波边界条件,进行了不规则波主动吸收造波仿真对比试验与白噪声波谱的验证试验,并采用波浪入、反射分离算法进行分析.结果表明:预测控制器具有较好的鲁棒性和快速响应能力,对于模型试验中常用的波浪具有良好的主动吸收造波效果.     

话者自动验证系统的分析与研制

本文介绍了一个实时、有效的话者自动验证系统,重点对话者验证的机理进行了分析,并对与验证系统有关的几个主要问题作了简要的说明。该系统的主要特点是:选择了最能反映话者特征的基音和第二、三共振峰频率及其时变特性作为特征参数,有效地保证了系统验证的正确率;硬件上采用了以高速处理芯片C25作成的语音处理板,保证了话者验证中大量的计算工作的实时性;结构上将语音处理板作成PC机的插板形式,用户能通过PC机的友好人机接口对其实施各种有效的管理。目前该系统已在PC机上试制成功,初步测试表明达到了研制要求。     

紫外荧光SO_2自动监测仪的指标检测方法

对紫外荧光SO_2自动监测仪的检测方法进行了初步研究,提出了仪器主要技术指标检测的规范化方法,并以XHS2000型SO_2自动监测仪为例进行了实验说明.该方法为制定我国气体在线连续监测系统的国家计量检定规程,修订完善现场使用中在线检测、复检和校准的国家环保行业标准提供了理论依据.     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

基于FLTK的流媒体播放器界面设计与实现

利用FLTK开发工具包,给出了一种流媒体播放器界面系统的设计思路及其在嵌入式系统下的实现方法;其特点是界面美观、占用资源少、运行效率高;实验证明其设计思路可行,性能优良,为其他嵌入式系统项目的界面设计提供了借鉴.     

一种函数分割型程序设计规范描述——FDP程序的正确性验证

FDP 是一种函数分割型程序设计规范描述手法。我们把按此法进行描述的设计规范叫作 FDP 程序。本文将提出实现 FDP 程序正确性自动验证的基本方法和具体步骤,以说明 FDP 的优越性。     

基于模糊控制的自动泊船系统模型研究

针对自动泊船方法耗时耗力的问题, 研发了基于模糊控制的自动泊船系统模型。在现有研究成果的基础上, 依据泊船实际情况, 分析泊船运动学模型, 设计了斜行、垂行、平行3 种泊船模糊控制器, 并利用Matlab/ Simulink 分别进行仿真验证。按照船只各部件比例, 设计模型船, 通过超声波测距和图像处理等技术获取周围环境数据, 并将仿真验证的模糊控制器转换为C 代码, 进行自动泊船测试。测试结果表明, 该系统消耗能源少, 稳定性良好, 可有效完成自动泊船功能, 为进一步研发自动泊船系统提供了更多依据。     

支票自动处理系统中的图像处理及识别

为对银行支票进行自动分析、验证、检索,该文设计了一种支票自动处理系统,介绍了图像处理及识别技术在该系统中的应用,描述了一种支票要素自动分割方法及针对支票图像的处理与识别算法,成功地实现了强噪声情况下支票部分要素的图像分割和识别,具有较好的稳定性和很强的抗噪声能力。对５５０张真实使用的支票做版面分割、角码区域分割识别实验,其中版面分割正确率为１００％,角码分割识别准确率为９９１％。另外该文实现了一种小波编码压缩算法,在较高的压缩率下获得了较好的图像质量,极大地节约了支票图像的备份空间。     

数控自动编程及NC代码仿真技术的应用研究

本文介绍了一种数控自动编程系统和数控代码仿真系统。自动编程系统实现数控加工程序的自动生成。仿真系统模拟数担数控机床硬件插补原理,在计算机上动态地模拟出刀具运动轨迹,实现非实际切削过程中的数控代码验证。