切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
连续Domain的基与权
连续Domain的基与权
来源 :工程数学学报 | 被引量 : 0次 | 上传用户:asdf716
【摘 要】
:
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念,并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。
【作 者】
:
赵彬
【机 构】
:
陕西师范大学数学系
【出 处】
:
工程数学学报
【发表日期】
:
2000年4期
【关键词】
:
连续DOMAIN
基
权
SCOTT拓扑
指称语义
程序语言
【基金项目】
:
国家自然科学基金资助项目 !(1 970 1 0 2 0 ),,全国高等院校优秀青年教师教学与科研奖励基金资助项目!(教人司 [2 0 0 0 ] 2 6号 )
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念,并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。
其他文献
动脉粥样硬化性脑梗死的亚甲基四氢叶酸还原酶基因多态性研究
目的 探讨亚甲基四氢叶酸还原酶(MTHFR)基因C677T多态性与动脉粥样硬化性脑梗死的关系一方法采用聚合酶链式反应和限制片断长度多态性(PCR—RFLP)技术,检测62例动脉粥样硬化性
期刊
脑梗塞
脑动脉硬化
四氢叶酸脱氢酶
基因
cerebral infarction
cerebral arteriosclerosis
tetrahydrofol
发展中国家应对WTO的经验与教训
期刊
发展中国家
WTO
经验
教训
贸易争端
贸易自由化
一氧化氮对自发性高血压大鼠血管内皮功能的作用
目的 探讨自发性高血压大鼠(SHR)内皮舒张功能不全的发生机制:方法 采用体外灌注的方法测定大鼠胸主动脉环对不同浓度乙酰胆碱的舒张反应变化,并测定血清中NO^-3浓度和动脉组织
期刊
自发性高血压大鼠
一氧化氮
内皮功能不全
spontaneously hypertensive rat
nitric oxide
endothelial dys
心肌缺血过程中磷酸肌醇4—激酶变化的研究
目的观察大鼠心肌缺血后心肌细胞和红细胞膜上磷酸肌醇4-激酶活性的变化,探讨其在心肌缺血过程中的调控机理.方法建立大鼠体内心肌缺血模型,在蛋白水平上分别检测心肌细胞和
期刊
磷脂酰肌醇4-激酶
心肌缺血
红细胞膜
免疫组织化学
动物实验
phosphatidylinositol 4-kinase
myocardial ischemi
调整营销战略开发农村消费市场
当前,我国的商品市场呈现出买方市场的局面,尤其是大中城市市场,基本处于饱和状态,工商企业竞争激烈,促销战愈演愈烈。然而,对农村市场,却很少有企业去抢占,甚至有些日用工业品脱销断
期刊
农村市场
消费市场
营销战略
市场开发
光纤光锥及其应用
介绍了硬光纤系列产品——光纤光锥,并结合微光夜视技术分析了光锥的应用及性能要求。
期刊
光锥
微光夜视技术
像增强器
CCD
急性脑血管病合并心肌梗死九例报告
急性脑血管病常侵犯植物神经中枢,引起神经一体液调节功能紊乱,导致心脏活动的改变,有时可引起心肌梗死,临床称为“脑心卒中”或“脑心综合征”。我科自1996年4月至1997年7月共收
期刊
脑血管意外
心肌梗塞
心力衰竭患者血浆可溶性细胞因子和氧化应激的改变
通过检测充血性心力衰竭(CHF)患者血浆肿瘤坏死因子-α(TNF-α)、可溶性Fas(sFas)、可溶性ICAM-1(sICAM-1)、一氧化氮(NO)和丙二醛(MDA)的含量,旨在研究TNF-α、细胞凋亡、细
期刊
充血性心力衰竭
肿瘤坏死因子-Α
细胞凋亡
细胞间粘附分子
一氧化氮
氧化应激
“老字号”何日再现辉煌
期刊
老字号
企业发展
对策
高校高科技中心的建设思路
建设现代高科技中心是一个地区经济发展的重要手段。该文详尽阐述了选建高科技中心项目的思路。
期刊
高科技中心
高校
科研工作
科研机构
high-tech centreknowledge economyhigh-tech industriesresearch
与本文相关的学术论文