马艳芳

作品数：22被引量：38H指数：3
导出分析报告
供职机构：淮北师范大学计算机科学与技术学院更多>>
发文主题：进程代数形式化互模拟形式化描述离散数学更多>>
发文领域：自动化与计算机技术理学文化科学更多>>
发文期刊：《湖州师范学院学报》《计算机学报》《上海师范大学学报（自然科学版中英文）》《长春教育学院学报》更多>>
所获基金：国家自然科学基金安徽省高校省级自然科学研究项目安徽省自然科学基金安徽高等学校省级教学质量与教学改革工程项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机科学与技术(师范)专业人才培养模式探析--“自主发展的互动型”教育模式被引量：3
《淮北师范大学学报（自然科学版）》2022年第1期86-92,共7页马艳芳 肖建于 于春红 
淮北师范大学质量工程项目(2020xjxtd003,2020xjxms005,zyrz18071,2018jpkc01,JY19002,jys19081);安徽省教育厅质量工程项目(2019mooc158,2020zdxsjg310)。
计算机科学与技术(师范)专业旨在为中小学信息技术教育培养优秀师资.随着人工智能和大数据等信息技术在中小学的普及,计算机科学与技术师范生的培养更需要适应基础教育的需求.同时,师范专业认证的开展对计算机科学与技术(师范)专业的建...
关键词：师范专业认证 专业建设 计算机 人才培养 
疫情下数据结构课程线上教学模式探索与实践被引量：7
《电脑知识与技术》2021年第6期163-165,共3页肖建于 张震 郑颖 马艳芳 
安徽省教育厅质量工程项目(2020zdxsjg310,2018sjjd034);淮北师范大学质量工程项目(kctd19046,JY19002)。
为了在新冠肺炎疫情的影响下充分保障正常的教学秩序,全力做到“停课不停教、停课不停学”,落实“教师真在教、学生真在学”,数据结构教学团队利用超星“一平三端”智慧教学系统和钉钉直播相结合的方式,在教学准备、教学实施、学习评价...
关键词：数据结构 线上教学 教学改革 新型冠状病毒疫情 
基于可信性的模块化软件开发费用分配算法被引量：4
《计算机工程与科学》2020年第6期1021-1029,共9页马艳芳 王梦月 周伟 陈亮 
国家自然科学基金(61672023);安徽省高校自然科学研究项目(KJ2019A0604,KJ2017A375,KJ2019A0952);安徽省自然科学基金(1708085MF159);郑州轻工业大学博士研究基金(2016BSJJ037);河南省科技攻关项目(182102210617)。
模块化开发是软件开发的一种重要方法。开发模块需要一定的费用,而要保证软件的可信性达到一定的指标,用户需要追加费用。在用户给定的开发费用内如何合理分配各模块的开发费用使得软件系统可信性达到最优是一个重要的研究课题。首先,...
关键词：模块 费用 软件可信性 分配 动态规划 
组件化软件系统的可信度量模型被引量：1
《淮北师范大学学报（自然科学版）》2019年第2期43-53,共11页黄杜娟 马艳芳 潘海玉 
国家自然科学基金项目(61672023);安徽省自然科学基金项目(1508085MA14,1708085MF159);安徽高校自然科学研究项目(KJ2017A375)
软件可信性是保证软件质量的重要因素.文章以研究组件化软件系统的可信性为目的,以组件自身的属性作为出发点,结合组件的权重和不同组合模式,建立相应的软件系统可信度量模型.根据组件自身的各种属性,建立单个组件的可信性度量.结合组...
关键词：软件可信性 组件 权重 可信性度量模型 
模糊交互时态逻辑的模型检测被引量：2
《计算机工程与科学》2017年第12期2290-2296,共7页袁红娟 马艳芳 潘海玉 
国家自然科学基金(61672023;61673352);安徽省自然科学基金(1708085MF159);江苏高校"青蓝工程";广西可信软件重点实验室研究课题(kx201609);泰州市科技支撑社会发展计划(TS2015040)
交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入...
关键词：交互时态逻辑 计算树逻辑 并发博弈结构 模型检测 模糊逻辑 
卓越信息技术教师培养的探索与思考被引量：2
《淮北师范大学学报（自然科学版）》2017年第3期79-83,共5页马艳芳 宋万干 张震 
安徽省高等教育振兴计划重大教学改革研究项目(2014ZDJY058);安徽省省级质量工程教学研究项目(2015JYXM157;2016zjjh055);淮北师范大学校级质量工程教学研究项目(JY15118);淮北师范大学校级质量工程卓越教师计划项目(2015ZYJS185)
卓越信息技术教师的培养为提高教师队伍整体素质具有重要意义.以淮北师范大学计算机科学与技术学院为例,对卓越信息技术教师应该具备的能力以及培养中面临的问题进行分析,提出我院卓越信息技术教师培养中采取的一些策略以及课程体系设...
关键词：卓越 教师 培养模式 双导师 
应用Mathematica软件解决两类矩阵问题
《淮北师范大学学报（自然科学版）》2016年第1期83-85,共3页陈亮 马艳芳 
国家自然科学基金项目(61300048);安徽省自然科学基金项目(1308085QF117;1508085MA14);安徽省高校省级自然科学研究重点项目(KJ2014A223);2014年安徽省高校优秀青年人才支持计划;安徽省高等教育振兴计划重大教学改革研究项目(2014ZDJY058);安徽省教育厅质量工程项目(2012GXK058);淮北师范大学教学研究项目(JY13231;JY14148)
整数矩阵和置换矩阵是矩阵理论中非常重要的两类矩阵,文章通过整数矩阵的判定和求解矩阵的全体置换这两个实例,介绍Mathematica软件在矩阵计算中的应用,显示出Mathematica软件在科学计算中的优势.
关键词：MATHEMATICA 整数矩阵 置换矩阵 
基于任务驱动的离散数学实验教学研究被引量：3
《淮北师范大学学报（自然科学版）》2015年第2期70-74,共5页马艳芳 陈亮 
国家自然科学基金项目(61300048);安徽省自然科学基金资助项目(1308085QF117;1508085MA14);安徽高校省级自然科学研究重点项目(KJ2011A248;KJ2014A223);安徽省高校优秀青年人才支持计划;安徽省高等教育振兴计划重大教学改革研究项目(2014ZDJY058)
离散数学是计算机专业的一门必修课程,在学生综合素质培养和逻辑思维能力培养方面发挥重要作用.本文分析离散数学的教学现状,阐述在离散数学教学中增加实验教学的必要性.根据离散数学的内容体系,利用任务驱动教学法,建立和完善离散数学...
关键词：离散数学 实验教学 任务驱动 
基于软件的环境量化模型
《计算机工程》2015年第2期47-51,56,共6页马艳芳 
国家自然科学基金资助项目(61300048);安徽省自然科学基金资助项目(1308085QF117);安徽高校省级自然科学研究基金资助重点项目(KJ2014A223);安徽省高等教育振兴计划重大教学改革研究基金资助项目(2014ZDJY058);2014年安徽省高校优秀青年人才支持计划基金资助项目
在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的...
关键词：交互 环境 进程代数 度量 论域理论 
计算思维在离散数学中的应用被引量：4
《湖州师范学院学报》2015年第2期104-108,共5页马艳芳 陈亮 
国家自然科学基金项目(61300048);安徽省自然科学基金项目(1308085QF117);安徽省高校省级自然科学研究重点项目(KJ2014A223);安徽省高等教育振兴计划重大教学改革研究项目(2014ZDJY058);2014年安徽省高校优秀青年人才支持计划
计算思维是一种分析思想,是一种重要的教育思想,近年来越来越受到国内外教育专家和学者的高度重视.而离散数学是计算机专业的一门必修课程,在该课程内容中蕴含了大量的抽象思维,在培养学生的逻辑思维能力和综合素质等方面起到重要作用....
关键词：计算思维 离散数学 算法 自动实现 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部