共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

工程演化论的研究内容、范畴、方法与意义

工程演化论是工程哲学研究的新领域,它是探索工程演化进程机理和规律的理论。本文讨论了工程演化论研究的缘起、研究对象与内容,提出了工程演化论的基本范畴和研究方法,指出工程演化论研究具有重要的理论意义和现实意义。     

土地利用类型变化对城市大气边界层特征影响的数值模拟

利用ENVI和IDL,GIS以及上海市航片,将ARW-WRF中尺度模式中的下垫面土地利用类型数据中上海市部分做了修正:对照模式中24种土地类型分类,将原本定义为农作物耕地和草场,草地,灌木丛,以及沙土和淤泥的部分,根据实际情况改为城区和在建城区,扩大了城市的范围,获取城市建筑物高度信息以得到更精确地粗糙度数据,使其与实...     

第一类Baire函数连续点集的一个注记

利用集合论的方法,证明了欧氏空间Rn上第一类Baire函数的连续点构成的集合是Rn空间中的第二纲集.     

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。     

蒙古族哲学范畴论

提出并论述了研究蒙古族哲学范畴的几个基本理论问题:一是蒙古族哲学范畴研究的现状;二是蒙古族哲学范畴系统构想;三是蒙古族哲学范畴的真实与解释;四是蒙古族哲学范畴史考察;五是蒙古族哲学范畴发展史特点。     

从范畴理论看英语一般现在时

从认知语言学的原型范畴理论角度,解释英语一般现在时态范畴的意义,揭示原型理论在其认知过程中的重要作用。     

对高校非在编人员聘任及其管理若干问题的思考

以人事代理、劳务派遣、非全日制用工等方式使用的非在编人员是当前高校建设发展中的一支重要队伍。使用非在编人员从事高校工作在取得成效的同时也存在着不容忽视的问题,对这些问题进行深入的剖析,并提出有针对性的对策,有助于更好地发挥非在编人员的作用,促进高校事业的进一步发展。     

中国黄土高原坡度图的编制

本文阐述了编制《中国黄土高原坡度图》的目的、意义、依据、方法与精度,通过面积量算提出了黄土高原地面坡度分级清单。并对黄土高原地面坡度概况分析认为,耕地面积即使维持概查数字,退耕界限也只能为20°左右。这样,现在坡耕地将来可大幅度退耕,它不仅可满足对耕地的需要,而且会促进林牧业的发展。     

拓扑系统范畴与子拓扑系统

拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Ｌｏｃａｌｅ的空间化、模糊拓扑空间与拓扑分子格为特例，它可用来研究计算机程序语言的指称语义的Ｄｏｍａｉｎ理论．拓扑系统与它们的连续映射构成一个范畴，本文讨论这一范畴的基本理论，并引入子拓扑系统概念，得到了拓扑系统Ｄ可嵌入拓扑系统Ｅ中当且仅当Ｄ同胚于Ｅ的某子拓扑系统．