检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

范畴数据类型上的子类型

华南理工大学学报（自然科学版） 2013年第9期41卷 58-64页

作者：苏锦钿余珊珊华南理工大学计算机科学与工程学院广东广州510006 中山大学信息科学与技术学院广东广州510275

为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数... 详细信息

为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数结构中代数子类型和共代数子类型的范畴论定义及其语义解释,从而将代数子类型和共代数子类型的研究扩展到双代数上.

关键词：代数共代数双代数范畴数据类型子类型

在线全文

学校读者我要写书评

暂无评论

带固定参数的Monadic递归

华南理工大学学报（自然科学版） 2014年第7期42卷 33-39,73页

作者：苏锦钿余珊珊华南理工大学计算机科学与工程学院广东广州510640 广东药学院医药信息工程学院广东广州510006

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算... 详细信息

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.

关键词：递归归纳数据类型初始代数 monad 范畴论程序语言

在线全文

学校读者我要写书评

暂无评论

扩展主观逻辑的粗化与细化

华南理工大学学报（自然科学版） 2007年第9期35卷 65-69,84页

作者：苏锦钿郭荷清高英华南理工大学计算机科学与工程学院广东广州510640

为了提高主观逻辑的扩展性和灵活性,文中结合证据理论及信任结构,提出了基于三项事件的扩展主观逻辑.通过重新定义观念空间与事实空间之间的映射关系,给出扩展主观逻辑的粗化和细化映射及相应的计算规则,扩展主观逻辑能够根据实际环境... 详细信息

为了提高主观逻辑的扩展性和灵活性,文中结合证据理论及信任结构,提出了基于三项事件的扩展主观逻辑.通过重新定义观念空间与事实空间之间的映射关系,给出扩展主观逻辑的粗化和细化映射及相应的计算规则,扩展主观逻辑能够根据实际环境的需要提供不同详细程度的识别框架,并利用粗化和细化映射在扩展主观逻辑上统一对信任函数进行结合,而结果可重新映射回原识别框架.实例及分析表明,利用扩展主观逻辑可以解决不同识别框架之间信任信息的融合问题.

关键词：主观逻辑信任结构证据理论粗化细化

在线全文

学校读者我要写书评

暂无评论

折杖法与唐宋量刑制度的变化

齐鲁学刊 2012年第6期 44-47页

作者：魏殿金南京财经大学马克思主义学院江苏南京210046

宋代实施"折杖法",改变了基本刑罚之笞、杖、徒、流四刑(包括加役流)的刑罚执行内容。由于刑罚执行内容的变化,导致了《名例律》中与之相关的条文全条或部分内容失效,从而成为唐宋量刑制度变化的一个重要因素。

关键词：折杖法唐宋时期量刑制度变化

在线全文

学校读者我要写书评

暂无评论

基于Dirichlet分布的扩展主观逻辑

华南理工大学学报（自然科学版） 2006年第6期34卷 108-111,116页

作者：苏锦钿郭荷清刘淼华南理工大学计算机科学与工程学院广东广州510640

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于D irichlet分布的扩展主观逻辑.在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则.扩展... 详细信息

针对基于二值逻辑的主观逻辑中存在的一些问题,提出了基于D irichlet分布的扩展主观逻辑.在利用三值逻辑代替原来二值逻辑的基础上,扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数,并给出了新的扩展合意规则.扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点,并考虑了事件结果不确定时的情况,从而可更好地建模和处理信任中的主观性和不确定性.实例分析表明,扩展主观逻辑具有合理的事实根据和理论基础.

关键词：主观逻辑 Dirichlet分布证据理论二值逻辑三值逻辑合意规则

在线全文

学校读者我要写书评

暂无评论

计算机科学中的范畴数据类型的研究综述

计算机科学 2016年第10期43卷 9-18,39页

作者：苏锦钿华南理工大学计算机科学与工程学院广州510640

范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数... 详细信息

范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数据类型逐渐引起计算机科学工作者的关注与研究,他们采用共代数从观察的角度研究无限数据类型的行为语义和共递归性质。利用范畴论可以为数据类型研究提供统一的数学理论基础,并将代数和共代数中的各种重要研究成果有机地融合在一起,如语法构造与动态行为、递归与共递归、同余与互模拟等。目前,范畴数据类型已经在程序语言、计算描述、理论证明器和并行计算等领域得到广泛的应用。对范畴数据类型的基本概念、数学理论基础、逻辑基础及应用等方面的最新研究成果进行介绍,以引起国内外相关研究领域的学者对计算机科学中的范畴数据类型理论的关注。

关键词：数据类型范畴论代数共代数逻辑演算程序语言

基于连续统去除法的水生植物提取及其时空变化分析——以官厅水库库区为例

在线全文

学校读者我要写书评

暂无评论

植物生态学报 2018年第6期42卷 640-652页

