高密度AGM隔板的运用及特性比较分析

为了提高高功率蓄电池的性能,使用不同基重的高密度及低密度AGM隔板批量制作试验电池,测试了隔板的理化性能,并进行了实验电池性能测试和对比分析。试验表明,高密度隔板比低密度隔板在避免电池短路、降低自放电方面更有优势,但在电池容量、循环寿命方面二者没有明显的差异。     

基于广域测量信息在线辨识低频振荡

全国电网的互联使区域间的低频振荡成为威胁系统稳定的关键因素之一,而基于全球定位系统（GPS）的广域测量系统（WAMS）的发展和应用为在线分析区间低频振荡模式乃至控制提供了新契机.因而,研究区间低频振荡模式的在线辨识算法成为实现低频振荡在线监测以及进行阻尼控制的重要理论问题.该文在讨论Prony方法本质的基础上,给出了一种新的模型阶数估计方法,提出根据广域测量系统（WAMS）的测量信息,采用多机组的功角及转速变量进行低频振荡辨识.结合工程实际提出了基于（WAMS）的研究低频振荡问题的实现方案,包括启动判据、数据预处理、阶次估计、模式提取和综合分析等步骤.8机36节点的算例结果表明：该方案具有系统性、直接性、噪声干扰小的特点,为低频振荡的监测和控制创造了条件.     

基于Petri网的面向动态演化的软件体系结构建模

为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性.以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模.首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性.     

面向对象软件工程分析、设计与应用

本文阐述了面向对象方法学的基本概念和优点,重点介绍了软件工程中面向对象的分析方法和设计思路,并对几种建模方法进行比较,阐述了统一建模语言的优越性,并对其组成、特征、建模过程进行了描述,最后对面向对象方法在软件工程中的实现方案做了论述.     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

协同业务过程与需求的建模及一致性验证

自底向上建模方法中的业务过程由不同组织开发,无法在设计阶段就预见其潜在的所有交互可能.因此,在实际协作中,建立协同业务过程可能与参与组织期望的系统功能和特性不一致.为此,提出一种协同业务过程与需求的建模及一致性验证方法.首先,引入并发操作符,提供一种通过组合参与组织的业务过程构建协同业务过程方法;然后,扩展目标模型,提出需求依赖图来建模参与组织的需求;最后,基于模型检测技术提出协同业务过程与需求一致性检测方法.重点解决了将协同业务过程转换为表达能力相同FSP进程规约和参与组织需求转换为LTL公式这两个问题.通过对典型的协同业务过程集阐述提出方法的有效性,并对方法分析效率进行评价,结果表明：相对已有工作,提出方法能够更加有效地用于协同业务过程与需求的一致性分析.     

离子液体作用下的噻吩加氢脱除机理研究

采用Materials Studio 6.1中的Dmol3程序,程序中的数字积分是medium水平,位移收敛标准、能量和受力分别是5×10^-3 A,2×10^-5 au/和4×10^-3 au/,利用DFT理论中的梯度校正GGAPW91方法和NDN机组计算。计算离子液体催化燃料油加氢脱硫过程的机理。通过对噻吩在离子液体酸性阴离子作用下的中间体和过渡态能量的研究,发现离子液体的阴离子不仅起到萃取作用,且在过渡态形成的过程中有促进加氢脱硫的作用,在一定的程度上起到催化剂的作用,并且活泼氢有利于噻吩加氢的进行。计算将为离子液体加氢脱硫机理提供重要的参考价值。     

溪洛渡地下水电站通风空调技术研究

以溪洛渡地下水电站的通风空调系统为例,采用整体-局部的设计理念,对厂房内的通风及空调技术进行性能研究,对日后巨型地下水电站通风空调系统的设计提供借鉴。     

基于增加最优优先搜索多样性的研究

针对最有优先搜索单一依赖启发式函数指导搜索,使得搜索陷入局部最优和高原状态而不能有效改善规划解,提出了一种增加最优优先搜索择多样性的方法.将开列袁分成包含不同启发式信息的多列表,进而增加开列表选择的多样性.为了增加状态节点选择的多样,一次扩展多个列表中的状态节点,不仅仅扩展最优状态节点.实验结果表明,增加搜索的多样性后,规划解的质量有了一定的改善.