搜索结果:找到“叶俊民”相关结果91条
排序: 按相关 按相关 按时间降序
  • 【期刊】 基于活性顺序图的形式化验证方法及工具研究

    刊名:《计算机测量与控制》 作者:叶俊民 ; 张坤 ; 王嫱 ; 赵丽娴 ; 陈曙 关键词:活性顺序图 ; 形式化验证 ; 软件开发过程 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 年份:2016
    摘要:近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。
  • 【期刊】 基于隐性行为的问题解决者推荐算法研究

    刊名:小型微型计算机系统 作者:叶俊民 ; 罗达雄 ; 廖志鑫 ; 王志锋 ; 陈曙 关键词:隐性行为变量 ; 倾向性变量 ; 能力变量 ; 贝叶斯多变量回归 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 ; 华中师范大学教育信息技术学院 年份:2019
    摘要:从事软件开发工作的开发者经常会通过技术交流社区提出问题,给问题推荐合适的解决者是解决开发者遇到困难问题时的可行途径.目前的解决方案主要是基于开发者的显性行为(如:回复行为)而极少关注开发者的隐性行为(如:收藏行为),使得方案不能有效地发现潜在的问题解决者.为此,本文提出了一种基于隐性行为的问题解决者推荐算法,通过计算开发者的基于标签的隐性行为变量、解决问题的倾向性变量,并结合能力变量使用贝叶斯多变量回归得到开发者得分,排序后推荐问题解决者.实验过程基于互联网问答社区StackOverflow的数据,实验结果证明本文的方法具有良好的效果.
  • 【期刊】 一种基于标签的层次Web服务聚类方法

    刊名:计算机时代 作者:叶俊民 ; 李蓉 ; 杨艳 关键词:FCM算法 ; Web服务 ; 服务聚类 ; 服务相似度 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 年份:2017
    摘要:提出一种基于Fuzzy c-means聚类方法的模糊服务聚类方法SGCom,该方法首先标注服务的名称、功能和使用对象,再用改进的FCM算法对服务的名称聚类,用比较相似度的方法对服务的其他元素聚类,并综合得出聚类结果。由于该方法基于服务的注册信息,不局限于单一的服务描述语言,得到的结果是服务属于某个类别的比率,在服务发现时可以根据用户设定的阈值推荐服务类别,避免了靠近类簇边界上的服务难以被准确分类的问题。
  • 【期刊】 基于分层程序频谱的软件故障定位方法研究

    刊名:小型微型计算机系统 作者:叶俊民 ; 何印标 ; 陈曙 ; 董威 ; 舒绍娴 关键词:多层次频谱 ; 软件故障定位 ; 故障可疑值 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 ; 国防科技大学计算机学院 年份:2015
    摘要:基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限.为此,提出一种基于分层程序频谱的软件故障定位方法,其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次,在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算,主动筛选"最有可能"发生故障的函数;在语句故障定位层次上优先处理可疑值较大的函数,计算函数中每条语句发生故障可疑值,根据可疑值大小定位语句故障.实验表明,提出的方法能快速地找到故障语句,缩小故障代码审查区域.
  • 【期刊】 基于案例任务驱动的软件项目管理课程实践

    刊名:计算机教育 作者:叶俊民 ; 李蓉 ; 杨艳 关键词:软件项目管理 ; 任务驱动 ; 案例 ; 课程实践 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 年份:2014
    摘要:软件项目管理课程理论性和实践性都很强,学生不好掌握。文章将任务驱动教学方法结合案例教学运用于软件项目管理课程的教学,阐述任务设计、任务执行和任务评价的具体方法,最后说明该方法在课程实践中取得的较好效果。
  • 【期刊】 基于个体学习者模型构建的学习效果评估研究

    刊名:电化教育研究 作者:叶俊民 ; 黄朋威 ; 王志锋 ; 罗达雄 ; 徐松 ; 徐晨 关键词:个体学习者模型 ; 模型构建 ; 学习效果评估 ; 评估模型 机构:华中师范大学计算机科学与技术学院 ; 华中师范大学计算机科学与技术学院 ; 华中师范大学教育信息与技术学院 年份:2018
    摘要:在教育大数据和学习分析受到广泛重视和研究的背景下,文章以数字化学习环境下的个体学习者特征为研究对象,采用模型构建方法、统计分析方法、实证方法、归纳法与演绎法,对基于个体学习者模型建模方法进行了深入研究,并提出了基于个体学习者模型的学习效果评估框架。研究发现:(1)从概念模型、架构模型和实现模型的多视图视角构建学习者模型是确保学习效果评估的前提和必要途径;(2)针对个体学习者模型研究了学习效果评估框架,归纳出学习效果评估模型及各子模型的评估指标体系;(3)基于上述学习效果评估框架进行了实证研究,相关实证内容涉及个体学习者学习效果评估模型的相关性和准确性,通过与学习者实际学习效果相比较,对实证模型的准确性进行了客观评价。
  • 【期刊】 基于学习者求助行为的论坛回答者推荐研究

    刊名:小型微型计算机系统 作者:叶俊民 ; 赵丽娴 ; 罗达雄 ; 王志锋 ; 陈曙 关键词:求助行为 ; 论坛回答者推荐 ; 朴素贝叶斯模型 ; 卷积神经网络 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 ; 华中师范大学教育信息技术学院 年份:2019
    摘要:在在线学习环境中,依据学习者的行为为其推荐合适的问题回答者,可有效提高其学习效果.目前许多的问题回答者推荐研究考虑到了问答数据,但没有考虑行为因素对推荐问题回答者的影响.本文结合问答数据与学生行为数据,提出了一种论坛问题回答者的推荐方法.该方法的基本思路是:获取学习者求助行为类别;根据学习者求助行为类别为其推荐论坛问题回答者.为此,采用聚类算法处理学习者的求助行为数据并得到该学习者求助行为类别标签;采用此学习者求助行为数据和求助行为类别标签作为训练数据,训练朴素贝叶斯模型,从而自动识别新的学习者求助行为的类别;在此基础上,提出使用卷积神经网络方法构建论坛回答者推荐模型.通过对采集到的在线学习求助行为数据进行实验,说明了该方法能为学习者有效推荐合适的论坛回答者.
  • 【期刊】 一种面向软件行为和多视点的需求模型验证方法

    刊名:小型微型计算机系统 作者:叶俊民 ; 陈曙 ; 毋国庆 ; 陈明楷 关键词:需求分析 ; 多视点 ; 软件行为 ; 模型验证 机构:华中师范大学计算机科学系 ; 华中师范大学计算机科学系 ; 武汉大学计算机学院 ; 湖北省军区自动化工作站 年份:2013
    摘要:软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.
  • 【期刊】 一种自动机学习和符号化执行的软件自动测试方法

    刊名:计算机科学 作者:叶俊民 ; 陈曙 ; 张帆 关键词:自动机 ; 自动测试 ; 符号化执行 ; 抽象机 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 ; 杭州电子科技大学通信工程学院 年份:2013
    摘要:针对高可信软件提出一种软件脆弱性自动测试方法。与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试。解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率。
  • 【期刊】 以培养创新型IT人才为目标的案例教学模式

    刊名:计算机教育 作者:叶俊民 ; 余传生 ; 王敬华 ; 杨艳 关键词:课程案例 ; 案例教学 ; 操作系统原理 ; 内存分配与回收 机构:华中师范大学计算机科学系 ; 华中师范大学计算机科学系 年份:2012
    摘要:针对我国高校案例教学尚处于初级阶段的实际情况,分析案例教学的组织与实施步骤和过程中的关键环节,提出以"操作系统原理"之内存分配与回收课程案例为例,从案例教学的原理、案例描述、案例阅读思考与分析和案例执行交流与讨论等方面论述了进行案例教学实施的观点。
  • 【期刊】 运行时验证中的减少监控开销方法研究

    刊名:《计算机科学》 作者:叶俊民 ; 徐胜 ; 陈曙 ; 金聪 ; 陈盼 关键词:运行时验证 ; 监控开销 ; 开销控制 机构:华中师范大学计算机学院 ; 华中师范大学计算机学院 年份:2016
    摘要:运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。
  • 【期刊】 解析钢结构焊缝无损探伤质量检测技术

    刊名:四川建材 作者:叶俊民 关键词:钢结焊缝 ; 无损探伤 ; 质量检 机构:福建省建筑工程质量检测中心有限公司 ; 福建省建筑工程质量检测中心有限公司 年份:2018
    摘要:随着我国社会经济和科学技术的发展,我国的炼钢技术发展到一定的高度, 并且得到普遍的应用.钢结构自身具有促进建筑系统稳定的作用,焊接能够有效地促进建筑结定的连接.对钢结构的 定有着直接的影响.因此,钢结焊缝无损探伤质量检测技术的研究具有重要的意义.无损检测技术能够保证钢结构的整 量. 对结构焊接的缺陷类 无损探伤技术的优势进行 ,注重对钢结构无损探伤质量检测技术进行分析.