切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Co-regular集的可计算性探讨
Co-regular集的可计算性探讨
来源 :中山大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hanyikuaile1112
【摘 要】
:
引入了在TTE框架下,利用开集和闭集的表示式,定义了度量空间中co-regular集的若干不等价表示式;并对这些表示式的强弱关系进行了论证。研究表明:这些表示式的强弱,有一个明确的顺
【作 者】
:
邱玉文
赵希顺
【机 构】
:
中山大学逻辑与认知研究所
【出 处】
:
中山大学学报:自然科学版
【发表日期】
:
2007年6期
【关键词】
:
第二类能行性理论
可计算性
表示式
co-regular集
type-2 theory of effectivity
computability
repr
【基金项目】
:
国家自然科学基金资助项目(60573011,14010638)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
引入了在TTE框架下,利用开集和闭集的表示式,定义了度量空间中co-regular集的若干不等价表示式;并对这些表示式的强弱关系进行了论证。研究表明:这些表示式的强弱,有一个明确的顺序;在被引入的不等价表示式中,η:=θ〈∧^-ψ〉是co-regular集所有表示式中最强的。
其他文献
夹板式单层玻璃板压弯组合承载性能试验研究
为了研究不同的夹板约束对玻璃板在压弯组合作用(面外受弯和面内承压)的加载全过程中应力和位移的发展,以及压弯组合的作用机理,以试验为基础,结合有限元方法,给出了荷载位移和
期刊
夹板式玻璃板
试验研究
有限元方法
破坏准则
overlap-connected glass panel
experiment test
FEM(finite
克栓胶囊对缺血再灌注大鼠脑损伤的影响
目的:观察克栓胶囊对缺血再灌注大鼠ATP酶活力、脑指数、脑含水量、SOD(超氧化物歧化酶)活力的影响。方法:采用大鼠四血管阻断法复制大鼠全脑缺血再灌注脑损伤模型。结果:克栓胶囊
期刊
克栓胶囊
缺血再灌注脑损伤
ATP酶活力
脑指数
脑含水量
SOD活力
十二指肠NaCl刺激对大鼠孤束核c-fos表达的影响
目的:探讨生理状态下,大鼠十二指肠受到不同浓度氯化钠刺激后,孤束核(NTS)中神经元的活动性.方法:在大鼠十二指肠内恒流灌注0.86 mol/L NaCl、0.15 mol/L NaCl、去离子水以及
期刊
十二指肠
氯化钠
大鼠
孤束核
C-FOS
基因表达
感觉神经元
c-fos
rat
nucleus of solitary tract
duodenum
潘生丁在病毒性疾病中的临床新用
笔者经多年的临床实践,结合文献报道,现就潘生丁在多种病毒性疾病中临床应用作一简要概述。
期刊
潘生丁
临床新用
临床应用
病毒性疾病
临床实践
文献
双子宫子宫肌瘤误诊为卵巢肿瘤1例
患者,45岁,孕4产2流产2。因月经紊乱2年余,阴道不规则流血10余天,于1997年8月16日入院,患者月经周期紊乱(10-20天不等),经量增多,伴较多,伴较多血块但因经期正常,亦无其他伴随症状。既
期刊
包块
双子宫
子宫肌瘤
卵巢肿瘤
患者
误诊
月经异常
中等
活动
水平
密闭式吸痰管在人工气道脱机锻炼中的应用
脱机锻炼是呼吸机辅助通气患者撤离人工气道前的必要措施,而脱机期间人工气道的护理质量是脱机成功与否的重要决定因素。建立人工气道的患者,上呼吸道非特异性防御功能被削弱,水分的丧失使分泌物黏稠而不易排出,采取密闭式吸痰管参与人工气道护理操作,则可有效保持呼吸道通畅,维持充足的氧气供给,提高患者脱机的成功率。
期刊
密闭式吸痰管
人工气道脱机
患者
临床应用
乡镇医院门诊输液风险管理
摘 要 目的:提高门诊患者的输液安全。方法:通过对门诊输液容易产生矛盾、纠纷、投诉的主要项目进行分析、改进。结果:通过对风险的防范,降低了门诊患者输液安全隐患。结论:加强输液风险管理能有效地减少医疗护理差错事故发生。 关键词 门诊卫生服务 输液疗法 风险管理 doi:10.3969/j.issn.1007-614x.2010.15.259 风险因素分析 医生方面:医生没有书写门诊病历,护士
期刊
门诊卫生服务
输液疗法
风险管理
失代偿期肝硬化患者血钠代谢分析
电解质代谢紊乱是肝硬化患者常见的并发症,也是死亡原因之一,其中以低钠血症临床上较为常见。本文收集了126例失代偿期肝硬化患者的资料,分析肝硬化时血清钠的代谢变化,探讨其变
期刊
失代偿期
肝硬化
血钠代谢
并发症
英红1号、英红9号和祁门茶树芽叶中嘌呤生物碱和茶多酚的HPLC—DAD—MS/MS分析
采用HPLC-DAD—MS/MS技术对英红1号、英红9号和祁门茶树的芽叶进行了分析,鉴定出了2种嘌呤生物碱,7种儿茶素类化合物以及2种非儿茶素类茶多酚。对这3个茶树品种的嘌呤生物碱和儿
期刊
嘌呤生物碱
茶多酚
儿茶素
液质联用
英红1号
英红9号
祁门
purine alkaloids
tea polyphenols
catechins
桥梁移动荷载识别的几个问题
基于时域法TDM求解思路,阐述了基于预处理共轭梯度法(PCGM)和基于矩量法(MOM)的移动荷载识别方法的基本原理及仿真计算研究成果,分析讨论了预优矩阵选取、基函数选取、不适定
期刊
移动荷载识别
桥梁
矩量法
共轭梯度法
moving loads identification
bridges
method of moments
precon
与本文相关的学术论文