收藏本站
《计算机科学》 2006年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

空间逻辑的一个定义框架及其可判定性

颜锋  陈韬略  韩婷婷  吕建  
【摘要】:空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据此可以构造各种空间逻辑,并对它们的可判定性进行考察,从而指出影响空间逻辑的可判定性的关键因素。

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 ;2011年选题方向和重点栏目组稿内容[J];计算机应用;2011年S1期
2 ;IPDPS 2012 PhD Forum(博士生论坛)论文征集[J];计算机工程与设计;2011年09期
3 陈辉林;陈伟;王爱国;关春喜;;中间件软件开发构架探讨[J];工业设计;2011年05期
4 华翔;康凤举;;一种分布式的电磁场可视化叠加法[J];西安邮电学院学报;2011年04期
5 李玲玲;高新;;基于上下文感知的移动计算应用[J];软件导刊;2011年06期
6 李静;高正红;黄江涛;赵轲;;基于分布式粒子群算法的翼型优化设计[J];空气动力学学报;2011年04期
7 梁茹冰;刘琼;;使用MSS维护语义缓存一致性的方法[J];华南理工大学学报(自然科学版);2011年07期
8 杨爱军;王红艳;;分布式雷达产品生成系统设计[J];山东农业大学学报(自然科学版);2011年04期
9 金欣;王晶;沈奇威;;分布式最小生成树聚类的设计与实现[J];计算机系统应用;2011年07期
10 蒋杰;;深入浅出数据仓库平台统一架构[J];程序员;2010年11期
中国重要会议论文全文数据库 前10条
1 陈嘉莉;王泽兵;;移动计算中的数据广播技术[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
2 段德丰;钟慧娟;刘肖琳;;分布式计算在可视化仿真中的应用研究[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
3 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
4 涂丹丹;向琳;左德承;杨孝宗;;移动对象数据库管理技术[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
5 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
6 操龙兵;戴汝为;;基于智能信息主体的综合集成研讨厅软件体系研究[A];钱学森科学贡献暨学术思想研讨会论文集[C];2001年
7 苏运霖;;网格计算在电网管理中的应用[A];第十一届全国电工数学学术年会论文集[C];2007年
8 许刚;丁治明;买建英;孟小峰;;嵌入式移动数据库在军事中的应用[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
9 马明全;周明全;耿国华;;分布式大规模交通网络实时模拟系统[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 胡同森;陈庆章;;利用CORBA实现对各类关系数据库的访问[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
中国重要报纸全文数据库 前10条
1 本报记者 史剑;付建栋:移动计算是管理系统的执行工具[N];通信信息报;2004年
2 高毅;移动计算的安全问题不容忽视[N];人民邮电;2009年
3 于尚民;IONA SOA:全面改善IT系统[N];通信产业报;2007年
4 本报记者 吴玉征;移动计算创造新价值观[N];计算机世界;2009年
5 本报记者 杨洁;Sybase:移动计算与云技术推动数据库创新[N];中国计算机报;2009年
6 卢育辉 通讯员 郑昊;开发物流移动计算实时管理系统[N];广东科技报;2007年
7 何进伟;迈向分布式计算的C++[N];中国计算机报;2002年
8 本报特约撰稿 陈杰;移动与云计算引领开源新浪潮[N];计算机世界;2008年
9 本报记者 史剑 综合整理;移动计算数据采集分析全程案例演示[N];通信信息报;2004年
10 本报记者  伊文;让信息随时随地流动[N];计算机世界;2006年
中国博士学位论文全文数据库 前10条
1 姚鹤岭;基于REST的GIS Web服务研究[D];中国人民解放军信息工程大学;2005年
2 龙环;灰箱演算的操作语义及表达能力研究[D];上海交通大学;2009年
3 骆正虎;移动Agent系统若干关键技术问题研究[D];合肥工业大学;2002年
4 程欣;面向环和结的分布式死锁检测算法研究[D];哈尔滨工业大学;2006年
5 谢鲲;布鲁姆过滤器查询算法及其应用研究[D];湖南大学;2007年
6 齐德昱;可扩展的独立分布式应用互操作与集成模型[D];华南理工大学;1999年
7 李智超;移动计算关键技术研究[D];天津大学;2006年
8 徐向华;可适应的实时协同编辑系统若干问题研究[D];浙江大学;2005年
9 李成安;分布式环境下聚类分析新方法的研究[D];浙江大学;2006年
10 苑洪亮;基于内容的“发布/订阅”若干关键技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 韦敏;反射式移动应用中间件的研究[D];河海大学;2006年
2 张永红;基于移动数据库的“防汛掌上通”系统的设计与实现[D];武汉大学;2005年
3 向晓明;基于分布式蚁群算法的TSP问题研究[D];西南交通大学;2009年
4 申海;移动数据库中移动事务处理的关键技术研究[D];沈阳工业大学;2005年
5 王明宇;基于Mesh网络连通性问题求解的分布式计算平台的设计与实现[D];中南大学;2004年
6 王坤;基于分布式计算技术的RP通用软件系统的应用研究[D];南京航空航天大学;2002年
7 吴荣腾;基于DCOM的分布并行计算系统[D];福州大学;2004年
8 郭春燕;基于SOA的企业应用的研究与实现[D];大连理工大学;2006年
9 丁大虎;一个基于Web的分布式的共享数据库的工作流管理系统DFlow[D];天津大学;2005年
10 李明;基于CORBA的态势推演系统的设计与实现[D];国防科学技术大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026