期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于细胞膜演算的Dryad形式化描述 被引量：2
1
作者 刘磊 刘丰 +1 位作者 任俊绮 吕帅 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2016年第11期1539-1545,共7页
由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一... 由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。 展开更多
关键词 云计算 编程模型 Dryad 细胞膜演算 形式化 有向无环图
下载PDF
利用细胞膜演算描述带子句学习的DPLL算法 被引量：1
2
作者 李壮 刘磊 +1 位作者 吕帅 任俊绮 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2019年第4期799-804,共6页
为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求... 为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。 展开更多
关键词 人工智能 问题求解 形式化方法 自动推理 DPLL 子句学习 演算 细胞膜演算
下载PDF
适用于演化过程建模的通信膜演算 被引量：1
3
作者 任俊绮 刘磊 张鹏 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2018年第4期751-759,共9页
针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化... 针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。 展开更多
关键词 形式化方法 膜计算 通信机制 描述能力 形式化建模 自动机 系统演化 演化过程 软件产品线
下载PDF
基于π演算的云服务安全检测
4
作者 刘磊 任俊绮 +1 位作者 张鹏 申春 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第3期503-508,共6页
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比... 利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性. 展开更多
关键词 云服务 Π演算 越权访问 完整性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部