贵州省科学技术基金(GGY2004002)

作品数：7被引量：9H指数：2
导出分析报告
相关作者：李祥江华谭新星韩玲玲郑进远更多>>
相关机构：贵州大学韶关学院更多>>
相关期刊：《通信技术》《韶关学院学报》《电脑与信息技术》《计算机工程》更多>>
相关主题：Π-演算VISUAL_PROLOGVISUALPROLOG面向对象更多>>
相关领域：自动化与计算机技术电子电信理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种求解背包问题的自适应算法被引量：2
《计算机工程》2008年第4期7-9,共3页江华 谭新星 李祥 
贵州省科学基金资助项目(GGY2004002)
针对二表算法和动态二表算法求解背包问题,提出一个并行自适应算法,能用2δ个处理机、O(ε2(n-δ)/2)的时间、O(2(n+δ)/2-ε)的空间求解背包问题(0≤δ≤n/5,1≤ε≤(n-δ)/4),根据处理机的数目以及存储器的容量来选择参数,充分利用已...
关键词：背包问题 NP问题 并行算法 时间-存储器-处理机折中 
基于π-演算的安全协议描述与验证
《韶关学院学报》2008年第3期5-9,共5页江华 谭新星 李祥 
贵州省科学基金项目(GGY2004002)
π-演算是以进程间移动通信为研究重点的并发理论,本文扼要叙述π-演算的基本概念,论述了如何用π-演算描述和验证安全协议,具体以Station-to-Station协议的一个不完全版本为例进行了分析,发现并在π-演算的工具MWB中证实了协议中存在...
关键词：Π-演算 密码协议 Station-to-Station协议 
μ-演算嵌套不动点表达式分块计算算法被引量：1
《计算机工程》2008年第2期4-7,共4页江华 谭新星 李祥 
贵州省科学基金资助项目(GGY2004002)
利用叠代计算μ-演算公式时的单调特性,提出了一个分块计算嵌套μ-演算公式的全局算法,算法时间复杂度为O(nd/2),空间复杂度为O(d×n)。由于算法的空间复杂度低,使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能,这在模型检测方...
关键词：模型检测 μ-演算 计算复杂度 NP co-NP问题 
带口令的安全盒子环境演算
《计算机工程》2007年第9期55-57,共3页江华 李祥 
贵州省科学基金资助项目(GGY2004002)
带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,...
关键词：移动计算 进程代数 移动环境演算 网络计算 
Petri网性质的线性时序逻辑描述与Spin检验被引量：1
《计算机科学》2006年第5期287-289,共3页段风琴 李祥 
贵州省科学基金项目(GGY2004002)
Petri 网是描述并发系统的很直观的图形工具;Spin 是一种著名的分析验证并发系统性质的工具。本文首先论述 Petri 网性质的线性时序逻辑描述,研究用 Promela 编程描述 Petri 网和用 Spin 对 Petri 网性质进行检验的方法,最后通过两个具...
关键词：模型检测 SPIN PROMELA PETRI网 线性时序逻辑 
Visual Prolog 6面向对象技术与应用被引量：3
《电脑与信息技术》2005年第5期39-42,共4页郑进远 韩玲玲 李祥 
贵州省科学基金项目(GGY2004002)
VisualProlog是国际上广泛流行的功能强大的通用智能化应用集成开发环境,它是基于Prolog的强类型的面向对象程序设计语言。文章讨论了VisualProlog6的面向对象技术及其在专家系统设计中的应用,实现了一个称为“失踪儿童协寻专家系统”...
关键词：VISUAL PROLOG 专家系统 面向对象 
通信系统演算CCS与自动验证工具MWB被引量：2
《通信技术》2005年第S1期178-180,共3页李元 李祥 
贵州省科学基金资助项目(GGY2004002)
移动工作台MWB(Mobility Workbench)是为π-演算开发的一个自动验证工具,可对用π-演算、通信系统演算(CCS)等描述的移动并发系统进行分析与验证;首先扼要叙述CCS的基本概念,然后介绍MWB在Windows下的应用情况,最后以著名的交换比特协议...
关键词：Π-演算 通信系统演算(CCS) 移动工作台(MMB) 交换比特协议(ABP) 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部