600MW燃煤机组能效评价及节能分析

综合评价了国内5台典型的600 MW亚临界机组,并以其中一台机组为案例进行了节能分析。该机组通过对汽轮机的一系列节能治理,机组热耗率降低106 kJ?kWh-1,供电煤耗下降4.1 g?kWh-1;对锅炉鼓、引风机和脱硫系统相关辅机的改造共降低厂用电率0.26%,供电煤耗下降0.86 g?kWh-1。此外,分析认为消除汽机低压旁路阀泄漏及降低锅炉飞灰含碳量,供电煤耗还有降低1.3 g?kWh-1的潜力。     

基于赋时事件图的故障诊断

赋时事件图(TEG)是一类用于描述同步特性的重要的Petri网.本文提出并研究了基于赋时事件图的故障诊断问题.文中定义了两类系统故障类型:变迁失效(Invalidation)故障和变迁时间延迟(Time_lag)故障.基于事件图关联矩阵,通过研究变迁失效故障的可观测传播特性,引入了故障特征向量的概念.基于此,给出了失效故障的可诊断性的充分必要条件.对于时延故障,提出了一种基于变迁触发时间估计进行故障诊断的简单算法.并基于此算法,研究了时延故障的可诊断条件.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

Fault location for parallel transmission lines using one-terminal current traveling waves

With proper phase module transformation,parallel lines can be decomposed to the same directional net and the reverse directional net. The propagation characteristics of traveling waves in the reverse directional net were analyzed,and the refraction coefficient at the fault point for a single phase fault was derived. In addition,the module selection was discussed. Simulation results show that satisfying accuracy can be achieved with the proposed method. Moreover,it is immune to fault types,fault resistances,and outside system parameters.     

基于ARM的嵌入式站间自动闭塞控制器硬件设计

针对铁路信号的高可靠性要求,设计了嵌入式站问自动闭塞系统的体系结构、嵌入式闭塞控制器和控制锁.详细设计了具有冗余特性的控制器硬件、比较电路和安全锁.同时,对本控制器构成的自动站间闭塞系统进行Petri网建模及分析.     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

基于B/S的组合机床设计系统开发

利用PRO/E软件、SQL2005数据库和VS.net编程软件为开发平台,采用Top-Down技术,建立了组合机床的参数化三维模型图库并开发了基于B/S的组合机床异地设计系统.用户通过浏览器在组合机床设计系统的引导下可完成对组合机床设计的动力头功率计算模块、自动匹配组合机床模块、自动装配、生成三图一卡等总体设计和主轴箱等模块的详细设计,提高了产品的开发能力,缩短了产品的设计周期,降低了生产成本.     

市政排水管网系统的研究与开发

目前排水管网水力计算只是一种代替手工计算、查表等一系列繁琐、重复的管线计算程序,不能满足整个管网自动化、智能化计算的需要。结合图论原理,以排水管网为对象,采取广度优先算法,开发出管网自动识别系统,应用到主次管线的自动搜索、任意节点汇水面积的自动化计算。这对于减少管网水力计算的工作量具有突破性的作用。     

Neural Networks Analysis of Steel Plate Processing Augmented by Multi‐objective Genetic Algorithms

An earlier neural network analysis of processing of steel plates through hot rolling was subjected to a further refined analysis through some flexible neural networks that evolved using a multi‐objective predator‐prey genetic algorithm. The original data set expressing the Yield Strength and Ultimate Tensile Strength of the rolled slabs in terms of a total of 108 process variables were subjected to a systematic pruning through this evolutionary approach, till the nitrogen content of the steel emerged as the most significant input variable. A theoretical explanation is provided for this slightly unexpected result.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.