范畴理论

摘要： 采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植。

摘要： 将认知语言学应用于翻译技巧研究,语言篇章研究,文学文本研究具有举足轻重的意义。当今学者通过认知语言学的视角来研究翻译已经进入发展的阶段,国内外学者常常利用认知语言学进行翻译文本的分析,还有多数学者将认知语言学运用于翻译课堂教学,总结翻译教学策略,构建翻译教学模式。本文将研究的重点聚焦于诗歌翻译,通过具体实例分析认知语言学视角下的诗歌的不同翻译译本体现出的翻译策略,促进之后的诗歌翻译研究和中外文化的传播。

摘要： 认知语言学对学习语言有着极强的针对性与实用性,尤其是范畴理论、隐喻系统.范畴理论运用到英语词汇的学习当中,强调不同词汇之间经过人的有意识归纳整理,存在必然的因果联系和种类相似性,即词汇与词汇、词汇与语境、词汇与文章大意、词汇与表达意图之间存在着关系.此外,认知语言学认为任何语言都存在隐喻.教师如果运用好概念隐喻,就能够更加深入地增进学生对于英语词汇学习的深刻记忆,并且形成长效的思维模式.

摘要： 文章阐述了认知语言学原型理论和范畴理论的具体内容,并探讨了这两个理论对大学英语词汇教学的指导作用,提出在词汇教学中要重视基本词汇教学,通过屈折手段建立词形相近单词的联系,讲解多义词,从而拓展学生词汇量,提高学生的学习兴趣.

摘要： 在日常交际中“下”字使用频率非常高,且在不同交际语境中的语义各不相同,本研究首先结合语料库收集“下”字词组及句子,并归类出“下”字词性和含义.其次运用认知语言学中的范畴理论分析出“下”字各词性和各含义之间的关系.最后运用隐喻和转喻分析“下”字多词性和多含义产生的动因.研究发现(1)“下”字共有5种词性、38个不同含义;(2)在词性延展上,转喻动因多于隐喻,在词性内部含义延伸上,隐喻多于转喻.

摘要： 认知语言学作为一门随着认知科学发展而兴起的语言学流派,其理论不仅对于语言学研究有所贡献,对戏剧欣赏研究也同样具有指导意义:认知语言学的“范畴”理论对于戏剧欣赏中典型人物塑造的指导意义;认知语义学的“意义结构”对于戏剧欣赏中欣赏主体差异性的指导意义;框架语义学对戏剧语言解读的指导意义.

摘要： 我们在生活中会遇到大量的颜色词,有时候我们所说的颜色词并不是表达色彩,而有其隐喻含义.颜色隐喻把颜色词当作源域,将颜色词的意象映射到抽象的其它域里,我们能够通过这样的隐喻更好地交流与沟通.该文用认知语言学当中的范畴理论和颜色隐喻来分析英汉中不同颜色的隐喻含义,以及涉及到颜色的英汉翻译中的隐喻现象.此论文有助于英汉双语学习者提高交流能力,更好地翻译英汉双语中的颜色词.

摘要： 一般认为"姓"是关系动词.关系动词有其语法特点,有其标准;但"姓"是较特殊的关系动词,如能后带动态助词"了""着""过",能宾语悬空,后面并非一定要带宾语,也可带补语,如"姓得X""姓错了""姓对了"等,"姓过"后可带动量短语"一回",所有这些不是"例外"所能概括的;"姓"还有"示姓(性)",有的后面还有"了",可见,"姓X"已是修辞用法."姓"作为动词其搭配功能有很大扩展.从认知语言学的范畴理论来看",姓"虽是关系动词,但不典型.

摘要： 为解决分布式系统构建过程中系统组合和语义验证等方面的问题,基于范畴理论和进程代数,为基于Agent的分布式系统模型提出了一种形式化的语义描述框架.范畴图表用于描述整个系统的结构模型,态射用来表示系统各组成部分之间的交互和协作机制.在此基础上,对Agent规范的描述、组合、精化以及迁移过程中的语义保持问题进行了探讨.应用研究表明,该框架适用于分布式系统模型的描述和构建,有助于分析系统分解和组合的正确性.

