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

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

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

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

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

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

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

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

基于温度冲击的冷冻靶氘氘冰层结晶生长行为研究

惯性约束聚变冷冻靶中氘氘（D₂）冰层的质量对聚变实验的成功与否起重要作用。目前文献报道的制备冷冻靶D₂冰层的方法并不具备好的可操作性,且技术、工艺不定型,制约了高质量冰层的形成。因此,本文采用将温度梯度、降温速率和温度冲击相结合的技术实现燃料冰层在靶丸内的均化。通过温度控制以及施加温度冲击可控地形成残留冰,并在残留冰的控制技术基础上,实现了高质量冰层的可控结晶生长。同时,研究了温度控制对靶丸内D₂冰层品质的影响和D₂冰层结晶生长的过程,并应用晶体生长动力学理论分析了D₂冰层结晶生长行为。从背光阴影图像中的D₂冰层亮环可知,D₂冰层均匀度为85.2%、厚度为40.35 μm、内表面粗糙度为2.15 μm。本方法拓宽了超低温下D₂冰籽晶控制、晶体生长技术,为DT冷冻靶中冰层均化打下了坚实基础,并形成了一定的技术储备。     

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

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

基于改进EPMM软件演化过程时间约束的分析研究

软件演化过程的时间约束对于演化过程能否按时完成以及如何决策软件演化过程执行路线具有极其重要的意义,而目前的过程建模往往忽略时间因素对于演化过程的约束,致使无法在过程模型中对时间因素进行分析与研究。针对这一不足,同时考虑时延Petri网的时间相关性以及变迁的瞬时性,首先对EPMM(Evolution Process Meta-Model)的过程层进行改进,为过程模型中的条件添加时间权值,提出了一种能够对演化过程中的时间因素进行描述的基于时延的演化过程元模型TEPMM(Timed EvolutionProcess Meta-Model),并基于TEPMM给出计算演化过程的最短完成时间的算法和含有反馈路线的过程模型的时间规划函数,通过该规划函数可以对演化过程模型中的时间相关性进行分析与研究。     

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

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

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

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

二苯甲酮腙合成工艺条件的研究

以二苯甲酮(BP)和水合肼为原料合成二苯甲酮腙(BPH),探讨了催化剂种类、催化剂用量、原料配比、溶剂种类等因素对产物收率及色泽的影响,并对产物进行IR和HPLC表征和成本核算。结果表明:常规低沸点溶剂更合适,高沸点溶剂会使副产物增多,影响产品质量;离子液体作催化剂能大大缩短反应时间;最佳合成条件为:离子液体催化剂用量为BP质量的2%、n(水合肼)∶n(BP)=2.8∶1、无水乙醇为溶剂、反应时间3h、温度控制在回流状态下。从工业成本角度考虑,最佳合成条件为:冰乙酸催化剂用量为BP质量的2%、n(水合肼)∶n(BP)=2.8∶1、无水甲醇为溶剂、反应时间9h、温度控制在回流状态下。