GPS-RTK的技术方法研究与应对措施

对GPS-RTK的测量原理、误差分析及参数转换等进行简要阐述.并介绍GPS-RTK高程测量的方法。指出在GPS-RTK高程测量中应该注意的问题,并针对生产实践中存在的作业问题,找出提高GPS-RTK高程测量精度的有效措施,旨在增广GPS-RTK技术的应用前景,提高其测量成果的精度。     

基于Socket与XML的图书馆公共公务网系统研究

图书馆公共公务网可以通过互联网实现图书馆业务管理系统的共享,本方案给出了系统实现的技术模型,通过套接字技术和数据库技术以及互联网技术实现公务网系统,使传统的图书馆各自独立的管理方式转向集中处理,实现管理和社会效益的双重收益.     

SiCp/Mg-Zn-Zr复合材料的制备及其阻尼性能

采用搅拌铸造法制备SiC颗粒增强Mg-Zn-Zr复合材料，并分析了Mg-Zn-Zr复合材料的压缩强度和内耗与SiC粒度的关系.结果表明：加入粒度10 μm的SiC颗粒，可使基体合金的压缩强度增加；SiC粒度为20 μm的复合材料阻尼性能优于SiC粒度为10和50 μm的复合材料.     

一类非线性(n，p)边值问题解的存在性(英文)

通过使用Green函数和Leray—Schauder不动点定理对一类含有各阶导数的非线性(n,p)边值问题建立了一个解的局部存在定理.定理表明这类问题可以一个解,只要非线性项在某个有界集合上的"高度"是适当的.     

广义微分的运算

本文讨论我们在[7]中建立的两类广义微分的运算性质,主要是两个映像的和及合成的广义微分。至于非光滑映像F:R~m→R~n及非光滑泛函φ:X→R的广义微分的运算性质,可参见文献[1]、[2]、[3]。为了便于阅读本文,我们首先回忆有关定义。下面我们均设X为实线性赋范空间,Y、Z为实Banach空间,L[X→Y]为从X到Y的有界线性算子空间。     

无穷维空间中映像的广义可微性

一、引言近20年来,随着最优化理论的发展,为了处理非光滑函数而产生了一系列广义可微性的概念。 1963年,R.T.Rockafellar首先建立了凸函数f:R~n→R的“次梯度”,他定义f在x_0∈R~n处的次梯度为 (1.1) (?)_*~Rf(x_0)={z∈R~n|(?)h∈R~n,f(x_0+h)-f(X_0)≥}其后,他又逐步建立了这种次梯度的一般运算理论。 1973年,F.H.Clarke对于这种次梯度理论作出了重大的推广。他首先对局部Lipschitz函数f:R~n→R建立了“次微分”,然后引入了这种函数的“广义梯度”。其中在X_0∈R~n处沿方向h∈R~n的次微分     

氧化锌陶瓷元件伏安特性的试验分析与机理探讨

本文用分段拟合法对ZnO陶瓷压敏器件的直流伏安特性进行了分析讨论。根据活化能分析,认为低压欧姆隧区为电子性电导。并用噪声测量法,进一步证实击穿区确实是由隧道效应引起的。文中把器件的残压比V_(10kA)/V_(1mA)分成具有不同物理意义的三部分,进而区分电子热激发过程、隧道过程和ZnO晶粒电阻各对残压有不同的影响。     

局部lipschitz映象的全局反函数定理

一、引言在光滑分析中有下列著名的全局反函数定理(参见[1]):设f∶R~n→R~n为C~p映象(P≥1).如果对于任何x∈R~n,f＇(x)满秩并且     

二阶非线性常微分方程的三点边值问题的一个存在定理

获得了非线性二阶三点边值问题w^n(t) f(t,w(t)＝0.0≤t≤i；w（0）=0，αw（η）=w（I）的一个正解存在定理，其中0＜η＜1，0＜α＜l／η。在此，非线性项f既不是超线性又不是次线性的。结论是通过使用锥拉伸与锥压缩型Krasnosel’sskii不动点定理获得的。某些现有的存在性结论得到了改进和推广。