有限空间年龄结构种群模型的数值分析

对一类有限空间年龄结构种群模型提出了一种数值方法．运用迎风格式和Euler向前差分格式进行求解．给出了格式的稳定性，得到了最大模误差估计，证明了数值解的非负性并给出了数值算例．     

非Lipschitz条件下倒向随机微分方程的比较定理

讨论了一类漂移系数f(s,.,.)关于(y,z)不满足Lipschitz条件的倒向随机微分方程解的存在唯一性,利用Jensen不等式、Gronwall不等式以及常微分方程的比较定理给出并证明了此类倒向随机微分方程的比较定理.     

参数椭球的准等位条件

对参数椭球的等位性进行了深入研究.结果表明,参数椭球的准等位条件是成立的,但参数椭球的等位条件是不成立的:在等位条件下,参数椭球的密度分布必将呈现纬向分布状态.这样就将不久前提出的“参数椭球”与“纬向密度”联系在了一起,使得水准椭球的纬向密度成为一种数学必然,为研究地球的纬向密度及纬向密度异常找到了充分的理由.     

射影相关Finsler度量的两种迷向曲率

讨论了射影相关Finsler度量F与F的迷向Berwald曲率间的关系 ,并利用这种关系得到了一个射影相关下F具有迷向S 曲率的充分必要条件     

单片机技术在智能煤气监控系统中的应用

对煤气泄漏实时精确监控是十分重要的。本文介绍一种基于单片机技术的智能型煤气监控系统，可对煤气浓度进行智能地实时检测和监控、报警，而且还能实现自动开启和关闭煤气管道阀门，经过多次运行，精确度、灵敏度和稳定性均达到设计要求，且造价低，操作方便，可广泛作为智能报警器及监控系统来使用。     

线性方程组ATAx=b的结构向后误差

设A是一个列满秩矩阵,x是线性方程组ATAx=b的一个计算解.基于这一方程组的系数矩阵ATA具有特殊的结构,定义了x的一个结构向后误差ηs(x),并且利用Brouwer不动点定理和奇异值分解,给出了这个结构向后误差ηs(x)的上、下界.计算实例表明这个被获得的ηs(x)的上、下界,为检验线性方程组ATAx=b的计算解的结构向后稳定性,提供了一个简便的方法.     

关于系数平方增长的带跳BSDE的解(Ⅰ)

讨论了系数关于q为平方增长,p和-y为指数增长的带跳倒向随机微分方程(BSDE)解的存在性,以及有这种系数的反射BSDE解的存在性.     

多变量滑模积分控制在AUV艏向控制中的应用

在多变量滑模控制中引入积分变量来设计AuV的艏向控制器．仿真结果表明，该系统保留了滑模控制的鲁棒性，放宽了对滑模控制中非线性控制增益K值的要求，从而可以克服存在海流干扰时艏向控制的静差问题．有利于AUV长距离航行中的精确艏向保持。     

SHRIMP zircon U-Pb ages of garnet pyroxenite and Fushui gabbroic complex in Songshugou region and constraints on tectonic evolution of Qinling Orogenic Belt

“Qinling Group (?)” in Songshugou region in the north of the Shangdan Fault consists predominantly of amphibolite with or without garnet and amphibole-plagioclase gneiss and intercalated with lensiod blocks of garnet pyroxenite, where the famous Songshugou dunite body occurs (Fig. 1). Petrographic study reveals that garnet pyroxenite is the representative rock of early     

基于编队卫星的SAR高方位向分辨率成像

针对编队卫星被动工作方式下提高SAR方位向分辨率的构型,在建立信号回波模型和详细分析提高方位向分辨率原理的基础上,提出了对基线的要求及频谱合成算法。该算法充分利用了编队卫星SAR系统中不同接收机的视角信息,有效地完成了多组不同多普勒位置的信号相干合成,实现了系统分辨率的提高。计算机仿真结果表明该算法具有良好的性能。