支持MDD的体系结构模型的形式化语义

 为解决模型驱动开发中模型映射关系的定义和模型转换的正确性验证等方面存在的问题,利用范畴理论形式化描述软件体系结构模型及其间的关系,使之具有严格的语义。态射合成被用来追踪构件模型之间的关联和映射关系,不同抽象层次的体系结构模型之间的一致性由函子来维持。范畴理论支持图形化建模,可以使模型中的构件关系以及结构特征可视化,有利于对模型转换的理解和追踪。应用研究表明,该方法不仅可为验证模型之间映射规则的正确性提供依据,还能为模型转换的具体实现提供理论指导。     

自适应无线组播密钥分组管理算法

IEEE 802.16e支持组播和广播业务,并定义了组播广播密钥更新算法(MBRA)来维护和管理组播密钥.为了提供安全组播所需的前向安全和后向安全并且提高组播密钥管理算法的可扩展性,该文参照组密钥管理协议(GKMP)对MBRA进行了优化和改进,提出一种自适应无线组播密钥分组管理算法.该算法针对实际网络的特点,结合2种分组方法,以近似最优的策略对组播成员进行分组管理.理论分析和仿真结果表明: 该算法可以显著地降低组播业务中因密钥更新导致的通信开销,从而提高网络容量.     

高温胁迫对条斑紫菜丝状体的生长和生理影响

在不同温度条件下培养条斑紫菜丝状体,观察丝状体生长状态并测定其叶绿素含量、可溶性蛋白含量、POD活性、丙二醛含量和可溶性糖含量随时间的动态变化情况.结果表明,在温度低于24℃条件下,条斑紫菜丝状体各生理指标与对照相比没有明显变化.24℃时,丝状体生长状态良好,POD活性在培养初期有所下降,36 h活性有所提高;在28、30℃条件下,培养超过12 h后,叶绿素含量明显下降,丝状体变成棕红色,培养后期细胞内容物外溢,出现死亡.可溶性蛋白、丙二醛、可溶性糖含量呈现先上升后下降的趋势.POD活性低于对照组.该研究结果为进一步揭示紫菜抗高温分子机制和培育抗高温紫菜新品种提供了一定参考.     

正确认识鼠在传播人狂犬病中的流行病学意义

本文在穷尽式检索国内外狂犬病文献的基础上,分析了鼠在传播人狂犬病中的疫源作用,综述了国内外鼠狂犬病测毒研究,介绍了有关国家与世卫组织对鼠传狂犬病的防治建议,探讨了我国应采取的防治意见,调查了国内对鼠传狂犬病的某些夸张宣传及认识偏差,并试图究其根源,加以拨正。     

新疆野生甘草与栽培甘草的质量特征比较

为比较新疆野生甘草与栽培甘草的质量差异,本文采用粉末X射线衍射(XRD)全谱分析法和紫外分光光度法对二者进行对比分析。结果表明:野生甘草和栽培甘草在2θ值2°～30°低角度范围内指纹图谱无较大特征差异;野生甘草中主要化学成分和Fe、Mg、Ca三种微量元素的含量均高于栽培甘草,且成份比例也不同——野生甘草中三种微量元素的含量比例是1.00:6.67:107.84,而栽培甘草中为1.00:8.70:36.42。     

影响PETS口试成绩的原因及对策——以太原大学外语师范学院外语教育系为例

针对太原大学外语师范学院外语教育系学生的实际情况,分析了影响学生PETS口试成绩的原因,提出加大语言材料输入,促进知识积累;实施分层次教学,体现因材施教;关注学生情感,培养良好学习习惯的解决对策。     

表面磷化处理对固体润滑涂层性能的影响

磷化处理对粘结固润滑涂层的摩擦性能有很大影响。把氧化锌、磷酸、水按照不同比例配成磷化液,对金属表面进行不同参数(温度、时间)的磷化处理,并在其表面煮涂MoS2利用M-2摩擦磨损实验机测定不同磷化工艺下的MoS2涂层的磨擦学性能,确定了使MoS2固体润滑涂层摩擦性能达到最佳的磷化工艺参数,并讨论了磷化膜表面粗糙度对固体润滑涂层摩擦学性能的影响。     

NaCl胁迫对棉花幼苗生理特性的影响

通过盆栽试验研究了NaCl胁迫对2个不同基因型棉花幼苗叶片叶绿素、可溶性蛋白、丙二醛含量及超氧化物歧化酶、过氧化物酶、过氧化氢酶活性的影响.结果表明:随着NaCl浓度的增加,新陆早13的可溶性蛋白含量显著降低,而赣棉11却显著增加;NaCl胁迫下,二品种棉花的丙二醛含量均有一定增加,但新陆早13的丙二醛含量增加更明显.新陆早13的POD活性随着NaCl浓度的增加显著增加,但赣棉11受NaCl胁迫影响较小.随着NaCl浓度的增加,新陆早13的过氧化氢酶活性显著降低,而赣棉11则显著提高.