Moore机器的若干应用

本文利用Ｇ．Ｍ．Ｒｅｅｄ构造的Ｍｏｏｒｅ机器证明了：（１）Ｍｏｏｒｅ空间中的弱Ｌｉｎｄｅｌｏｆ住严格介于ＣＣＣ与ＤＣＣＣ之间．（２）强星可遮的Ｍｏｏｒｓ空间不必是星仿紧的．     

解直角三角形教与学研究

第一课　正弦和余弦（一）一、启发提问１．如图６－１,在△ＡＢＣ中,∠Ｃ＝９０°．（１）如果∠Ａ＝３０°,则ａｃ＝,ｂｃ＝．（２）如果ｃ＝２ａ,则∠Ａ＝,∠Ｂ＝．图６－１　　　　　　　图６－２　　２．如图６－２,在△ＡＢＣ中,∠Ｃ＝９０°．（１）如果∠Ａ＝４５°,则ａｃ＝,ｂｃ＝．（２）如果ａ＝ｂ,则∠Ａ＝,∠Ｂ＝．３．在Ｒｔ△ＡＢＣ和Ｒｔ△Ａ′Ｂ′Ｃ′中：∠Ｃ＝∠Ｃ′＝９０°．（１）如果∠Ａ＝∠Ａ′,那么：ＢＣＡＢ＝Ｂ′Ｃ′Ａ′Ｂ′成立吗？（２）如果ＢＣＡＢ＝Ｂ′Ｃ′Ａ′Ｂ′,那么：∠Ａ＝∠Ａ′…     

Saks空间中（A）型相容映射的叠合点及公共不动点（英）

ＣｏｉｎｃｉｄｅｎｃｅＰｏｉｎｔｓａｎｄＣｏｍｍｏｎＦｉｘｅｄＰｏｉｎｔｓｆｏｒＣｏｍｐａｔｉｂｌｅＭａｐｓｏｆＴｙｐｅ（Ａ）ｏｎＳａｋｓＳｐａｃｅｓＰ．Ｐ．Ｍｕｒｔｈｙ，Ｂ．Ｋ．Ｓｈａｒｔｒｉａ，Ｙ．Ｊ．ＣｈｏＣｏｉｎｃｉｄｅｎｃｅＰｏｉｎｔｓａｎ...     

1997年普通高等学校招生全国统一考试数学试题(文史类)参考解答

１９９７年普通高等学校招生全国统一考试数学试题（文史类）参考解答一．选择题：本题考查基本知识和基本运算．１２３４５ＢＢＡＣＢ６７８９１０ＣＤＣＡＢ１１１２１３１４１５ＡＤＣＣＢ二．填空题：本题考查基本知识和基本运算．（１６）４（１７）（４，２）（１８...     

两道赛题的联系、深化和推广

１两道联赛题 例 １ 给定一圆内接△ＡＢＣ,设 Ａ＇Ｂ＇和Ｃ＇分别是连结Ａ＇Ｃ＇Ａ＇Ｂ＇分别交ＡＢ、ＡＣ于Ｄ、Ｅ．求证：ＤＥ//ＢＣ,且ＤＥ经过△ＡＢＣ的内心． 这是全俄第五届（１９６５年）数学竞赛的一道试题［１］,现给一简明的证法如下． 证明 连结 Ａ＇Ｂ、ＢＣ＇,设Ｆ是ＢＣ与Ａ＇Ｃ＇的交点,如图１．Ａ＇Ｂ＝Ａ＇Ｉ．同理 Ｃ＇Ｂ＝Ｃ＇Ｉ, Ａ＇Ｃ是线段ＢＩ的中垂线． ＢＩ平分 Ｂ, ＢＩ是ＤＦ的垂直平分线, ＤＢＦＩ是菱形, ＤＩ//ＢＦ,即 ＤＩ//ＢＣ． 同理可证 ＩＥ//ＢＣ, 故 ＤＥ//ＢＣ,且ＤＥ过△ＡＢＣ的内…     

1997年普通高等学校招生全国统一考试数学试题(理工农医类)参考解答

１９９７年普通高等学校招生全国统一考试数学试题（理工农医类）参考解答一．选择题：本题考查基本知识和基本运算．１２３４５ＢＢＡＣＢ６７８９１０ＤＤＣＢＢ１１１２１３１４１５ＡＤＣＣＤ二．填空题：本题考查基本知识和基本运算．（１６）４（１７）２２（１８）...     

