您的位置: 专家智库 > >

甘肃省自然科学基金(3SZ051-A25-037)

作品数:9 被引量:17H指数:3
相关作者:王继曾周隽曹志强满自斌卢鹏丽更多>>
相关机构:兰州理工大学湖南师范大学更多>>
发文基金:甘肃省自然科学基金更多>>
相关领域:自动化与计算机技术理学更多>>

文献类型

  • 9篇期刊文章
  • 1篇会议论文

领域

  • 6篇自动化与计算...
  • 3篇理学
  • 1篇电子电信

主题

  • 3篇多项式
  • 3篇生成树
  • 3篇CHEBYS...
  • 2篇性能分析
  • 2篇循环图
  • 2篇移动AGEN...
  • 2篇通信
  • 2篇通信机制
  • 2篇通信失效
  • 2篇会话
  • 2篇会话初始化协...
  • 2篇计数
  • 2篇工作流
  • 2篇广义随机PE...
  • 2篇SIP
  • 2篇初始化
  • 1篇信息表
  • 1篇异常处理
  • 1篇邮箱
  • 1篇有色PETR...

机构

  • 10篇兰州理工大学
  • 1篇湖南师范大学

作者

  • 6篇王继曾
  • 3篇周隽
  • 2篇卢鹏丽
  • 2篇杨鹏
  • 2篇满自斌
  • 2篇袁占亭
  • 2篇曹志强
  • 1篇张远平
  • 1篇田野
  • 1篇李四海
  • 1篇张智勇

传媒

  • 3篇微计算机信息
  • 2篇兰州理工大学...
  • 1篇甘肃科学学报
  • 1篇兰州大学学报...
  • 1篇系统仿真学报
  • 1篇计算机工程与...

年份

  • 1篇2008
  • 8篇2007
  • 1篇2005
9 条 记 录,以下是 1-10
排序方式:
切比雪夫多项式与循环图中生成树的个数
2007年
生成树的个数是评估图(网络)可靠性的一个重要且被广泛研究的量.利用切比雪夫多项式的性质推出了循环图中计算生成树个数的在线性时间内即可实现的方法,并讨论了渐进特性.
卢鹏丽
关键词:生成树循环图CHEBYSHEV多项式
基于邮箱的移动Agent通信机制的改进算法被引量:3
2007年
在基于邮箱的移动Agent通信机制上提出一种改进算法,通过移动Agent留下特殊的、具有一定智能性的邮箱来转发消息,实现移动Agent高效和可靠的消息传输。进一步提高了通信效率而且减小了由于邮箱所在节点出现故障而造成的损失。
王继曾满自斌
关键词:移动AGENT通信机制通信失效
动态工作流变更的有效处理被引量:5
2007年
本文探讨了一种处理动态工作流系统变更的方法。首先介绍了几种常见的处理工作流变更的方法,然后提出了一个对当前工作流的修改进行合并的有效处理算法,最后给出了一个实例以验证算法的有效性。
王继曾李四海
关键词:工作流柔性工作流工作流管理系统
基于广义随机Petri网的SIP的时延分析
在给出会话初始化协议(SIP)的服务工作过程的基础上,运用Petri网的方法建立了SIP的广义随机Petri网模型(GSPN),利用工具SPNP6.0,基于模型方法和软件仿真方法,对会话初始化协议(SIP)会话建立时延进...
杨鹏袁占亭王继曾
关键词:会话初始化协议广义随机PETRI网
文献传递
基于有色Petri网模型的OSPF路由性能分析被引量:4
2007年
在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.
王继曾曹志强周隽
关键词:有色PETRI网
基于广义随机Petri网的SIP的验证和性能分析被引量:2
2007年
在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。
杨鹏袁占亭王继曾
关键词:会话初始化协议广义随机PETRI网马尔可夫链性能分析
基于信息表的移动Agent通信机制被引量:1
2007年
通信是移动Agent必不可少的组成部分,许多研究者针对这一问题进行了深入的研究,并提出了一些移动Agent的通信机制,但是现有的这些通信机制在解决通信失效和消息追逐上都存在着一定的不足。针对这些问题,通过将信息表引入移动Agent的通信机制中,提出一种基于信息表的移动Agent通信机制。在这种通信机制中,把移动Agent要接收的消息按照其特性分为主动消息和被动消息,利用动态改变路标中信息表参数的方法来解决移动Agent之间通信所面临的难题.
王继曾满自斌周隽
关键词:移动AGENT通信信息表通信失效
步数可变循环图中生成树的计数
2007年
生成树的个数是评估图(网络)可靠性的一个重要且被广泛研究的量.一般的图还无简单有效的算法计算生成树的个数,利用切比雪夫多项式的性质推出了步数可变循环图中生成树计数的在线性时间内即可实现的算法,并应用于具体的图中.
卢鹏丽
关键词:生成树CHEBYSHEV多项式
基于案例推理的工作流异常处理研究被引量:2
2007年
对工作流的异常和案例推理(Case-Based Reasoning,简称CBR)的机制进行了介绍,给出了一个应用CBR技术进行异常处理的工作流模型,并研究了应用CBR方法处理工作流异常的机制。
王继曾周隽曹志强
关键词:工作流异常处理
组合图中生成树的计数
2005年
经典理论矩阵树定理用于图中生成树的计数并不实用,但利用Chebyshev多项式的性质作为工具,结合Kel’mans和Chelnokov的结果,可以给出较简单的方法对很多图中的生成树进行精确计数.通过给出一些组合图中生成树的计数进一步体现了该技术在其中所起的作用.
张远平田野张智勇
关键词:LAPLACIAN谱CHEBYSHEV多项式
共1页<1>
聚类工具0