9度抗震设防烈度地区建筑施工的差异分析

9度抗震设防烈度地区与低设防地区或不需要设防地区的建筑在施工技术措施上有很大的差异。本文通过对建筑钢筋用量、混凝土强度、模板安装、箍筋形式、混凝土浇筑等方面进行对比分析,要求必须努力提高9度抗震设防区的建筑施工安全生产管理水平。     

反周期微分包含受控系统的最优控制

本文首先证明了Hilbert空间中一类微分包含的反周期解的存在唯一性,进而得到了相应的Langrange最优控制存在的充分条件。最后将得到的理论结果应用于证明一类非线性偏微分方程反周期问题及相应的最优控制问题的存在性。     

相对论性Birkhoff方程的几何理论

定义相对论性Pfaff作用量 ,给出相对论性Pfaff_Birkhoff原理和相对论性Birkhoff方程 ,研究相对论性Birkhoff方程的几何描述 ,给出相对论性Birkhoff方程的恰当特性以及相对论性Birkhoff方程在R×T M上的形式 .研究相对论性Birkhoff方程的全局处理 ,给出自治形式、半自治形式以及一般形式的相对论性Birkhoff方程的全局特性 ,并给出相对论性Birkhoff方程的能量变化的几何特性 .     

一类具逐段常变量泛函微分方程的解的全局吸引性及其应用

研究逐段常变量泛函微分方程运用一种新方法获得了保证方程每一解趋干0的一族充分条件.又将所得结果应用于红血球生长模型,所得推论改进了已有结果.     

线性微分方程幂级数解的收敛半径

给出微分方程Ｙ″＋Ｐ（ｘ）ｙ′＋Ｑ（ｘ）ｙ＝０的幂级数解ｙ＝∑ｎ＝０＾∞ａｎ（ｘ－ｘ０）＾ｎ其系数满足二项递推公式ａｎ＋ｐ＝ｆ（ｎ）ａｎ的收敛半径的求法。     

Stability and Instability of Solution for a Class of Nonlinear Differential Equations

1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎＲｅｆ.〔1〕 ｔｈｅａｓｙｍｐｔｏｔｉｃｓｔａｂｉｌｉｔｙｏｆｎｏｎｌｉｎｅａｒｓｌｏｗｌｙｃｈａｎｇｉｎｇｓｙｓｔｅｍｈａｓｂｅｅｎｄｉｓｃｕｓｓｅｄ .ＩｎＲｅｆ.〔2〕ｔｈｅｉｎｓｔａｂｉｌｉｔｙｏｆｓｏｌｕｔｉｏｎｆｏｒｔｈｅｔｈｉｒｄｏｒｄｅｒｌｉｎｅａｒｄｉｆ ｆｅｒｅｎｔｉａｌｅｑｕａｔｉｏｎｗｉｔｈｖａｒｉｅｄｃｏｅｆｆｉｃｉｅｎｔｈａｓｂｅｅｎｄｉｓ ｃｕｓｓｅｄ .Ｉｎｔｈｉｓｐａｐｅｒ,ｗｅｈａｖｅｄｉｓｃｕｓｓｅｄｓｔａｂｌｉｌｉｔｙａｎｄｉｎｓｔａ…     

On the Collision Detection Problem of Two Moving Objects Described by Algebraic Sets

In this paper, the collision problem of two moving objects is investigated. The objects are described by two algebraic sets （ellipses or circles in the paper）. The collision problem discussed involves both static and dynamic case. The static case is that each object moves with known velocity. We use nonlinear programming to decide whether the objects collide. The dynamic case is that each object is controlled by a constraint external force which can be regulated online. For the dynamic case, the collision problem can be modelled as a Minmax problem which can be solved by using differential games. If collision occurs, the time and place of the first collision are given. The moving trajectories are provided in the paper.     

一类高阶微分方程组的非允许解

利用亚纯函数的Nevanlinna值分布理论及反证法,讨论了一类高阶复微分方程组非允许解的存在性问题,给出这类方程组存在非允许解的条件,并通过例子说明这一结果的可行性.     

基于捷联惯导系统/差分全球定位系统的航空重力测量技术

地球重力场资源对促进大地测量学、空间科学、地球物理学、地球动力学、海洋学、资源勘探以及现代军事学的发展具有重要作用。在阐述了航空重力测量基本原理基础上,详细分析了基于捷联惯导系统的航空重力测量原理及其关键技术,以及我国航空重力测量技术发展的技术基础。