红外热像仪参数测量装置的仪器常数模型研究

在红外热像仪的参数测量过程中,由于辐射温差在传输过程中受到测量系统各单元的光学反射率以及大气传输等的影响,热像仪实际接收到的辐射温差并非目标的原始温差.通过对辐射能量传输的分析,提出了双黑体参数测量装置"仪器常数"的概念并对其进行了建模仿真,此模型可以在测量中减小由辐射温差传递带来的误差,从而提高了双黑体参数测量装置的测量准确度.     

对偶基上改进CDPD系统RS编解码器的实现

以蜂窝数字分组数据系统(CDPD)中的RS(63，47)码为例，提出了一种建立在伽罗华域(Galois Fields)对偶基乘法器基础上的改进的Reed—Solomon绝解码器。针对CDPD系统的特点，对乘法器、欧几里德算法进行改进，并且应用流水线设计来优化系统，从而提高了编解码速度和性能，节省了硬件资源。该设计不但完全满足CDPD系统的设计要求，而且电路结构便于超大规模集成电路(VLSI)的实现，具有广泛的适用范围。     

用VB实现DDE服务器

动态数据交换(DDE)是Windows应用程序间十分有效的数据交换方式。参与交换数据的双方分为服务器和客户，提供数据方称为服务器，请求数据方称为客户。用VB编程实现DDE服务器与客户程序都十分方便。本文介绍用VB实现一可执行用户命令的DDE服务器。     

反应式系统面向性质测试的方法框架

提出了一种反应式系统选择性测试方法．该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列．据此实现了一个面向性质的测试工具．实验表明，该方法可以将测试资源集中于用户关注的系统行为．经扩展后，该方法可用于实时系统．     

UML Statecharts的切片模型检验方法

统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.     

一种面向性质的实时系统测试方法

尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.     

锅炉粉灰的PLC控制自动计量包装系统

针对锅炉粉灰的包装，设计了基于PLC控制的自动计量包装系统和数据信息采集系统，介绍了其工作原理和设备构成，并对设计安装调试中常见问题进行必要阐述。     

车载锂电池组内阻测试模块的设计与实现

介绍了一种基于锁相放大原理的交流注入法测试电池组内阻的方法,阐述了其工作原理,推导了算法,详细给出了模块的硬件及软件方案。测试结果表明,该模块能够满足电池管理系统对于电池测量的精度要求。     

基于MATLAB的黑体辐射量计算

介绍了黑体辐射理论,利用MATLAB求解了普朗克黑体辐射公式在有界域λ1～λ2内的积分,通过实例对梯形法和辛普森法两种数值积分方法进行了分析和比较。并在此基础上对距黑体一定距离处探测器表面的辐照度值E进行了研究。通过分析可知,利用梯形法和辛普森法能够方便求出黑体在有界域内的辐出度值。此外,利用MATLAB编制的相应的计算界面,能够实现辐出度和辐照度的快速计算。