【摘 要】
：
<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里
【机 构】
：
安徽大学计算机系89级,中国科技大学计算机系91级
论文部分内容阅读
<正> 1、问题的提出文[2]中讨论递归程序的不动点语义时,指出函数空间[(D~+)~n→D~+]关于Scott偏序“”是一个链半格,由此根据Kleen定理推断出连续泛函不动点的存在性。这里的链格与通常定义的完全格有何关系?设偏序集(L,≤),对任意的x,y∈L,都存在它的最大下界glb(x,y)和最小上界lub(x,y),则称L为格,对于CL,如对于任意x,y∈C,或有x≤y或有y≤x,称C为链。如果对格L中的任意链C,在L中都存在它的最小上界lub(c)和最大下界glb(c),则称L为完全
其他文献
富士通株式会社日前宣布、任命石丰瑜（Michael Shih）先生为富士通微电子亚太区董事长兼首席执行官。
<正> 从19号开始的“亿网杯”网络台球大赛,在短短五天内,就有来自西北五省(内蒙古、西藏、宁夏、新疆、甘肃)14O00多名的玩家参与了本次比赛活动,在西北地区掀起了网络台球
光伏建筑一体化作为分布式光伏发电的一种重要应用形式,广受关注。通过一个既有工程改造项目,介绍了硅基薄膜光伏组件可以采用拼接方式满足幕墙不同分格尺寸的要求,并通过光
Syntax的Olevia Signature液晶高清电视及同系列未来版本均使用最新研发．方便用户屏幕功能显示（OSD）技术。OSD包括多个智能图像图标．最适合应用于家居及店铺影像播放．灯光模式亦可
本文系统地分析了对应原理的提出过程及其基本涵义，阐述了对应原理在建立矩阵力学过程中的启发性作用。
叶绿素催化加氢反应的色谱分析吴缨（合肥联合大学化工系合肥２３００２２）李正华范崇正（中国科学技术大学三系合肥２３００２６）将化学法制取所得的纳米量级、以金属镍为主体的催化剂（含镍量＞６５ｗｔ％，平均粒径ｄ＝３－５ｎｍ）［１］置于直
Tensilica公司日前宣布．位于台湾台北的AfaTechnologies选择Xtensa可配置处理器内核用于最新一个支持多标准的手机数字电视接收SoC设计项目。Afa是一家无工厂IC设计服务公司．专