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

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

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

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

乙醇生产集成工艺流程的环境与经济性评价分析(英文)

乙醇是一种非常重要的可再生燃料,在本文中,从环境影响和经济效益的角度对不同的原料玉米、纤维素和乙烯生产制乙醇的工艺过程进行了评估,并利用AspenPlus模拟软件中的严格物料和能量平衡模块对典型的生产工艺进行了设计、模拟和优化。基于模拟的结果,提出了定量的环境影响方法一绿色度理论,并通过综合对比文献中报道的数据和模拟数据表明,纤维素制乙醇具有更强的环境影响优势,但在经济效益方面仍需要进一步改进。     

一种将需求模型转换为软件体系结构模型的方法

需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA模型的方法。首先,讨论了模型转换的整体思路;其次,将行为特征模型中的各个结点转换为SA模型中的构件和连接件,并提出了相应的转换规则;再次,讨论了属性特征模型中主动属性特征的转换,并提出了子系统划分的策略;最后,通过案例研究展示了该方法在从需求模型到SA模型的转换中的有效性。     

构建MIS系统课程网络教学平台探究

在当今知识经济时代下,传统的教育教学模式已无法满足现在学习的需求,更无法满足终身学习、受益的需要。因而,构建基于WEB的网络教学平台,不仅能有效提升教育教学质量,更能提升学生自主学习能力,并达到终身学习、受益的目的。本文将探究网络教学的特点及如何构建MIS系统课程网络教学平台,来提升学生在MIS系统课程中的学习效果和学习质量。     

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

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

J2EE架构的高职学生素质拓展认证平台研究

近年来实施大学生素质拓展计划以来，整合了各方面资源服务学生素质教育，提高了学生参与素质教育的积极性，有效加强和改进大学生思想政治教育工作，促进了学生的全面发展。本文主要研究具有系统化、完全脱离半管理系统模式的素质拓展认证平台，并采用目前最流行的基于J2EE的B／S模式，设计出合理、实用、安全和可拓展性的高职素质拓展认证管理系统，为高职院校深入推进素质教育管理工作提供有力的保障。     

1-乙基-3-甲基咪唑三氟甲磺酸盐在蓄电池中的研究

本文选用具有表面活性作用的咪唑类离子液体1-乙基-3-甲基咪唑三氟甲磺酸盐([emim]OTf)作为电解液添加剂。运用循环伏安法、线性扫描伏安法、扫描显微镜法和充放电循环等表征方法,考查了添加不同含量的[emim]OTf添加剂对析氢过电位和电池循环寿命的影响。结果表明,[emim]OTf的添加能够提高析氢过电位,起到抑制析氢的作用。其较低的表面张力和高的表面活性,能够吸附在活性物质颗粒表面,提高了晶体的成核率,有效地抑制了Pb SO4颗粒的增大和不可逆硫酸盐化,提高了电池的循环寿命。当[emim]OTf的添加量为占活性物质质量分数的0.2%时,电池寿命提高约10.7%。     

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

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

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

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