共查询到10条相似文献,搜索用时 46 毫秒
1.
给出了模糊关系的不动点定义,以及找不动点的一些方法,阐述了不动点通路的性质。利用不动点及不动点通路的性质,改进了模糊关系传递闭包的计算方法。 相似文献
2.
给出了模糊关系的不动点定义,以及找不动点的一些方法,阐述了不动点通路的性质,利用不动点及不动点通路的性质,改进了模糊关系传递闭包的计算方法。 相似文献
3.
《陕西师范大学学报(自然科学版)》2015,(4)
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释,并利用归纳法证明此不动点为最大或最小不动点。结论表明,广义可能性计算树逻辑的不动点语义具有不同于经典情形的形式。 相似文献
4.
研究了一类神经网络模型的自治系统和不动点,发现随着参数w的变化,模型可能出现2-6个不动点,其中在3个和5个不动点时会出现分岔点.通过计算线性化矩阵和特征值,确定了各不动点和分岔点的性态. 相似文献
5.
赵增勤 《宁夏大学学报(自然科学版)》1992,13(2):15-19,32
本文利用锥的拟正规常数与P_r紧映射的不动点指数性质讨论了P_r紧映射的不动点指数计算,在一定的边界条件下得到了某些不动点定理与固有值存在性定理,推广了若干已知结果。 相似文献
6.
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法. 相似文献
7.
马蹄形非凸区域上计算Brouwer不动点 总被引:1,自引:0,他引:1
给出了马蹄形非凸区域上计算Brouwer不动点计算方法,以及马蹄形非凸区域上拟法锥的构造方法,证明了拟法锥条件成立,建立了组合同伦 方程,证明了同伦方程是收敛的、且收敛到Brouwer不动点。 相似文献
8.
郑雄军 《江西师范大学学报(自然科学版)》2006,30(4):318-321
通过对随机拓扑度的计算,在较一般的条件下得到了随机拉伸和压缩不动点定理,是Li Guo-zhen等文中随机拉伸和压缩不动点定理的推广和赵从江文中不动点定理的随机化,并给出了它在随机Ham-merstein型积分方程中的应用. 相似文献
9.
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数. 相似文献
10.
叶尚敏 《西南师范大学学报(自然科学版)》1992,17(1):19-26
本文引入了不必为锥映象的所谓容许凝聚映象的概念,建立了这种映象的不动点指数,并讨论了它的计算问题.本文推广了传统的锥映象的不动点指数,推广了锥拉伸与锥压缩不动点定理,得到了有关固有值和固有元存在性的几个定理. 相似文献