收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

SDL 的一阶谓词表示法及其应用

杨放春  陈俊亮  
【摘要】:SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张立群,鹿旭东,蒋志方;一种基于一阶谓词逻辑的模型表示方法[J];曲阜师范大学学报(自然科学版);2000年03期
2 张玉平;计算机科学中的一些逻辑理论的推理性质研究[J];计算机学报;1999年06期
3 廖志坚;基于关系的知识库的演绎查询[J];华南师范大学学报(自然科学版);1996年02期
4 张玉平;可定义的推导关系[J];中国科学E辑;1998年05期
5 王世同;层次逻辑,一种新的知识表示方法[J];计算机应用与软件;1990年06期
6 张健;一阶逻辑中约束求解的局部搜索法[J];软件学报;1998年08期
7 王巍;闫新庆;李文锋;陈定方;;一种在关系型数据库中存储OWL对象的方法[J];微计算机信息;2006年30期
8 陈振庆;刘长青;;UML状态图的逻辑语义及自动推理[J];贺州学院学报;2010年04期
9 杨放春;陈俊亮;;SDL/GR中间语言的设计方法[J];北京邮电大学学报;1990年04期
10 夏安邦;DSS的自然语言处理和问题求解[J];系统工程学报;1995年02期
11 左劼;唐常杰;陈瑜;徐开阔;林夏祥;朱军;;PHVB:基于GEP的一阶谓词逻辑规则挖掘算法[J];四川大学学报(工程科学版);2008年06期
12 陈振宇;袁毓林;张秀松;周强;;亲属关系的逻辑意义及其自动推理[J];计算机工程与应用;2009年16期
13 赵榆琴;黄和飞;;基于领域本体的需求获取与表示方法[J];大理学院学报;2010年04期
14 张学平;邵军力;王元元;程翼羽;;一种新的基于假设的自然推理系统[J];解放军理工大学学报(自然科学版);1992年02期
15 方欢;印玉兰;徐誉尹;;利用谓词/变迁网证明的一阶谓词逻辑命题[J];计算机工程;2006年23期
16 杨波;薛锦云;;开发等式比较SQL查询语句的一种模型推理方法[J];计算机工程与应用;2007年22期
17 丁凤丽;;Prolog语言的开发与研究[J];软件导刊;2008年09期
18 臧明相;王甜甜;黄战武;;一种电路板智能审查方法[J];计算机工程;2011年07期
19 袁迅;陈俊亮;;SDL语言的测试数据选择标准[J];北京邮电大学学报;1991年01期
20 张健;有限构模器的扩展及其在形式化方法中的应用[J];计算机学报;2000年02期
中国重要会议论文全文数据库 前9条
1 吴凌坤;汤庸;汤娜;;一种基于时态描述逻辑的工资智能决策支持系统的实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
2 陈红梅;王丽珍;;对象概念层次树的构造[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
3 温钰洪;王克宏;;知识库系统知识查询语言用户接口设计及其实现[A];第九届全国数据库学术会议论文集(下)[C];1990年
4 姚永生;陈永年;;演绎数据库的查询优化[A];第九届全国数据库学术会议论文集(下)[C];1990年
5 余卫东;石树刚;郑振楣;;时态数据库的异常处理[A];第九届全国数据库学术会议论文集(上)[C];1990年
6 李晋晋;徐洁磐;陈栋;;面向属性的数据库知识发现[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
7 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
8 曹发生;;描述逻辑系统UEVN中概念的包含算法[A];“回顾与前瞻:中国逻辑史研究30年”全国学术研讨会论文集[C];2010年
9 何险峰;张祥峰;郑丽娟;薛勤;蔡元刚;;气象灾害本体设计[A];第28届中国气象学会年会——S10公共气象服务政策体制机制和学科建设[C];2011年
中国博士学位论文全文数据库 前1条
1 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年
中国硕士学位论文全文数据库 前9条
1 胡明辉;关系强化学习的研究与应用[D];长沙理工大学;2008年
2 耿霞;谓词逻辑推理中的Petri网应用[D];山东科技大学;2007年
3 肖浩;Web服务编排语言的分析与测试[D];华东师范大学;2011年
4 袁佳乐;描述逻辑归结推理的研究[D];华东交通大学;2009年
5 王慧芳;移动工作者业务过程情境建模及情境感知应用研究[D];大连理工大学;2010年
6 高晓兵;基于布尔格上的模糊动态描述逻辑(?)D-ALCN[D];广西师范大学;2010年
7 楼俊杰;基于马尔科夫逻辑网络的实体解析技术研究及系统实现[D];浙江大学;2010年
8 张瑞霞;基于描述逻辑的定性空间推理研究[D];重庆大学;2010年
9 段坤华;基于机械领域的知识表示的研究与应用[D];北京邮电大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978