学科服务 更多>>

关键词： n-th differential objects   Additive categories   Exact categories   Homological conjectures   Triangulated categories   Derived categories  

摘要： Given an additive category C and an integer n >= 2. We form a new additive category C[epsilon](n) consisting of objects X in C equipped with an endomorphism epsilon(X) satisfying epsilon(n)(X) = 0. First, using the descriptions of projective and injective objects in C[epsilon](n), we not only establish a connection between Gorenstein flat modules over a ring R and R[t]/(t(n)), but also prove that an Artinian algebra R satisfies some homological conjectures if and only if so does R[t]/(t(n)). Then we show that the corresponding homotopy category K(C[epsilon](n)) is a triangulated category when C is an idempotent complete exact category. Moreover, under some conditions for an abelian category A, the natural quotient functor Q from K(A[epsilon](n)) to the derived category D(A[epsilon](n)) produces a recollement of triangulated categories. Finally, we prove that if A is an Ab4-category with a compact projective generator, then D(A[epsilon](n)) is a compactly generated triangulated category. (C) 2019 Elsevier Inc. All rights reserved.

关键词： 民族声乐   艺术范畴   美学特征  

摘要： 我国当代民族声乐艺术之所以能够在时代变迁、社会发展中仍然长盛不衰,并且呈现出百花齐放的特征,就在于它对中国优秀传统文化、全世界优秀声乐艺术精髓的吸收与继承,从而能够跟上时代的发展与社会大众审美的变迁。对于我国民族声乐艺术的范畴及美学特征的研究,有助于更加长久地保持生命力,在符合我国社会大众对文艺作品需求的同时,也更好地登上世界舞台一展风采。

关键词： 司法鉴定   检察机关   环境保护公益诉讼   修复方案   周期长   案件  

摘要： 目前,检察机关在办理涉生态环境保护公益诉讼案件中存在司法鉴定难等实际问题,特别是环境损害司法鉴定机构少、费用高、周期长已成为制约检察机关办理涉生态环境保护公益诉讼案件的一个瓶颈。据此,有必要对该类案件中的司法鉴定问题进行研究。

关键词： Representation theory   Deligne categories   Ultrafilters   Symmetric group   Lie algebras   Simple algebras   Tensor categories  

摘要： We classify simple associative and Lie algebras inside the Deligne categories Rep(S-t), answering a question posed by Etingof. (C) 2019 Elsevier Inc. All rights reserved.

关键词： GRL模型   范畴论   模型形式化   模型正确性验证  

摘要： 面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。

关键词： 黄帝内经   学术史   中医基础理论   中医文化  

摘要： 《黄帝内经》学术史研究,是对《黄帝内经》研究史以及《黄帝内经》的思想、学说以及理论与方法的“研究的研究”。历朝历代,政治经济文化状况不同,《黄帝内经》学术研究也呈现出不同的特点。目前,对历朝历代的《黄帝内经》研究,应该从历史的和理论的视角,按照学术史研究的内在理路进行梳理,对《黄帝内经》学术发展的内在规律进行分析,探究其在当下中医学学术发展进展中的启示与借鉴。通过跨学科的视角,与知识史、观念史、社会史等进行交叉研究,整体地而不是局部地、全面地而不是片面地呈现《黄帝内经》学术发展历程。

关键词： Functorially finite   Monomorphism categories   Auslander-Reiten sequences   Auslander-Reiten translations  

摘要： Given a selfinjective artin algebra A, we consider the category S-inj (A) of all embeddings of a left A-module in a finitely generated injective left A-module. We show that S-inj (A) is a Frobenius category with Auslander-Reiten sequences such that the categories A-mod and S-inj (A) are stably equivalent and S-inj (A) has twice as many indecomposable injective objects as A-mod. (C) 2020 Published by Elsevier Inc.

关键词： 以人民为中心   习近平新时代中国特色社会主义思想   核心范畴   理论价值  

摘要： 以人民为中心的科学内涵主要表现在三个方面:发展的根本是为了人民,发展的根本动力是依靠人民,发展的根本价值是发展成果由人民共享。以人民为中心应是习近平新时代中国特色社会主义思想的核心范畴,因为以人民为中心在习近平新时代中国特色社会主义思想范畴体系中处于主导和支配地位,对其他所有范畴具有统摄和统领作用。以人民为中心作为习近平新时代中国特色社会主义思想的核心范畴,其理论价值在于坚持和发展了马克思主义唯物史观,开辟了马克思主义新境界;其现实意义在于坚持和传承了我们党服务人民的根本宗旨,继承和弘扬了我们党密切联系群众的优良作风,集中体现了我们党坚持人民共享的价值追求。

关键词： 线圈   磁通量   面   面积   范畴  

摘要： 由于混淆面和面积的概念,人们不经意地会混淆通过线圈某一侧面的磁通量和通过每匝线圈同一侧面的磁通量.要消除这一概念上的混淆,必须认识到面和面积属于两个不同的范畴.

关键词： 淄博方言   体范畴   方言描写  

摘要： 体范畴在语言学当中是一个重要的语法概念,但是对于方言中体范畴的系统描写不是太多。本文根据刘丹青《语法调查研究手册》的语法描写框架,对淄博方言中的体范畴进行首次系统描写。淄博方言中的体范畴主要包括起始体、进行体、完成体、经历体、将行体、长时体等几种体,表达方式主要有语法手段和词汇手段。