共查询到18条相似文献,搜索用时 437 毫秒
1.
包含有向循环的非半稳定分支的特性 总被引:1,自引:0,他引:1
黎传琦 《北京交通大学学报(自然科学版)》2006,30(3):61-63
通过讨论从内射模到投射模的路,对一个包含有向循环的非半稳定分支给出了刻画,而非半稳定分支上的内射模和投射模恰能体现这种分支的一些重要特性,如内射模到投射模路的特性. 相似文献
2.
对F2^8×4上可逆线性变换给出了其线性分支数和差分分支数的一个判定定理,并对特殊的可逆线性变换即循环移位模2加给出了简化的判定条件。 相似文献
3.
杨世洲 《西北师范大学学报(自然科学版)》2002,38(2):17-18,53
推广了著名的Osofsky-Smith定理,即证明了若χ是包含所有半单模、所有奇异模和所有循环模的模类,M是循环的Extending模,并且M的任意循环子商是2型χ-Extending模,则M具有有限一致维数。 相似文献
4.
杨世洲 《西北师范大学学报(自然科学版)》2002,38(2):17-18
推广了著名的Osofsky-Smith定理,即证明了若x是包含所有半单模、所有奇异模和所有循环模的模类,M是循环的 Extending模,并且M的任意循环子商是2型x- Extending模,则M具有有限一致维数. 相似文献
5.
令Λ以为一个Artin代数,Γ为Λ的Λ-R箭图ΓΛ的一个分支,且Γ不包含有向循环。Size Li已经证明出以下事实:Γ能被嵌入到某个ZΔ中(其中Δ同构于Γ的一个截面,Z是整数集),当且仅当每一条可能的IP路为sectional路。利用这一定理,讨论几种满足一定条件的A-R分支的嵌入和截面的性质。 相似文献
6.
7.
8.
9.
证明了倾斜代数含有一个连接分支Г,并且在这一分支中,从内射模到投射模的路(若有)都是截口路.还证明了预投射分支中模的既约前趋的个数是有限的,且有rad∞(@,X)=0,其中X为此分支中的模. 相似文献
10.
多层压组合冷挤压凹模疲劳强度优化设计 总被引:1,自引:1,他引:1
采用疲劳强度设计理论和最优化设计理论相结合的方式探讨多层压配组合冷挤压凹模的更为合理、有效的设计方法。首先,推出了3层压配组合冷挤压凹模在压配状态和工作状态下凹模各层的应力计算公式,论证了凹模的疲劳强度校核点在凹模各层的内表面上,在此基础上,用Sines法将凹模各层的多向脉冲循环应力等效地转化为单 向循环应力,并建立了3层压配组合冷挤压凹模疲劳强度优化设计的数学模型,用算例进行了优化设计,获得了令人满意的结果。 相似文献
12.
把Morta Context和Hom函子结合起来作为工具,考察了带torsion theory的Semicocritical模和Absolutely pure模;得到了新的性质,并且给出了构造不可分解内射模的一种方法。 相似文献
13.
图的循环定向 总被引:1,自引:1,他引:0
邹腾 《四川大学学报(自然科学版)》2010,47(1):21-26
Barot,Geiss和Zelevingsky曾经给出了一个图是否可定向的判断方法.该方法对图中所有圈上的边依次排序编号,然后考察不同的圈是否有不同的极大边,或者是计算顶点、边、圈和连通分支间的数量关系.本文给出另外一种判定方法.该方法主要通过观察顶点之间的链进行. 相似文献
14.
邹腾 《四川大学学报(自然科学版)》2010,47(2)
M.Barot,C.Geiss和A.Zelevinsky曾经给出了一个图是否可定向的判断
方法.该方法对图中所有圈上的边依次排序编号,然后考察不同的圈是否有不同
的极大边,或者是计算顶点、边、圈和连通分支间的数量关系.本文给出另外一
种判定方法,我们的方法主要是通过观察顶点之间的链进行. 相似文献
15.
针对“非功能”因素如何进行重新抽象的问题,提出了一个“面向参与者”的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对“非功能”因素进行了重新抽象。 相似文献
16.
17.
徐辉 《阜阳师范学院学报(自然科学版)》2011,28(4):19-21
Gorenstein内射模是Gorenstein同调代数中最基本的三大模类之一。文章利用经典同调代数中基础的方法,证明Gorenstein内射模类的性质,得到Gorenstein内射模类是内射预解子范畴的结果。 相似文献
18.
装配式建筑设计、生产过程存在标准化程度低、数据联系较差等诸多问题。本文引入制造业中面向制造与装配(DFMA)的产品设计理念,研究了装配式建筑竖向PC构件的快速建模与深化设计应用。通过对某建筑企业大量装配式建筑项目PC构件深化设计图纸的梳理分析。分析图纸中构件组成规律,创新性的将PC构件二次拆分为模块。分析模块的种类、组合规律、数据架构等,形成模块的设计标准。将设计标准融入到BIM软件中,并开发相应的工具软件实现模块的快速建模。以软件创建的参数化标准模块为基础,以关联、匹配、调取、组合、拆解的关键技术实现PC构件的深化设计与工厂的制造联系。最后,通过实际工程案例进行测试对比。结果表明,竖向PC构件的建模速度提升70%、深化设计效率提升约80%,深化设计费用节省约80%,实现最小制造成本。该文有助于构建装配式建筑标准化的设计和生产体系,推广少规格多组合的设计方法,强化数据联系,提高装配式建筑的综合效益。 相似文献