基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.     

铟钇金属间化合物力学性能的第一性原理计算

本文基于密度泛函理论的平面波超软赝势方法,对铟钇(In-Y)金属间化合物的力学结构稳定性、弹性性质和热力学性能进行了研究.通过结构优化得到了In_3Y、InY、InY_2三种金属间化合物的晶格常数,发现与实验值比较吻合.弹性常数的计算结果表明In-Y金属间化合物的结构是稳定的,由弹性常数推算出In_3Y、InY、InY_2三种合金的体积模量、杨氏模量、剪切模量、泊松比和各向异性等力学性质,发现InY_2合金的体积模量、杨氏模量、剪切模量要比其它两种的值大,其抗形变能力更强.本文还预测了In-Y金属间化合物的热力学性质,如德拜温度、热导率,通过第一性原理计算得到的In-Y金属间化合物的力学和热力学性质为In-Y合金材料的实际应用和材料设计提供了参考.     

对称式面向方面软件体系结构动态演化研究

提出了一种对称式的面向方面体系结构模型（SAOSA）,该模型将系统的功能模块、非功能模块都封装成了方面,编织这些方面构成软件体系结构中的构件、连接件.从抽象层次和实现层次出发,SAOSA模型的演化能力包括类型演化和动态重配置两种,结合一个ATM系统实例说明了SAOSA模型的动态演化机制.     

应用型数理人才培养方案的研究与实践

选择什么样的培养方案以适应当今社会对应用型人才的需要是所有本科院校人才培养工作都面临的重大问题。本文根据我校实际情况及学校定位,从培养目标的确定、培养方案的设计以及实施方案的研究等几个方面对理科应用型人才的培养体系进行了比较深入、细致的研究和探索。     

快速压缩作用下橄榄石的结构稳定性

结合不同的温度效应,研究了快速压缩过程对橄榄石结构稳定性的影响。分别在293、373、473、573、673、773 K下将橄榄石快速加压至3 GPa,在873、973、1073、1173 K下烧结橄榄石样品2 h后再在室温下快速加压至3 GPa。采用同步辐射X射线衍射、拉曼光谱、红外吸收光谱以及扫描电镜等技术分析了回收样品的结构和微观形貌。结果表明,上述过程中橄榄石结构均稳定,未发生由压力和温度导致的相变。橄榄石回收样品的微观形貌发生变化,晶粒细化。由于回收样品中存在残余应力以及晶粒细化,橄榄石的822 cm^–1和854 cm^–1拉曼特征峰出现了展宽和偏移。     

从萍浏醴起义看清政府的危机应对

萍浏醴起义是孙中山创立中国同盟会之后的第一次规模巨大的反清武装起义,起义虽以失败告终却给清政府以沉重打击,同时也暴露出了清政府在危机应对方面的种种弊端与失误,集中看来可大致概括为三方面:一、社会实体控制能力弱化;二、对舆论氛围控制不力;三、地方官员间的对立冲突。清政府危机应对中所存在的上述不足,使其在应对此次起义时付出了巨大而沉重的代价,清政府最终走向衰亡,这些因素值得深思。     

数值计算方法课程中实验环节的设计

主要介绍在数值计算方法课程的教学中如何设计实验环节,以便通过本课程的学习使学生的数值计算能力和应用数学知识解决实际问题的能力真正得到提高.