基于热电堆的新型高温薄膜热流传感器的研制

精确的热流测量对航空发动机设计至关重要,实时监测和获取发动机涡轮叶片表面精确的热流分布可以为航空发动机热端部件设计提供依据,也可以进行状态监测和故障诊断。薄膜热流传感器具有体积小、响应速度快、对工作环境的流动干扰小等优点。然而,目前能够应用于高温高热流环境中测量的薄膜热流传感器在灵敏度方面仍然存在较大的局限性。设计和制造了基于铂铑热电堆的新型高温薄膜热流传感器。该传感器由Pt/Pt-13Rh薄膜热电堆、底层SiO₂/Al₂O₃热阻层、顶层Al₂O₃保护层组成,底层SiO₂/Al₂O₃热阻层位于Al₂O₃陶瓷基底和热电堆之间。传感器分别在0～110 kW/m²的热流和1 000℃的温度下进行了测试。测试结果显示,传感器的输出与施加的热流表现出良好的线性关系,灵敏度为8.04×10^-6 V/(kW/m²),实...     

基于工作流的电子政务系统研究与实现

在电子政务应用领域中引入工作流技术,根据工作流管理系统参考模型的规范,设计基于工作流管理系统规范的工作流平台,实现具体项目中的一个实际应用.     

多松弛时间格子Boltzmann方法在GPU上的实现

近年来,随着统一计算设备构架(CUDA)的出现,高端图形处理器(GPU)在图像处理、计算流体力学等科学计算领域的应用得到了快速发展.属于介观数值方法的格子Boltzmann方法(LBM)是1种新的计算流体力学(CFD)方法,具有算法简单、能处理复杂边界条件、压力能够直接求解等优势,在多相流、湍流、渗流等领域得到了广泛应用.LBM由于具有内在的并行性,特别适合在GPU上计算.采用多松弛时间模型(MRT)的LBM,受松弛因子的影响较小并且数值稳定性较好.本文实现了MRT-LBM在基于CUDA的GPU上的计算,并通过计算流体力学经典算例--二维方腔流来验证计算的正确性.在雷诺数Re=[10,104]之间,计算了多达26种雷诺数的算例,并将Re=102,4×102,103,2×103,5×103,7.5×103算例对应的主涡中心坐标与文献中结果进行了对比.计算结果与文献数值实验符合较好,从而验证了算法实现的正确性,并显示出MRT-LBM具有更优的数值稳定性.本文还分析了在GPU上MRT-LBM的计算性能并与CPU的计算进行了比较,结果表明,GPU可以极大地加快MRT-LBM的计算,NVIDIA Tesla C2050相对于单核Intel Xeon 5430 CPU的加速比约为60倍.     

一种需求驱动的缓冲区溢出检测算法

本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。     

分组交换网络中拥塞计费策略及拥塞率的计算

随着网络视频和流媒体等应用的逐渐普及,用户对带宽的需求日益增加.基于多TCP流的应用大量挤占网络带宽,影响网页浏览和电子邮件等低数据量应用的体验.如何在不过度限制高带宽需求应用的前提下,有效改善低数据量应用的体验,成为目前分组交换网络亟待解决的问题.拥塞计费是该问题的一种可行的解决方法.其基本思想是在网络发生拥塞时按照用户所造成拥塞量的多少来对用户进行收费.本文介绍了基于拥塞量收费的网络拥塞计费策略,建立了多拥塞点网络的数学模型,给出了计算拥塞率的方法,并对其算法复杂度进行了分析.最后,本文通过网络仿真对所提出的模型进行了验证.     

基于分割约束的α扩展体视算法

提出一种改进的基于图切割的体视算法.首先,定义一种具有鲁棒性和适应性的能量函数,并证明所定义的能量函数的图可构造性.该能量函数利用rank变换减少数据项的噪声干扰,利用基于颜色相似度的自适应截断线性模型保护视差的不连续性.其次,分析目前图切割体视算法的复杂度,提出一种基于分割约束的α扩展操作.该操作根据颜色连通区域内视差平滑的特征,减少像素视差的搜索范围,引进距离变换获取α的候选对应,作为每次扩展时构造图的顶点,从而减少图中最大流的计算量.最后,利用视差分布下降的顺序进行α扩展来降低算法的迭代总数.实验结果表明,以上改进可有效提高图切割体视算法的计算效率和匹配精度.     

基于J2ME技术的查询应用

本文介绍J2ME技术中的RMS(Record Management System)、一些MIDP高级UI的使用以及文件流操作,比较了J2ME技术中查询应用的关键技术,并简析了一个手机号码归属地查询的实例,还介绍了开发过程中的一些心得和体会.     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

基于交互事件流模型的GUI测试用例生成

根据GUI基于事件驱动的特点,对事件流思想在GUI测试中的应用进行研究。针对事件流模型对GUI事件之间的关系描述过于薄弱,生成大量冗余测试用例的问题,在事件流模型中加入用来描述事件间交互关系的信息。同时指出事件交互的本质是事件处理程序之间的变量共享和消息传递。最后给出生成有效交互测试用例的具体算法,并在实例中验证了其有效性。     

基于有限更新率的非带限信号采样与重建算法

针对Shannon采样定理中要求信号带宽有限的缺陷,提出了一种基于有限更新率的非带限信号采样和重建的方法.该方法借助奇异值分解技术,从空间变换的角度实现了对与狄拉克流有关的一类特殊有限更新率信号的采样与重建.它用采样点的离散傅里叶变换系数构成一个Hankel矩阵,通过对该矩阵进行奇异值分解求得狄拉克流的位置信息,然后再求解范德蒙方程组求取狄拉克流的权信息,重建出原信号.计算机仿真结果表明,只要以不低于信号更新率的速率对信号进行采样,利用该算法就可以准确地重建出原信号,而且具有很好的抗噪性能.