范畴FTOP和L-FTOP的拓扑性

设FTOP是模糊化拓扑空间及模糊化不定映射的范畴,L-FTOP是L-fuzzy拓扑空间及连续映射的范畴,Set是集合及映射的范畴,证明了FTOP和L-FTOP都是Set上的拓扑范畴.     

三角Hopf代数表示范畴上的双交叉积

借助ＭａｎｉｎＹｕｌ在范畴上引入代数结构这一思想，在三角Ｈｏｐｆ代数表示范畴ＨＵ上进进行研究，得到如结论：１在ＨＵ上建立了Ｓｍａｓｈ积结构；２在ＨＵ上建立了双交叉积并给出其存在的充分必要条件，Ｍａｊｉｄ的双交叉积及充要条件都是本文的特例。     

处处连续处处不可微多元函数集合的性质

证明了C([0,1]n)中处处不可微函数集合的补集是第一纲集.证明思路沿用n=1时的情形,但通过构造一系列疏集,使证明中不等式的得出更为自然.通过对证明的详细分析,可以得到向量值连续函数空间也有类似的性质.最后讨论了协变导数代替偏导数的情形.     

分类算法在范例推理中的研究与应用

将范例推理中的范例初步匹配看作文本分类的特殊情形,提出基于类别中心向量的分类算法。通过确定待处理案例的归属类别,缩小范例检索范围,减少在范例精确匹配阶段的计算量,提高案例初步匹配的准确性。在此基础上,将上述算法应用在对交通事故案例的处理与交通信息预警系统中。实验与使用表明,该算法能较为准确地判断事故类型并给出相应的预警信息。     

G2型丛代数中丛单项式线性无关性的范畴化证明

利用范畴化的方法,通过建立从丛倾斜代数的有限生成模范畴中不可分解的刚性对象,到对应的丛代数中丛变量的Caldero-Chapoton公式,证明Fomin-Zelevinsky关于丛代数中丛单项式的线性无关猜想对G2型丛代数成立。     

弱幂等Quantale范畴与相关范畴的关系

首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念, 给出Quantale的最大弱幂等商的等价刻画; 然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴, 幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴; 最后得到幂等Quantale范畴是Quantale范畴的反射子范畴.     

真左C—lpp么半群的结构

引入了左Ｃ－ｌｐｐ范畴并利用左Ｃ－ｌｐｐ范畴，给出真左Ｃ－ｌｐｐ么半群的结构。作为应用建立了真右逆么半群的构造。     

地理学术语中基元隐喻构词元素的类别特征和构词价值——以《地理学名词》(第2版)为例

文章从术语学角度出发,在分析地理学术语中基元隐喻构词元素的结构形式、基本类型及其特征的基础上,总结基元隐喻构词元素在地理学术语命名中的应用价值及运用策略,并对基元隐喻构词元素的形象性与地理学科术语命名的科学性、准确性之间的关系进行探讨,以期为学科术语命名提供参考。