作者：汪星宫兆宁井然张磊金点点首都师范大学资源环境与旅游学院北京100048 三维信息获取与应用教育部重点实验室北京100048 资源环境与地理信息系统北京市重点实验室北京100048 北京市城市环境过程与数字模拟国家重点实验室培育基地北京100048

光谱特征变量的筛选作为水生植物识别的重要手段之一,在水生植物种类识别研究中应用广泛。该研究将实测光谱特征提取与多时相Landsat 8 OLI影像数据分析相结合,找到一种有效识别不同种类水生植物的特征变量。在水生植物反射光谱特征分... 详细信息

光谱特征变量的筛选作为水生植物识别的重要手段之一,在水生植物种类识别研究中应用广泛。该研究将实测光谱特征提取与多时相Landsat 8 OLI影像数据分析相结合,找到一种有效识别不同种类水生植物的特征变量。在水生植物反射光谱特征分析中引入矿质分析中普遍使用的连续统去除法,对光谱重采样结果作连续统去除处理后提取光谱吸收深度特征。采用单因素方差分析法对比7个光谱重采样波段和3个连续统去除吸收深度敏感波段,发现经连续统去除处理的短波红外1波段(SWIR1CR)对于不同类型的水生植物区分效果最佳。将连续统去除法应用到遥感影像处理上,发现SWIR1CR波段能较好区分沉水植物和挺水植物;结合影像归一化植被指数和SWIR1CR波段可较好区分三类水生植物。结合特征波段筛选结果采用支持向量机分类方法,得到水生植物的分类结果精度为86.33%,对比全生长期12期影像提取的水生植物分布图,发现水生植物主要分布于官厅水库库区南北岸浅水区,水生植物面积最大时约占库区总面积的35.13%;其中沉水植物年内生长分布变化幅度较大,6月上旬开始迅速生长;10月份水生植物开始衰减;11月份水生植物占库区面积的20%,沉水、浮水植物大幅衰减消失。

关键词：连续统去除光谱吸收深度单因素方差分析时空变化短波红外1波段

环境规制与制造业产能利用率——基于技术创新的调节效应分析

在线全文

学校读者我要写书评

暂无评论

商业研究 2022年第2期 78-85页

作者：刘帅金殿臣中国财政科学研究院宏观经济研究中心北京100142 中国财政科学研究院全球风险治理研究中心北京100142

统筹推进环境质量持续改善与制造业产能利用率提高是中国经济步入新发展阶段的重要任务。本文从环境规制影响产能利用率的理论脉络出发,探索环境质量与制造业产能利用率提高双赢的可能性,采用2001-2017年制造业19个细分行业面板数据,构... 详细信息

统筹推进环境质量持续改善与制造业产能利用率提高是中国经济步入新发展阶段的重要任务。本文从环境规制影响产能利用率的理论脉络出发,探索环境质量与制造业产能利用率提高双赢的可能性,采用2001-2017年制造业19个细分行业面板数据,构建随机森林和系统广义矩估计模型,检验环境规制、技术创新及二者交互项对制造业产能利用率的影响。结果表明,环境规制与制造业产能利用率之间存在显著的倒U型关系。整体而言,技术创新并未在环境规制提升制造业产能利用率中起到显著地调节效应,但具有明显的行业分化特征。其中,技术创新的正向调节效应在中高技术制造业和清洁型制造业更为显著。“十四五”时期应将完善环境规制体系、改进环境治理方式与制造业绿色技术创新有机结合,坚持创新驱动生产方式绿色转型,以高质量供给推动经济体系优化升级。

关键词：高质量发展环境规制制造业产能利用率系统广义矩估计

在线全文

学校读者我要写书评

暂无评论

一种新型面向普适计算的软件体系架构模型

华南理工大学学报（自然科学版） 2014年第7期42卷 40-48页

作者：李牧南苏锦钿樊霞华南理工大学工商管理学院广东广州510640 华南理工大学广东省创新方法与决策管理系统重点实验室广东广州510640 华南理工大学计算机科学与工程学院广东广州510640

针对普适计算背景下超大型信息系统体系架构建模和描述存在的局限性,提出了一种面向"社区"的体系架构(COA)模型.COA提供了新的巨型信息系统建模与描述方法,以及超大型信息系统规划与设计的新思路.在COA模型中,Community作为对单个Agent... 详细信息

针对普适计算背景下超大型信息系统体系架构建模和描述存在的局限性,提出了一种面向"社区"的体系架构(COA)模型.COA提供了新的巨型信息系统建模与描述方法,以及超大型信息系统规划与设计的新思路.在COA模型中,Community作为对单个Agent的聚合,成为一种新的建模元素,正如构件是对象的集成和聚合一样.通过在传统的WRIGHT语言基础上进行适当语法扩充,以及在操作语义层面采用通信序列进程(CSP),形成一种面向COA的新型体系架构描述语言.最后,结合一个普适计算的具体应用场景,给出了一个基于COA的体系架构的描述实例,并阐述了COA模型在普适计算环境中的作用和意义.

关键词：普适计算软件体系结构面向社区的体系架构智慧城市