模拟Boyer-Moore定理证明器

SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理证明部分及中断恢复部分。 知识库管理部分包括一个基本知识库和一系列知识库构造工具。用户可根据具体问题 灵活地组织自己所需要的知识库,定理证明部分采用启发式方法逐步推演,完成证明。中断恢复部分在证明产生中断的情况下提供了较强的恢复能力,提高了证明效率。     

循环流化床锅炉变工况下物料浓度的试验研究

针对75t/h循环流化床锅炉,依据于大量变工况试验,给出了炉膛上部固体物料浓度的分布曲线,并在此基础上,分析了不同负荷下各流动区域出口固体物料浓度和平均固体物料浓度随运行主导因素(运行风速)的变化规律,仿真研究结果和实际工况做到了较为精确的吻合,为循环流化床锅炉的动态特性和控制策略的研究奠定基础并提供有力的技术支持。图4参9     

分布式电力通信资源地理信息系统研究

针对电力通信资源地域辽阔、设备种类繁多、网络结构复杂以及按行政区域、分级别进行管理的特点，提出了适合各级电力通信管理部门使用的分布式地理信息系统建设方案。包括系统体系结构设计、系统功能设计、分布数据存储与管理；最后对系统实施中的难点进行了分析，给出了由低级到高级的分步实施方案。     

烟羽消白冷凝器的设计与实验研究

湿法脱硫燃煤电厂烟气中含有大量的水蒸气,形成具有视觉污染的白色烟羽。在脱硫塔后加装烟气冷凝器,可以消除白色烟羽、回收大量水资源,同时还可以进一步降低烟气中的污染物含量。针对Colburn-Hougen方法传质方程中j因子需要通过查表来获得的繁琐性,基于菲克定律和传热传质类比定律,推导出了一个传质系数Kv。利用获得的Kv,采取逐段计算的方法设计了烟气冷凝器,并进行了实验验证。结果表明:设计计算结果与实验结果非常接近,可以采用Kv计算水蒸气的冷凝速率,采用逐段计算方法设计烟气冷凝器。     

平顶山市湛河治理三期绿化规划探讨

本规划是在平顶山市湛河一二期建设后对向东扩展的堤段进行的规划设计,在总结以往经验、详细勘查和分析现况的基础上,以郊野休闲为主题,主要运用植物造景从多角度、多层面体现以人为本,强调人与自然的和谐,在满足各项功能要求的基础上建设生态型的城市园林绿地。     

基于ASP.NET 2.0 AJAX的Web信息采集系统的设计与实现

本文首先使用客户端进行数据初步抓取,然后利用AJAX使数据在客户端和服务器之间异步传输,实现了ASP.NET 2.0 AJAX在WEB信息采集系统中的应用,这样既可以减轻服务器的计算负担,又可以节省服务器的网络带宽,最后实现个性化数据采集的定制和采集功能。     

电能质量分析系统中的数据处理技术

信息技术的飞速发展和大功率电子电力器件的广泛应用,使电能质量问题越来越突出。针对电能质量分析的问题,提出了基于数据预处理的数据处理方法。根据用户设定有效采样时间,从监测数据中心中按指定格式读取监测点采集数据文件,采用数据预处理的方法在数据采样及转换的过程中对相关数据进行计算,方便分析系统进一步的分析工作,并通过Dundas构件技术完成各类电能质量数据的查询与展示。     

多维数据分析在电力营销中的应用研究

多维数据分析从多个角度对数据进行观察和处理,将业务型数据转化为管理型数据以获得有用信息,为企业管理决策提供有效支持。在Business Objects平台上,对某省电力企业现有的业务型数据进行多维数据分析,让企业的高层管理人员全面详细地了解和掌握企业营销运行情况,收入,利润．营运中的问题及风险等,以便发现电力营销运营规律,并做出科学的决策。     

数据交换技术的研究

本文首先介绍了几种常见的数据交换技术,并分析了各自的优缺点,在此基础上,提出了XML数据交换技术,并说明了XML数据交换技术的优势,以及此技术的格式规范。     

IGCC系统减排CO2的性能比较和分析

分别对IGCC系统、IGCC燃烧前捕捉CO2系统以及CO2循环利用的纯氧燃烧系统的产气率和能耗进行了计算.结果表明,当煤种和气化条件不变时,燃烧前捕捉CO2会使IGCC系统的燃气轮机和蒸汽轮机做功量减少,热效率降低5.851％.当减排86.55％的CO2时,系统热效率为42％,有利于IGCC清洁高效运行.若采用CO2循环的纯氧燃烧技术,其系统热效率比未循环CO2的燃烧前捕捉系统低,但可以实现CO2的零排放.