A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to...A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to the zero point.展开更多
复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法...复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法机器证明算法进行了较大的改进,新添加了一些重要的构图方式,并选用Mathematica重新实现了改进的算法,创建了新的证明器CMPP(Complex Mass Point method Prover).对上百个几何定理的运行结果显示,证明器CMPP能有效地处理非线性构造型几何命题以及许多非构造型几何命题,在解题能力及运行效率上均有所提高.特别地,CMPP能在短时间内实现五圆定理、莫莱定理等一些难度较大的几何定理的可读机器证明.展开更多
In this paper nonlinear analysis of a thin rectangular functionally graded piate is formulated in terms of von-Karman＇s dynamic equations. Functionaily Graded Material （FGM） properties vary through the constant thi...In this paper nonlinear analysis of a thin rectangular functionally graded piate is formulated in terms of von-Karman＇s dynamic equations. Functionaily Graded Material （FGM） properties vary through the constant thickness of the plate at ambient temperature. By expansion of the solution as a series of mode functions, we reduce the governing equations of motion to a Duffing＇s equation. The homotopy perturbation solution of generated Duffing＇s equation is also obtained and compared with numerical solutions. The sufficient conditions for the existence of periodic oscillatory behavior of the plate are established by using Green＇s function and Schauder＇s fixed point theorem.展开更多
基金This work is partially supported by D.G.E.S. PB 96-1338-CO2-01 and the Junta de Andalucla.
文摘A sufficient condition is given to assert that a continuous mapping between Rm and Rn has a zero. The constructive proof of the result is based upon continuation methods and supplies the existence of a path leading to the zero point.
文摘复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法机器证明算法进行了较大的改进,新添加了一些重要的构图方式,并选用Mathematica重新实现了改进的算法,创建了新的证明器CMPP(Complex Mass Point method Prover).对上百个几何定理的运行结果显示,证明器CMPP能有效地处理非线性构造型几何命题以及许多非构造型几何命题,在解题能力及运行效率上均有所提高.特别地,CMPP能在短时间内实现五圆定理、莫莱定理等一些难度较大的几何定理的可读机器证明.
文摘In this paper nonlinear analysis of a thin rectangular functionally graded piate is formulated in terms of von-Karman＇s dynamic equations. Functionaily Graded Material （FGM） properties vary through the constant thickness of the plate at ambient temperature. By expansion of the solution as a series of mode functions, we reduce the governing equations of motion to a Duffing＇s equation. The homotopy perturbation solution of generated Duffing＇s equation is also obtained and compared with numerical solutions. The sufficient conditions for the existence of periodic oscillatory behavior of the plate are established by using Green＇s function and Schauder＇s fixed point theorem.
