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

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

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

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

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

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

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

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

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

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

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

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

一种新的VolumeLIC可视化方法

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

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

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

内存优劣评价

现在人们在评价内存时,总是把什么是64M 的还是128M 以及是 PC-133的还是 PC-100的数据放在嘴边。其实这些数据只是评价内存的一个方面而已,系统时钟循环周期、存取时间、CAS 反应时间等数据也是评价一个内存条的好坏的重要方面。     

基于信号循环平稳特性的自适应时延估计

本文提出了基于信号循环平稳特性的自适应时延估计方法,在信源的载波频率或波特率不同于干扰信号的情况下,利用信号的循环平稳性实现对非平稳干扰和空间相关噪声的抑制,进而提高时延估计的精度.仿真实验结果表明该方法比传统的参数模型时延估计方法有更好的性能.