切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
完全相容稳定模糊谓词转换器
完全相容稳定模糊谓词转换器
来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:tcfan
【摘 要】
:
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定楔糊谓词转换器的拓扑
【作 者】
:
马艳芳
陈仪香
【机 构】
:
华东师范大学软件学院计算理论研究所,上海市高可信计算重点实验室
【出 处】
:
模糊系统与数学
【发表日期】
:
2009年6期
【关键词】
:
DOMAIN理论
半拓扑
稳定模糊谓词
完全相容稳定模糊谓词转换器
Domain Theory
Semi-topology
Stable Fuzzy Pre
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定楔糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相客稳定模糊谓词转换器一定是状态转换器。
其他文献
学习拜泉经验 发扬拜泉精神全面掀起农田水利基本建设新高潮──在全省农田水利基本建设现场推进会议上的讲话
在全省认真贯彻省政府召开的全省农业基础建设电视电话会议精神,广泛开展农田水利基本建设的关键时期,我们在拜泉县召开这次全省农田水利基本建设现场推进会议,目的就是认真总结
期刊
绥滨地下水处理工艺简介
<正> 绥滨县位于黑龙江省东北部,黑龙江、松花江两江汇合的三角洲地带,大气降雨和地表水补给,形成了丰富、均衡的地下水资源,但水质较差,部分指标严重超标,必须进行地下水处
期刊
绥滨县
原水
水质
除铁
除锰
曝气
地下水处理
水文频率计算中历史洪水的处理问题
<正> 水文频率计算,我国普遍采用数理统计的方法。其中,最常用的是P-Ⅲ型分布。下面就水文频率计算中的样本代表性问题提出一点意见,与大家商讨。 一、样本代表性问题 求总体
期刊
历史洪水
水文频率计算
水面线法
洪峰流量
水文站
实测资料
我国古代水利工程景观
<正> 芍陂,今称安丰塘,位于安徽省寿县,这是一座蜚声中外的古代水利工程,属国家级历史文物保护单位。2500多年前,芍陂为楚令尹孙叔敖始建,汉景帝时重修。建国后整修数次,蓄水
期刊
中国
古代
水利工程
都江堰
京杭运河
灵渠
郑国渠
一种新的可数紧性
在L-fuzzy拓扑空间上,研究了可数S^*-紧和可数S-紧的相关性质和特征。并就可数S^*-紧、可数S-紧以及S-Lindeloef性质三者之间的关系进行了研究,得到了满足S-Lindeloef性质的可数S
期刊
模糊拓扑学
βa-开覆盖
S-紧
S^*-紧
可数紧
S-Lindeloef性质
Fuzzy Topology
βa-open Cover S^*-compa
一类非仿射不确定非线性系统的自适应模糊输出反馈控制
针对一类非仿射的不确定非线性系统,利用H^∞控制技术和模糊系统,提出一种基于观测器的混合的直接自适应模糊控制方法,该方法不需要系统的状态变量完全可测,同时取消了最优逼
期刊
模糊控制
非线性系统
非仿射系统
自适应控制
观测器
稳定性
Fuzzy Control
Nonlinear Systems
Nonaffine
Adapt
某高层学生公寓结构体系选择
本文主要介绍了某高层学生公寓的结构选型、结构设计,通过对该工程结构受力计算和经济分析表明:转换梁设计要结合转换层上部和下部结构特性,考虑选择合适的结构,使上部墙体和
期刊
转换梁
异型柱
结构刚度
(∈,∈∨q(λ,μ))-凸模糊集
给出(∈,∈∨q(λ,μ))一凸模糊集的定义,讨论它们的一些基本性质。
期刊
模糊代数
重域
凸模糊集
下半连续
Fuzzy Algebra
Quasi-coincidence
Convex Fuzzy Set
Lower Semi
拟连续Domain的若干拓扑性质
对拟连续DomainD证明了:(1)双拓扑空间(D,σ(D),(D))为两两完全正则空间;(2)若D有可数基,则(max(D),σ(D)|max(D))为正则空间当且仅当它为Polish空间;(3)拓扑空间(D,σ(D))为零维Tychonoff空间,其中σb(D)为D上Sco
期刊
拟连续DOMAIN
两两完全正则
极大点
POLISH空间
b-拓扑
Quasicontinuous Domain
Pairwise Completely R
高校开设Linux操作系统应用课程的必要性探究
Linux操作系统作为最具代表性的开源软件,其安全、稳定、高效和灵活的特点日益得到重视和认可。本文通过对Linux系统的优势、应用和当前教育现状的分析,对高等院校开设Linux应
期刊
应用课程
开源软件
与本文相关的学术论文