共查询到20条相似文献,搜索用时 125 毫秒
1.
考虑双单子Smash积的表示范畴. 设F和G是给定的双单子, 利用2 范畴方法讨论其Smash积GF上的张量结构, 证明了GF的双单子结构与其表示范畴上的张量结构是等价的, 并给出了其表示范畴做成张量范畴的一系列充要条件. 相似文献
2.
刘富春 《江西师范大学学报(自然科学版)》1997,21(2):121-126
该文构造了范畴Trel和(1set/U)^OP之间的同构,从而证明了Institution的两个范畴式定义的一致性。 相似文献
3.
4.
莱布尼茨作为近代哲学唯理论的重要代表人物之一,在西方哲学史上具有十分重要的地位,而其哲学思想的根基就是单子论。因此,对单子论的主要命题进行系统的梳理和辨析,对于我们全面认识莱布尼茨的哲学思想是十分必要的。 相似文献
5.
本文针对企业级应用系统软件的开发过程中界面原型开发问题,提出了一种基于单子模式和服务桩的演进化界面原型快速开发方法,大大提高了原型开发的效率降低了软件开发的成本。 相似文献
6.
为了处理模糊信息,Zadch引入模糊集概念。之后,Rosenfeld应用Zadeh的思想引入群的模糊子群的概念。本文应用Zadeh的思想,给出了从一般范畴出发,构造格值范畴的一般方法。为今后进一步深入研究模糊代数奠定了基础。 相似文献
7.
通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。 相似文献
8.
针对当前大学生在英语学习中普遍出现的词汇问题,本文以原型范畴理论为着眼点,借助这一认知语言学的核心理论来指导教与学,让英语教师和学生从中得到启迪,从而提高教学质量,并提出了一些建议。 相似文献
9.
认知范畴具有层次性,具有显著特征的基本物体构成了基本层次,基本层次范畴中的词汇简单,容易被识记、掌握。在基本层次之上,有更抽象,更具有概括性的上位范畴,而往下,有更具体,更复杂的下位范畴。这三个层次的范畴,从上到下,一层包含一层,从概括到具体,从少到多。对这种范畴层次的特征的了解有助于提高学生的英语写作水平,因此教师在教授英语写作的过程中应该从认知范畴的角度出发,引导学生进一步提升自身的写作水平和策略。 相似文献
10.
农杆菌是一种在基因工程中经常使用的转化载体,其传统受体为双子叶植物。起初,人们认为农杆菌仅能转化双子叶植物、裸子植物及少数几种单子叶植物。随着技术的发展和理论认识的进一步深化,1987年首次在单子叶植物石刁柏的转化中成功应用了农杆菌介导,在20世纪90年代,农杆菌介导的单子叶植物转化取得了巨大的成果。本文对三种典型的由农杆菌介导的单子叶植物基因转化的应用情况和目前所面临的问题及对策进行综述。 相似文献
11.
12.
反训作为传统训诂学的一种语言现象,与原型范畴理论有诸多的不"兼容",集中体现在对立性上,这也引起了国内学者的颇多争议。反训在原型、语义链和家族相似性等方面弥补了原型范畴理论的不足。汉民族的思维方式和生存方式是反训存在的缘由。 相似文献
13.
连冠勤 《莆田高等专科学校学报》2010,(5):11-13
考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。 相似文献
14.
15.
龙威 《首都师范大学学报(自然科学版)》2014,35(5):43-50
采用密度泛函(DFT)中B3LYP方法,在6-311+G(d,p)基组水平上对葡萄糖、吡喃型果糖、呋喃型果糖、D-万寿菊糖进行了几何构型优化、频率分析、红外光谱、自然电荷布居、NBO分析、分子能量及前线轨道能级计算,推导出分子的稳定性顺序为:呋喃型果糖吡喃型果糖葡萄糖菊糖.引入概念DFT活性指数分析表明菊糖分子的化学势μ数值大、化学硬度η小、亲电指数ω大,表明了它具有特殊的活性.Fukui指数扫描表明菊糖分子中C2原子具有较大的给电子能力,是整个分子的活性中心.抗氧化能力的EBDE数值计算表明2-H最容易断裂,其数值是为94.65 kcal·mol-1,远小于它的绝热电离势,这可为解释菊糖分子的抗氧化活性做合理的理论指导. 相似文献
16.
针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律. 相似文献
17.
运用线性规划理论建立了优化软件开发过程的模型。该模型解决了软件项目管理中当软件项目的实际进度滞后于计划进度时,如何采取最优的控制策略使得软件项目能够在可接受的成本和时间内顺利完成的问题。最后,结合实例运用优化软件LINGO9.0求得最优解。实验结果表明,该模型可以有效控制软件开发进度,确保软件项目的顺利完成。 相似文献
18.
周孟战 《江西科技师范学院学报》2011,(1):74-78
反训作为传统训诂学的一种语言现象,与原型范畴理论有诸多的不"兼容",集中体现在对立性上,也引起了国内学者的颇多争议。反训在原型、语义链和家庭相似性等方面弥补了原型范畴理论的不足。最后,我们从汉民族的思维方式和生存方式讨论了反训存在的缘由。 相似文献
19.
20.
系统地讨论ZYE3代数的范畴理论,其中包括积,上积,纤维积,张量积,正向极限和逆向极限。证明了它们的存在性唯一性,且讨论了下些与之有关的性质。 相似文献