马艳芳
- 作品数：26 被引量：34H指数：3
- 供职机构：淮北师范大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金安徽省高校省级自然科学研究项目安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 疫情下数据结构课程线上教学模式探索与实践被引量：6
- 2021年
- 为了在新冠肺炎疫情的影响下充分保障正常的教学秩序,全力做到“停课不停教、停课不停学”,落实“教师真在教、学生真在学”,数据结构教学团队利用超星“一平三端”智慧教学系统和钉钉直播相结合的方式,在教学准备、教学实施、学习评价和教学改进等四个方面开展线上教学模式探索和实践,实现了将线上线下混合式教学转变为纯线上教学模式,体现了“以学生为中心”的教学理念,达到线上与线下同质同效。
- 肖建于张震郑颖马艳芳
- 关键词：数据结构线上教学教学改革
- 具有相同特征值的矩阵的刻画被引量：1
- 2011年
- 文章首先给出关于多项式的牛顿恒等式新的证明,利用牛顿恒等式和矩阵的迹的性质,得出两个矩阵具有相同特征值的充分必要条件.
- 陈冬君马艳芳
- 关键词：特征值
- 基于部分交互的软件近似度量模型被引量：1
- 2014年
- 软件对环境的依赖性主要体现在软件与环境的交互。在实际中,有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响。为测试不同软件在环境下的性能,需要对软件与环境的交互能力进行比较。在进程代数理论基础上,利用完整迹语义,建立软件近似程度的量化模型。形式化描述软件与环境的部分交互。列举一些例子对模型进行说明。建立软件近似程度的量化模型,证明一些代数性质。进一步,建立评价软件在与环境交互方面好坏的标准。
- 马艳芳陈亮
- 关键词：形式化进程代数
- 三分之二模拟拓扑
- 2014年
- 三分之二模拟为验证系统的实现满足其规范提供了抽象描述.为了刻画系统的实现逐渐接近于规范,该文利用网极限的观点,以三分之二模拟为基础,建立系统实现的收敛机制,说明系统规范是其实现的极限形式.首先提出三分之二极限模拟和三分之二模拟极限的定义,建立三分之二模拟的极限理论.其次,建立三分之二极限模拟的拓扑结构,包括子网闭包、尾闭包、自然延拓和复合,证明三分之二模拟极限构成一个收敛类,并诱导一个拓扑,给出三分之二模拟极限的拓扑理论.最后,证明三分之二模拟极限在各种复合算子下的拟同余性(pre-congruence),进而说明各种复合算子关于三分之二模拟极限的连续性.
- 马艳芳张敏陈仪香
- 关键词：拓扑进程代数
- 卓越信息技术教师培养的探索与思考被引量：2
- 2017年
- 卓越信息技术教师的培养为提高教师队伍整体素质具有重要意义.以淮北师范大学计算机科学与技术学院为例,对卓越信息技术教师应该具备的能力以及培养中面临的问题进行分析,提出我院卓越信息技术教师培养中采取的一些策略以及课程体系设计中的一些思考.
- 马艳芳宋万干张震
- 关键词：教师双导师
- 软件动态正确性的形式化描述被引量：4
- 2013年
- 软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.
- 马艳芳张敏陈仪香
- 关键词：形式化拓扑
- 求解非线性方程的一种四阶迭代方法(英文)
- 2012年
- 通过泰勒级数将非线性方程f(x)=0改写为耦合系统,给出并证明求解非线性方程的一种新的四阶迭代方法.数值例子表明,此四阶迭代法比牛顿迭代法和何给出的迭代方法有效.
- 陈亮马艳芳
- 关键词：牛顿法迭代法收敛阶
- 模糊交互时态逻辑的模型检测被引量：1
- 2017年
- 交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。
- 袁红娟马艳芳潘海玉
- 关键词：计算树逻辑模糊逻辑
- 基于交互的环境近似度量模型被引量：2
- 2013年
- 在一些关键领域中,需要构造与实际环境非常相近的实验环境来运行或测试软件的性能,由此需要计算环境的近似程度。基于进程代数理论,建立软件运行环境近似程度的度量模型。首先在完整迹语义的基础上,建立软件与环境交互程度的度量刻画。然后在交互度量基础上,建立环境之间近似程度的度量模型,讨论环境度量的代数性质。
- 马艳芳陈亮
- 关键词：进程代数
- 基于ε-互模拟的软件近似正确性模型被引量：2
- 2013年
- 软件正确性是软件可信性的重要属性。在实际软件开发和设计中,需要不断地对软件进行修改,从而软件越来越正确。为了讨论软件的动态近似正确性,基于概率进程代数的ε-互模拟,建立软件越来越正确的形式化描述。定义ε-极限互模拟,用来反应软件实现与规范之间的关系,给出一些特殊的ε-极限互模拟。提出ε-互模拟极限,用其刻画规范是软件实现的极限形式,同时证明ε-互模拟极限的一些性质。
- 马艳芳陈亮
- 关键词：形式化进程代数
