一个令人费解的逆否命题

作者在给“百千万骨干教师”讲授逻辑问题时 ,一位教师向我提出了一个令他困惑不解的问题 ,下面是解决此问题的全过程 .(为叙述方便 ,把“百千万骨干教师”视为学生 )问题 :原命题　若 x≥ 0 ,则 x2 ≥ 0 .逆否命题　若 x2 <0 ,则 x<0 .学生甲 :逆否命题这样写对吗 ?教师 :对呀 .学生甲 :原命题显然是真的 ,然而逆否命题怎样是假的呢 ?教师 :这个问题提的好 .(因为刚讲过逻辑研究的对象 ,这个问题正好与逻辑研究的对象有关 )请同学们讨论逆否命题到底是真还是假 ?学生乙 :在实数范围内 ,x<0不可能 ,所以逆否命题不存在 .学生丙 :不对 .x2 <0…     

非线性Schroedinger方程的包络形式解

扩展了最近提出的F展开方法以构造非线性演化方程更多的精确解，即将F展开法中的一阶非线性常微分方程和单变量的有限幂级数代之以类似的一阶常微分方程组和两个变量的有限幂级数，这两个变量是一阶常微分方程组的解分量．作为例子，用扩展的F展开法解非线性Schroedinger方程，得到了很丰富的包络形式的精确解，特别是以两个不同的Jacobi椭圆函数表示的解．显然，扩展的F展开方法也可以解其他类型的非线性演化方程．     

向量及其运算

向量具有代数形式和几何形式的双重特征,是数形结合的一个典范．更是解决很多实际问题的重要工具和方法．     

G-网络排队系统的研究新进展

在研究排队网络的文献中,G-网络(即推广的排队网络)最近受到了国际学者广泛的关注,它的研究在一定程度上丰富了排队网络的内容.正因为有很多学者投入到此项研究中,新的结果是层出不穷的.本文简短地介绍G-网络近年来的发展.     

关于具有常平均曲率和数量曲率超曲面的Moebius几何的一个注记

设x：M→S^n＋1（n≥23）是n＋1-维单位球中的无脐点超曲面，Moebius不变量G，Ф，A和B分别表示x的Moebius度量，Moebius形式，Blaschke形式和Moebius第二基本形式．本文证明了如果x的Moebius形式圣平行，并且A＋λG＋μB=0，其中λ，μ分别是定义在M上的光滑函数，那么Ф=0，由此及李海中、王长平（2003年）文献中的分类定理给出了眇州中具有平行的Moebius形式及满足A＋λG＋μB=0的超曲面的分类．此结果推广了他们及张廷枋（2003年）文献中的结果．     

非齐次偏微分方程混合问题的形式解

通过待定函数法给出了非齐次偏微分方程混合问题的形式解，从数学角度说明了齐次化原理。     

Operator Matrix Forms of Positive Operators

If a 3-tuple (A:H1→H1,B:H2→H1,C:H2→H2）of operators on Hibert spaces is given,we proved that the operator ～↑A:=(↑A ↓B^*↑B ↓C) on H=H1 H2 is ≥0 is and only if A≥0,R(B)∪→R（A^1/2) and C≥B^* A^ b,where A^ is the generalized inverse of A.In general,A^ is a closed operator,but since R(B)∪→R(A^1/2,B^* A^ B is bounded yet.     

Another Extension of the Mitrinovic—Djokovic Inequality

Another generalization of the Mitrinovic-Djokovic inequality is proved by elementarymeans.     

用矩阵的谱分解研究线性矩阵方程

本利用矩阵的谱分解来研究线性矩阵方程，并给出当A，B为简单矩阵(即可对角化方阵)时，方程AX-XB=C和X=AXB=C有解的充要条件及通解形式。     

三角B\''{e}zier曲面和四边B\''{e}zier曲面之间的相互转化

B\'{e}zier曲面有两种不同的形式:三角B\'{e}zier曲面和四边B\'{e}zier曲面,它们有着不同的基底和不同的几何拓扑结构, 但是它们也有很多共同的性质,因此三角B\'{e}zier曲面和四边B\'{e}zier曲面之间的相互转化就成为CAGD 里一个重要研究课题.在本文中, 我们用函数复合的方法实现两者之间的相互转化.被复合的两个函数, 一个用Polar形式表示,另一个用常见的Bernstein基形式表示.