三角形目标检测题(A)

一、填空（１～５小题各３分,６～８小题各４分,９、１０小题各５分,共３７分）１．按角分类,三角形可分为、和．２．△ＡＢＣ的边ＡＢ＝６ｃｍ,ＡＣ＝４ｃｍ,则第三边ＢＣ的范围是＜ＢＣ＜．图Ａ－１３．如图Ａ－１,ＣＤ是△ＡＢＣ的角平分线,ＡＢ＝ＡＣ．若∠Ａ＝５０°,则∠１＝．４．在△ＡＢＣ中,∠Ｃ＝９０°,ＡＢ＝１３ｃｍ,ＡＣ＝５ｃｍ,则ＢＣ＝ｃｍ．图Ａ－２５．如图Ａ－２,已知线段ＡＢ,用尺规作ＡＢ的垂直平分线．（保留作图痕迹）６．等腰三角形的一个顶角比底角小３０°,则它与顶角相邻的外角等于．７．如图…     

切线的性质和判定

一、启发提问图７－４６１．如图７－４６,圆心到直线ｌ的距离就是半径ＯＡ,由上节知识可知直线ｌ与⊙Ｏ,这里的直线ｌ有两个限制条件,它们是,．２．圆的切线垂直于经过切点的．３．切线性质定理的两个推论的题设和结论分别是什么？４．切线的性质定理及其两个推论的题设和结论有什么关系？二、例题示范例１　已知：如图７－４７,点Ｃ是⊙Ｏ的ＡＢ的中点,ＣＤ∥ＡＢ．求证：ＣＤ是⊙Ｏ的切线．分析　要证ＣＤ是⊙Ｏ的切线,根据判定定理只需要连结ＯＣ,证明ＯＣ⊥ＣＤ即可;用垂径定理由已知条件可知ＯＣ⊥ＡＢ,而ＡＢ∥ＣＤ,因此…     

分担两个值的亚纯函数的唯一性定理

本文主要讨论分担两个值的亚纯函数的唯一性问题，推广和改进了Ｍ．Ｏｚａｗａ仪洪勋、Ｃ．Ｃ．Ｙａｎｇ等人的结果。     

SCP-Fourier级数的系数

本文利用Ｐ．Ｓ．Ｂｕｌｌｅｎ和Ｓ．Ｎ．Ｍｕｋａｏｐａｄｈｙａｙ在［１］中建立了ＳＣＰ—积分的分部积分公式给出了ＳＣＰ－Ｆｏｕｒｉｅｒ级数的概念，并讨论了ＳＣＰ－Ｆｏｕｒｉｅｒ级数的系数问题。     

A Helly-Type Theorem for Intersections of Compact Connected Sets in the Plane

For a family C of nonempty compact sets in the plane, the following conditions are equivalent:(1) Every two (not necessarily distinct) members of C have a connected union and every three (not necessarily distinct) members of C have a simply connected union.(2) C is a family of simply connected sets such that every two (not necessarily distinct) members of C have a connected intersection and every three (not necessarily distinct) members of C have a nonempty intersection.If either set of conditions is satisfied, then { C : C in C } is nonempty, simply connected, and connected. Furthermore, if the collection C is finite, then it is also true that { C : C in C } is simply connected.     

Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件

