125 MW机组协调控制系统工程设计与应用

125 MW机组的主汽压力稳定性和负荷适应性是一对最基本、最主要的矛盾,采用传统的间接能量平衡协调控制系统很难兼顾电网对负荷快速响应和主汽压力稳定运行的要求.在分析125 MW机组负荷控制对象特性的基础上,提出了取消主汽压力调节器的间接能量平衡协调控制系统设计思路,阐述了直接基于能量平衡的协调控制系统工程设计原则和技术要点.结合具体工程实际,提出了协调控制系统工程现场参数整定的方法和步骤,获得了成功.此方案对同类机组具有一定参考作用.     

牵伸机温度控制算法的研究

PID控制具有结构简单、适用范围广、使用方便等优点，在过程控制领域中占有非常重要的地位。针对牵伸卷绕机系统因采用单片机实现单回路PID控制而存在的时间滞后问题，用普通PID控制不能达到理想的控制精度，现提出用工控机替代单片机的牵伸卷绕机系统改造方案，给出一种新型的控制算法，在原有PID控制的基础上，利用系统辨识技术及控制系统的各种历史信息，将PID控制与模糊控制相结合，从而改进了设备的控制性能，较好地解决了牵伸卷绕机系统的温度控制问题，提高了设备的自动化水平，并讨论了该控制算法进一步推广应用的可行性。     

汽车悬架系统弹簧刚度的优化设计

本文通过汽车悬架系统的弹簧刚度进行设计，使系统的固有频率满足设计要求，来说明如何进行振动系统参数的优化设计。计算采用优化原理中的单纯形方法，进行直接搜索，对一个实际问题进行了优化设计。     

基于PAR的软件服务外包开发过程应用研究

软件外包中开发效率低、可靠性差的问题一直存在。PAR（Partition and Recur）方法及高可靠软件开发平台PAR平台,在提高软件开发效率和可靠性方面能够发挥很好的作用。本文将PAR方法和PAR平台应用于外包软件开发过程,使用PAR平台成功研发中软国际实训教材中软件外包案例,在软件开发效率和可靠性方面取得显著效果。     

Radl 形式规格说明相对正确性研究

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.     

一种求解模糊柔性Job-shop调度问题的多智能体免疫算法

结合实际纸盆车间的生产特点,考虑了模具、机器和操作人员等多种资源约束,以及加工时间和交货日期的不确定性等因素,建立了批量可变的模糊柔性Job-shop调度问题模型。同时结合多智能体系统以及生命科学中免疫系统的免疫信息处理机制,构造了一种用于求解实际Job-shop调度问题的多智能体免疫算法。该方法通过智能体与其邻居间的竞争操作以及自学习操作,并结合自适应疫苗接种、交叉、变异和模拟退火操作,来更新每个智能体在解空间的位置,使其能够更精确地收敛到全局最优解。最后对某纸盆车间的调度实例进行了求解,实验结果验证了算法的有效性。     

后序遍历二叉树非递归算法的推导及形式化证明

开发涉及非线性数据结构算法程序的循环不变式一直是形式化方法的难点。本文使用PAR方法开发循环不变式的新策略,对后序遍历二叉树问题循环不变式的开发使用递归定义技术,得到了该问题循环不变式的简单精确的表达形式,简化了算法程序的推导和证明过程;利用PAR平台提供的抽象程序设计语言Ap1a中的数据抽象机制,使所得的算法程序结构简洁清晰且易于证明;最后,使用Dijkstra-Gries标准程序证明法形式证明了该问题的核心算法程序(只有4行代码),并使用PAR平台将Apla程序转换成正确的C++代码。实例的成功进一步说明PAR方法提供的循环不变式的开发技术对推导和证明非线性数据结构算法程序的有效性。     

一种半自动生成算法的Ada可重用部件

本文探索了一种新的半自动的算法生成方法，那就是基于算法设计方法的Ada可重用部件──算法生成器，阐述了算法生成器的思想，通过两个算法生成器的开发实例描述了算法生成器的构造与使用过程，并分析了算法生成器对于自动程序设计的意义。     

循环不变式开发新策略及其应用

循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索。     

高压电缆起火原因分析

通过燃烧后的导线、接头导体、熔珠的宏观分析、光学金相分析、化学成分分析和两导体的电学性能分析、及接头时的压钳模工艺分析,得出电缆起火是由于导线连接体选材不当,两导体间的接触电阻过大,压钳模工艺不良所致的火灾.