【摘 要】
：
工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实
【基金项目】
：
国家自然科学基金资助项目（60863005,61111130186）
论文部分内容阅读
工程和自然科学中大量的科学计算问题,需要可靠的计算方法和计算软件,通常的实数浮点表示方法只提供了一种逼近实数的基本方法.对实数的不同逼近方法诱导不同的可计算性.对实数的重新理解和认识是研究分析中可计算性的重要基础.Klaus Weihrauch基于第二型图灵计算模型,引入了基于无穷串的可计算函数的概念,并建立了第二型能行计算理论.有关可计算实数理论的几种经典模型可以统一在第二型能行计算理论框架中.对于一般的集合,为研究其中元素的可计算性,引入基于字母集Σ的表示系统.形式上是一个部分函数υ∶Σ＊→M或δ∶
其他文献
特比萘芬与咪康唑治疗皮肤真菌病的疗效比较。方法：患浅部真菌菌病病人１９０例，男性１０２例女性８８例，年龄３８±ｓ１０ａ，随机分为特比萘芬组６０例，米康唑组６０例，特比萘芬开放组７０例，特比萘芬组应用特比萘芬软膏
目的观察半夏白术天麻汤加减联合氯吡格雷治疗急性缺血性卒中(AIS)的疗效,及对患者可溶性P选择素(sP-sel)和超敏C反应蛋白(hs-CRP)的影响。方法将146例AIS患者按照双盲法随机
初步研制一种灭活 Chuzan 病毒疫苗已完成。病毒于 BHK—21细胞培养中大量增殖。用福尔马林处理后的培养液对牛和豚鼠有很好的免疫原性。攻毒后免疫过的牛未发生白细胞减少及
在青藏高原东北部、层峦叠嶂的祁连山南麓、河湟两岸的广阔地域生活着勤劳、勇敢、善良、朴实、宽厚、好客而又能歌善舞的土族人民。在长期的历史发展进程中,土族人民与邻近
本发明是用透红外的玻璃状金刚石炭素薄膜保护热象仪反射器的反射面,它可以直接附着在金属反射膜上。为附着更牢固,在零件的金属反射膜和炭膜之间加镀一锗或硅的结合层。因用
自从T5和T5高光通（T5HO）灯管于1995年进入市场，它们就成为直管型荧光灯家族的宠儿，激起了设计师、生产厂家和研究者的梦想火花。他们渐渐成为市场的主导者，最终被设计成更加精巧的
目的：研究七叶皂苷（昔名七叶皂甙）治疗脑出血的疗效，方法：７１例经头颅ＣＴ证实的脑出血病人随机分为治疗组３７例，男性１６例，女性２１例，年龄５９±ｓ７ａ，七叶皂苷１０ｍｇ溶于０．９％氯化钠注射液２５０ｍＬ中静脉滴注，并常规治疗（甘露醇
目的观察中药熏蒸联合洛芬待因缓释片治疗腰椎间盘突出症(LDH)的临床疗效。方法将200例LDH患者按照随机数字表法分为2组。均予腰椎牵引、理疗等常规治疗,对照组100例予洛芬待