陈曙
- 作品数：38 被引量：113H指数：7
- 供职机构：华中师范大学计算机学院更多>>
- 发文基金：国家社会科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 完整性条件下无干扰模型被引量：7
- 2011年
- 以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题;提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演。
- 张帆陈曙桑永宣游林
- 关键词：无干扰完整性机密性信息安全可信计算
- 基于分层程序频谱的软件故障定位方法研究被引量：4
- 2015年
- 基于语句程序频谱的软件故障定位方法,通常利用搜集程序在运行测试用例集合产生的语句覆盖信息来实现故障语句定位,但这种定位技术缺乏语句块筛选机制,从而使定位精度受限.为此,提出一种基于分层程序频谱的软件故障定位方法,其具体思想是将故障定位分为函数故障定位和语句故障定位两个层次,在函数故障定位层次上使用函数调用对程序频谱对程序中的函数发生故障的可疑值进行计算,主动筛选"最有可能"发生故障的函数;在语句故障定位层次上优先处理可疑值较大的函数,计算函数中每条语句发生故障可疑值,根据可疑值大小定位语句故障.实验表明,提出的方法能快速地找到故障语句,缩小故障代码审查区域.
- 叶俊民何印标陈曙董威舒绍娴
- 基于学习者求助行为的论坛回答者推荐研究被引量：3
- 2019年
- 在在线学习环境中,依据学习者的行为为其推荐合适的问题回答者,可有效提高其学习效果.目前许多的问题回答者推荐研究考虑到了问答数据,但没有考虑行为因素对推荐问题回答者的影响.本文结合问答数据与学生行为数据,提出了一种论坛问题回答者的推荐方法.该方法的基本思路是:获取学习者求助行为类别;根据学习者求助行为类别为其推荐论坛问题回答者.为此,采用聚类算法处理学习者的求助行为数据并得到该学习者求助行为类别标签;采用此学习者求助行为数据和求助行为类别标签作为训练数据,训练朴素贝叶斯模型,从而自动识别新的学习者求助行为的类别;在此基础上,提出使用卷积神经网络方法构建论坛回答者推荐模型.通过对采集到的在线学习求助行为数据进行实验,说明了该方法能为学习者有效推荐合适的论坛回答者.
- 叶俊民赵丽娴罗达雄王志锋陈曙
- 关键词：求助行为朴素贝叶斯模型卷积神经网络
- 基于活性顺序图的形式化验证方法及工具研究被引量：1
- 2016年
- 近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。
- 张坤叶俊民王嫱赵丽娴陈曙
- 关键词：形式化验证软件开发过程
- 面向复杂软件系统的需求工程建模方法及其工具系统
- 毋国庆袁梦霆姚昱陈曙万黎吴怀广吴昊黄勃
- 面向复杂软件系统的需求工程建模方法及其工具系统主要为软件开发人员提供有效实用的软件需求分析方法和工具，适用不同的计算机应用领域和不同类型的软件系统的需求开发工作。面向复杂软件系统的需求工程建模方法是基于多视点和软件行为的...
- 关键词：
- 一种基于行为的多视点需求描述方法
- 传统多视点方法存在着诸多不足之处.本文在此基础上提出了一种基于行为的多视点需求描述方法(BVORA),从行为的角度对需求进行了描述,提出了以场景对视点进行划分的方法,给出了视点的定义以及视点表达,定义了视点间的关系。
- 肖晶毋国庆陈曙
- 文献传递
- 一种进程代数风格的基于时序逻辑的工作流建模方法
- 针对工作流系统，提出使用基于进程代数风格的操作时序逻辑(TLA)来对工作流的建模以及特性做整体分析的方法。其中基于TLA的工作流模型分为描述工作流过程控制、数据更新和描述工作流基本特性两部分，并分别表示为TLA公式。工作...
- 陈曙毋国庆肖晶
- 关键词：工作流特性分析数据更新
- 文献传递
- 工作流模型的语义及验证
- 提出了一种将以活动网络图描述的工作流模型转换为CCS的思想，利用CCS描述了工作流模型的6种基本逻辑关系，进而将整个工作流模型转化为动程表达式，从而为工作流模型提供了严格的形式化基础。并在此基础上给出了工作流模型正确性的...
- 肖晶陈曙
- 关键词：工作流模型活动网络图逻辑关系
- 文献传递
- 面向软件行为和多视点的需求模型检测方法研究
- 随着计算机技术的发展,软件的复杂程度越来越高,对软件质量的要求也越来越严格。在软件开发过程中决定软件质量的一个重要步骤便是软件需求的描述和分析,由此便衍生出了软件工程的一个分支：需求工程。需求工程着重研究如何采用有效的工...
- 陈曙
- 关键词：多视点
- 文献传递网络资源链接
- 基于CDIO的面向对象软件工程实践教学模式研究被引量：5
- 2017年
- 针对软件工程实践教学存在的学生动手能力不强、团队协作意识差等问题,从构思、设计、实施和运维这一横向维度以及目标、内容、培养过程和时间基线这一纵向维度出发,提出基于CDIO的面向对象软件工程实践教学模式,阐述在该模式指导下开展的面向对象软件工程实践教学活动和实际效果。
- 叶俊民王敬华李蓉周伟陈曙杨艳
- 关键词：CDIO软件工程实践实践教学模式
