国家自然科学基金(61163005)
- 作品数：17 被引量：53H指数：5
- 相关作者：肖美华石永革李伟钟祥喜马成林更多>>
- 相关机构：华东交通大学南昌大学中国电信股份有限公司更多>>
- 发文基金：国家自然科学基金江西省自然科学基金国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信经济管理更多>>
- 基于G^2EM-CI模型的物联网产业集群竞争力研究被引量：4
- 2013年
- 在GEM模型的基础上进行改进,创造了G2EM-CI模型。基于中关村、武汉东湖、无锡新区和南昌高新区的数据,实证分析了影响物联网产业集群竞争力的主要要素和主要因素。
- 钟祥喜肖美华刘金香
- 关键词：物联网产业集群竞争力
- 基于对话内容的交互型文本会话主题挖掘被引量：1
- 2016年
- 传统的主题挖掘模型一般仅从交互型文本中挖掘出文档主题,为了能够从中挖掘出会话主题并提高挖掘模型的普适性,提出了一种基于对话内容的交互型文本会话主题生成模型。首先通过分析交互型文本的特征,基于主题树的概念,定义了一个5层结构的对话生成树。以此为基础,再基于LDA构建会话主题生成模型(ST-LDA)。最后采用吉布斯抽样法对ST-LDA进行推导,得到会话主题及其分布概率。使用实际数据进行验证,结果表明,ST-LDA模型可以从交互型文本中有效地挖掘出会话主题。此外,成果可以降低分类算法的复杂度,回溯主题—参与者关联关系,具有较好的普适性。
- 彭杰石永革高胜保
- 关键词：LDA
- 东、中西部物联网企业技术竞争力比较分析——基于推拉模型及人类技术共生模型被引量：6
- 2013年
- 基于"推拉模型"及"人类技术共生模型",设计物联网技术竞争力的评价指标。根据东、中西部数据用灰色关联法实证分析,结果显示:注册专利、技术员对东部地区影响度最高,而销售收入对中西部的影响最高。两类地区的人类与技术共生的理念都不强,最后提出相关建议。
- 钟祥喜肖美华刘金香
- 关键词：物联网
- 基于改进GNY逻辑的Kerberos*协议安全性分析被引量：5
- 2014年
- 为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议Kerberos*,结合可识别性和管辖性构造一种新的管辖规则,运用改进GNY逻辑对协议Kerberos*进行安全性分析。分析结果表明,协议Kerberos*是安全的,运用改进GNY逻辑证明过程比改进BAN逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。
- 马成林肖美华邓春艳朱科
- 关键词：网络安全KERBEROS形式化分析
- 基于Spin/Promela的Woo-Lam协议安全性质高效验证被引量：1
- 2014年
- 形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于Promela语言,将P.Maggi和R.Sisto提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam协议为例,运用Spin工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。
- 肖美华程道雷胡磊
- 关键词：形式化方法枚举法
- 基于事件逻辑的WMN客户端与LTCA认证协议安全性分析被引量：5
- 2019年
- 无线Mesh网络是一种新型的宽带无线网络结构,融合无线局域网与点对点模式两者的优势,是无线网络研究的热点之一.基于事件逻辑理论,结合事件结构、事件类、公理簇以及随机数引理,提出置换规则保证用户交互信息在性质置换过程中的等价转换.通过事件逻辑构建客户端与LTCA认证协议的基本序列,对协议交互动作进行形式化描述并证明协议强认证性质.在合理假设下,无线Mesh网络客户端与LTCA间认证协议的安全性得证,研究表明事件逻辑理论不仅可以论证无线网络协议的安全属性,还能对安全协议不同身份主体间的认证性进行证明.通过流程图简化协议形式化证明步骤,阐述事件逻辑理论证明协议安全属性过程,比较分析事件逻辑理论与其他逻辑推理方法,表明事件逻辑理论具有通用性.
- 肖美华李娅楠宋佳雯王西忠李伟李伟
- 基于BPM-BM过滤优化的近似字符串匹配算法被引量：1
- 2016年
- BPM-BM算法结合位并行和过滤技术,是当前近似字符串匹配算法中效率最高的算法之一。算法中过滤机制容易导致位并行计算连续性中断,使位并行计算回溯导致性能大幅降低。针对此问题提出了基于过滤优化的BPM-BM算法。实验结果表明:优化算法在大字符集环境下继承了BPM-BM算法的运行高效性,在非大字符集环境下较BPM-BM算法提升显著,且随着编辑距离的增长,其时间开销增长的稳定性大幅优于BPM-BM算法。
- 石永革张毫
- 关键词：近似字符串匹配位并行
- SOCKET通信程序模型抽取及可靠性验证被引量：9
- 2012年
- 形式化方法是验证并发系统可靠性和安全性的重要手段。对高级语言开发的并发系统自动抽取的模型进行形式化验证是模型检测技术领域中的一个研究热点。鉴于socket函数调用顺序不正确产生的运行时潜在问题(内存泄漏、死锁、边界数据丢失等),针对顺序结构的socket程序,通过描述Promela消息数据结构和通道,构建socket函数的Promela模型,定义socket函数到Promela映射规则,提出socket函数调用序列抽取算法及目标Promela模型生成算法,用线性时态逻辑(LTL)刻画socket函数调用顺序应满足的性质,开发基于SPIN的socket通信程序分析系统。实验结果表明,该系统能有效检测socket通信程序的运行时潜在问题。
- 肖美华余立全肖攀
- 关键词：SOCKET形式化验证
- 一种基于条件相对平均熵的个性化推荐算法
- 2016年
- 为了提高现有推荐算法的准确性,提出一种基于条件相对平均熵的个性化推荐算法.首先,采用加权的CNM算法构建复杂网络,挖掘该网络的社团结构,作为商品待推荐域;其次,利用条件互信息和条件相对平均熵生成有效的节点次序,以提升贝叶斯网络构建的准确性;然后采用K2算法学习贝叶斯网络,分析出用户的消费性格,并判断待推荐域中商品与消费性格的联系,向用户提供感兴趣和合理的推荐;最后,基于电信运营商的实际数据进行实证分析,验证了该算法的有效性.
- 吴柳陈萌石永革
- 关键词：个性化推荐社团结构
- 基于事件逻辑的改进Needham-Schroeder协议安全性证明被引量：4
- 2015年
- 安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。
- 刘欣倩肖美华程道雷梅映天李伟
- 关键词：形式化方法
