期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
证明图象具有对称性的新思路
1
作者 毛金才 《中学生百科(阅读写作)》 2006年第5期32-33,共2页
在通常情况下,我们利用对称性的定义证明图象具有某种对称性。本文另辟蹊径:采用图象平移法,这样做的依据是:奇函数的图象关于原点对称;偶函数的图象关于y轴对称;平移变换不改变图象的形状与大小(平移不变性)。
关键词 对称性 平移不变性 证明图 奇函数 点对称 对称中心 平移法 定义域 新思路
原文传递
传值进程模型检测中诊断信息的生成 被引量:3
2
作者 刘剑 林惠民 《软件学报》 EI CSCD 北大核心 2003年第1期1-8,共8页
诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法.所采用的方法是从检测过程保存的依... 诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义.讨论了传值进程模型检测中诊断信息的生成问题.引入了两种诊断信息的表示结构:证明图和示例;提出了两种诊断信息构造算法.所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例,这样可以继承已有的信息,从而减少计算量.相应的算法已经实现并用实例作了分析测试.实验结果表明该方法是有效的. 展开更多
关键词 传值进程 模型检测 诊断信息 进程代数 证明图 示例 算法 计算机
下载PDF
研究四色问题的意义及理论构想 被引量:7
3
作者 张祥波 《数学理论与应用》 2012年第3期24-28,共5页
四色问题又称四色猜想,是世界近代三大数学难题之一.1976年两位美国数学家Appel与Haken借助计算机给出了一个证明.时至今日,四色问题的正确性早已得到数学界所承认.但是围绕它的非计算机证明,在近几十年来涌现出了各种不同的研究成果.... 四色问题又称四色猜想,是世界近代三大数学难题之一.1976年两位美国数学家Appel与Haken借助计算机给出了一个证明.时至今日,四色问题的正确性早已得到数学界所承认.但是围绕它的非计算机证明,在近几十年来涌现出了各种不同的研究成果.一方面丰富了图论的内容,另一方面又促进了图的染色理论的发展.本文从研究四色问题的意义出发;揭示了四色问题所隐藏的深刻规律,在此基础上提出了一个比四色问题更具有广泛意义的理论构想.主要目地为四色问题的非计算机证明提供一个研究方向. 展开更多
关键词 四色问题、非计算机证明的色数、的厚度
下载PDF
画说社会
4
《社会与公益》 2011年第6期94-95,共2页
关键词 东方 计生干部 社会 证明图 差距 负担 客串 作者
原文传递
Thompson's Group and the Linear Group GL_∞(Z)
5
作者 Yan WU Xiaoman CHEN 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2011年第6期863-884,共22页
The authors study the finite decomposition complexity of metric spaces of H, equipped with different metrics, where H is a subgroup of the linear group GL∞(E). It is proved that there is an injective Lipschitz map... The authors study the finite decomposition complexity of metric spaces of H, equipped with different metrics, where H is a subgroup of the linear group GL∞(E). It is proved that there is an injective Lipschitz map φ: (F, ds) --* (H,d), where F is the Thompson's group, ds the word-metric of F with respect to the finite generating set S and d a metric of H. But it is not a proper map. Meanwhile, it is proved that φ(F, ds) → (H, dl) is not a Lipschitz map, where dl is another metric of H. 展开更多
关键词 Finite decomposition complexity Thompson's group F Word-metric Lipschitz map Reduced tree diagram
原文传递
Structure of Zhou Nil-clean Rings
6
作者 Huanyin Chen Marian Sheibani 《Algebra Colloquium》 SCIE CSCD 2018年第3期361-368,共8页
A ring R is Zhou nil-clean if every element in R is the sum of two tripotents and a nilpotent that commute. Homomorphic images of Zhou nil-clean rings are explored. We prove that a ring R is Zhou nil-clean if and only... A ring R is Zhou nil-clean if every element in R is the sum of two tripotents and a nilpotent that commute. Homomorphic images of Zhou nil-clean rings are explored. We prove that a ring R is Zhou nil-clean if and only if 30 ∈ R is nilpotent and R/30R is Zhou nil-clean, if and only if R/BM(R) is 5-potent and BM(R) is nil, if and only if J(R) is nil and R/J(R) is isomorphic to a Boolean ring, a Yaqub ring, a Bell ring or a direct product of such rings. By means of homomorphic images, we completely determine when the generalized matrix ring is Zhou nil-clean. We prove that the generalized matrix ring Mn(R; s) is Zhou nil-clean if and only if R is Zhou nil-clean and s ∈ J(R). 展开更多
关键词 tripotent NILPOTENT homomorphic images generalized matrix rings Zhou nil-clean rings
原文传递
Binary operations for homotopy groups with coefficients
7
作者 Martin Arkowitz 《Science China Mathematics》 SCIE CSCD 2018年第9期1543-1552,共10页
We define and study binary operations for homotopy groups with coefficients, and give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carr... We define and study binary operations for homotopy groups with coefficients, and give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of the generalized Whitehead product to these operations. We discuss two classes of binary operations, i.e., the Whitehead products and the torsion products. We also introduce a new class of operations called Ext operations and determine some of its properties. Then we compare the torsion product with the Whitehead product in a special case, and prove that the smash product of two Moore spaces has the homotopy type of a wedge of two Moore spaces. 展开更多
关键词 homotopy groups with coefficients binary operations the generalized Whitehead product Whitehead products torsion products
原文传递
On the size of the intersection of two Lucas sequences of distinct type Ⅱ
8
作者 CIPU Mihai MIGNOTTE Maurice TOGB Alain 《Science China Mathematics》 SCIE 2011年第7期1299-1316,共18页
Let a and b be positive integers, with a not perfect square and b > 1. Recently, He, Togband Walsh proved that the Diophantine equation x2-a((bk-1)/(b-1))2=1 has at most three solutions in positive integers. Moreov... Let a and b be positive integers, with a not perfect square and b > 1. Recently, He, Togband Walsh proved that the Diophantine equation x2-a((bk-1)/(b-1))2=1 has at most three solutions in positive integers. Moreover, they showed that if max{a,b} > 4.76·1051, then there are at most two positive integer solutions (x,k). In this paper, we sharpen their result by proving that this equation always has at most two solutions. 展开更多
关键词 Diophantine equation exponential equation linear forms in logarithms
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部