期刊文献+
共找到50篇文章
< 1 2 3 >
每页显示 20 50 100
小兴安岭红松阔叶混交林土壤动物群落研究 被引量:16
1
作者 苗雅杰 殷秀琴 《林业科学》 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
2
作者 吕江花 金成植 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2004年第2期195-199,共5页
由结构反射的定义引入计算反射的特点和性质,讨论并证明了Monad的反射性,同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性... 由结构反射的定义引入计算反射的特点和性质,讨论并证明了Monad的反射性,同时利用接续语义中的shift和reset操作函数定义了Monad中的反射操作,并证明了用这种方法定义反射操作满足反射的条件.基于上述讨论,可以很容易地构造出具有反射性的Monad程序. 展开更多
关键词 MONAD 反射性 RESET SHIFT 元层 接续 程序设计
下载PDF
Monad的一种自动生成技术 被引量:2
3
作者 吕江花 金成植 《软件学报》 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
平行哲学与智能科学:从莱布尼茨的Monad到区块链之DAO 被引量:18
4
作者 王飞跃 《模式识别与人工智能》 EI CSCD 北大核心 2020年第12期1055-1065,共11页
本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从B... 本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会.围绕卡尔·波普尔的三个交织世界的现实观,提出面向描述知识、预测知识和引导知识的平行哲学理念,使关于智能的哲学之研究对象从Being,Becoming到Believing,并讨论结合区块链DAO技术与范畴数学理论的可能实施途径. 展开更多
关键词 平行智能 平行哲学 区块链 MONAD DAO Monadao Monadaology
下载PDF
广义共迭代及其计算律 被引量:3
5
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第9期62-68,共7页
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value... 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律. 展开更多
关键词 函数式编程 共归纳数据类型 终结共代数 共递归 MONADS 范畴论
下载PDF
几种多值序及其在拓扑中的应用 被引量:3
6
作者 李令强 金秋 《计算机工程与应用》 CSCD 北大核心 2011年第2期38-40,共3页
讨论了几种常见的多值序结构及其在拓扑中的应用。具体来说,对任意完备剩余格(Ω,*,1),从多值序的角度出发构造了Ω-滤子Monad(FΩ,η,μ),并据此给出了强Ω-拓扑的邻域结构,并展示了拓扑、序和范畴三种不同的结构之间的密切联系。
关键词 多值序 Monad对角运算 多值拓扑 多值滤子
下载PDF
Monad表示的OO程序自动生成 被引量:3
7
作者 袁琦 金成植 《计算机研究与发展》 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
8
作者 吕江花 金成植 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2003年第4期487-492,共6页
通过定义一个简单的反射语言 ,给出了这种反射语言的一种基于 Monad的解释器构造技术 ,并以 Haskell语言实现了这种语言的解释器。
关键词 Monad方法 反射语言 解释器 HASKELL语言 函数式语言 形式化 程序设计语言 计算反射
下载PDF
基于非确定性Monad的纯函数式树搜索算法 被引量:2
9
作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1997年第A00期189-193,共5页
纯函数式语言缺乏处理非确定性功能,本文给出了一个非确定性Monad,用此Monad在纯函数式语言中加入了非确定性处理功能,描述卫个基于非确定性Monad的纯函数式树搜索算法,并证明了一些有用的代数性质。
关键词 非确定性 MONAD 程序设计 树搜索算法
下载PDF
基于Monad的纯函数式语言通道系统设计 被引量:2
10
作者 袁华强 孙永强 《计算机科学》 CSCD 北大核心 2004年第3期167-169,共3页
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
关键词 纯函数式语言 通道系统 设计 文件系统 MONAD 操作系统 进程
下载PDF
对象行为等价的终结共代数语义 被引量:1
11
作者 余珊珊 李师贤 苏锦钿 《计算机科学》 CSCD 北大核心 2012年第2期179-182,190,共5页
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满... 终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。 展开更多
关键词 对象 行为等价 共代数方法 终结共代数 强Monads
下载PDF
一种基于共代数的面向对象形式语义 被引量:1
12
作者 余珊珊 李师贤 苏锦钿 《计算机科学》 CSCD 北大核心 2011年第8期142-146,共5页
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成... 针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。 展开更多
关键词 面向对象方法 形式语义 共代数方法 强Monads
下载PDF
带固定参数的Monadic递归 被引量:1
13
作者 苏锦钿 余珊珊 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第7期33-39,73,共8页
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算... 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律. 展开更多
关键词 递归 归纳数据类型 初始代数 MONAD 范畴论 程序语言
下载PDF
形式语言基于Monads的语义计算模型
14
作者 苗德成 奚建清 苏锦钿 《计算机科学》 CSCD 北大核心 2017年第1期199-202,218,共5页
传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。... 传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。 展开更多
关键词 语义计算 MONADS 伴随函子 形式语言 Kleisli范畴
下载PDF
一种基于组合Monad的纯函数式Lazy I/O操作
15
作者 袁华强 王亚强 孙永强 《计算机工程与科学》 CSCD 2006年第7期119-122,共4页
Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、I/O等非纯函数式语言的特征。本文通过组合状态转换Monad和异常处理Monad来定义纯函数式LazyI/O操作,既保持了纯函数式语言的特征,又融入了非纯函数式语言的特征。
关键词 纯函数式语言 MONAD lazy I/O
下载PDF
基于Monad的纯函数式程序设计
16
作者 袁华强 孙永强 《软件学报》 EI CSCD 北大核心 1996年第11期683-690,共8页
PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程.本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂的layout分析。
关键词 函数式 程序设计 纯函数式语言 MONAD
下载PDF
Monadically slicing programs with procedures
17
作者 张迎周 张卫丰 《Journal of Southeast University(English Edition)》 EI CAS 2008年第2期178-182,共5页
A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr... A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees' influence on callers when analyzing call statements. Phase 2 captures the callees' dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph(SDG)-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms. 展开更多
关键词 program slicing monadic semantics interprocedural slicing calling-context problem
下载PDF
基于Monad的非确定性进程网描述方法
18
作者 袁华强 孙永强 《湘潭大学自然科学学报》 CAS CSCD 1997年第3期121-125,共5页
非确定性进程网是纯函数式操作系统中的一个重要的问题,但是纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad,用此Monad在纯函数式语言中描述了非确定性进程网.
关键词 非确定性 MONAD 程序设计 进程网 操作系统
下载PDF
非确定性Monad
19
作者 袁华强 肖倩 孙永强 《计算机学报》 EI CSCD 北大核心 1997年第3期284-288,共5页
纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad,用此Monad在纯函数式语言中描述了非确定性进程网,证明了一些有用的代数性质.
关键词 非确定性 MONAD 纯函数式语言
下载PDF
一种基于Z规范的纯函数式程序设计方法
20
作者 袁华强 孙永强 《计算机应用与软件》 CSCD 北大核心 2008年第2期117-118,共2页
状态、输入和输出是Z规范的基础,引入Monad的纯函数式语言特别适合用来实现用Z规范说明的系统。通过将状态、输入和输出封装在一个Monad内,提出一种基于Z规范的纯函数式程序设计方法。
关键词 纯函数式语言 Z规范 MONAD
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部