期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
谓词/变迁系统对一阶谓词公式的建模
被引量:
3
1
作者
耿霞
吴哲辉
张继军
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期9-15,共7页
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构...
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
展开更多
关键词
谓词/变迁系统
一阶
谓词
公式
逻辑联结词
二叉树
事实
变迁
递归性质
下载PDF
职称材料
计算网格的抽象定义
被引量:
1
2
作者
曾国荪
陈闳中
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003年第9期1092-1097,共6页
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,...
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。
展开更多
关键词
计算网格
形式定义
谓词/变迁系统
点火规则
下载PDF
职称材料
题名
谓词/变迁系统对一阶谓词公式的建模
被引量:
3
1
作者
耿霞
吴哲辉
张继军
机构
山东农业大学信息科学与工程学院
山东科技大学信息科学与工程学院
山东科技大学信息科学与工程学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期9-15,共7页
基金
国家自然科学基金(60673053
60603090)
山东省优秀中青年科学家奖励基金(2006BS01019)。
文摘
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
关键词
谓词/变迁系统
一阶
谓词
公式
逻辑联结词
二叉树
事实
变迁
递归性质
Keywords
predicate/transition system
first-order predicate expression
logic connective
binary tree
fact transition
recursive property
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
计算网格的抽象定义
被引量:
1
2
作者
曾国荪
陈闳中
机构
同济大学计算机科学与工程系
出处
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003年第9期1092-1097,共6页
基金
国家自然科学基金资助项目(60173026)
上海市科委基金资助项目(01ZD14067
025115037)
文摘
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。
关键词
计算网格
形式定义
谓词/变迁系统
点火规则
Keywords
computational grid
formal definition
predicate/transition system
firing rules
分类号
TP338 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
谓词/变迁系统对一阶谓词公式的建模
耿霞
吴哲辉
张继军
《系统仿真学报》
CAS
CSCD
北大核心
2007
3
下载PDF
职称材料
2
计算网格的抽象定义
曾国荪
陈闳中
《同济大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2003
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部