段珊
- 作品数：13 被引量：15H指数：2
- 供职机构：湖南涉外经济学院更多>>
- 发文基金：湖南省自然科学基金湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 学习迁移理论在C语言教学中的研究被引量：2
- 2016年
- 针对C语言程序设计课程教学呈现枯燥无趣的现象,提出从学习迁移理论出发,分析该课程教学改革存在的问题,从中找出影响学习迁移的主要因素。提出在教学过程中应合理掌控教学过程、建立C语言的迁移教学情境、定期组织学生进行知识总结等,以提高学生的学习效率。
- 王金娟段珊周群彭浩
- 关键词：C语言学习迁移理论教学改革影响因素
- 基于计算思维的《计算机组成原理》教学内容的探析
- 2016年
- 计算思维能力的培养作为计算机专业课程的基本要求早已提出,但如何从计算思维的角度去理解课程内容,培养计算思维的能力,一直都处在一个摸索的阶段。计算机系统本身就是计算思维运用的最显著成果,探讨如何从计算思维的角度去组织计算机组成原理的教学内容,指导学生站在计算思维角度去理解课程内容,有意识地培养计算思维有利于提升课程的广度和深度。
- 段珊王金娟
- 关键词：计算思维计算机系统计算机组成原理
- 全文增补中
- 一种故障树向BDD的转化方法
- 针对故障树分析的关键技术-排序和置换,提出一种基于BDD的快速有效的(LNPC)方法.该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序...
- 段珊张修如刘树锟王金娟
- 关键词：故障树分析
- 文献传递
- 基于重置引用计数器值的BDD路径优化算法
- 2011年
- 变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减少的目标。通过对节点引用域的重新定义来实现节点路径的记录,分析变量交换过程中本地节点重定向来获取局部路径的改变量,引入动态链表完成节点路径增量的记录和传递,最终在终节点得到了BDD的路径数量。该算法用C语言完成,整合到CUDD软件包,经多个函数的实验测试,证实了这种路径优化算法的正确、有效。
- 段珊
- 关键词：二元决策图
- 基于Petri网结构特性的可达性求解
- 2022年
- 以Petri网关联矩阵为基础,根据状态方程将变迁向量解表达为T_不变量与方程特解的线性组合;当特解向量中不存在合法引发序列时,从该向量出发,以逆序的方式获取借库所,构建借库所链;利用借库所关联的变迁向量之间的借还逻辑和数目依次求解T_不变量的发生系数,得到一个较小的可达变迁向量。这种求解算法不仅可以实现目的可达的有效求解,还可以利用借库所链的中断对目的不可达进行直接快速的判断,避免后续不必要的相关工作;同时借库所的获取、T_不变量系数的分析计算都是分区块进行的,大大缩小了探索范围,也简化了计算操作;借库所链中种蕴含的变迁引发逻辑也可以启发方式帮助可达变迁向量快捷建立合法引发次序。
- 段珊王金娟
- 关键词：PETRI网关联矩阵
- 关联规则算法在小数据挖掘中的技术研究
- 2019年
- 目前大数据消耗资源大,而用户的个性化服务需求却越来越广泛,要开展以用户为中心的个性化服务市场,就必须要获取、处理与合成大数据,通过进行有限数据样本空间下的细分、数据采集和抽样、准确市场定位分析出小数据。比较大数据和小数据的关联,提出小数据的四个特征,讨论关联规则算法在小数据挖掘中的作用,分析说明Apriori算法在小数据挖掘的应用,以提高小数据挖掘的效率。
- 王金娟段珊彭浩徐红
- 关键词：大数据关联规则算法APRIORI算法
- 一种基于MDDs的可达状态的算法研究
- 2016年
- 以固定点为数学基础,多值决策图(Multi-Valued Decision Diagrams,MDDs)为存储结构来实现系统可达状态空间建立的饱和算法在异步系统的模型中显示其良好的空间和时间效应。对该算法的理论和实现方法进行详细的阐述和分析,提出通过对当前事件中的扩展链的预先判断,修改原饱和算法来实现取消无扩展链的事件的函数递归调用、新节点的内存空间的申请与回收,达到提高算法的时间和空间效率;并从理论推理和实验上进行验证。
- 段珊王金娟
- 关键词：固定点
- 新工科背景下大数据专业双师型教师队伍的建设研究
- 2024年
- 大数据时代,对于人才的要求必然是善于运用数据,挖掘数据价值、根据数据背后的信息进行管理、根据信息再来决策已经成为这个时代最鲜明的特征。在新工科的时代背景下,本文立足学校教师队伍现状,结合传统计算机专业和大数据专业各自的特点,探索“双师型”教师队伍的认定标准和评判机制,分析如何培养并建立相关联的途径,剖析并总结“双师型”教师的成长规律,提出逐步建立有利于其成长的体系框架,期望能助力于高校进一步提升人才培养的能力。
- 王金娟段珊曾喜良
- 关键词：大数据双师型教师
- 二元决策图的排序优化及故障树转化方法的研究
- 随着计算机软硬件系统日益复杂，保证系统的正确性和可靠性日显重要，为此提出的许多理论和方法中，模型检测以其简洁明了和自动化程度高而引人注目。
论文介绍了二元决策图的基本原理与研究现状，针对影响二元决策图结构的因素...
- 段珊
- 关键词：二元决策图故障树
- 文献传递
- 一种故障树向BDD的转化方法被引量：8
- 2009年
- 针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。
- 段珊张修如刘树锟王金娟
- 关键词：故障树排序
