陈明
- 作品数:62 被引量:126H指数:6
- 供职机构:宜春学院数学与计算机科学学院更多>>
- 发文基金:国家自然科学基金国家科技支撑计划江西省教育厅科学技术研究项目更多>>
- 相关领域:自动化与计算机技术电子电信文化科学建筑科学更多>>
- 一个不可否认协议的缺陷与改进
- 对Ding Yuan等人设计的一个不可否认协议进行分析,发现不能满足公平性、机密性和不可否认性,并用一个具体的攻击过程来说明协议的缺陷。在此基础上,提出一个新的不可否认协议,并用串空间模型对该协议进行形式化分析,证明它的...
- 吴开贵廖振岚陈明
- 关键词:不可否认协议串空间模型形式化分析
- CPN攻击建模及警报相关性算法设计被引量:1
- 2011年
- 为提高当前入侵检测系统的预警质量和分析预测能力,用染色Petri网(colored petrinet,CPN)构造了攻击模型,系统性地设计了警报信息相关性分析算法。通过把'警报'和'攻击'作为2个不同实体参与模型运算,将目前主要采用的过滤观察信息为基础的关联方法提升为信息推理的演算方法。应用CPN模型转换、极小覆盖集命题等方法,对本领域中的难点问题即复合攻击、合作攻击进行了理论分析和算法设计。在此基础上开发了警报信息相关性分析(alerts correlation analysis system,ACAS)实验系统,实验结果表明算法系统对于提高入侵检测系统的警报质量和分析预测能力是可行、有效的。
- 杜建军吴中福陈明
- 关键词:入侵检测
- 混合学习环境下实境学习活动在卓越工程师人才培养中的应用
- 2018年
- 基于"实物、实情和实地"的实境学习要求将学习与现实社会紧密联系。在分析实境学习含义、特征及混合学习环境下实境学习活动可行性的基础上,采用基于设计的研究方法构建混合学习环境下实境学习活动框架,助力地方本科院校计算机专业卓越工程师人才培养。研究人员参与计算机专业卓业工程师人才培养的实境学习活动规划、设计、实施和评价环节。研究结果显示,混合学习环境下实境学习活动有益于计算机专业卓越工程师人才培养,能够促进学习者的学习迁移,增强学习者的学习满意度和投入度,帮助学习者运用所学知识解决现实生活问题,提高学习者对未来职业发展的信心及渴望。
- 陈明
- 关键词:地方本科院校
- 基于危险源识别的工程施工安全管理
- 近年来,随着建筑业的不断发展和进步,建筑行业已然成为我国的经济支柱产业,为我国的GDP增长做出了巨大的贡献。同时,房价的不断攀升和城市化进程步伐的加快,导致全国各地的建设风生水起。但是快速发展带来的安全问题不容忽视,建筑...
- 陈明
- 关键词:建筑施工安全管理危险源识别
- 混合学习环境下促进深度学习的教学设计研究被引量:2
- 2022年
- 为探索混合学习环境下大学生深度学习行为的触发过程,采用基于设计的研究(DBR)方法,在高等教育真实情景中进行实践,探究促进大学生深度学习的混合式教学路径。实践结果表明,教师精力和时间是混合式教学实施的主要障碍,但基于DBR的混合式教学路径能够助力教师及时发现教学问题并迭代修正教学过程,提升学生的批判性思维和团结协作能力,促进学生深度学习,可为各高校开展深度学习教学设计提供参考与借鉴。
- 陈明郑莹
- 关键词:教学路径
- 半结构化数据XML与结构化数据库之间转换的研究及应用
- 互联网技术的发展促使WorldWideWeb(简称Web)迅速成为全球最庞大和最重要的信息资源库。Web上的信息大多是以HTML文档形式存在的。HTML文档中的信息是面向显示,而不是面向语义的,因此,不便于数据交换。随着...
- 陈明
- 关键词:关系数据库半结构化数据XML数据库数据转换数据库设计
- 文献传递
- 用于物联网的基于假名的匿名认证与密钥协商优化认证方法以及优化认证分析方法
- 本发明提出了一种用于物联网的基于假名的匿名认证与密钥协商优化认证方法以及优化认证分析方法,包括如下步骤:S1,用户和传感器节点分别向网关节点进行注册,针对用户和传感器节点的不同,分别采用不同的用户注册协议和传感器节点注册...
- 陈明
- 文献传递
- 物联网环境下远程心电监护系统设计被引量:2
- 2015年
- 提出在物联网环境下构建远程心电监护系统,采用物联网3层架构,分为对象感知、透明传输和应用服务3个层次。系统划分为心电数据采集与上传以及心电监护服务两个主要功能模块。探讨远程心电监护系统应用方案,该方案可为构建城乡医疗协作体系、开展心血管疾病防治提供参考。
- 陈明
- 关键词:心电监护物联网心血管疾病防治
- Kao Chow重复认证协议的串空间模型与分析
- Kao Chow 是一种有效安全密码协议,Kao Chow协议已经被BAN逻辑、串空间等方法进行了分析。但仅仅分析Kao Chow重复认证协议简单版的初始认证阶段。本文首先提出了一种新的因果关系(≠),重新定义了串空间、...
- 徐成吴开贵陈明
- 关键词:串空间模型
- 文献传递
- 自然语言处理下的语音形式化研究
- 2014年
- 论述在自然语言处理进程下,在语言学范畴内,应用数学方法针对语言研究中的语音问题加以形式化研究,辅助实现语音信息的存储、传输、分析和再生。
- 郑莹陈明
- 关键词:自然语言处理语音形式化