最小不动点相关论文
本文定义了模糊集的*-运算，研究了模糊半环基于该运算的若干性质.首先，提供了本论文中常用的基本概念，基础知识等.然后定义了模糊集的......
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形......
Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出We......
提出了利用产生式规则的过程性特征对产生式知识库进行建模的方法.该方法在给出条件迁移定义的基础上引入不动点计算构建条件迁移......
在介绍约束逻辑程序的定义、可满足性及其稳定模型等概念的基础上，研究约束逻辑程序的正文字展开方法和约束原子的正文字前缀幂集方......
基于Web服务之间相互调用的历史信息，通过演绎和统计的方法挖掘服务之间所蕴含的依赖关系，从而构建服务有向图行为模型，该模型以各Web......
范畴论对理解程序规约及程序设计和正确性证明十分有用。PAR方法则是建立在严格的数学基础之上的一种统一的算法程序设计方法。循......
