具有安全约束的发电机组组合可行的充分必要条件

在拉格朗日松弛框架下,具有安全约束的发电机组组合问题的求解可以分为 2 个步骤:一是通过求解问题的对偶,以获得原问题近似可行、甚至近优的机组状态,再通过启发式方法或者通过求解一个整数规划问题,调整某些机组的状态,从而获得一个可行的、近优的机组组合状态;二是求解各个调度时段上处于开机状态机组的发电功率,使发电成本最小化.因此,判断某时段机组组合状态是否可行显得尤为重要.为此,利用Benders分解可行性定理,给出并证明了安全约束机组组合可行的充分必要条件以及数值计算方法.结合某电力系统测试算例,验证了相关理论和算法的有效性.     

采用规划识别理论预测系统调用序列中的入侵企图

规划识别是一种根据观察数据识别和推断被观察对象目的或意图的预测理论．在计算机系统入侵检测研究中，为了提前预测出异常事件的发生，提出了一种基于规划识别理论的入侵企图预测方法．通过对主机上的系统调用序列为观察对象建立预测模型，提出了一种带参数补偿的贝叶斯网络动态更新算法，对观察对象的目的进行预测．实验结果表明动态贝叶斯网络对预测系统调用序列中的异常入侵企图有较高的精度．     

基于线性规划的电力系统经济分配新方法

在求解电力系统经济分配问题时,常用凸二次函数或线性函数表示火电机组的煤耗成本。分段线性函数可以更精确地描述机组煤耗成本,但在求解时不便于使用。为提高经济分配问题的模型精度和解质量,本文直接采用分段线性凸函数形式的煤耗成本模型;其次,在备用约束的处理方面,通过分析机组实际可提供备用与机组实际出力之间非线性函数关系,在不引入新约束的前提下直接处理备用约束;最后,基于理论分析将模型成功转化为线性规划问题进行求解,提出了两种求解方法:凸组合系数法和功率增量法。新模型和相应算法在模型精度和解质量方面的性能均有提高,实际系统的算例测试也验证了相关方法的有效性。     

污染的恒化器中食饵中捕食者的持续生存

本文研究了污染的恒化器中，食饵与捕食者的持续生存，分别得到了食饵与捕食者种群持续生存与绝灭的阈值，及两种群共存的一个充分条件。     

光交换通信网络路由与波长分配研究

本文采用了作者提出的Lagrange松弛框架下子问题序贯求解的新方法，解决了具有大量相同连接的路由与波长分配问题，大大改善了对偶解质量。数值计算验证了新方法的有效性。     

具有相同机组的电力系统经济调度参数扰动新方法

以一个具有3个相同机组的小型电力系统为例介绍了在Lagrangian松弛框架内,求解具有相同机组的电力系统会产生对偶解严重偏离系统最优可行解的震荡现象,这为由对偶解构造可行解制造了障碍。为了克服这种震荡,本文提出了一种参数扰动新方法。     

一种基于非均匀惩罚因子的序列无约束最优化外点新算法

增广拉格朗日乘子方法（Augmented Lagrange multiplier method）是拉格朗日乘子方法（Lagrange multiplier method）的推广,它是一种序列无约束的最小化技术,包括内点法和外点法,内点法适用于仅有不等式约束的情形,其主要思想是对违背可行性的约束给予一个惩罚。传统的做法是：对所有约束以相同的罚因子,自适应调整Lagrange乘子。提出了一种非均匀惩罚的自适应更新罚因子的方法,即根据近似解对约束违反的严重程度施行不同惩罚的新方法。算例表明,本方法是有效的。     

具有爬升约束机组组合的充分必要条件

在Lagrangian松弛框架下，很难确定机组组合问题的一个可行解是否可通过调整对偶机组组合而获得。对于具有爬升约束的机组组合调度问题来说，由于机组出力在连续的2个开机区间的耦合性，求解可行解就更困难。在Lagrangian松弛框架下，开发1个机组组合新方法的核心是如何获得1个可行的机组组合。文中采用Benders分解可行性条件严格证明了在给定时段，机组组合可行的充分必要条件：即在该时段一个相应于系统负载平衡约束和旋转各用约束的不等式组成立。该条件不需要求解经济分配问题，就可以判定机组组合的可行性。有了此条件，可在发电功率经济分配前知道机组组合是否可行，若不可行，则可通过调整机组组合状态而获得可行的组合。该条件对于构造一个求解机组组合问题的系统方法是重要且有效的。数值测试表明该条件是判定机组组合可行性的有效方法。     

有两种营养输入的污染的恒化器中种群持续生存与绝灭的阈值

对于两种营养输入的污染的恒化器模型，文［２１］研究了其简化形式，本文研究其一般形式，对初始规模较小的种群，得到了其持续生存与绝灭的阈值。