您的位置： 专家智库 > >

广西研究生教育创新计划(2007105950812M16)

作品数：6 被引量：24H指数：4
相关作者：古天龙张勐张慧敏冯良炳常亮更多>>
相关机构：桂林电子科技大学更多>>
发文基金：广西研究生教育创新计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...

主题

  • 3篇网络
  • 2篇AD_HOC
  • 2篇PETRI网
  • 1篇动态拓扑
  • 1篇特征交互
  • 1篇装配序列规划
  • 1篇拓扑
  • 1篇网络安全
  • 1篇网络安全协议
  • 1篇网模型
  • 1篇无线传感
  • 1篇无线传感器
  • 1篇无线传感器网
  • 1篇无线传感器网...
  • 1篇可生存性
  • 1篇故障频率
  • 1篇非确定性
  • 1篇感器
  • 1篇安全协议
  • 1篇PETRI网

机构

  • 6篇桂林电子科技...

作者

  • 6篇古天龙
  • 1篇冯良炳
  • 1篇张慧敏
  • 1篇敬超
  • 1篇常亮
  • 1篇李云辉
  • 1篇张勐
  • 1篇刘梅霞

传媒

  • 4篇桂林电子科技...
  • 1篇系统仿真学报
  • 1篇计算机科学

年份

  • 2篇2009
  • 2篇2008
  • 2篇2007
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于GSPN模型的Ad Hoc网络可生存性分析被引量：2
2009年
Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性。经过分析Ad Hoc网络在考虑故障情况下多跳路由的可生存性,提出了可以表示网络中任意两个节点之间动态数据传输关系,及网络受故障影响情况的广义随机Petri网(GSPN)模型。在此基础上,通过计算两个节点连通的概率,利用节点传输范围、节点平均邻居数目和故障频率这些参数,对网络的可生存性进行了分析,其分析结果对选取适当的节点传输范围或节点平均邻居数目有参考价值。
刘梅霞古天龙
关键词：ADHOC网络GSPN故障频率
Web服务组合中非确定性特征交互的Petri网检测被引量：5
2007年
针对Web服务组合中出现的非确定性特征交互的检测问题,采用有色Token表示服务特征信息,建立了Web服务组合的有色Petri网模型。并在此模型的基础上,对非确定性特征交互问题进行了形式化定义。根据问题的规模不同,利用有色Petri网的可达树穷尽搜索法和P-不变量法,设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明,这两个算法在不同问题规模中是正确、有效的。
冯良炳古天龙
关键词：WEB服务组合PETRI网特征交互非确定性
安全协议系统安全属性定量计算方法
2007年
定量分析安全协议系统是保证协议安全的必要环节。根据建立的安全协议系统的SMRP模型,给出了安全协议系统安全属性的计算方法,并从攻击者的角度讨论其累积报酬计算问题,通过NS协议(公钥协议)实例给出了分析过程,很好地解释了以NS协议为基础的安全协议系统未产生重大损失的原因。结果表明,SMRP模型可以较好地定量分析安全协议系统。
李云辉古天龙
基于带权无向连接图的子装配体识别方法研究被引量：8
2008年
子装配体识别是解决大规模装配序列规划问题的有效方法之一。为了高效、自动地识别子装配体,根据零件联接类型,建立了装配体的带权无向连接图模型。通过边权值的设定,使得装配体的带权无向连接图能够提供Ⅰ型和Ⅱ型子装配体识别所需的联接信息。将带权无向连接图与装配体的干涉矩阵和支撑矩阵相结合,设计并实现了Ⅰ型和Ⅱ型子装配体的识别算法。与有向连接图模型中子装配体识别算法相比,能够有效消除识别过程中对两种类型子装配体的冗余判断。实验结果表明,识别算法能够有效的进行两种类型子装配体的识别。
张勐古天龙
关键词：装配序列规划
基于SPIN的无线传感器网络安全协议建模与分析被引量：4
2009年
模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一种适用于无线传感器网络的安全协议形式化建模分析方法。它充分借鉴了传统有线网络安全协议的建模方法,在其基础上充分考察了无线传感器网络的通信环境以及网络节点,建立起一个全面并且直观的安全协议运行模型。以A.Perrig等人提出的SPINS安全协议为例,应用模型检验工具SPIN对其认证性和机密性等安全需求进行了分析验证,发现了该协议存在的漏洞。实例分析证实了模型检验方法在分析无线传感器网络安全协议时的有效性,从而推进了其在安全协议分析方面的应用范围。
敬超常亮古天龙
关键词：无线传感器网络PROMELA
基于Petri网模型的Ad Hoc网络可生存性分析被引量：7
2008年
基于Ad Hoc网络动态拓扑结构难以用模型精确描述的特性,建立了可以表示网络中任意两个结点之间动态数据传输关系的Petri网模型,通过计算两个结点连通的概率和在规定时间内成功传输给定长度数据的概率,对网络的可生存性进行了研究,同时举例分析了结点传输范围和平均邻居结点数目两个网络因素对可生存性的影响。实验结果可以指导用户对网络可生存性进行度量,或根据实际的可生存性需求,调整相应的网络参数。
张慧敏古天龙
关键词：ADHOC网络动态拓扑可生存性PETRI网
全选 清除 导出
共1页<1>
聚类工具0