钢铁企业煤气优化调度模型研究

钢铁企业煤气系统结构非常复杂,煤气调度涉及的变量众多.通过对煤气系统网络结构的分析与研究,给出了煤气系统网络及其调度单元模型.煤气系统的网络结构由煤气管网和单元模型组成,单元模型连接到不同煤气管网,产生或消耗不同煤气.最后给出了各调度单元模型的详细建立方法.     

钢铁企业高炉煤气平衡与综合优化

高炉煤气是钢铁企业重要的二次能源,对高炉煤气平衡有一个合理的认识,可以达到节能降耗的目的,实现钢铁企业的可持续发展.针对高炉煤气的生产工艺,建立了基于BP神经网络的高炉煤气消耗预测模型,并进行了Matlab仿真,模型的预测误差降低,达到设计精度的要求,可以作为煤气调度和煤气平衡的参考依据.提出了高炉煤气综合优化方法,对提高高炉煤气的利用效率,制定合理的用能方案,实现节能减排具有重要意义.     

多能流系统合作协同的不确定多目标决策

多能流工业生产过程具有多目标、强耦合、时变、不确定性等特点,针对此类系统的平衡调度问题,本文提出一种基于合作协同优化的不确定多目标决策方法.以钢铁企业副产煤气系统为例,针对系统未来状态的不确定性,本文在优化决策的过程中结合卡尔曼滤波方法和贝叶斯定理,提出一种考虑条件预期的不确定决策模型.该模型能够同时分析当前目标和预期目标,从而消除未来状态不确定性带来的影响.针对副产煤气系统多能流强耦合的特点,本文在优化决策过程中综合考虑单能流系统特性以及多能流系统的协同关系,基于图模型原理提出基于双向权重的协同进化方法,从"总体"–"局部"相结合的角度给出最优的决策策略.通过实际钢铁企业数据的仿真实验表明,该方法能够充分考虑未来的不确定性,同时兼顾单能流系统性能和多能流耦合关系,给出合理的调度决策方案.该方法可用于具有多目标、强耦合以及不确定性的复杂多能流系统,为其调度决策问题提供支持.     

钢铁企业燃气系统建模及调度研究

在大型钢铁企业中,燃气是钢铁企业重要的副产品和主要燃料。就我国钢铁企业而言,能源费用是企业成本高的主要因素,能源的浪费直接关系着钢铁企业成本的高低,因此燃气的综合利用对发展钢铁生产、降低能源消耗和改善环境都有重要的意义。在全面分析河北某钢铁公司燃气系统状况的基础上,建立燃气系统的动态模型,综合气柜安全、用户需求和燃气放散率等实际情况制定燃气系统的调度目标,在此动态模型和调度目标的基础上,结合实际调度经验提出燃气系统的调度方案。通过这个调度方案能使企业燃气的供需平衡达到相对良好的状态,有效地实现节能减排、降低成本,提高了企业经济和社会效益,对大型工业企业煤气的合理分配及优化利用起到指导作用。     

基于小波阈值和BPNN的冷轧煤气消耗预测

为实现钢铁企业冷轧煤气消耗量的精准预测，提出了一种基于小波阈值和BP神经网络（BPNN）的预测模型。利用小波阈值对煤气消耗数据进行去噪预处理，筛选出合理数据，采用BP神经网络预测煤气消耗量。实验结果表明，与其他方法相比，小波阈值和BPNN模型的预测精度更高，为钢铁企业煤气合理调度、减少排放及提高能源利用率提供有力支撑。     

基于流程网络的高炉煤气系统分析

以冶金流程工程学为理论基础,建立通用的流程网络模型,并应用图模库一体化技术解决复杂优化模型的人机交互问题。以钢铁企业高炉煤气系统为研究对象,建立煤气系统的流程网络模型和综合优化分析模型,采用分级递阶的方法将该模型分解为煤气预测分析、煤气管网仿真和煤气优化分配3部分,从而实现对煤气预测结果的安全校核和煤气管网压力分布的计算,为运行人员对煤气介质供需调配提供切实有效的参考信息。     

钢铁企业热电系统多能流网络多工况优化调度

钢铁企业热电系统是典型的耗能大户, 合理有效的能源调度对提高企业能源利用效率、低碳发展、实现碳 中和目标具有重要意义. 考虑热电系统涉及的多种能源介质相互关联和耦合, 产耗量随生产计划以及主工序设备运 行状态的改变动态变化等特征, 提出一种基于多能流网络的多工况优化调度模型. 首先, 针对热电系统能源利用过 程中的多工况特征, 提出基于多维隐马尔可夫–动态时间弯曲混合模型的工况识别方法, 并基于能源介质产生、消 耗、转换的能量流路径分析, 建立热电系统多能流网络模型, 将不同能源介质的需求量等价为对蒸汽、电力和副产 煤气的需求量. 其次, 综合分析能源介质动态平衡约束、设备产耗能约束、多能源消耗约束, 建立热电系统多目标优 化调度模型, 并得出能源介质调度方案. 通过钢铁企业实际生产数据实验表明, 本文方法能够有效保证系统安全运 行、减少系统外购煤的消耗量、增加系统自身发电量、降低运行成本、降低碳排放.     

基于小波分析的ARIMA与LSSVM组合的高炉煤气预测

高炉煤气发生量的准确预测对钢铁企业能源优化调度具有重要意义;针对钢铁企业中基于机理模型的高炉煤气发生量难以准确预测问题,建立了基于小波分析的最小二乘支持向量机(LSSVM)和自回归差分滑动平均(ARIMA)相结合的高炉煤气预测模型;预测前利用小波去噪对原始数据进行消噪处理,并对处理后的数据进行小波变换得到趋势序列和波动序列,然后对各部分序列分别建模和预测,最后将各部分预测结果叠加;仿真结果表明,组合预测模型减小了预测误差,提高了预测精度;与其他模型相比,组合预测模型更适合高炉煤气预测.     

基于自适应遗忘因子极限学习机的高炉煤气预测

高炉煤气是钢铁企业重要的二次能源,其产生量和消耗量的实时准确预测对高炉煤气系统的平衡调度具有重要作用;但由于高炉煤气系统工况多变、产消量数据波动较大,给高炉煤气产消量的准确预测带来了很大的挑战;为此,通过对煤气产消量数据特征的深入分析,提出了一种基于自适应遗忘因子极限学习机(AF-ELM)的在线预测算法;在序贯极限学习机的基础上,引入遗忘因子逐步遗忘旧样本,通过预测误差反馈机制,自适应的调节遗忘因子,从而提高预测方法对系统工况的动态变化的适应能力,提高预测精度;将该算法应用于钢铁企业的高炉煤气产消量在线预测,实验结果表明与序贯极限学习机相比,该预测方法在系统工况变化的情况下能保持较高的预测精度,更适合于高炉煤气产消量的在线预测。     

大型钢铁企业铁水物流动态平衡与实时调度技术研究

大型钢铁企业铁水物流系统是一类典型的多目标、多约束的混杂系统,具有多级管理的显著特征。对此类系统的决策调度机制进行数学建模,结合人工智能算法、人机结合技术,研究如何实现系统的动态平衡和实时调度。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。