论文部分内容阅读
从组合逻辑添加受限制的外延性规则，对λ-演算，即形式理论λβ中关于不动点组合算子的Bohm-Van der Mey定理做出了改进，同时讨论了组合逻辑CL w中不动点组合算子的范式．
关于CL w中不动点组合算子的结构与范式
【摘 要】
：
从组合逻辑添加受限制的外延性规则，对λ-演算，即形式理论λβ中关于不动点组合算子的Bohm-Van der Mey定理做出了改进，同时讨论了组合逻辑CL w中不动点组合算子的范式．
【机 构】
：
浙江师范大学数理学院,衢州学院教育系
【出 处】
：
兰州理工大学学报
【发表日期】
：
2007年1期
其他文献
春节里，由希腊债务危机引发的欧元危机引起了奎世界的关注。想想看，美国引发的金融危机尚未抚平，迪拜危机刚刚平息，如今欧元危机再掀波澜，犹如一场强烈大地震后的余震不断，难免心慌慌。 在最近两个月里，欧元大幅贬值10％，这却令一些中国人喜上眉梢——这无疑是到欧洲抢购奢侈品的大好时机。于是，“像抢白菜，像春运，像蝗虫”，在法国精品商店里，中日人一再上演排队抢购奢侈品的惊人景象。 追求奢侈品正在中国形成
期刊
逆变技术在焊接电源中的应用使得焊接设备在小型化、高效化方面有了飞跃的发展,然而传统的模拟控制方式存在着的种种弊端限制了弧焊逆变电源的进一步发展.根据数字信号处理技
基于弹性薄板的线性弯曲理论和重调和方程的一般解理论构造的基本解，建立无网格法求解薄板弯曲问题的数值计算格式,采用径向基函数近似表示横向分布荷载，获得问题的特解，而齐次
扒开草丛，我发现了一群忙忙碌碌的蚂蚁，见到了一个不可思议的蚂蚁世界。 我看到一只蚂蚁离开了群体，不紧不慢地向前走。它一会走，一会儿又驻足观望，似乎在观察地形，又像在欣赏美景。 在蚂蚁的世界里，既有庞大的地下宫殿，又有像地面上一样的大街小巷和劳动休闲场所。如果你仔细观察，就能发现它们的巢穴所在。 看!有几只蚂蚁正悠然自得地在公园里散步。时不时地用各自头上的触角传递着信息。对各种事物品头论足，仿
多功能螺丝刀简介： 一、发明原因： 普通螺丝刀易丢失螺丝、伤手且功能单一。 二、使用方法： 1、上螺丝钉时将螺丝钉装入螺丝腔中，一只手紧握安全护筒(或护筒手柄)将螺丝钉尖顶在目标上，另一只手拧动螺丝刀柄即可。 2、卸螺丝钉时，一只手紧握安全护筒将螺丝刀顶在螺丝上，另一只手拧动螺丝刀柄即可。 三、特点： 1、由于螺丝钉装在螺丝腔中，可以将螺丝准确定位在目标上，而螺丝腔为金属管，可以避免
阐述虹膜作为生物测定学特征用于身份识别具有得天独厚的优势,虹膜识别在场所或资源的安全控制等方面具有重要的应用价值.提出一种新的虹膜识别方法,该方法利用核主成分分析(KPCA)提取虹膜的纹理特征,通过竞争学习寻找其中最优的KPCA特征,形成虹膜编码,最后通过计算编码之间的方差倒数加权欧氏距离对虹膜进行识别.实验结果表明,该方法计算速度快,提取特征的效果好,对环境的适应性强,可用于实际的身份鉴别系统.
一天，妈妈很忙，要我自己在煮饭时顺便蒸一个肉饼当菜。我不知道加多少米，结果把米倒多了，锅里的饭多了，而家里的三脚架矮了，我只好用另外的锅蒸肉饼了，但这样浪费了能源和时间。如果家里有一只脚可以伸长的三脚架就好了。 这次老师告诉我们要准备科技作品参加比赛。在科技老师的辅导下，我做成了这个既能折叠又可以延长的“折叠三脚架”。 三脚架用不锈钢材料做成，折叠起来呈“7”字形状。使用时打开，直径17.5厘
期刊