一种面向对象程序的过程间切片算法

程序切片是一种程序分析技术，它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序，过程间切片作为图形可达性问题时，需要扩展过程内切片所用的程序依赖图（PDG）成系统依赖图（SDG），然后利用两阶段图形可达性算法计算比较精确的切片，目前程序切片技术的研究以面向对象程序切片为主，文中讨论了一种合适面向对象程序的分层切片方法，并综合分层切片方法和两阶段图形可达性算法提出了一种简化的计算面向对象程序过程间切片的算法。     

苯胺生产过程监控系统软件设计

本文介绍苯胺生产过程微机监控系统的主程序设计。该程序具有模块结构，用ＴｒｕｅＢＡＳＩＣ语言编写，并已在系统上运行，稳定可靠，效果良好。     

造纸原料蒸煮过程微机控制系统

本文介绍了造纸原料蒸煮过程微机控制系统。用工业控制机对五个蒸球的压力进行自动调节，提高了蒸煮质量。系统程序用Ｃ语言编写。用小汉字库技术实现ＭＳ－ＤＯＳ下汉字菜单显示，用ＩＶ（插入码）实现定时中断控制功能。     

过程控制技术展望

本文简述了过程工业的特点并对过程技术的发展做了简单的回顾，特别对过程控制技术今后的发展作了较详细的叙述。指出了过程建模、控制策略、软测量技术、过程优化、计算机集成过程系统等将是二十一世纪过程控制技术发展的主要方向。     

火箭飞行过程数字孪生系统架构与应用研究

首先介绍了数字孪生技术的发展与现状，明确了火箭飞行数字孪生体的内涵，并提出了一种运载火箭飞行过程数字孪生系统，介绍了系统的组成架构和关键技术，展望了该系统的应用场景。基于运载火箭飞行过程数字孪生系统，可以在地面利用高速计算资源和海量数据资源，通过与真实火箭的数据交互，实现对火箭飞行全过程的跟踪映射、故障诊断、预示评估和智能决策，全面提升火箭的智能化健康管理水平，提高运载火箭的飞行可靠性。     

啤酒发酵过程的系统自动控制

本文通过介绍啤酒发酵过程自动控制系统这一实例，探讨了可编程序控制器的选型、设计和应用。     

存储过程在教学计划管理系统中的实现

在C/S(C lient/Server)的数据库应用模型中,被称为存储过程的程序以数据库对象的形式存储在数据库服务器端,以完成对数据库的操作,从而优化系统性能。我们在《高校教学计划管理系统》的设计中就采用了存储过程技术,体现了C/S结构中实现“瘦客户端”的目标。1存储过程技术存储过     

一个新的强化别名分析算法

相关分析和程序并行化等技术已普遍受到重视，现有技术对过程内的相关分析和并行化效果是令人满意的，但是过程调用的出现为分析增添了许多困难．过程间相关性分析的目的正是为了开发含过程调用情况的程序的并行性．本文在深入研究别名对程序并行化影响的基础上，提出了一个新的强化别名分析算法，使被调用过程段的并行化成为可能．     

基于ChemCAD用户接口技术的化工过程虚拟检测系统研究

使用基于ChemCAD用户接口技术的过程虚拟检测方法,结合现代滤波技术,建立以COM技术为手段、以数字滤波为保证,以过程模拟计算为核心的化工过程虚拟检测系统总体框架;通过EXCEL程序将各个模块组件有机结合,对过程检测数据进行显示、分析、统计,实现测量、图、表、管理一体化;并可与现有石化过程检测系统整合,实现过程的实时检测、预估,并为过程的在线优化和先进控制提供了技术条件.系统实现了Excel、ChemCAD、Matlab等主流应用软件之间的通讯,并编写程序实例,为软测量、在线优化和先进控制探索了一条新的途径.     

并发技术在生产过程自动控制系统中的应用

介绍了在生产过程微机自动控制系统中采用并发技术的必要性，论述了并发技术的设计思想，并举例说明了其实现过程。     

Equivalence-based controllability of dimension-varying systems on quotient space

The quotient space approach is considered as an effective and pioneering tool to model the transient dynamics of dimension-varying systems recently. In this paper, we focus on the controllability of dimension-varying systems that are modeled by the quotient space approach. First, we investigate the relation of controllability matrix between so-called equivalent lifting systems. The result of the investigation prompts us to propose a new concept called equivalent class controllability for dimension-varying systems on quotient space. Moreover, the coordinate transformation of states on quotient space is studied. Based on it, the controllable normal form of dimension-varying systems on quotient space, which follows the criterion for the equivalent class controllability, is presented.     

一种基于混沌系统和提升小波的视频水印算法