摘要： 传统的计算系统和软件系统正逐步演变为服务系统,为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建。

摘要： 目前粒计算还没有统一的模型,为了解决这个问题,将范畴理论应用到粒计算研究中,实现了用粒范畴来表述粒计算模型.文章首先在粒的定义及基于特征的形式化表示基础上给出了粒关系的定义和基于特征的形式化描述；然后建立了粒关系的三维模型,并对3类基本粒关系及其复合操作进行了基于特征的形式化表示；接着应用范畴的概念,定义了基于特征的粒范畴；最后给出了粒范畴实例,说明粒范畴的定义是合理的.这些研究成果为粒计算统一模型的研究提供了范例,有利于推动粒计算学科的研究与发展.

摘要： 思想政治教育学一般范畴与基本范畴都是思想政治教育学范畴理论的重要内容.文章通过辨明思想政治教育学一般范畴与基本范畴之间的区别,对于理解思想政治教育学范畴的内涵,构建思想政治教育学不同层次的范畴体系,并通过范畴体系的发展引导思想政治教育学科建设具有重要意义。

摘要： 本发明涉及计算机技术领域，提供了一种发音探测方法，包含步骤：收集被试者读出指定内容时的语音信号及发音器官外部特定位置的振动强度；根据所述语音信号获取所述指定内容中待测发音对应的振动强度；根据所述待测发音对应的振动强度与阈值的关系，判断所述待测发音是否正确。通过该方法非侵入式发音探测，不仅操作简单、成本低，而且对于被试者而言，更加安全、舒适。此外，基于所述发音探测方法，本发明还提供一种发音探测装置和语音范畴学习方法及系统。

摘要： 本发明的实施方式提供了前后鼻音韵母的参数合成方法及感知范畴测量方法、装置，其中，该前后鼻音韵母的参数合成方法包括：获取包含前后鼻音音节的若干语音信号，并确定关键音段；通过处理每个语音信号的关键音段的第二共振峰曲线和第三共振峰曲线，合成第二共振峰连续统和第三共振峰连续统；利用第二共振峰连续统、第三共振峰连续统，以及第二共振峰和第三共振峰以外的其他共振峰，合成关键音段连续统；将关键音段连续统中每个合成的关键音段与关键音段以外的其他音段拼接得到合成语音。本发明为参数法合成鼻音提供了新方法，所合成的前后鼻音韵母连续统可应用于前后鼻音知觉空间的范畴化测量，打开了计算机辅助鼻音教学的新思路。

摘要： 本发明涉及一种碳汇草范畴界定的方法，该方法包括以下步骤：（1）选择具有生长发育迅速及反复萌发特性，一年能刈割两次以上的草本植物作为碳汇草界定范围；（2）确定碳汇草的各项指标；（3）确定将要界定的区域中的陆生、水生草本植物生物量的平均值、有机碳含量的平均值；（4）确定将要界定的草本植物生物量、有机碳含量；（5）将步骤（3）、（4）中的测量结果与步骤（2）中的指标进行对比，当准确率达到90％以上时即完成界定。碳汇草的碳汇量显著大于相同面积森林的碳汇量，将成为碳交易的新型碳产品。碳汇草封存及替代化石燃料，可实现大气CO2的负增长，降低和提前CO2峰值，调节温室效应，消除雾霾，控制全球气候变暖。

摘要： 本发明属于数据安全技术领域，且公开了基于数据安全法范畴的数据访问控制分析方法，包括以下步骤：管理层对访问者身份进行认证，确定其访问权限，访问控制层确定对用户的访问控制策略，对其访问授权，并同时记录其访问轨迹做好审计。本发明通过关键字识别数据类型以及迅速判别是否为敏感数据，对输出的数据敏感程度较高采用相应的数据处理手段，另外本发明还制定了一种敏感数据访问处理规则，当出现同一账号在单位时间内连续对关联性较低的敏感数据进行访问，将会采取相应的风险规避性措施对用户进行限制，用户在被限制后可通过主动申请进行身份洗白，这样的措施可以有效防止敏感信息泄漏，相对提高了敏感数据的访问门槛。

