期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
带固定参数的Monadic递归 被引量:1
1
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第7期33-39,73,共8页
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算... 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律. 展开更多
关键词 递归 归纳数据类型 初始代数 MONAD 范畴论 程序语言
下载PDF
R_0代数上的monadic算子 被引量:1
2
作者 辛小龙 秦玉静 贺鹏飞 《模糊系统与数学》 CSCD 北大核心 2016年第1期48-57,共10页
本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的... 本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。 展开更多
关键词 R0代数 monadic算子 monadic R0代数 monadic滤子 monadic同余
原文传递
L-代数上的monadic算子
3
作者 邹宇晰 张天杰 《系统科学与数学》 CSCD 北大核心 2023年第10期2714-2726,共13页
文章研究了monadic L-代数.首先,建立了monadic L-代数的公理化系统,研究其性质.其次,引入了monadic理想,monadic同余的概念,证明了在所有monadic同余与所有monadic理想之间存在一个一一映射,并在此基础上构造了monadic商L-代数.接下来,... 文章研究了monadic L-代数.首先,建立了monadic L-代数的公理化系统,研究其性质.其次,引入了monadic理想,monadic同余的概念,证明了在所有monadic同余与所有monadic理想之间存在一个一一映射,并在此基础上构造了monadic商L-代数.接下来,在self-similar KL-代数中讨论了monadic算子关于⊙运算的性质,给出了self-similar KL-代数中,monadic理想的生成公式,进一步证明了在(L,?,?)上的所有monadic理想构成的格与其子代数L?,?上的所有理想构成的格之间存在一个格同构.最后,引入了相对完备子代数的概念,证明了在self-similar KL-代数中,所有monadic算子构成的集合与所有相对完备子代数之间存在一个一一映射. 展开更多
关键词 L-代数 monadic算子 理想 相对完备子代数
原文传递
有界完备的domain范畴是monadic范畴
4
作者 张巍 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第6期1276-1280,共5页
一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T_0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基... 一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T_0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κ-domain以及相应的Scottκ拓扑的概念。并证明了有界完备的κ-domain范畴是集合范畴和T_0的κ拓扑空间范畴上的monadic范畴. 展开更多
关键词 monadic范畴 有界完备的κ—domain κ—dcpo κ-空间
原文传递
Monadic MV-代数上的微分
5
作者 刘慧珍 辛小龙 王军涛 《山东大学学报(理学版)》 CAS CSCD 北大核心 2016年第8期53-60,共8页
在Monadic MV-代数(M,■)上引入并研究了M-微分。定义并研究了Monadic MV-代数(M,■)上的强M-微分和正则M-微分,利用强M-微分,给出了一个MV-代数成为布尔代数的等价刻画,并给出了正则M-微分成为保序M-微分的等价刻画。进一步地,在Monadi... 在Monadic MV-代数(M,■)上引入并研究了M-微分。定义并研究了Monadic MV-代数(M,■)上的强M-微分和正则M-微分,利用强M-微分,给出了一个MV-代数成为布尔代数的等价刻画,并给出了正则M-微分成为保序M-微分的等价刻画。进一步地,在Monadic MV-代数(M,■)上定义不动点集合Fd■,证明了若d为保序微分时,Monadic MV-代数上的不动点之集为M的格理想。随后,在Monadic MV-代数上定义并研究了可加微分,从而得到了一些关于可加微分的重要性质。最后,在微分Monadic MV-代数(M,■,d)上定义了Monadic微分理想,并对其进行了刻画,而且研究了(M,■,d)上所有Monadic微分理想组成的集合ID(M)的代数结构。 展开更多
关键词 MV-代数 monadic算子 微分 不动点之集 微分理想
原文传递
小兴安岭红松阔叶混交林土壤动物群落研究 被引量:16
6
作者 苗雅杰 殷秀琴 《林业科学》 EI CAS CSCD 北大核心 2005年第2期204-209,共6页
Soil animal communities of Pinus koraiensis broad_leaved mixed forest were studied.The purpose was to discuss the dynamic characteristic of soil animals and relationship with environmental factors.The ecosystem geogra... Soil animal communities of Pinus koraiensis broad_leaved mixed forest were studied.The purpose was to discuss the dynamic characteristic of soil animals and relationship with environmental factors.The ecosystem geography distribution law of soil animals, soil animals’role and function in ecological system were revealed.In June,August,October each year,three plots were selected. In each plot, four layers were sampled(litter layer,0~10 cm,10~20 cm & 20~30 cm),adding up to 72 soil sample.The area for large_sized soil animals was 50 cm×50 cm,and the area for middle_small_sized soil animals was 10 cm × 10 cm.Separated soil animals through adopting hand_picking method and Tullgren method respectively.Sampled the soil animals in two continuing years.Shannon_Wiener index was adopted to analyze the diversity of soil animals.Monad liner regression was used to search the relationship between soil animals and environmental factors.The dominant groups were Oribatida, Isotomidae.There were relatively great changes in groups and individual numbers of dominant groups and rare groups when the reason changed.The individual numbers of dominant groups and the groups of rare groups changed.The number of individual and group was the most in August.Obviously it correlated with climatic factors in middle temperate zone.The evenness was low and dominance was high. The diversity index was not most.Among the annual fluctuating there was a increasing trend. The evenness was low and dominance was high.The diversity index was low.It conformed with the law of reason change.The correlation between soil animals and atmospheric temperature,rainfall,ground temperature and sunlight showed the correlation with rainfall and soil temperature was the most significant. 展开更多
关键词 红松阔叶混交林 群落研究 土壤动物 小兴安岭 index dynamic with system search was and the The area most PINUS MONAD great group PLOT for cm to sam cha In
下载PDF
Monad的反射性 被引量:3
7
作者 吕江花 金成植 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2004年第2期195-199,共5页
由结构反射的定义引入计算反射的特点和性质,讨论并证明了Monad的反射性,同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性... 由结构反射的定义引入计算反射的特点和性质,讨论并证明了Monad的反射性,同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性的Monad程序. 展开更多
关键词 MONAD 反射性 RESET SHIFT 元层 接续 程序设计
下载PDF
Monad的一种自动生成技术 被引量:2
8
作者 吕江花 金成植 《软件学报》 EI CSCD 北大核心 2003年第12期1989-1995,共7页
Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器... Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义. 展开更多
关键词 MONAD BIND型Monad MAP型Monad 范畴 高阶函数
下载PDF
广义共迭代及其计算律 被引量:3
9
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第9期62-68,共7页
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value... 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律. 展开更多
关键词 函数式编程 共归纳数据类型 终结共代数 共递归 MONADS 范畴论
下载PDF
平行哲学与智能科学:从莱布尼茨的Monad到区块链之DAO 被引量:17
10
作者 王飞跃 《模式识别与人工智能》 EI CSCD 北大核心 2020年第12期1055-1065,共11页
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从B... 本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从Being,Becoming到Believing,并讨论结合区块链DAO技术与范畴数学理论的可能实施途径. 展开更多
关键词 平行智能 平行哲学 区块链 MONAD DAO Monadao Monadaology
下载PDF
几种多值序及其在拓扑中的应用 被引量:3
11
作者 李令强 金秋 《计算机工程与应用》 CSCD 北大核心 2011年第2期38-40,共3页
讨论了几种常见的多值序结构及其在拓扑中的应用。具体来说,对任意完备剩余格(Ω,*,1),从多值序的角度出发构造了Ω-滤子Monad(FΩ,η,μ),并据此给出了强Ω-拓扑的邻域结构,并展示了拓扑、序和范畴三种不同的结构之间的密切联系。
关键词 多值序 Monad对角运算 多值拓扑 多值滤子
下载PDF
Monad表示的OO程序自动生成 被引量:3
12
作者 袁琦 金成植 《计算机研究与发展》 EI CSCD 北大核心 2000年第6期668-671,共4页
Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间... Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间的关系,主要研究Monad与Class之间的关系,并给出从Monad到Class(C++)的一种转换方法. 展开更多
关键词 MONAD CLASS 面向对象 程序自动生成
下载PDF
一种基于Monad反射语言解释器的构造 被引量:2
13
作者 吕江花 金成植 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2003年第4期487-492,共6页
通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。
关键词 Monad方法 反射语言 解释器 HASKELL语言 函数式语言 形式化 程序设计语言 计算反射
下载PDF
基于非确定性Monad的纯函数式树搜索算法 被引量:2
14
作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1997年第A00期189-193,共5页
纯函数式语言缺乏处理非确定性功能,本文给出了一个非确定性Monad,用此Monad在纯函数式语言中加入了非确定性处理功能,描述卫个基于非确定性Monad的纯函数式树搜索算法,并证明了一些有用的代数性质。
关键词 非确定性 MONAD 程序设计 树搜索算法
下载PDF
基于Monad的纯函数式语言通道系统设计 被引量:2
15
作者 袁华强 孙永强 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
关键词 纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程
下载PDF
对象行为等价的终结共代数语义 被引量:1
16
作者 余珊珊 李师贤 苏锦钿 《计算机科学》 CSCD 北大核心 2012年第2期179-182,190,共5页
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满... 终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。 展开更多
关键词 对象 行为等价 共代数方法 终结共代数 强Monads
下载PDF
一种基于共代数的面向对象形式语义 被引量:1
17
作者 余珊珊 李师贤 苏锦钿 《计算机科学》 CSCD 北大核心 2011年第8期142-146,共5页
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成... 针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。 展开更多
关键词 面向对象方法 形式语义 共代数方法 强Monads
下载PDF
形式语言基于Monads的语义计算模型
18
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2017年第1期199-202,218,共5页
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。... 传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。 展开更多
关键词 语义计算 MONADS 伴随函子 形式语言 Kleisli范畴
下载PDF
一种基于组合Monad的纯函数式Lazy I/O操作
19
作者 袁华强 王亚强 孙永强 《计算机工程与科学》 CSCD 2006年第7期119-122,共4页
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。
关键词 纯函数式语言 MONAD lazy I/O
下载PDF
基于Monad的纯函数式程序设计
20
作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1996年第11期683-690,共8页
PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程.本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂的layout分析。
关键词 函数式 程序设计 纯函数式语言 MONAD
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部