公共文化服务平台

董荣胜: 作品数：182 被引量：1,506H指数：14; 供职机构：桂林电子科技大学更多>>; 发文基金：广西壮族自治区自然科学基金国家自然科学基金广西省自然科学基金更多>>; 相关领域：自动化与计算机技术文化科学电子电信金属学及工艺更多>>

合作作者

基于串空间模型的Athena方法的改进: 2007年; Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。该文针对互联网密钥交换协议(IKEv2),对Athena方法进行了扩展:修改消息项结构,扩展密码学原语,使其能分析DH(Diffie-Hellman)密钥协商问题,修改内在项关系,使其能应对更复杂的消息构造情况,并对相关命题和定理进行了证明。根据扩展后的Athena方法,对IKEv2协议的秘密性和认证性等进行了分析,对协议的特点作了进一步讨论。; 董荣胜吴光伟郭云川古天龙; 关键词：串空间 ATHENA IKEV2协议

计算思维的表述体系被引量：96: 2013年; 教育部高等学校大学计算机课程教学指导委员会认为,系统地将计算思维落实到大学计算机基础教学中,应当尽快地建立计算思维的表述体系。围绕计算思维表述体系的构建,本文首先从研究层面、技术层面和专业层面阐述了计算思维教育的目的;然后基于Denning"伟大的计算原理"的概念分类,构建了一个以计算为核心,以抽象、自动化、设计、通信、协作、记忆、评估为基本概念的带有层次结构的计算思维表述体系框架;最后,从客观世界的理解、问题解决、知识创造等方面,介绍了计算思维的若干重要作用。; 陈国良董荣胜; 关键词：计算思维教育思维习惯

一种基于k2‑MDD的Web服务组合方法: 本发明公开一种基于k2‑MDD的Web服务组合方法，首先根据k2树的规则对Web服务组合问题依赖图的顶点进行编码，然后依据顶点编码对边进行编码，接着根据边编码构造多值决策图结构...; 董荣胜武先强古天龙

基于kd-MDD的时序图紧凑表示: 2022年; 时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——k^(d)-MDD.k^(d)-MDD是对k^(d)-tree的改进,该方法对时序图的邻接矩阵进行k^(d)划分,通过引入多值决策图来合并相同子矩阵,即k^(d)-tree图数据表示中存在的同构子树,存储结构更加紧凑.在k^(d)-MDD紧凑表示基础上,提供了基于k^(d)-MDD的时序图的基本操作(如顶点正向反向邻居的检索、边是否处于活动状态的检查、边的添加和删除等).在真实的时序图数据集上(Flickr-growth,YouTube-growth,Wikipedia等)的实验结果表明,k^(d)-MDD表示中的节点数仅为k^(d)-tree表示中节点数的1.58%~4.65%,与c k^(d)-tree和bc k^(d)-tree相比,其节点数为c k^(d)-tree中节点数的11.13%~20.39%,为bc k^(d)-tree(bucket c k^(d)-tree)中节点数的23.17%~41.95%.实验结果验证了k^(d)-MDD表示时序图的优越性.; 李凤英申会强董荣胜; 关键词：时序图决策图

基于功能匹配分解的协议转换器构造技术研究被引量：2: 2003年; 1引言异构网络互联的一个技术难点就是协议的不匹配,它导致不同网络体系下的用户难以直接相互通信.为了解决此困难,在协议间插入转换器当作通信中介,它从一个协议接收信息,经转换后发送给另一个协议,实现不同网络之间的通信.; 赵新有古天龙蔡国永董荣胜; 关键词：通信协议网络协议协议转换器

以培养软件工程师为目标的计算机科学与技术本科人才培养体系被引量：5: 2015年; 以培养软件工程师为目标,构建工程应用型人才培养体系,阐述在学生工程实践能力培养、专业导师制、分层次培养模式、构建校内外工程实践环境、教学方法和考核方式、师资队伍建设等方面所做的改革,指出该培养体系更加符合工程教育的目的和现代企业的需求。; 陈智勇文益民邓珍荣董荣胜; 关键词：工程教育

基于UIO序列的测试方法及UIO生成算法研究被引量：9: 2005年; 测试序列生成是协议一致性测试的一个重要方面,好的测试序列应该有较大的错误覆盖率且长度越短越好。测试序列构成中的第三部分通常称为状态识别序列,通过比较几种以UIO序列为状态识别序列的协议一致性测试方法,提出了一个更好的UIO序列生成算法,该算法能产生更短的UIO序列。; 古军蔡国永董荣胜; 关键词：UIO序列测试序列生成有限状态机

无线自组网激励机制研究: 无线Adhoc网络中的节点既是主机又是路由器,路由发现及分组转发都需要节点的相互协作。但节点的资源有限,自私节点为了节约资源会拒绝协作,这会影响网络性能及网络服务的可靠性。通过对当前激励协作机制的总结与分析,建立博弈论与...; 徐许亮刘亮龙董荣胜; 关键词：无线自组网激励机制

基于SPIN的协议分析技术研究: 随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计中的缺陷,保障分布式应用的质量。而模型检测技术作为一种形式化的分析方法,支持自动化的推理技术,能根据逻辑公式自动的验证协...; 刘芳魏昭董荣胜; 关键词：SPIN

一种基于k2树和多值决策图的大规模图数据处理方法: 本发明为一种基于k2树和多值决策图的大规模图数据处理方法，步骤如下：1、根据k2树的规则对图的顶点进行n位编码，<Image file="DDA0001074946360000...; 古天龙张新凯刘华东董荣胜; 文献传递