期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
论作为真理论的外在最小不动点理论
1
作者 张亮 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2017年第1期10-14,共5页
真谓词的内在最小不动点理论(KFS)因其弗完全性而饱受批评,外在最小不动点理论(KF)试图弥补KFS的不足。然而其刻画的真谓词不仅不满足实质恰当性的条件,还使真谓词丧失了表达同意与不同意的功能,另外KFS在一定程度上是自毁的。人们试图... 真谓词的内在最小不动点理论(KFS)因其弗完全性而饱受批评,外在最小不动点理论(KF)试图弥补KFS的不足。然而其刻画的真谓词不仅不满足实质恰当性的条件,还使真谓词丧失了表达同意与不同意的功能,另外KFS在一定程度上是自毁的。人们试图对KF进行辩护,遗憾的是,无论采取回避态度还是致力于解决这些困难,都无法让人接受KF是一个良好的真理论。 展开更多
关键词 真理 外在理论 内在理论 最小不动点理论
在线阅读 下载PDF
产生式知识库的不动点计算建模方法 被引量：1
2
作者 黄宏涛 黄少滨 张涛 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2010年第12期1655-1661,共7页
提出了利用产生式规则的过程性特征对产生式知识库进行建模的方法.该方法在给出条件迁移定义的基础上引入不动点计算构建条件迁移系统,将模型构建过程转换为求解状态集合构造函数最小不动点的过程,并给出了求解算法的正确性与可终止性证... 提出了利用产生式规则的过程性特征对产生式知识库进行建模的方法.该方法在给出条件迁移定义的基础上引入不动点计算构建条件迁移系统,将模型构建过程转换为求解状态集合构造函数最小不动点的过程,并给出了求解算法的正确性与可终止性证明;该方法的时间复杂度相对静态建模方法降低了一个量级,构造的条件迁移系统包含了状态迁移过程的完整信息,同时解决了静态建模方式构建的迁移系统信息丢失问题,提高了错误诊断的效率. 展开更多
关键词 产生式知识库 模型检测 条件迁移系统 建模 最小不动点
在线阅读 下载PDF
新偏序关系下的单调模糊映射的不动点定理
3
作者 刘倩 闫俊娜 付艳军 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2017年第6期657-661,共5页
为更好的研究模糊微分方程,通过对零模糊数以及模糊数的序关系的重新定义,并在新模糊数偏序关系,利用一维模糊数的表示定理给出了模糊序列的极限和收敛性,继而给出模糊数值函数收敛性和连续性以及相应的不动点定理.研究结果表明新的偏... 为更好的研究模糊微分方程,通过对零模糊数以及模糊数的序关系的重新定义,并在新模糊数偏序关系,利用一维模糊数的表示定理给出了模糊序列的极限和收敛性,继而给出模糊数值函数收敛性和连续性以及相应的不动点定理.研究结果表明新的偏序意义下的模糊数的收敛性以及不动点定理为模糊微分方程的解存在性提高更多的方便. 展开更多
关键词 模糊数 模糊映射 模糊映射的连续性 最大的不动点 最小的不动点
在线阅读 下载PDF
一类广义凝聚算子的不动点定理
4
作者 邢慧 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第5期639-642,共4页
给出广义凝聚算子和广义凸幂凝聚算子的概念,并证明这类新算子的最小和最大不动点的存在性。作为应用,研究了Banach空间中一类半线性发展方程初值问题的最小最大mild解的存在性。
关键词 广义凝聚算子 非紧性测度 最小最大不动点 半线性发展方程 MILD解
在线阅读 下载PDF
循环ALCN-Tbox具有模型的条件 被引量：13
5
作者 曹发生 余泉 +1 位作者 王驹 蒋运承 《计算机学报》 EI CSCD 北大核心 2008年第1期16-23,共8页
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone... 分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件. 展开更多
关键词 循环ALCN—Tbox NAME SYMBOL 最小不动点模型 最大不动点模型 Tbox单调
在线阅读 下载PDF
基于语义的Web服务行为建模方法 被引量：4
6
作者 岳昆 刘惟一 +1 位作者 李维华 周培骥 《郑州大学学报（理学版）》 CAS 2007年第4期126-129,133,共5页
基于Web服务之间相互调用的历史信息,通过演绎和统计的方法挖掘服务之间所蕴含的依赖关系,从而构建服务有向图行为模型,该模型以各Web服务为顶点,以服务间用概率形式表示的相关度为边上的权重.作为模型的应用,给出了基于该模型生成服务... 基于Web服务之间相互调用的历史信息,通过演绎和统计的方法挖掘服务之间所蕴含的依赖关系,从而构建服务有向图行为模型,该模型以各Web服务为顶点,以服务间用概率形式表示的相关度为边上的权重.作为模型的应用,给出了基于该模型生成服务合成向导的方法.实验结果表明该方法具有一定的可行性及有效性. 展开更多
关键词 WEB服务 行为建模 最小不动点 相关度
在线阅读 下载PDF
PAR方法和循环不变式的范畴语义 被引量：3
7
作者 屈文建 薛锦云 《计算机工程与应用》 CSCD 北大核心 2009年第8期50-54,共5页
范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对... 范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循环不变式在循环算法程序的设计中至关重要。使用格理论和范畴论作为工具对PAR方法建立一个理论框架,并对其用范畴论的概念加以解释,从而使得PAR有更强的理论基础。在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。 展开更多
关键词 循环不变式 最小不动点 范畴论 PAR方法
在线阅读 下载PDF
约束逻辑程序的良基模型研究 被引量：1
8
作者 常万军 郭祖华 魏昆鹏 《计算机工程》 CAS CSCD 2013年第9期298-302,共5页
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得... 在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上,研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方法,对展开前后逻辑程序的等价特性进行逻辑证明。分析正规逻辑程序良基模型的构建方法,以求得经展开得到的等价正规逻辑程序的最小不动点为切入,给出简单约束逻辑程序交替不动点的良基语义模型。经推理证明,该良基模型是合理的,用该模型的构建方法将约束逻辑程序转化为正规逻辑程序也是可行的。 展开更多
关键词 正规逻辑程序 约束逻辑程序 回答集 最小不动点 良基模型 前缀幂集
在线阅读 下载PDF
一种支持Web服务合成的行为建模方法
9
作者 全立新 《科学技术与工程》 2007年第17期4296-4300,共5页
Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实... Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。 展开更多
关键词 WEB服务 服务合成 行为模型 最小不动点 频繁度
在线阅读 下载PDF
程序求值与广义部分计算
10
作者 Yoshihiko Futamura 何玉兰 《计算机工程与科学》 CSCD 1990年第4期91-101,共11页
广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序... 广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对程序进行部分求值。而GPC不仅直接利用已知值,而且还利用下列信息。1.被部分求值程序的逻辑结构。2.程序设计语言的抽象数据类型。GPC是令人感到生疏和新奇的(1987年提出),甚至连常规的部分计算也没有被计算机科学界很好地理解。本文讨论(1) 部分计算诱人的特性,(2) 程序求值器,部分求值器和广义部分求值器的差别,(3) GPC原理及应用。 展开更多
关键词 求值 程序变换 抽象数据类型 定义函数 定理证明 程序设计语言 递归调用 谓词逻辑 最小不动点 函数调用
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部