基于伪码自相关特性与三次样条插值的GPS信号快速捕获算法

提出了一种新的基于伪码自相关特性和三次样条捅值拟合方法的GPS信号快速捕获算法.首先通过低频采样序列依据循环相关法求得C/A码相位粗略值;然后根据C/A码相位粗略值得到用于二次捕获的高频采样部分序列,利用伪码自相关特性求得精确C/A码相位值;最后利用三次样条插值法处理相关谱谱峰及邻近数据以进一步提高C/A码相位的测量精度.仿真结果表明该算法具有精度高、运算量小的优点.     

形式化开发非递归Koch曲线算法

形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。     

用Petri网描述程序精化中的循环不变式

形式化方法把程序看成规范,形式化开发方法包括形式规范和规范(程序)的精化.精化演算方法能够通过演算的方式,把规范逐步精化为程序.然而,演化的过程依赖于开发人员的经验,整个过程全部都是手动的.形式化方法的最高目标是软件自动化,使得能从规范自动开发出正确的程序.因而用Petri网来描述程序精化中的循环不变式,希望以此作为软件自动化的一个探索.     

电脑循环灯的硬件与软件设计

介绍了一种由8031单片机控制的循环灯,说明了其硬件和软件的实现方法。     

循环流化床锅炉实时监控与管理信息系统

本文从循环流化床锅炉自身特征及系统要求出发,设计了一套循环流化床锅炉监控及信息管理系统,详细阐述了循环流化床锅炉监控及信息管理系统的设计准则、设计模型及软件实现,提出了一种新型燃烧控制策略,即燃烧优化计算机控制,并经现场实践验证。     

基于算法框架的可重用部件设计与实现

对算法程序的功能规约进行等价变换,可以自然而且方便地得到求解问题设计思想的精确表达,即循环不变式。抽象算法又可以通过循环不变式获得。对算法程序中的算子进行提取、抽象就可以得到算法框架,而算法框架可以设计出可重用部件。文章通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件重用的功能,并进一步给出了利用可重用部件求解数组段极值问题的C++实现。     

循环流化床锅炉床层温度的模糊控制

本文针对循环流化床锅炉床层温度被控对象的动态特性,提出一种具有模糊规则自调整和蒸汽负荷自适应功能的模糊控制器。仿结果表明,该控制器具有算法简单、鲁棒性强、控制品质好等优点。     

异构计算环境中循环级并行性提取及调度

首先给出了循环最大加速比的定义,它是循环体中隐含并行性大小的度量。并且讨论了Ｄｏ循环的各种类型和它们的相关性以及隐含的并行性。在异构环境中,如何开发这些并行性,文中给出了几种方法,这就是异构计算消除串行瓶颈,异构Ｄｏ＿ａｌｌ＿ｌｏｏｐ调度,异构Ｄｏ＿ａ＿ｃｒｏｓｓ调度。无论在理论分析还是在实验结果上,这些方法所取得的计算性能都优于同构计算。     

一种新的VolumeLIC可视化方法

矢量场可视化是科学计算可视化中最具挑战性的研究课题之一,为了能在二维屏上直观显示三维矢量场,将基于纹理的LIC方法拓展到三维矢量场可视化,通过设计稀疏线噪声纹理并配合斜坡卷积核提高VolumeLIC图象质量,显著增强空间深度感,并采用光线投射直接体绘制方法生成VolumeLIC图象,另外,针对循环动画的突兀现象,提出HRCK（Hanninged RampConvolutionKernel)法生成流场的VolumeLIC循环动画,提出VolumeLICProbe交互洞察三维矢量场内部信息,通过实例表明,本文所提方法具有良好的可视化效果,交互方便,并已应用地幔可视化等领域。     

利用MFC实现Windows下工业控制的高精度定时

Widnows9x系统下的高精度定时器的设计一直是实现高速控制和采集的关键技术,本文分析了Windows的普通API定时函数的局限性,提出了一种利用MFC实现在Windows9x系统下高精度定时的新方法。