切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
谓词转换器的拓扑语义
谓词转换器的拓扑语义
来源 :数学进展 | 被引量 : 0次 | 上传用户:jmzsren1
【摘 要】
:
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半拓扑空间概念,用以刻画连续谓词转换器的语
【作 者】
:
陈仪香
【机 构】
:
上海师范大学数学科学学院
【出 处】
:
数学进展
【发表日期】
:
2003年2期
【关键词】
:
谓词转换器
半拓扑空间
程序设计
D-半拓扑
稳定映射
SM-半拓扑空间
不确定程序
dI-domain
拓扑语义
stabel functions
semi
【基金项目】
:
国家自然科学基金,教育部高校骨干教师资助计划,上海市教委"曙光计划",上海市科技发展基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文利用半拓扑空间的连续映射建立Dijkstra谓词转换器的拓扑语义.引入D-半拓扑空间概念,用以建立相容谓词转换器的语义,引入SM-半拓扑空间概念,用以刻画连续谓词转换器的语义.针对不确定程序,本文引入了dI-domain上半稳定映射概念,给出了其等价刻画.
其他文献
植皮供区的美学探讨
目的探寻符合美学原则的植皮供区.方法从患者的腹股沟区切取全层皮肤,然后用取皮鼓修至中厚皮片,供区直接拉拢缝合,皮片游离移植覆盖躯干及四肢部的创面.结果从1998年11月~200
期刊
植皮供区
美学
皮肤缺损
皮片移植
Skin graft donor site
Groin
Cosmetic
琥珀酸美托洛尔缓释片联合曲美他嗪在冠心病不稳定型心绞痛治疗中的应用价值评价
目的:评价琥珀酸美托洛尔缓释片联合曲美他嗪在冠心病不稳定型心绞痛治疗中的应用价值。方法:2018年1月-2019年1月收治冠心病不稳定型心绞痛患者82例,随机分为两组各41例。对
期刊
冠心病不稳定型心绞痛
琥珀酸美托洛尔缓释片
曲美他嗪
Monte Carlo滤波新进展及其应用
非高斯、非线性的状态空间模型研究近年来有很多新的进展,在许多领域得到应用,其中用Monte Carlo方法进行滤波是一种简洁、方便的新方法,本文介绍这方面的新进展以及应用情况
期刊
MONTE
Carlo滤波
状态空间模型
序贯重要抽样
重抽样
高斯分布
state space
filtering
SIS
resampling
腹腔镜与开腹手术治疗上消化道穿孔疗效比较分析
目的:探讨腹腔镜与开腹手术治疗上消化道穿孔疗效差异。方法:2015年3月-2019年1月收治上消化道穿孔患者100例,随机分为两组各50例。对照组采取传统开腹手术治疗,观察组采用腹
期刊
腹腔镜
上消化道穿孔
传统开腹
起搏器电池状态的评估与测试
心脏起搏器植入手术已成为心脏疾病的重要治疗手段,但研究发现起搏器的治疗效果与起搏器电池状态有着重大关系。如何安全有效评估起搏器电池状态是目前临床研究又一重大方向,
期刊
心脏起搏器
电池状态的研究评估
方法学综述
经导管选择性脑动脉内介入溶栓治疗急性脑梗死应用分析
目的:探讨经导管选择性脑动脉介入溶栓治疗急性脑梗死的临床效果。方法我院2010-06-2013-06收治急性脑梗死患者43例,所有患者均给予尿激酶选择性脑动脉介入溶栓,记录患者ESS评分
期刊
急性脑梗死
动脉介入溶栓
应用
Pro—C^*—代数的顺从性和核性
研究了Pro-C*-代数的顺从性和核性.主要证明了(1)顺从Pro-C*-代数的闭理想是顺从的;(2)核Pro-C*-代数类对归纳极限封闭;(3)交换σ-C*-代数和核C*-代数都是核σ-C*-代数并且核
期刊
Pro-C^*-代数
顺从性
核性
闭理想
归纳极限
封闭性
σ-C^*-代数
BANACH代数
lmc-C^*-代数
Pro-C*-algebra
amen
YF120K蒸青茶加工成套设备简介
YF120K蒸青茶加工成套设备,是绍兴茶叶机械总厂在消化吸收国外同类机型基础上,结合国情自主开发蒸青茶加工设备,与进口设备相比有很多优点,如设备售价低,仅是进口设备20%左右
期刊
生产线
配置
YF120K蒸青茶加工成套设备
微创置管吸引术对高血压脑出血的治疗作用研究
目的:探讨微创置管吸引术对高血压脑出血的治疗作用。方法:2016年10月-2018年12月收治高血压脑出血需手术患者100例,随机分为两组。参照组采取常规开颅手术方案治疗,微创置管
期刊
微创置管吸引术
高血压脑出血
治疗作用
脑室-腹腔分流术中分流管腹腔端处理方式临床分析
目的通过动态观察脑室-腹腔(V-P)分流术后腹腔端分流管位置的变化,探讨V-P分流术中分流管腹腔端的处理方式与分流效果的关系。方法回顾分析我院采用V-P分流术治疗的33例脑积水
期刊
脑积水
脑室-腹腔分流术
头颅CT
腹部平片
与本文相关的学术论文