相关加权综合营养状态指数法在三峡水库富营养化评价中的应用

针对三峡水库河道型水库的特点,初步建立了Chl－a与各营养物的回归关系模型,运用相关加权综合营养状态指数法对水库进行评价,并与湖库富营养化评价方法的评价结果相比较,其结果均为贫营养。但同湖库富营养化评价方法相比,基于河道型水库综合营养状态指数法的评价结果偏低。当水体稳定后,用相关加权综合营养状态指数法对多种因子进行综合评价,能够比较真实地反映水体营养状况。     

非精确任务集的容错EDF调度

该文将容错EDF调度算法和非精确计算技术结合起来,提高了算法的调度性能,使单处理器系统正常运行时具有高吞吐量,同时,在出现一个或多个偶发性软件错误时,仍能满足系统中关键任务的时限要求。     

基于UML模型的统计测试方法研究

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。     

基于协议栈的现场总线协议转换通用化设计

为实现不同现场总线之间的通信和提供统一的设计模式，达到屏蔽现场总线异构性的目的，对多种现场总线集成环境下不同总线之间的通信进行了研究，建立协议栈模型实现了协议转换网关的通用化设计。与传统的协议转换方式相比，不再局限于一对一的转换，具有与对象位置、通信协议的无关性，提高了系统的扩展性和对不同总线的兼容性。     

X86平台上高效高安全性的设备虚拟化模型

针对现有设备虚拟化模型存在性能和安全性等方面的不足,提出了一种基于硬件IOMMU的高效且安全的设备直接分配模型,并在Xen中以显示设备为例实现了该方案。该模型安全性优于基于IOVM架构的泛虚拟化设备模型。基准测试工具Viewperf测试结果表明,该方案在性能上接近于非虚拟化平台,明显优于通常的设备模拟模型。     

Rate—Monotonic调度方式下的超时故障分析

本文提出了一种方法，用于计算多任务实时系统周期任务的超时故障率，使之可以成为实时软件可靠性模型中的故障参数。     

电站燃煤锅炉新型煤粉分配器的研发及应用

为减小制粉系统风粉分配偏差,优化锅炉燃烧工况,拓展煤粉分配器的应用范围,需研制新型煤粉分配器。通过试验台模型试验的方法研发新型煤粉分配器,完成了分配器模型的结构设计,研究了新型煤粉分配器的粉量调节挡板阻力特性、风粉分配调节特性、阻力调节对分配特性的影响和系统风速对分配特性的影响等分配器关键性能。模型试验和工程应用结果表明：新型煤粉分配器能有效将送粉管道的风量偏差控制在±5%,粉量偏差控制在±10%;某电厂3号锅炉完成新型煤粉分配器工程改造及调平试验后,能有效减小炉膛热负荷偏差,可将改造前最大偏差达150℃的两金属壁温点的偏差控制在15℃内。新型煤粉分配器的研发和工程应用,对减小制粉系统风粉分配偏差、解决锅炉运行中出现的偏烧、超温、高温腐蚀等系列问题有一定的指导和借鉴意义。     

风电机组设计极端载荷外推法及其计算对比研究——关于IEC61400-1:2005版和1999版极端载荷计算研究

论文根据IEC61400-1:2005版规定,给出了大型风电机组载荷外推计算方法,并对2MW双馈式风电机组和3MW直驱式风电机组,进行了极限载荷外推的计算;同时,与IEC61400-1:1999版极限载荷要求计算的结果分别作了对比,结果分析发现无论哪种计算结果,都存在着随机性,而这种随机性对评估的准确性有很大的影响。新版IEC61400-1标准采用统计学的概率分布来描述载荷计算结果,经过算例的计算表明,这种载荷的计算比IEC61400-1:1999版的计算方法更具有科学性。     

基于任务链的实时多任务软件可靠性建模

提出了以实时多任务系统中的任务链为组件,任务链运行时间比例作为组件的权重系数,建立实时多任务软件的可靠性建模方法。该方法符合实时多任务系统应用软件运行的实时情况,拓展了实时系统可靠性建模的思路,其可靠性模型可以给出单个任务链的可靠性参数,且建模方法还可以根据不同任务链的重要程度,进行可靠性分配并决定软件测试和投放时间。     

基于ZigBee的现场数据采集系统设计与实现

在概述ZigBee通信协议的基础上,根据系统低功耗的需求,设计并实现了一种无线现场数据采集系统。该系统由传感节点及后台处理系统构成,实现了低功耗运行且性能稳定可靠。