双单子的Smash积

考虑双单子Smash积的表示范畴. 设F和G是给定的双单子, 利用2 范畴方法讨论其Smash积GF上的张量结构, 证明了GF的双单子结构与其表示范畴上的张量结构是等价的, 并给出了其表示范畴做成张量范畴的一系列充要条件.     

关于Institution范畴式定义的注记

该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。     

莱布尼茨单子论与建设性后现代主义

莱布尼茨单子有机论和建设性后现代主义的整体有机论,都是在批判机械论的基础上创立的,并试图以之来超越机械论,二者之间有着明显的联系。通过对单子哲学进行深入解读,则会发现诸多建设性后现代主义的思想特征;而对建设性后现代主义进行历史追溯,就会发现单子哲学是后现代整体有机论的重要思想之源。对单子有机论和后现代整体有机论进行比较研究,对于全面理解和阐发它们的深层内涵具有重要现实意义。     

莱布尼茨“单子论”探析

莱布尼茨作为近代哲学唯理论的重要代表人物之一,在西方哲学史上具有十分重要的地位,而其哲学思想的根基就是单子论。因此,对单子论的主要命题进行系统的梳理和辨析,对于我们全面认识莱布尼茨的哲学思想是十分必要的。     

单子模式和服务桩在界面原型开发中的应用

本文针对企业级应用系统软件的开发过程中界面原型开发问题,提出了一种基于单子模式和服务桩的演进化界面原型快速开发方法,大大提高了原型开发的效率降低了软件开发的成本。     

Zadeh思想在范畴中的应用

为了处理模糊信息，Ｚａｄｃｈ引入模糊集概念。之后，Ｒｏｓｅｎｆｅｌｄ应用Ｚａｄｅｈ的思想引入群的模糊子群的概念。本文应用Ｚａｄｅｈ的思想，给出了从一般范畴出发，构造格值范畴的一般方法。为今后进一步深入研究模糊代数奠定了基础。     

Gabriel单子与模范畴的局部化

通过定义Gabriel单子来刻画模范畴的商范畴与局部化范畴,证明了Gabriel单子诱导的像和余像是等价的;其像为模范畴的局部化范畴,该局部化范畴等价于Gabriel单子确定的Kleisli范畴;其余像为模范畴的商范畴,该商范畴等价于Eilengerg-Moore范畴。     

原型范畴理论在大学英语词汇教学中的应用研究

针对当前大学生在英语学习中普遍出现的词汇问题,本文以原型范畴理论为着眼点,借助这一认知语言学的核心理论来指导教与学,让英语教师和学生从中得到启迪,从而提高教学质量,并提出了一些建议。     

认知范畴理论在英语写作教学中的应用

认知范畴具有层次性,具有显著特征的基本物体构成了基本层次,基本层次范畴中的词汇简单,容易被识记、掌握。在基本层次之上,有更抽象,更具有概括性的上位范畴,而往下,有更具体,更复杂的下位范畴。这三个层次的范畴,从上到下,一层包含一层,从概括到具体,从少到多。对这种范畴层次的特征的了解有助于提高学生的英语写作水平,因此教师在教授英语写作的过程中应该从认知范畴的角度出发,引导学生进一步提升自身的写作水平和策略。     

农杆菌在几种典型单子叶植物遗传转化中的应用及比较

农杆菌是一种在基因工程中经常使用的转化载体,其传统受体为双子叶植物。起初,人们认为农杆菌仅能转化双子叶植物、裸子植物及少数几种单子叶植物。随着技术的发展和理论认识的进一步深化,1987年首次在单子叶植物石刁柏的转化中成功应用了农杆菌介导,在20世纪90年代,农杆菌介导的单子叶植物转化取得了巨大的成果。本文对三种典型的由农杆菌介导的单子叶植物基因转化的应用情况和目前所面临的问题及对策进行综述。     

函数式语言范畴描述研究

函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质。     

反训对原型范畴理论的补充

反训作为传统训诂学的一种语言现象,与原型范畴理论有诸多的不"兼容",集中体现在对立性上,这也引起了国内学者的颇多争议。反训在原型、语义链和家族相似性等方面弥补了原型范畴理论的不足。汉民族的思维方式和生存方式是反训存在的缘由。     

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

菊糖同分异构体活性的密度泛函研究

采用密度泛函(DFT)中B3LYP方法,在6-311+G(d,p)基组水平上对葡萄糖、吡喃型果糖、呋喃型果糖、D-万寿菊糖进行了几何构型优化、频率分析、红外光谱、自然电荷布居、NBO分析、分子能量及前线轨道能级计算,推导出分子的稳定性顺序为:呋喃型果糖吡喃型果糖葡萄糖菊糖.引入概念DFT活性指数分析表明菊糖分子的化学势μ数值大、化学硬度η小、亲电指数ω大,表明了它具有特殊的活性.Fukui指数扫描表明菊糖分子中C2原子具有较大的给电子能力,是整个分子的活性中心.抗氧化能力的EBDE数值计算表明2-H最容易断裂,其数值是为94.65 kcal·mol-1,远小于它的绝热电离势,这可为解释菊糖分子的抗氧化活性做合理的理论指导.     

带固定参数的Monadic递归

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

线性规划理论在软件开发过程中的应用

运用线性规划理论建立了优化软件开发过程的模型。该模型解决了软件项目管理中当软件项目的实际进度滞后于计划进度时,如何采取最优的控制策略使得软件项目能够在可接受的成本和时间内顺利完成的问题。最后,结合实例运用优化软件LINGO9.0求得最优解。实验结果表明,该模型可以有效控制软件开发进度,确保软件项目的顺利完成。     

反训对原型范畴理论的丰富和发展

反训作为传统训诂学的一种语言现象,与原型范畴理论有诸多的不"兼容",集中体现在对立性上,也引起了国内学者的颇多争议。反训在原型、语义链和家庭相似性等方面弥补了原型范畴理论的不足。最后,我们从汉民族的思维方式和生存方式讨论了反训存在的缘由。     

从范畴理论看英语一般现在时

从认知语言学的原型范畴理论角度,解释英语一般现在时态范畴的意义,揭示原型理论在其认知过程中的重要作用。     

ZYE3代数范畴

系统地讨论ＺＹＥ３代数的范畴理论，其中包括积，上积，纤维积，张量积，正向极限和逆向极限。证明了它们的存在性唯一性，且讨论了下些与之有关的性质。