陈丹敏
- 作品数：9 被引量：22H指数：2
- 供职机构：河南大学更多>>
- 发文基金：河南省教育厅自然科学基金河南省科技攻关计划河南省基础与前沿技术研究计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于移动技术的移动学习模式的探讨被引量：13
- 2012年
- 当前,随着网络技术和移动通讯技术的日益成熟,移动学习迅速发展。但是,在国内,移动学习并没有得到广泛的应用,最重要的原因就是缺乏合适实用的移动学习模式的指导。移动学习系统与学习理论的结合,可以产生多种移动学习模式。移动学习模式的出现是远程教育的一次创新,能够为教育工作者和学习者提供一个更大更广阔的学习空间。该文首先对移动学习的内涵进行了阐述,然后介绍了移动技术的现状,在此基础上提出了基于在移动技术的两种移动学习模式,并分析了这两个学习模式的特点,为移动学习的广泛开展起到推动作用。
- 徐淑丽陈丹敏左晨琳
- 关键词：网络技术移动学习模式
- 浅谈软件学院实验课程整合
- 2012年
- 本文结合我国软件行业的现状，指出软件人才的短缺是我国软件产业发展的瓶颈。在此基础上对高校软件学院的实验课程的所存在的问题加以分析和探讨，并提出了实验课程整合的相应措施和方案，在很大程度上为应用型软件人才的培养做出了贡献。
- 胡萍陈丹敏
- 关键词：实验课程应用型人才软件产业
- 基于改进BoS的Web文本分类研究被引量：1
- 2013年
- 提出了改进的文本相似度计算方法,在计算文本的相似度时,赋予不同文本块中的句子不同的权值,同时直接去掉短句子和合并高相似度的句子以精简句子包中句子数量以提高运算速度。改进后的文本相似度计算方法为:先根据句子相似度的计算方法计算句子的相似度,再计算文本块的相似度,最后按照文本块的权值计算整个文本的相似度。经试验证明,改进后的算法在文本召回率、准确率和F1值上都有明显的提高。
- 彭俊杰陈丹敏
- 关键词：WEB文本分类向量空间模型文本挖掘
- 基于极限编程方法的教育软件项目开发被引量：4
- 2012年
- 探讨了教育软件项目开发过程中存在的问题,分析了目前常用软件开发模式的优缺点。结合教育软件项目的特点,给出了基于极限编程方法的教育软件项目开发模型。此模型将极限编程与教学系统化设计结合起来,是教育软件项目开发中行之有效的工程模型,可为教育软件开发者提供有益的参考。
- 汪灏陈丹敏杨建豪
- 关键词：极限编程教育软件教学设计软件工程
- 组件化内容管理系统的设计与实现被引量：2
- 2013年
- 内容管理系统作为企事业信息化的重要组成部分,已经被广泛使用。目前基于各种服务器平台及开发语言的内容管理系统种类繁多,但在内容与形式设计上,很多系统耦合度太大,从而导致系统扩展性较差、维护成本高昂。本文基于微软的ASP.Net MVC3框架,结合SQLServer及XML等数据技术,探讨基于组件化开发、内容与设计分离、高扩展性、方便易用的内容管理系统的设计思想与实现过程。
- 常军强孙越马振天陈丹敏
- 关键词：CMSMVCJQUERYSQL
- 一种基于两级迁移学习的多源异构信息融合故障诊断方法
- 本发明提出一种基于两级迁移学习的多源异构信息融合故障诊断方法，其步骤为：首先，利用训练好的VGG16模型提取监控截屏图像的特征，并以监控截屏图像的特征为输入得到深层神经网络模型；其次，建立迁移融合网络，并将深层神经网络模...
- 陈丹敏周福娜张志强顾诗奇
- 文献传递
- 基于B方法的嵌入式实时操作系统的设计
- 随着应用的发展，计算机系统的一致性和可靠性变得越来越重要。操作系统是计算机最重要的软件系统，是高层应用软件运行的支撑和基础，所以操作系统必须是一个安全可靠的软件系统。而采用传统的软件开发方法开发的操作系统，系统的安全性和...
- 陈丹敏
- 关键词：嵌入式系统软件设计数学语义算法语言
- 文献传递
- 基于B方法的内存管理模型的设计
- 2015年
- 内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.
- 陈丹敏孙越陈志国
- 关键词：B方法内存管理精化
- 基于B方法的应用软件开发被引量：2
- 2009年
- 随着应用的发展,计算机系统的一致性和可靠性变得越来越重要.形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性.B形式化方法支持从规范说明到代码生成的整个软件开发周期.在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.
- 陈丹敏裘宗燕
- 关键词：B方法形式化方法软件设计POS
