陈道喜
- 作品数：16 被引量：21H指数：3
- 供职机构：苏州技师学院更多>>
- 发文基金：江苏省高校自然科学研究项目重庆市自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信轻工技术与工程更多>>
- TCP协议的安全性和活性验证被引量：6
- 2008年
- 网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务.采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性.
- 陈道喜陈冬火张广泉
- 关键词：TCPPROMELASPIN
- 基于Spin的SET协议模型检测研究
- 2009年
- 模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的关键性质认证性和保密性进行了分析与检测,发现了协议中的缺陷。
- 陈道喜戎玫张广泉
- 关键词：SPINSET协议
- 基于VBA的高级工考试自动评分研究
- 2011年
- 计算机系统管理员的高级工考试是一项资格认证考试,与之相适应需要一项自动的评分系统。其中选择题的自动评分已经实现,而操作题需要手工阅卷。为了实现对操作题的答题结果自动评分,采用VBA技术分析考生的操作结果,可以实现自动阅卷且准确性高。
- 陈道喜
- 关键词：VBA操作题自动评分
- NSPK协议的Spin模型检测
- NSPK协议是一个经典的认证密码协议。通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具spin进行验证,进而生成入侵者的攻击序列.
- 陈道喜张广泉陈冬火
- 文献传递
- 对接世界技能大赛推进技能选拔
- 世界技能大赛的成功举办对中国职业教育带来了新的挑战和机遇,国内竞赛要与世界技能大赛衔接起来。在选手的层层选拔、竞赛设备、样题制定和评分细则方面,与世界技能大赛接轨,精益求精,推进职业教育发展。
- 陈道喜刘俊艳
- 关键词：世界技能大赛评分细则职业教育
- 基于注意力机制编码器-解码器的手写数学公式识别模型被引量：1
- 2023年
- 针对现有的手写数学公式识别(HMER)方法经过卷积神经网络(CNN)多次池化后,图像分辨率降低、特征信息丢失,从而引起解析错误的问题,提出基于注意力机制编码器-解码器的HMER模型。首先,采用稠密卷积网络(DenseNet)作为编码器,使用稠密连接加强特征提取,促进梯度传播,并缓解梯度消失;其次,采用门控循环单元(GRU)作为解码器,并引入注意力机制,将注意力分配到图像的不同区域,从而准确地实现符号识别和结构分析;最后,对手写数学公式图像进行编码,将编码结果解码为LaTeX序列。在在线手写数学公式识别竞赛(CROHME)数据集上的实验结果表明,所提模型的识别率提升到40.39%,而在3个级别的允许误差范围内,识别率分别提升到52.74%、58.82%和62.98%。相较于双向长短期记忆(BLSTM)网络模型,所提模型的识别率提高了3.17个百分点;而在3个级别的允许误差范围内,识别率分别提高了8.52、11.56和12.78个百分点。可见,所提模型能够准确地解析手写数学公式图像,生成LaTeX序列,提升识别率。
- 陈路陈道喜陆一鸣陆卫忠
- 基于Spin的SET协议模型检测研究
- 模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了...
- 陈道喜戎玫张广泉
- 关键词：电子商务SET协议
- 文献传递
- 基于Promela的组合抽象Spin模型检测及应用
- 模型检测是一种重要的形式化验证技术，能自动地检验系统是否满足所期望的性质。模型检测已经被成功地应用于计算机硬件、通信协议、控制系统和安全认证等方面的分析与验证中。
模型检测面临的主要问题是状态空间爆炸问题，因为...
- 陈道喜
- 文献传递
- NSPK协议的Spin模型检测
- NSPK协议是一个经典的认证密码协议.通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具Spin进行验证,进而生成入侵者的攻击序列.
- 陈道喜张广泉陈冬火
- 关键词：SPIN
- 文献传递
- 对接世界技能大赛推进技能选拔
- 世界技能大赛的成功举办对中国职业教育带来了新的挑战和机遇,国内竞赛要与世界技能大赛衔接起来。在选手的层层选拔、竞赛设备、样题制定和评分细则方面,与世界技能大赛接轨,精益求精,推进职业教育发展。
- 陈道喜刘俊艳
- 关键词：世界技能大赛评分细则职业教育
- 文献传递