对压缩视频的图像帧的亮度分量进行小波提升分解,将水印数据嵌入到其低频子带的DCT系数中;利用混沌系统对水印图像进行置乱,再嵌入到原始载体图像帧中。由于置乱变换消除了水印像素间的空间相关性,使得算法的安全性和抗攻击能力进一步提高。实验结果表明,该算法易于实现,符合视频水印实时性的要求。     

A modular fully-lazy lambda lifter in Haskell

An important step in many compilers for functional languages is lambda lifting. In his thesis, Hughes showed that by doing lambda lifting in a particular way, a useful property called full laziness can be preserved. Full laziness has been seen as intertwined with lambda lifting ever since. We show that, on the contrary, full laziness can be regarded as a completely separate process to lambda lifting, thus making it easy to use different lambda lifters following a full-laziness transformation, or to use the full-laziness transformation in compilers which do not require lambda lifting. On the way, we present the complete code for our modular fully-lazy lambda lifter, written in the HASKELL functional programming language.     

整数5/3小波变换的VLSI结构优化设计

小波变换已被广泛应用于各种工业控制系统的信号处理部分.对基于提升算法的整数5/3小波变换算法进行了研究,并提出一种优化VLSI结构,该结构内嵌边界数据处理部分,利用有限状态机技术控制各个模块的运行.体现了提升算法的优势,较大的提高了硬件效率和运算速度.     

采样系统的H∞混合灵敏度设计

由于流行的提升法实际上并不适用于采样控制系统的H∞最优设计,本文提出一种基于频率响应概念的新的离散化H∞设计方法.文中结合S/T混合灵敏度问题,分析说明了这种离散化方法,并从鲁棒稳定性和性能两方面对设计结果进行了定量的验证.文中还与提升法的H∞设计进行了对比,指出由于提升变换需要进行回路转移,改变了标准H∞问题中的结构关系,因而设计结果并不理想.     

无线传感器网络中的数据压缩研究 ——结合小波提升算法和差分机制

对无线传感器网络中的数据进行处理具有重要意义。引入小波变换中的提升算法对数据进行压缩处理,克服传统的小波变换方法计算量大,耗时较长的缺点。针对现有机制没有考虑到数据的时间相关性的缺陷,提出一种全新的数据发送机制——差分机制,从源头上消除冗余数据,减少数据发送量。实验表明,采用提升算法和差分机制能够有效去除无线传感器网络的冗余数据,降低节点的能量消耗,延长整个网络的生命周期。     

基于提升小波变换的容栅传感器输出信号降噪

为了解决容栅传感器在测量转轴转速中的噪声抑制问题,在讨论容栅传感器测量转轴转速和提升小波变换基本原理的基础上,分别应用传统小波法和提升小波法对仿真信号和实测信号进行了降噪处理.结果表明,使用提升db5小波法对其进行软阈值降噪处理后能对容栅传感器的转速输出信号进行较准确的数值分析.已成功应用于容栅传感器的转速和扭矩测试,...     

一种复杂背景下的车牌快速定位算法

针对复杂环境下的车牌定位问题,提出一种基于提升小波与形态学相结合的快速定位方法。该方法首先对车辆图像进行预处理,包括图像灰度化,利用新的提升小波算法进行边缘检测以及二值化,然后对图像进行腐蚀、膨胀等一系列形态学处理,得到一些规则的连通区域,其次删除小连通区域,合并邻近区域,得到车牌的候选区域,最后采用可信度评价来度量候选区和车牌区的相似度确定车牌位置,最终实现车牌的快速定位。计算机仿真结果表明,对于背景复杂的车辆图像,该方法运行速度快,车牌定位准确率高。     

小波提升变换边缘检测算法的DSP实现

提出了基于小波提升变换的改进图像边缘检测算法的DSP实现过程。本算法对源图像进行小波提升分解,然后分别对高、低频子图像进行边缘提取;基于高速DSP的实现克服了传统小波变换存在的问题,很好地满足了实时性要求。实验结果表明,该方法具有运算速度快、能有效地抑制噪声、边缘检测精度高等特点,是一种有效的图像边缘检测实现方式。     

基于非线性提升小波变换的图像去噪

基于提升方案的小波变换结构简单 ,不需要额外的存储空间 ,易于实现。同时 ,提升方案中的预测和更新算子既可以是线性的 ,也可以是非线性的 ,这就为我们构造非线性小波提供了一条有效的途径。该文利用一些简单的非线性算子 ,如求中位数和最大值等 ,构造出基于整数的非线性提升小波 ,并将该方法应用于阈值去噪处理中 ,得到了较好的效果 ,明显提高了图像的信噪比