MONAD相关论文
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔· 波普尔的三个交......
摘 要：无限性是理解康德早中期思想，特别是物质思想的一条重要线索。在无限性思想的基础上，康德又运用斥力和引力概念，成功地建构了动......
一致空间有三种等价描述方式,即通过满足各自条件的关系族,覆盖族和伪度量族.本文利用非标准分析的方法研究了一致空间,给出了一致......
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。......
本文通过状态转换器来定义I／O的文件系统，并用非确定性Monad描述了操作系统的进程网，从而给出了文件系统的语义。......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......
Laplace方程具有广泛的物理背景,是一类基本的椭圆方程.引入曲面积分的非标准定义,直观地指出Green函数在调和与非调和点的差异,给......
本文构造了在完备格上模糊集范畴.利用极小扩展原则和范畴的性质,获得了函子Uα构成集合范畴上的模结构,推广了P.Eklund的结论.......
在非标准扩大模型下,讨论了模糊拓扑空间中有限覆盖性质的非标准刻画.将模糊集合扩张为非标准模糊集合,并定义了模糊点的单子.借助......
范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。......
通过利用非标准分析中的扩大模型,对拓扑空间中的万有网进行了讨论,从而获得了万有网的非标准特征,并进一步利用这一性质对万有网......
在κ-饱和的非标准模型下,以自然的方式定义了模糊拓扑空间中的N-单子,Q-单子和R-单子,并证明了它们相应的逼近原理,讨论了它们之......
在扩大模型下,应用单子理论给出了拓扑等度连续和均匀连续的非标准刻画,并应用均匀连续的非标准特征证明了网收敛与均匀连续之间的......
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个......
为了用非标准分析方法研究一般的数学问题,在扩大模型下,应用单子理论给出了拓扑等度连续.等度连续和均匀连续的非标准刻画,并利用......
在非标准扩大模型和拓扑的非标准定义基础之上,对拓扑空间中紧性的概念及相关结论进行了描述和刻画.一方面,这种新的定义与一般的......
应用非标准分析法研究线性拓扑空间中的若干性质.首先,在拓扑空间中,对集合的稠密性和无处稠密性进行非标准刻画.其次,给出映射连......
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad......
由结构反射的定义引入计算反射的特点和性质, 讨论并证明了Monad的反射性, 同时利用接续语义中的shift和reset操作函数定义了Monad......
首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系，并构造了一个函子伴随对，其次定义了余......
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要......
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要......
Monad作为构造纯函数式语言的工具，能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
Monad作为构造纯函数式语言的工具，能构造出诸如错误处理、状态、10等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理......
通过定义一个简单的反射语言, 给出了这种反射语言的一种基于Monad的解释器构造技术, 并以Haskell语言实现了这种语言的解释器.......
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出m......
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出m......
在非标准扩大模型下,利用集合X上全体理想之族,诱导出了集合X的非标准扩张＊X上的一种拓扑——∮-拓扑.研究了集合X上全体理想之族的......
在κ-饱和的非标准模型中，讨论了＊τx的结构及其性质．首先，本文给出了一个内集在＊τx中的充分必要条件．其次，对＊τx的性质做了进一步的讨论......
在莱布尼兹的整个哲学体系中,单子论构成了其中的形而上学部分。单子指的是单一实体,它无广延、不可分、不受动,单子最重要的规定......
本文从三个方面阐发了莱布尼茨微知觉理论的本体论意义：首先，充溢着欲求的微知觉作为比意识更为根本的规定使精神成为能动的实体，即主......
Ｍｏｎａｄ的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Ｍｏｎａｄ与际程序设计语言之间的关系，以及如何用Ｍｏｎａｄ具体构造程序，如何......
Ｍｏｎａｄ的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Ｍｏｎａｄ与际程序设计语言之间的关系，以及如何用Ｍｏｎａｄ具体构造程序，如何......
为了用非标准分析方法进一步研究拓扑空间,在扩大模型下,对理想收敛的基本理论进行了非标准刻画:设X是拓扑空间,I是X中的理想,I收......
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征.本文通过组合状态转换Monad和异常处......
状态、输入和输出是Z规范的基础，引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个M......
