基于随机着色Petri网的RUDP协议建模与分析

鉴于运输层传输协议TCP的低效率和UDP的不可靠性,文章提出了一种新型的多帧无线传输RUDP协议,同时引入了广义随机着色Petri网(GSCPN),并利用GSCPN对本RUDP进行了建模和分析,为以后更好地研究RUDP协议提供了模型参考.     

实时定标红外测温法测量海水表面温度

由于地球表面的70%是海洋,所以海洋各特征参数是直接反应全球气候、生物繁衍等各个方面情况的重要指标,其中海水表面温度是海洋特征参数中一个非常重要的参数指标.本文从红外测温的基本原理出发,探讨并介绍了在复杂的外界环境中如何避开海水表面辐射率修正的困难,实时定标红外测温仪来测量海水表面温度的方法.     

具有Crowley-Martin功能性反应的偏害系统的稳定性和分支分析

针对一类具有Crowlay-Martin功能性反应的偏害系统的动力学行为，研究其系统平衡点的局部稳定性。利用Sotomayor定理，证明了在适当的条件下存在鞍结分支和跨临界分支，并通过数值模拟验证了主要结论。     

一种新型红外测温方法研究

从辐射的能级跃迁理论和相互关联的变量间的数学关系两个方面,对为了避开传统红外测温方法遇到的辐射率修正困难而提出的红外测温新方法进行了分析;在数据处理方面,讨论了函数形式未知的普遍情况;比较了传统方法与新方法的基本思路,研究表明:新红外测温方法与传统红外测温方法并不矛盾,它将传统红外测温方法从特殊情况推广到了普遍情况.实测结果也证明,通过该方法可有效地提高温度测量的准确度.     

包含错误恢复的软件可靠性仿真研究

基于结构的软件可靠性分析模型虽然能够在构件可靠性、系统结构、系统可靠性三者之间建立联系并分析,但由于其模型中大多使用可靠性常量来刻画构件可靠性,忽略了实际软件开发过程中错误恢复对系统可靠性的影响.为此,利用离散事件仿真手段对构件失效行为、系统失效行为和错误恢复进行仿真,给出一种包含错误恢复的软件可靠性仿真分析方法,该方法在软件测试阶段能够反映构件可靠性增长对于系统可靠性的影响,同时具有软件可靠性增长模型和基于结构的软件可靠性分析模型的优点.通过对两个软件系统的可靠性仿真分析验证了该方法的有效性.     

红外光学成像技术在电路板上的应用

红外热成像技术是现代影像学中的一门新兴技术．它与X射线、B超、CT、核磁共振等显像技术的成像原理不同，它不主动发射任何射线，只是被动接受热源所发射出的红外线，经过处理，从而绘制出热源的影像．它的最大特点就是不用接触待检测物体．本文利用红外光学成像技术，来检测电路板的工作状态．该技术可以将出现故障的大规模集成电路板中数以万计的微小元器件的影像传输到计算机中，经过计算机的分析，就可以很容易的分析出具体故障所在．     

薄透镜焦距测定中的参数选择

本文通过对薄透镜焦距测定中测量结果的误差分析,论述了如何合理地选择实验参数.提高测量结果的精确度.     

基于FPGA的直方图投影增强算法

在凝视非制冷焦平面热像仪中,为了获得清晰的红外图像,必须对焦平面器件进行非均匀性校正和盲元填充,同时为了提高识别细小目标和特殊目标的能力,要对原始的红外图像进行图像增强等处理．本文给出了基于FP-GA实现的图像处理算法,该算法硬件实现结构合理、充分利用流水,时间耗费和逻辑单元的耗费都比较小,是比较优秀的FPGA硬件结构设计实现的算法．     

一种基于MAS的分布式控制系统模型

提出了一种基于多 Agent的分布式计算机控制系统的模型 ,分析了该模型逻辑结构和工作原理 ,并通过实例介绍了一种软硬件 Agent的系统开发方法 ,用于分析和设计该系统中的控制单元。利用多 Agent系统的特点 ,将系统划分为若干职能 Agent,各 Agent之间采用黑板方式通信 ,使得控制系统具有良好的开放性与可重构性。该模型在分布式铁路信号计算机控制系统的设计和实施中得到了成功应用     

基于UPPAAL的铁路车站信号联锁系统模型验证

详细介绍了适于描述实时系统的形式化方法,时间自动机以及基于时间自动机的模型验证工具UPPAAL.给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型,并利用UPPALL对其进行了分析与验证.