期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
谓词/变迁系统对一阶谓词公式的建模 被引量:3
1
作者 耿霞 吴哲辉 张继军 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期9-15,共7页
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构... 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。 展开更多
关键词 谓词/变迁系统 一阶谓词公式 逻辑联结词 二叉树 事实变迁 递归性质
下载PDF
计算网格的抽象定义 被引量:1
2
作者 曾国荪 陈闳中 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第9期1092-1097,共6页
计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,... 计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。 展开更多
关键词 计算网格 形式定义 谓词/变迁系统 点火规则
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部