混合遗传算法在气田产量构成优化模型中的应用

在气田开发规划产量构成优化模型的基础上,引入一种单目标模型的改进遗传算法,把无约束优化中的直接解法Powell方法作为一个与选择、交又和变异平行的算子嵌入到基本遗传算法中;并利用了一种新的退火精确罚函数法处理约束条件,运用MATLAB6.O编写算法程序,选取开发规划产量构成优化模型中的定成本产量最大模型,实例分析该算法在气田开发规划产量构成优化模型中的具体应用,取得了较好的效果。     

红水河最优开发科研通过部级鉴定

1987年12月25日～26日,我院承担的水利电力部重点科研课题“梯级水电站兴建优化程序动态规划模型”、“红水河梯级水电站和有关火电站投产顺序优化研究”、“红水河骨干梯级水电站开发程序论证”和“红水河主干水库坝址流量的中长期预报方法研究”,通过了由水利电力部主持的鉴定。 “梯级水电站兴建优化程序动态规划模型”是结合红水河水电能源开发问题,研究我国现代水能系统优化规划理论和应用的一个课题。该模型的优化目标明确,数学推导严谨正确。其理论和方法是对水能开发和电源规划理论的发展和创新,对优化计算理论作出了新贡献。     

包含多个水电机组的电力系统随机生产模拟

本文系[1]的续篇。文中讨论了多个水电机组的电力系统随机生产模拟的基本理论,给出了水电机组群构成等效水电机组的条件与原理,证明了等效机组运行的最佳性。在此基础上发展了包含多个水电机组的电力系统随机生产模拟的新算法。该算法的突出特点是避免了国外文献中反复利用卷积及反卷积运算的试探过程,简化了程序并大大提高了计算效率。该算法已成功地应用于三峡电力系统电源优化程序包中。文章在最后以数字例说明了上述原理及算法的应用。     

电力系统中长期规划的数学模型

本文以我国云南省及陕甘青三省的电力系统为实际背景,通过运用系统工程基本理论和数学优化方法,分别为我国电能长远规划的研究建立了三个数学模型。 一、关于电源合理开发和电力系统经济运行的数学 模型——模型(一) 英美等国近年来所研究的电源建设模型基本为线性模型,其主要形式为: 其中变量为两大类:x代表电厂装机容量,U代表电厂出力。常数c,F,0分别代表电厂 单位造价、生产费用及时间段的小时数。 基于我国实际情况和79项工程实例数据的计算结果,现提出我国电力规划模型和国外 典型线性模型所不同的主要之处: 1.模型(一)应该描述出三类…     

电气系统中对接地电阻的要求和降低接地电阻的方法

C语言是嵌入式系统开发中常用的一种程序设计语言。本文结合嵌入式系统的特点,从变量定义、算法优化和存储器分配三个方面,阐述了嵌入式C语言在系统开发中应注意的若干问题。     

图像中连通体的线性标定算法的优化

介绍了基于边界追踪技术的图像连通体的线性标定算法的优化。在线性标定的过程中,我们提出一种新的图像边界点的处理方法,并对优化后的算法与原算法作了比较。优化后的算法节省了内存开销,有效地提高了程序的运行效率。     

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法; 然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式; 最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.     

含分布式电源的配电网无功优化算法研究

针对含有分布式电源的配电网,对其无功优化进行了算法改进,提出了一种新的遗传算法方案,重新设置了自适应判据和算法结束判据.以IEEE33节点系统为算例模型,对所提出算法进行验证,结果表明,改进的无功优化算法改善了算法的"停滞"现象,验证了算法改进对结果产生的优化作用.     

刊首语

在阳春月的明媚春光中，本刊2000年第3期和读者见面了。紧追我国西部大开发宏伟战略的阵阵号角，本刊也进一步加大了服务库区，服务三峡的力度。“移民专题”，“西部大开发”，“三峡文化”，“三峡诗歌”与“三峡生态与环保”都是直接研究三峡的栏目。其中一些文章或者将国家的宏观发展战略与三峡腹地的实际结合起来，构建出三峡区域的具体发展思路，如“西部大开发”的两篇文章；或者力图突破一般现象的简单分析，而达3某种深度思考，如《重庆市。峡库区农村开发性移民项目难题解析入实际上，就是一些学科性文章也力求达到学科理论与三峡…     

基于UG二次开发的参数化建模方法在优化设计中的应用

 在涉及几何模型优化的工程设计问题中,目前常用的两种参数化建模方法在流程自动化或处理复杂外形的模型时存在不足。本文根据含有几何建模环节的优化任务的特点和要求,提出了一种基于UG二次开发的参数化建模方法。采用UG/Open API的外部模式结合MFC开发了模型更新程序。程序利用外界的输入参数更改模板文件中的表达式,进而更新模板产生新的几何模型,并对外输出必要的几何特征参数。该程序可以脱离UG环境独立运行,能够方便地被第三方优化平台所集成。在优化任务中,该程序作为一个黑盒参与分析过程,以设计参数作为输入,几何模型和几何特征参数作为输出。实例检验结果表明,该方法和模型更新程序用于工程优化设计具有可行性和有效性,通过进一步开发,它还可以作为一个参数化建模模块用于CAE系统或多学科设计优化体系。     

