电力市场环境下基于两部制电价的独立发电商机组优化调度模型

针对火电机组的煤耗特性随着发电机的运行时间和维修状况不断变化的特点,综合考虑机组运行多种约束和发电会计成本,提出了电力市场环境下基于两部制电价成本的优化调度模型。为使整个计算简单快捷,计及独立发电商发电机数量较少和实际运行的特点,利用改进动态规划法对其求解。采用上述模型对采用两部制电价的华中电网某实际电厂进行了仿真计算,结果表明该模型对节能减排和大容量设备投资具有引导作用,说明该模型简单、有效。     

一种基于一阶逻辑的软件代码安全性缺陷静态检测技术

软件代码安全性缺陷是可能引发软件系统高危后果的一类重要缺陷,针对该类缺陷的自动化检测和定位技术在软件维护和演化研究领域具有重要意义.本文提出并实现了一种形式化检测方法——基于一阶逻辑的软件代码安全性缺陷静态检测方法,利用命题逻辑和谓词逻辑定义模式路径公式,引入多个与依赖关系相关的谓词构造逻辑函数表达式,作为模式路径节点产生的制导条件,实现了对多类软件代码安全性缺陷的形式化描述,把安全性缺陷检测问题转化成在中间代码对应的有限状态空间中是否存在相应模式路径公式的判定问题.实验结果表明,该方法能适用于大多数类型的软件代码安全性缺陷检测,在对openssl,wu-ftpd等13个开源程序的测试中,准确重现了10个已公开安全漏洞,发现2个未公开安全漏洞.并且,与现有的模型检验等形式化静态分析方法相比,该方法的测试时间和代码规模成渐近线性关系.