有界闭区间并上的非线性循环程序的终止性验证

利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法.利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性.最后,给出计算实例演示该算法的算法步骤.     

航空发动机工作历程自动记录系统的研制及应用

针对某型涡轴发动机在外场使用中依靠人工估算循环寿命的消耗情况,制定了发动机循环寿命、直升机训练起落次数和飞行时间的计算方法,研制了航空发动机工作历程自动记录系统。该系统不仅可实时、科学准确地记录发动机的工作时间、消耗的循环数和超转幅值,还可记录直升机飞行时间和训练起落次数,系统具有自检、外场校验、参数预置等多种功能,通用性和适应性强。研制的系统已推广应用于国产和国外引进的11种机型的不同发动机上,经数百台的装机使用证明,其工作稳定,安全可靠。     

循环冷却水综合在线监控记录系统

在分析当前循环冷却水处理方法的基础上,提出了设计循环冷却水综合在线监控记录系统的必要性。本系统利用多种专用传感器,配合控制电路,实现了循环冷却水的多参数实时测量。并根据参数值分析水质情况,实现了加药的剂量自动控制。本系统还配以上位机,实时显示参数测量值与测量值的存储和导出。经实践证明:本系统功能全,可靠性好,实时性高。     

基于能量成型的双足机器人解耦控制

研究带有膝关节和髋关节的双足机器人在3D (three-dimensional)空间稳定行走的控制器设计.通过构建概循环拉格朗日函数,将双足机器人的3D动态系统解耦成前向和侧向两部分,对前向部分设计势能成型控制器,使前向获得稳定行走步态;用输出零动态控制器控制侧向,满足系统的动态解耦条件.仿真结果表明了所提出方法的有效性.     

DSP实时图像处理软件优化方法研究

为提高高速图像处理系统中数字信号处理器(DSP)软件的实时性,分别提出面向算法与代码2个层次的优化方法。算法级优化通过重新设计算法的实现流程,充分利用处理器资源,完成算法到处理器上的高效映射;代码级优化使用汇编语言,对固定算法的代码进行优化,使循环核形成高效的软件流水,达到实时性能要求。实验结果表明,2种优化方法均能提高DSP软件中关键模块的处理速度。     

符号执行中的循环依赖分析方法

符号执行方法处理循环时存在路径爆炸的问题。为此,提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式,结合边界约束条件生成可达归纳变量分支的路径约束,并采用符号化映射方法分析嵌套循环归纳变量依赖问题,从而在不展开循环的情况下生成覆盖归纳变量分支的测试用例。对开源工具Libxml2进行实验,该方法能发现其中2个while循环所引发的数组访问越界错误。     

基于DCS的循环流化床锅炉FSSS系统的实现

简要的介绍了循环流化床锅炉以及其保护系统FSSS的基本知识。以越南林同铝厂热电站的DCS控制系统项目为背景较为详细地介绍了如何在Honeywell的DCS系统中实现FSSS系统的功能,并且对FSSS系统的具体逻辑实现进行了详细的讲解。     

自动化借节能之力获得更人发展

2012年7月4日,国务院印发《“十二五”节能环保产业发展规划》的通知。通知中提出“十二五”期间节能环保的总体目标：节能环保产业产值年均增长15％以上,到2015年,节能环保产业总产值达到4．5万亿元,增加值占国内生产总值的比重为2％左右。N2015年,高效节能产品市场占有率由目前的10％左右提高到30％以上,资源循环利用产品和环保产品市场占有率大幅提高。     

图像重建中的非常稀疏循环矩阵

测量矩阵是压缩传感理论的关键要素之一。针对目前大部分工作中所用的高斯等随机测量矩阵独立随机变元过多,不利于物理实现的问题,引入稀疏带状和稀疏列的概念,形成稀疏带状随机、托普利兹和循环矩阵以及稀疏列随机、循环矩阵,随机变元个数减少约三分之一。采用通用的模拟实验方法,验证此类稀疏矩阵对于真实图像的重建效果及对0-1信号的成功重建概率均与随机高斯矩阵相当。