论文部分内容阅读
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.
程序不动点的直观计算意义
【摘 要】
：
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方
【机 构】
：
华东理工大学计算机科学与工程系,宁夏大学数学计算机学院
【出 处】
：
宁夏大学学报：自然科学版
【发表日期】
：
2007年3期
【基金项目】
：
国家自然科学基金资助项目（60373075）, 教育部科学技术研究重点基金资助项目（01077）, 中科院计算机科学重点实验室基金资助项目（SYSKF0305）, 宁夏大学数学计算机学院科研基金资助项目（0406）
其他文献
目的：比较人参二醇皂苷（panaxadiol saponins，PDS）、番茄红素（lycopene）对寰枢椎失稳老龄小鼠记忆的影响。方法：小鼠寰枢椎周围注射30％乳酸溶液复制小鼠颈椎失稳致慢性脑损伤模型。水
综述了高阶奇异积分、随机奇异积分、边界曲线摄动的Cauchy型积分与解析函数边值问题的解的稳定性及线性共轭边值问题等一系列研究成果,同时还提出一个待解决的问题.
在超声波的作用下，用H2O2-CH3CCOH—FeSO4体系将柴油中的含硫有机物（主要为苯并噻吩类）氧化成相应的砜，用N，N-二甲基甲酰胺（DMF）作萃取剂将砜从柴油中萃取除去。考察了剂油体积比、
与之前我们测试过的L850一样,这款爱普生L805墨仓式6色照片打印机造型方正,银黑相间,属于典型的商务外观。相比上一代L801,它新加入了WiFi无线打印功能,支持802．11n；同时也支持
目的：观察腰痛患者肌卫星细胞体外培养的生物学特性．探讨其在慢性腰痛中肌纤维损伤的修复作用。方法：取腰骶部慢性骨筋膜间隔综合征所致腰痛患者活体竖脊肌组织块，采用I型胶原酶
为了使人源抗菌肽LL-37在原核表达载体中获得高效表达，在不改变LL-37氨基酸的基础上，根据大肠杆菌偏爱密码子表，替换LL-37部分密码子，设计一段新的LL-37序列．采用DNA Work设计4条
好水川流域全年降水的60％～75％集中在汛期（6～9月），是地表径流的主要来源．利用距离倒数加权法对区域及周围站点降水资料进行空间插值并绘制汛期降水量等值线，分析汛期降水随空间要素的变
纵观目前的客厅影音娱乐设备，智能电视盒子无疑是十分主流的存在，许多智能电视在机身内部也集成了表现不错的软硬件。对于广大日常仅需看看在线视频点播节目、电视直播、本地低
利用Ljenard系统极限环的惟一性定理,给出了一些有界二次系统极限环的惟一性定理,并根据这些定理证明了任何一个有界二次系统不可能具有极限环的(2,2)分布.