带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

Windows下流量演算程序的开发

本文详细介绍了Windows下流量演算程序的原理、功能及使用．对水文测量工作大有裨益。     

COOZ中的时段演算

本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。     

锥形凸台成形的一种叠加滑移线场力学模型

分析了锥形凸台在不同体积成形工艺中的成形机理，基于模块化思想将锥形凸台的成形过程划分为挤压成形与角部充满两个特征时段；将上述两个特征时段的滑移线场力学模型有机联结，构建了锥形凸台成形过程的一种叠加滑移线场力学模型；介绍了叠加滑移线场力学模型的应力场与变形力的求解方法。该模型丰富了金属体积成形过程的特征单元库，可套用于局部成形的应力场与变形力求解，实现局部成形的模具优化设计。     

地区电网新能源消纳困难时段研究

文章主要研究了某实际电网新能源消纳困难时段。通过负荷特性分析,得出地区电网低谷负荷出现季节和典型日负荷特性,通过风电场、光伏电站出力特性分析,得出风电、光伏季节分布特性及日出力特性。在地区电网新能源消纳的困难时段分析基础之上,对困难时段负荷概率进行统计,得出困难时段的负荷取值,为新能源接纳能力分析提供重要的数据支撑。     

基于5G基站节能技术的智慧型断路器研究与设计

研究分析了5 G基站节能站点增强型节能的技术方案.主要采用AAU设备关断的方法,实现设备关闭期间断路器保持分闸状态,减少AAU能耗的效果.设计开发了一套基于物联网技术的智能型微型断路器,包括断路器和网关模块,实现设备端时段分合闸控制.最后通过实际案例数据,论证该方法在实际基站节能降耗的效果.     

基于中文陈述句灵活语序的Lambek演算

目前,自然语言处理已从句法、词法层面走向轻量级语义层面。针对中文陈述句的自然语言处理,传统Lambek演算无法解决中文陈述句灵活语序的问题,而现有的方法加入模态词、新连接词等后,又进一步增加了已经是NP-hard的Lambek演算的复杂性,因此并不适合计算机的相关处理。基于此,采用加标动词匹配的Lambek演算对中文陈述句灵活语序进行处理。加标动词匹配算法的时间复杂度低,使得计算机及其程序能有效地对中文陈述句灵活语序进行处理,并能通过Curry-Howard对应理论与λ-演算引入轻量级语义处理。     

论高校计算机专业开展函数式程序语言教学的必要性

针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。     

某尾矿库调洪安全研究

文章分析某尾矿库排洪系统现状,对其排洪系统的正确性进行定量化校核评价。