应用化学实验教学的改革研究

本文通过应化化学实验课程的特点,从基础性实验、综合性实验和创新型设计性实验对应用化学实验的改革方案进行了探讨,致力于培养学生的学习兴趣,从而提高学生在综合性实验方面的能力,增加学生的创新性意识和能力。     

北京大兴国际机场南航基地1号机库大厅弹塑性时程分析

为充分考察北京大兴国际南航基地1号机库大厅结构抗震性能,采用ABAQUS6.11对结构进行弹性时程分析和弹塑性时程分析,分析中采用ABAQUS提供的材料本构模型和用户自定义材料本构模型,计算了小震和大震作用下机库大厅的响应.计算结果表明:小震和大震作用下,机库大厅的柱顶最大位移角均小于规范限值.网架整体保持弹性,局部与柱顶相连部分有轻微屈曲;工字形双肢格构柱保持弹性,多肢格构式钢管混凝土柱的柱底有轻微屈服;格构柱柱间防屈曲支撑有轻微屈服,大门角柱普通支撑屈曲失稳.多肢格构式钢管混凝土柱和大门中柱的混凝土历史最大压应变均小于峰值应变.由于结构X方向长度较长,在计算的过程中,考虑了行波效应对结构的影响.大震作用下,考虑行波效应后,整体结构最大柱顶位移角有所增加,但依然满足规范限值.     

带OCL约束的多态路径测试线索生成方法

统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。     

一种结合MDA的高阶模型转换方法

模型转换是MDA的关键技术,也是MDA的研究热点。目前,不同的MDA开发平台都有一套相对独立的开发技术和转换框架,这使平台之间缺乏兼容性,模型转换代码重用困难。究其原因是缺少一种与具体转换语言相对应,且与平台无关的转换规则模型。为了解决以上问题,将高阶模型转换的思想与模型驱动软件开发相结合,提出了一种构造模型转换规则的高阶转换元模型,并以ATL语言为例展示了高阶转换元模型的使用方法;最后通过一个实例验证了该方法的可行性和可用性。该方法提高了模型转换语言的抽象层次,降低了模型转换语言的重用难度,在一定程度上解决了模型转换技术不兼容的问题。     

气相反应条件对合成高纯度富勒烯结构二硫化钼的影响

在氩气保护气氛下利用商用三氧化钼粉与硫进行气相反应,通过对气相反应条件的合理控制,制备出了可工业化大量生产的高纯度富勒烯结构二硫化钼,其平均粒径范围在200nm以内。并讨论了制备高纯富勒烯结构二硫化钼的逐步反应模型和反应条件对MoS2形貌的影响。样品经由XRD、SEM、HRTEM进行表征。     

基于消息中间件的持久状态服务扩展模型

本文提出了一个基于消息中间件的持久状态服务的扩展模型。与原持久状态服务不同的是本扩展模型增加了缓存管理，而且它是建立在基于内容订阅方式的消息中间件之上的。它不但移去了原持久状态服务频繁访问存储器而产生的瓶颈问题，而且以一种松散耦合的方式实现了在分布式信息系统中的持久对象数据的共享。     

一种基于矩阵度量的缺陷管理流程的改进与实践

本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的度量模型,并给出了相应的缺陷矩阵度量方法;最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中,对各阶段的缺陷进行了度量,经实践和数据分析得出,运用此缺陷管理流程和度量方法可以为开发团队设定具体阶段目标和质量计划提供数据基础,为过程控制、过程评价、持续改进等提供量化管理的基础,表明本文改进后的缺陷管理流程和度量方法模型是有效的。     

一种状态图到B规格说明的自动转换方法研究实现

状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。     

源程序的非编译成份的度量

非编译成份包括注释、程序书写风格和命名规则等几个部分,其中程序书写风格可分为空白行、行缩进和换行等。合理地使用非编译成份,可以提高程序的可读性、可理解性、可修改性、可维护性等质量特性。然而,只有高质量的非编译成份才能起到期望的效果。本文旨在提出一种非编译成份的评价方法,促进这些成份质量的提高。在介绍每一种非编译成份后,分别提出了针对这些成份的度量方法。最后,采用加权合成的方式,得到非编译成份的整体度量。     

一种B语言描述的需求模型到PIM的转换方法

MDA为软件的自动化构造提供了一种良好的途径,但是MDA更多地关注PIM到PSM的转换,却忽视了需求阶段对PIM精确性的影响。本文针对这种问题,首先对MDA的基本过程进行改进,提出对需求进行必要的形式化描述的思路,使得需求模型到PIM的转换变得更为容易,从而达到增强PIM精确性的目的;其次,通过对三种形式化语言的对比研究,发现B语言在需求模型的表示及转换方面具有优势,并结合例子展示了如何使用B语言对软件需求进行形式化描述;最后,本文结合模型转换框图,给出了B方法和类图的ecore元模型的图形化描述,进一步给出了用B语言描述的需求模型到PIM的基本转换规则,并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。