基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

信息论与编码的混合式教学设计与实践

混合式教学将线上教学与传统课堂相融合,有效地提升了教学质量和学习效果。本文基于信息论与编码的课程特点和学情分析,设计了具有普适性的混合式教学模式,包括课前自主学习、课中深化学习、课后拓展学习的教学过程。通过实践证明该方案具有较好的应用效果,能更好地培养学生的自主学习、独立思考、实践创新的能力,并通过面对面高效互动,实现了个性化指导和因材施教的目的,对高校专业课程教学改革的推广和运用有指导性意义。     

保持二元布尔半环上矩阵的传递闭包的线性算子

研究保持二元布尔半环上矩阵的传递闭包的线性算子,给出保持传递闭包的可逆线性算子的刻画,并证明当矩阵的阶n≥2时,强保持传递闭包的线性算子一定是可逆的。     

阻尼系数对Gd2.34Tb0.66Fe5O12饱和磁场和磁畴结构的影响

采用相场方法计算模拟单晶钆铽柘榴石Gd2.34Tb0.66Fe5O12的磁畴结构.利用并行计算、快速傅里叶变换以及高斯迭代法求解Landau-Lifshitz-Gilbert方程以描述磁化过程.通过二维计算模拟发现,阻尼系数影响磁畴结构的形式.     

Fe/TiO2光催化降解苯系物的研究

利用自制的Fe/TiO2催化剂对苯和甲苯进行气-固相光催化降解.通过实验,得出了铁离子的最佳掺杂浓度,并对水蒸气含量、紫外灯光强等反应条件进行了研究,同时对甲苯的反应动力学进行了探讨.     

数据删除模型与均值漂移模型的等价性推广

在普通的线性回归模型中,数据删除模型与均值漂移模型是具有等价性的,文章利用线性模型的最小二乘参数估计方法,将此等价性推广至具有附加信息的线性模型中.     

论无标度网的增长和择优

增长和择优机制是无标度网络中两种重要的演化机制,已发现比较重要的择优机制有度择优和秩次择优,比较重要的增长方式有星形图增长和完全图增长.该文首先分析了秩次择优机制对网络度指数的影响,指出可以利用秩次择优来构造度指数在较大范围内变化的模型. 接下来分析了星形图增长和完全图增长的优缺点,并提出了更符合实际情况的模体增长方式,然后结合秩次择优机制和模体增长方式提出了一个新模型——模体增长秩次择优模型,该模型除了具有较宽的度指数范围外,还在度指数大于2.5时具有独立于网络规模的群集系数.     

鱼群动画的行为规划

针对鱼群动画中人工鱼的行为选择（策略、目标、规划）过程,基于认知建模方法,提出一种建立人工鱼认知角色模型的新方法.利用高层非确定性目标导向行为与低层确定性预定义行为相结合的协调控制方案,以目标优先级作为行为选择的依据来制定人工鱼的行为规划.仿真实验结果表明,此方法不仅使人工鱼能根据外部刺激和内部状态选择适当的行为,且能较好地体现出自然鱼的特征.     

1996-2002年成都市土地利用变化分析

利用1996-2002年土地利用、社会和经济统计数据,以数理统计与定性分析相结合的方法,对成都市土地利用变化及其驱动力进行了分析,结果表明,成都市土地利用变化显著,土地利用程度变化逐年提高.相关分析表明,导致成都市土地利用变化的主要驱动因素是人文社会因素,其中区域经济发展、人口增长与城市化等是成都市土地利用变化的主要驱动力.     

子群S-正规性对群结构的影响

称群G的一个子群H为S-正规的,如果存在G的次正规子群K,使得G=HK且H∩K≤HSG,其中HSG表示G包含在H中的最大的次正规子群.利用极大子群、Sylow子群及Sylow子群的极大子群和二次极大子群的S-正规性得到有限群成为可解和p-幂零的一些充分条件.