本文研究Pontrjagin空间上一般算子代数弱闭和一致闭的等价条件,得到定理:设C0(U),C1(U,L,R,D,V),C2a(U),C2b(U,R),C3a(U),C3b(U,R)分别是Ⅱk空间上第0,Ⅰ,Ⅱa,Ⅱb,Ⅲa和Ⅲb类的算子代数,则(1)C0(U),C2a(U)或C3a(U)为一致闭(弱闭)的等价条件是U是Hibert空间G上的C*-代数(W*-代数;(2)C1(U,L,R,D,V)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间,V是闭算子,L对称闭的;(3)C2b(U,R)或C3b(U,R)为一致闭(弱闭)的等价条件是U是Hibert空间H上的C*-代数(W*-代数),并且R是闭子空间．     

弱模余代数的结构定理

设H为弱Hopf代数,C为弱右H-模余代数,令C=C/C·ker L.利用Smash余积来研究弱模余代数上的结构定理,并给出了C与C×H作为余代数同构的条件.     

Approximation of Convex Bodies by ConvexBodies

For the affine distance d(C,D) between two convex bodies C, D(?) Rn, which reduces to the Banach-Mazur distance for symmetric convex bodies, the bounds of d(C, D) have been studied for many years. Some well known estimates for the upper-bounds are as follows: F. John proved d(C, D) < n1/2 if one is an ellipsoid and another is symmetric, d(C, D) < n if both are symmetric, and from F. John's result and d(C1,C2) < d(C1,C3)d(C2,C3) one has d(C,D) < n2 for general convex bodies; M. Lassak proved d(C, D) < (2n - 1) if one of them is symmetric. In this paper we get an estimate which includes all the results above as special cases and refines some of them in terms of measures of asymmetry for convex bodies.     

心理状态数的Bayes估计

设误差 X在心理状态数的作用下的分布为偏正态分布 ,即 X有密度f ( x;σ2 ,C) =C2πσe-x22σ2 　 x 02 - C2πσe-x22σ2 　 x >0其中 0 C 2为心理状态数 ,σ>0为未知参数 ,本文分别在 C服从 [C1,C2 ]上的均匀分布 ,Jeffreys无信息先验分布和共轭先验分布的假设下 ,得到了心理状态数 C的 Bayes估计。     

图在三种约束条件下的正常全染色

设f:V(G)∪E(G)→{1,2,…,k}是简单图G的一个正常k-全染色.令C(f,u)={f(e):e∈N_e(u)},C[f,u]=C(f,u)∪{f(u)},C_2[f,u]=C(f,u)∪{f(x):x∈N(u)}∪{f(u)}.N(u)表示顶点u的邻集,N_e(u)表示与顶点u的相关联的边的集合.令C[f;x]={C(f,x);C[f,x];C_2[f,x]},对任意的xy∈E(G),G[f;x]≠C[f;y]表示C(f,x)≠C(f,y),C[f,x]≠C[f,y],C_2[f,x]≠C_3[f,y]同时成立.对任意的边xy∈E(G),如果有C[f;x]≠C[f;y]成立,则称f是图G的一个k-(3)-邻点可区别全染色(简记为(3)-AVDTC).图G的(3)-邻点可区别全染色中最小的颜色数叫做G的(3)-邻点可区别全色数,记为x_((3)as)″(G).研究了联图,完全二部图的(3)-邻点可区别全染色,得到了它们的(3)-邻点可区别全色数.     

关于非线性规划问题的组合同伦内点法

文[1]在条件(C1)、(C2)和(C3)之下，利用组合同伦内点法讨论了非凸非线性规划问题K—K—T点的存在性，本文对条件(C2)和(C3)进行了改进和处理。     

环F2+uF2+vF2上线性码广义Gray像

本文定义了环F2+uF2+vF2到域F2的广义Gray映射φ像,研究了环F2+uF2+vF2上线性码的广义Gray像.利用广义Gray映射φ的线性性,证明了环F2+uF2+vF2上线性码C的广义Gray像φ(C)满足dH(C)=dH(φ(C))且φ(C⊥)φ(C)⊥.同时,给出了F2+uF2+vF2上循环码C的广义Gray像φ(C)为F2上的4-拟循环码.     

Point-Based Set-Valued Approximations,C -Differential Operators and Applications

In this article, we investigate the point-based set-valued approximation [H. Xu (1999). Set-valued approximation and Newton's methods. Mathematical Programming , 84 , 401-420.] and the C -differential operator [L. Qi (1996). C -Differential operators, C -differentiability and generalized Newton methods, Applied Mathematics Report, AMR96/5, School of Mathematics, The University of New South Wales, Sydney, Australia.] of a vector valued function. Several questions about C -differential operators posed in [L. Qi (1996). C -Differential operators, C -differentiability and generalized Newton methods, Applied Mathematics Report, AMR96/5, School of Mathematics, The University of New South Wales, Sydney, Australia.] are answered. Further, we discuss the application of C -differential operator in nonsmooth optimization. We derive optimality conditions and establish a mean value theorem in terms of convex C -differential operators. Finally, we propose a conceptual algorithm based on the convex C -differential operators.     

关于半线性椭圆型方程爆破解的存在性

文中得到半线性椭圆型方程的爆破问题解的存在性,其中或者是Rn中的有界区域,C3,C4,C5,C6是正常数,并且C5,C3（0,1）．