完全相容稳定模糊谓词转换器

来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:tcfan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定楔糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相客稳定模糊谓词转换器一定是状态转换器。
其他文献
在全省认真贯彻省政府召开的全省农业基础建设电视电话会议精神,广泛开展农田水利基本建设的关键时期,我们在拜泉县召开这次全省农田水利基本建设现场推进会议,目的就是认真总结
期刊
<正> 绥滨县位于黑龙江省东北部,黑龙江、松花江两江汇合的三角洲地带,大气降雨和地表水补给,形成了丰富、均衡的地下水资源,但水质较差,部分指标严重超标,必须进行地下水处
<正> 水文频率计算,我国普遍采用数理统计的方法。其中,最常用的是P-Ⅲ型分布。下面就水文频率计算中的样本代表性问题提出一点意见,与大家商讨。 一、样本代表性问题 求总体
<正> 芍陂,今称安丰塘,位于安徽省寿县,这是一座蜚声中外的古代水利工程,属国家级历史文物保护单位。2500多年前,芍陂为楚令尹孙叔敖始建,汉景帝时重修。建国后整修数次,蓄水
在L-fuzzy拓扑空间上,研究了可数S^*-紧和可数S-紧的相关性质和特征。并就可数S^*-紧、可数S-紧以及S-Lindeloef性质三者之间的关系进行了研究,得到了满足S-Lindeloef性质的可数S
针对一类非仿射的不确定非线性系统,利用H^∞控制技术和模糊系统,提出一种基于观测器的混合的直接自适应模糊控制方法,该方法不需要系统的状态变量完全可测,同时取消了最优逼
本文主要介绍了某高层学生公寓的结构选型、结构设计,通过对该工程结构受力计算和经济分析表明:转换梁设计要结合转换层上部和下部结构特性,考虑选择合适的结构,使上部墙体和
给出(∈,∈∨q(λ,μ))一凸模糊集的定义,讨论它们的一些基本性质。
对拟连续DomainD证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)|max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σ(D))为零维Tychonoff空间,其中σb(D)为D上Sco
Linux操作系统作为最具代表性的开源软件,其安全、稳定、高效和灵活的特点日益得到重视和认可。本文通过对Linux系统的优势、应用和当前教育现状的分析,对高等院校开设Linux应