稳定模糊谓词与谓词转换器

来源 :上海师范大学 | 被引量 : 0次 | 上传用户:mzhouliqun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对稳定模糊谓词与谓词转换器进行了研究。文章提出了一种新的模糊谓词----稳定模糊谓词,它是一个从相容交的dcpo D到[0,1]闭区间的稳定映射,其目的是讨论模糊谓词的稳定性。本文证明了dcpo D上的所有稳定模糊谓词构成的集合在点式序下构成一个模糊的ξ-半拓扑,举例说明了稳定模糊谓词在线性和运算下未必封闭,但一些特殊的稳定模糊谓词具有这个性质。给出了稳定模糊谓词的数乘运算仍是稳定模糊谓词的证明,同时证明D上所有相容开集构成的ξ-半拓扑与D上所有稳定模糊谓词构成的模糊ξ-半拓扑是同态的。为了描述程序的语义,建立完全相容稳定模糊谓词转换器,给出她与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。
其他文献
非线性算子方程的解法作为数值分析研究的一项课题,不仅在基础数学和应用数学中占有重要地位,在工程、物理、经济和金融等领域也有广泛的实际应用.求解非线性方程,通常用迭代法
虽然历经四次审议,其中对劳务派遣的规定也经多次修改,但仍存在立法上的含糊与不足之处,本文通过对第六十六条规定的"临时性"、"辅助性"、"替代性"逐个剖析,来论证对于劳务派
设X是简单无向正则图.如果X没有孤立点, AutX传递作用在弧集合上,我们说X是弧传递的或对称的.设G≤AutX,若G传递地作用在点集V(X)或边集E(X)上,我们分别说X是G-点传递或G-边传递的.
函数逼近是逼近论的一个重要组成部分,随着科学技术的迅速发展,它与小波分析,神经网络,统计等有着紧密的联系.本文主要研究了Szász-Mirakjan算子的正则性,以及Szász-Mirakjan算
排序(Scheduling)就是在一定的约束条件下对工件和机器按时间进行分配和安排加工次序,使一个或多个目标达到最优.排序论作为运筹学的一个重要分支,目前受到国内外学者的广泛关注
本篇论文主要在实Banach空间中,研究了渐近拟伪压缩型映像的带误差的修改的Ishikawa迭代序列强收敛性,有限族增生算子公共零点的粘性逼近法,以及渐近非扩张映像不动点的迭代算法
在统计决策理论中,针对不同的已有信息,人们提出了有很多种决策准则,如:Bayes准则,Neyman-pearson准则,极大后验准则,序贯准则。其中,除Neyman-pearson准则外,其它决策准则都需要知道
摘 要 早在“十五”期间,党就明确指出了:“把经济结构调整作为主线”,中央这一决策充分体现了经济结构调整对未来中国经济发展的重要性。金融危机期间凸显的内外失衡问题,也昭示了对经济结构进行战略性调整已经成为我国经济发展面临的紧迫任务。  关键词 产业结构 居民收入差距  中图分类号:F590.3文献标识码:A    一、经济结构调整中存在的主要问题    内外经济结构扭曲和资源配置低效是潜在危机根源