面向方面软件体系结构编织的形式化描述方法

面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。本文以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。     

网页制作中插件的灵活应用

插件功能是Macromedia公司Dreamweaver软件提供给网页设计者的一个很好的工具,灵活应用插件可以使插件在其原有的基础上实现更加令人满意的效果。笔者通过几个插件灵活应用的实例,使网页设计者能用插件设计出更为满意的网页来。     

镁合金塑性变形中孪生的研究

介绍了镁合金变形过程中孪生的晶体学、位错机理以及几何位向学;探讨了孪晶的形核、长大与演变机制;分析了孪生过程对塑性变形的作用;论述了影响孪生的几种基本因素,包括晶粒取向、变形温度、变形速度、晶粒尺寸、预变形.研究结果表明,镁合金塑性变形过程中孪生变形的作用在于,通过孪生过程改变晶粒取向或通过孪晶间或孪晶与滑移之间的相互作用,诱发新的滑移和孪生;孪晶也可抑制裂纹的产生和扩展,从而提高变形镁合金的室温塑性.     

金沙江下游梯级水库配合三峡水库联合防洪调度效果分析

为分析金沙江下游梯级水库配合三峡水库的联合防洪调度效果,运用2种补偿调度方式对长江中下游防洪的情况进行研究.分别选取1954年和1998年为典型洪水年,对不同频率下的设计洪水进行联合防洪调度演算.结果表明:金沙江梯级配合三峡水库联合防洪不仅能保障长江上游干流川江河段及荆江河段的防洪安全,而且能进一步提高三峡水库的防洪能力.与对荆江河段防洪的补偿调度方式相比,兼顾城陵矶地区的防洪补偿调度方式能进一步减少城陵矶地区的分洪量,在有金沙江梯级配合三峡水库运用时能较大程度地保证荆江河段行洪安全.     

受力方式和变形速度对AZ31挤压板材平面应变过程中孪生的影响

采用X射线衍射、断口扫描、金相观察、应力-应变曲线等分析手段,通过对AZ31镁合金挤压板材在室温下的平面应变试验,研究了不同受力方式和不同变形速度对孪生产生的影响。结果表明,N向拉伸变形以{1012}孪生为主;N向压缩变形仅在变形末期在少量具有有利取向的晶粒内发生孪生;N向限制变形中,变形初期发生{1012}孪生变形,随着变形程度的增加,孪生停止。变形速度影响孪晶的形核和长大。当主要变形机制为孪生时,变形速度越慢,越有利于孪晶的形核与长大,提高材料的强度和塑性。     

借助Packet Tracer实现网络课程的协作式教学

通过师生协作、学生小组协作、项目团队协作的协作式3种教学方法提高了学生学习的积极性、参与度,使计算机网络课程的教学效果得到了很大提高。     

驱动滚珠的弧面分度凸轮运动轨道实体建模及仿真分析

当前对弧面分度凸轮实体建模的研究方法有多种,研究的凸轮实体不仅变形比较严重,而且运动过程中振动也相对严重,导致转盘的角位移、角速度及角加速度实际值与理论值偏差较大,不能很好满足设计要求。对此,文章提出了驱动滚珠型弧面分度凸轮实体建模方法,采用Matlab软件对凸轮从动件的运动规律进行选择,然后编程运动规律曲线程序计算出运动轨迹的坐标点,导入到建模软件UG中,通过扫略切除凸轮毛坯基体,最后对弧面分度凸轮与转盘装配体进行运动仿真,并与其它建模方法及运动仿真进行了比较。通过比较可知,该方法不仅建模时间特别短,建模周期至少缩短了50%,而且运动仿真精度特别高,与以往建模方法相比,转盘运动仿真的角位移、角速度及角加速度实际值与理论值差别特别小,为弧面分度凸轮实体建模的研究提供了一种全新方法。     

代码变更中抽取类重构模式的识别

在现代软件开发和维护中,重构是提高软件可维护性和软件质量的常用手段.而大量重构模式掺杂在日常的bug修复、功能增加等代码变更中,使得变更理解变得非常复杂.识别重构模式可以将重构与其它类型的代码变更隔离,利于变更理解.目前在识别重构模式的相关研究中,并没有结合变更类型和相似性比较的识别重构模式的方法及工具.为此,提出了一种基于细粒度变更类型和文本相似性比较识别重构模式的方法.将该方法应用于抽取类重构模式,并在4个开源项目中进行了实验,其平均准确率在82.6%左右.     

书面汉语的全切分分词算法模型

本文首先讨论了全切分研究的问题，然后从一般性出发提出了全切分的求解公式、切分树、全切分DAG(无环有向)图和全切分的抽象算法模型，在此基础上特别指出了全切分普遍存在的重复切分问题．进而，本文针对串行全切分分词算法和剪技的方法进行了研究，给出了串行全切分分词方法的算法模型．