贵州省科学技术基金(GGY2004002)
- 作品数：7 被引量：13H指数：2
- 相关作者：李祥江华谭新星韩玲玲郑进远更多>>
- 相关机构：贵州大学韶关学院更多>>
- 发文基金：贵州省科学技术基金更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- Petri网性质的线性时序逻辑描述与Spin检验被引量：1
- 2006年
- Petri 网是描述并发系统的很直观的图形工具;Spin 是一种著名的分析验证并发系统性质的工具。本文首先论述 Petri 网性质的线性时序逻辑描述,研究用 Promela 编程描述 Petri 网和用 Spin 对 Petri 网性质进行检验的方法,最后通过两个具体的示例说明这种方法是成功的。
- 段风琴李祥
- 关键词：SPINPROMELAPETRI网线性时序逻辑
- 基于π-演算的安全协议描述与验证
- 2008年
- π-演算是以进程间移动通信为研究重点的并发理论,本文扼要叙述π-演算的基本概念,论述了如何用π-演算描述和验证安全协议,具体以Station-to-Station协议的一个不完全版本为例进行了分析,发现并在π-演算的工具MWB中证实了协议中存在的一个攻击,分析受到攻击的原因并给出了协议的改进版本.
- 江华谭新星李祥
- 关键词：Π-演算密码协议
- 一种求解背包问题的自适应算法被引量：2
- 2008年
- 针对二表算法和动态二表算法求解背包问题,提出一个并行自适应算法,能用2δ个处理机、O(ε2(n-δ)/2)的时间、O(2(n+δ)/2-ε)的空间求解背包问题(0≤δ≤n/5,1≤ε≤(n-δ)/4),根据处理机的数目以及存储器的容量来选择参数,充分利用已有的硬件资源,以求得最快的求解速度。实验结果证明了该算法的有效性。
- 江华谭新星李祥
- 关键词：背包问题NP问题
- 带口令的安全盒子环境演算
- 2007年
- 带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。
- 江华李祥
- 关键词：移动计算进程代数网络计算
- Visual Prolog 6面向对象技术与应用被引量：7
- 2005年
- VisualProlog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言。文章讨论了VisualProlog6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”的示例,经运行测试,效果良好。
- 郑进远韩玲玲李祥
- 关键词：VISUALPROLOG专家系统面向对象
- μ-演算嵌套不动点表达式分块计算算法被引量：1
- 2008年
- 利用叠代计算μ-演算公式时的单调特性,提出了一个分块计算嵌套μ-演算公式的全局算法,算法时间复杂度为O(nd/2),空间复杂度为O(d×n)。由于算法的空间复杂度低,使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能,这在模型检测方面有着非常重要的意义。
- 江华谭新星李祥
- 关键词：计算复杂度NP
- 通信系统演算CCS与自动验证工具MWB被引量：2
- 2005年
- 移动工作台MWB(Mobility Workbench)是为π-演算开发的一个自动验证工具,可对用π-演算、通信系统演算(CCS)等描述的移动并发系统进行分析与验证;首先扼要叙述CCS的基本概念,然后介绍MWB在Windows下的应用情况,最后以著名的交换比特协议(ABP)为例说明用MWB分析CCS进程的方法。
- 李元李祥
- 关键词：Π-演算