摘要： 本发明公开了一种用范畴归类技术处理汉字的方法，利用范畴归类处理模型进行处理，用哲学、社会学的分类范畴对字义进行不同程度、不同维度的分类，将几万个汉字义项总结为近80个义项范畴，为汉字的数据化处理做好了基础条件，也为更好的认识汉字提供了方法，包括下述步骤：1）分拆模块将汉字通过4个维度进行分拆归类；2）将分拆归类后的汉字利用范畴模块进行归类；3）在各范畴归类项下，压缩模块对汉字的字义进行压缩；4）将压缩后的汉字字义送入数据库内进行存档。

摘要： 本发明公开了一种儿童范畴图谱模型的知识表征与计算方法，包括如下步骤：按儿童范畴图谱模型要求建立图数据库作为存储工具；通过交互界面向模型输入学习文档，并记录学习日期；对输入的文档进行句法学习，对文档中的自然段进行语句切分和句型语法特征识别处理；对文档中每个句子进行分词、依存关系分析，进行词项概念及依存关系的学习；识别两个概念间的语义关系并分类，在二元概念关系基础上，拓展生成多元复杂概念体系；迭代学习，在每次文档输入学习存储的基础上，计算概念权重及概念语法关系及语义关系权重，迭代生成儿童范畴图谱。本发明将表征与计算分开，厘清了知识表征中概念与概念运用规则的界限，为多领域研究与应用提供新的思路。

摘要： 本发明提供一种用于中间视觉特性范畴内的目标对比度计算方法，包括：在不同光照条件下测量目标和背景表面的光谱功率分布曲线；选择合适的中间视觉光度计算模型，计算光谱光视效率函数，再根据测量得到的光谱功率分布曲线计算得出中间视觉特性范畴内的目标和背景的感知亮度；基于计算的亮度，计算中间视觉特性范畴内的目标对比度，根据目标对比度计算结果，选择使目标对比度达到最大的照明灯具，应用于隧道照明中。本发明技术方案能够比较不同色温和显色性LED照明光源在考虑中间视觉亮度时计算的目标对比度，为隧道照明选择合适的照明光源，为照明节能和驾驶安全提供了保障。

摘要： 本发明提供一种考虑警觉性的用于中间视觉范畴内的非视觉光生物效应评价方法，包括：S1、构建中间视觉光谱光视效率计算模型和非视觉光生物效应模型；S2、基于中间视觉光谱光视效率计算模型和非视觉光生物效应模型，计算中间视觉视觉效应值和非视觉光生物效应值；进而计算非视觉光生物效应值与中间视觉视觉效应值的比值；S3、根据实际照明环境的光源亮度和光谱，利用非视觉光生物效应值与中间视觉视觉效应值的比值，结合照明环境对于警觉性的需要程度，选择照明光源。本发明从光生物效应的角度出发，研究能够提高驾驶员警觉性的光谱组成，从而为公路隧道交通提供一个安全舒适的照明环境，同时为未来隧道照明细则的制定提供理论基础。

摘要： 本申请涉及一种用于特别是在机动车的涂漆修复工作领域中检查涂漆表面的日光手电筒(1)。光谱均匀地形成，使得在波长为400‑700nm的光谱范围内，在30cm±0.5cm的距离处，核心和内边缘区域的日光偏差平均值小于20％，或关于核心和内边缘区域中的光束中心的光谱稳定系数的平均值小于10％。

摘要： 本发明涉及一种基于范畴表示的图像序列隐含信息分析方法，包括以下步骤：⑴图像序列特征用范畴表示；⑵两个图像子序列用函子表示；⑶图像序列的自然变换；⑷建立图像序列中子图像之间的对应机制。本发明利用范畴理论来表示图像序列隐含信息深度特征进行表示，根据范畴的数学特性，再结合层次认知机理，建立范畴表示深度学习理论框架。方法使用范畴理论表示的连续图像序列研究图像序列的相关性，可以用于机器人等智能设备的视觉感知、动作捕捉，人脸表情分析、手写识别等人工智能领域。