最小不动点相关论文
该文研究了约束演绎的面向对象数据库语言－ＣＤＯＬ程序中对否定问题的处理，即采用层迭化的程序对否定问题做出一定限制。层迭化的ＣＤＯＬ程序具有最......
本文定义了模糊集的*-运算，研究了模糊半环基于该运算的若干性质.首先，提供了本论文中常用的基本概念，基础知识等.然后定义了模糊集的......
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形......
Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出We......
本文分析了循环终止性的特点,给出了实WHILE语句模型,简要地叙述了最小不动点理论,并结合到实循环函数上讨论了终止性的证明。......
提出了利用产生式规则的过程性特征对产生式知识库进行建模的方法.该方法在给出条件迁移定义的基础上引入不动点计算构建条件迁移......
高等数学和计算机科学是两门不同的学科,但又有着紧密的联系。高等数学的知识和手段在程序结构的许多遗留、疑难问题(如系统评估、......
利用Fan-Kakutani不动点定理,得到赋范线性空间中集值映射的最小不动点的存在定理. 作为应用,研究了半线性n阶常微分方程的不适定......
以不动点相关理论为基础，采用数据挖掘和概率统计的方法，对Web服务行为约束和概率统计语义的问题进行研究和分析。针对传统定性描述......
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方......
广义部分计算(GPC)是一种基于部分计算和定理证明的程序优化原理。常规的部分计算方法(或部分求值器)显然只利用了已知的参数值对......
基于Web服务之间相互调用的历史信息，通过演绎和统计的方法挖掘服务之间所蕴含的依赖关系，从而构建服务有向图行为模型，该模型以各Web......
范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循......