Extended Logistic Chaotic Sequence and Its Performance Analysis

In order to improve performance and security of image encryption algorithm effectively based on chaotic sequences, an extended chaotic sequence generating method is presented based on logistic chaotic system using Bernstein form Bézier curve generating algorithm. In order to test the pseudorandom performance of the extended chaotic sequence, we also analyze random performance, autocorrelation performance, and balance performance of the extended chaotic sequence. Simulation results show that the extended chaotic sequence generated using our method is pseudorandom and its correlation performance and balance performance are good. As an application, we apply the extended chaotic sequence in image encryption algorithm, the simulation results show that the performance of the encrypted image using our method is better than that using logistic chaotic sequence.     

基于安全充分捕获技术的多时钟数字系统测试矢量生成

针对多时钟数字系统提出了一种新颖的产生测试矢量的方法——安全充分捕获技术(Safe and Complete Capture Technology,S&CCT).该方法对电路系统中的时钟按照一定的标准分为等效时钟和串行时钟,然后确定正确的时钟捕获顺序.使用并发故障模拟器从逻辑上和时序上对生成的测试矢量进行仿真,测试矢量生成器使用该仿真信息,以避免生成失效测试矢量.实验证明,S&CCT与传统方法相比,测试矢量数目减少50％左右,不仅大大减少了测试矢量的数目,对电路的硬件开销也几乎没有影响.     

火电厂单元机组经济指标在线监测及能耗分析系统

利用热平衡法、等效热降理论和偏差分析法,对火力发电厂的锅炉效率、汽轮机效率、管道效率、辅机效率等进行了计算,得出机组的经济性指标,并实现了火电厂单元机组经济指标在线监测及能耗分析系统功能.系统实际运行良好,使电厂运行人员和管理人员实时了解机组运行状况,实现经济运行和强化生产管理.     

关于复合Poisson-Geometric分布的几个性质

在经典的风险模型中,描述赔付次数的过程是齐次Poisson过程.然而在保险实践中,风险事件与赔付事件有可能不是等价的,所以Poisson-Geometric分布比Poisson分布更为适合用来描述索赔次数的分布.利用随机变量的概率母函数研究复合Poisson-Geometric分布关于卷积的封闭性,并且讨论了复合Poisson-Geometric分布与复合Poisson分布以及复合广义负二项分布之间的关系.     

异步电机暂态等值电路和暂态电磁转矩分析

推导了异步机的５种暂态等值电路，稳态时可退化为相应的５种稳态等值电路，因此更具有概括性。利用Ｔ－Ｉ型暂态等值电路，推导了电流型逆变器驱动异步电动机进行转速控制时暂态电磁转矩的表达式，分析了不产生暂态电磁转矩，以达到快速响应的条件。     

雷达情报模拟系统的设计与实现

针对目前雷达情报自动化系统建设中使用的雷达情报不能满足系统测试和人员培训的需要这一现状，提出借用仿真思想模拟产生复杂空情的解决方法及系统的设计思想，对目标运动的航迹进行了重点研究，建立了数学模型，并实现了编程调试，结果达到设计要求。     

二齿差活齿传动齿形综合反解研究

给出了中心轮常用齿形曲线及对应的等效机构;应用等效机构法,推导出齿形综合反解的激波凸轮原始轮廓方程及其等距方程;齿形综合反解实例验证了方法的实用性。     

水电机组故障诊断中的推理策略

在水轮发电机组监测与故障诊断专家系统中，推理机的设计是专家系统的核心．针对水电机组的特点，讨论了知识的表达方式、专家系统推理机推理策略的实现，并讨论了规则可信度的计算．该推理方法用于白莲河水电站监测与故障诊断系统中，成功地对机组的故障原因进行了推理，证明该推理方法是可行的，并为其他电站故障诊断推理机的设计提供了参考。     

具有劳动力增长的资产投资控制系统模型

考虑劳动力与资产投资积累发展之间的关系,将劳动力增长方程引入资产投资控制系统模型,以按劳动力计算的人均资产为状态变量,研究该系统的等价系统模型解的存在性和唯一性,说明系统在一定条件下存在唯一的非平凡平衡解.     

电力网调度时间表问题的动态规划算法

为保持电力系统的平稳供电,安排每一电厂(站)所有机组的检修时间是极为重要.作为系统工程的应用,本文给出这一时间表问题的数学模型及动态规划算法.