搜索到10篇“ 细胞膜演算“的相关文章
利用细胞膜演算描述带子句学习的DPLL算法被引量:1
2019年
为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。
李壮刘磊吕帅任俊绮
关键词:人工智能形式化方法DPLL细胞膜演算
基于细胞膜演算的Dryad形式化描述
近年来,随着计算、通信和存储等技术的快速发展,出现了一种崭新的商业计算模式—云计算。作为一种新兴的计算模式,云计算在科学计算和商业计算领域中均发挥着重要作用,受到了当前学术界和产业界的广泛关注。编程模型是云计算研究中的一...
刘丰
关键词:云计算编程模型细胞膜演算
基于细胞膜演算的Dryad形式化描述被引量:2
2016年
由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。
刘磊刘丰任俊绮吕帅
关键词:云计算编程模型细胞膜演算形式化有向无环图
基于细胞膜演算的伴随子句学习的DPLL算法描述
尽管命题逻辑中可满足性问题是NP-完全问题,但仍然存在SAT求解器能在当今计算机领域很多的相关现实问题。对于结构化问题,最快的SAT求解器是基于回溯程序的被称之为DPLL算法,扩展额外的技术如子句学习。伴随子句学习的DP...
李壮
关键词:DPLL细胞膜演算
Web服务组合事务处理及基于细胞膜演算的正确性分析被引量:1
2008年
事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型WS-CTM,并基于细胞膜演算对模型的正确性进行了验证。
姚绍文唐明靖危兵
关键词:WEB服务事务处理细胞膜演算
基于细胞膜演算的Web服务事务处理形式化描述与验证被引量:10
2006年
采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT.针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态.模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性.进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因.
戚正伟尤晋元
关键词:细胞膜演算事务处理形式化方法
细胞膜演算:一种新的事务处理形式化方法研究
目前,Web服务逐渐普及,网格计算方兴未艾,移动无线网络逐步推广,在这些并发、分布和移动环境下,对事务处理的模型、语言和原型的研究正在展开.越来越多的电子商务和科学应用运行在异种平台上,应用程序之间相互通信采用基于消息的...
戚正伟
关键词:细胞膜演算事务处理形式化描述操作语义
细胞膜演算 一种新的事务处理形式化方法研究
戚正伟
Web服务组合事务处理模型及其形式化研究
Web 服务的主要目标是在各种异构平台的基础上构建一个通用的与平台无关、与语言无关的技术层,各种不同的应用依靠这个平台实施彼此的连接与集成。Web服务组合是通过组合现有的基本Web服务,为用户提供更可靠、更灵活的增值服务...
唐明靖
关键词:WEB服务组合事务处理模型细胞膜演算重写逻辑
基于重写逻辑的Web服务事务处理形式化描述被引量:4
2005年
Web服务的事务处理研究越来越活跃,对于 Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出了一种基于重写逻辑的 Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的 Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析.
戚正伟毛宏燕尤晋元
关键词:WEB服务事务处理重写逻辑形式化方法细胞膜演算

相关作者

戚正伟
作品数:143被引量:100H指数:6
供职机构:上海交通大学
研究主题:虚拟机 内存 虚拟化 终端 虚拟机迁移
尤晋元
作品数:149被引量:806H指数:16
供职机构:上海交通大学电子信息与电气工程学院
研究主题:操作系统 INTERNET 软件开发 计算机网络 计算机
吕帅
作品数:80被引量:201H指数:10
供职机构:吉林大学
研究主题:规划方法 知识编译 触觉 可满足性 公理
刘磊
作品数:381被引量:1,221H指数:16
供职机构:吉林大学
研究主题:程序设计 本体 检定装置 汽车 营运汽车
唐明靖
作品数:36被引量:7H指数:1
供职机构:云南师范大学
研究主题:工艺品 基因调控网络 文本解析 WEB服务组合 聚类分析方法