非线性抛物-双曲耦合方程组的第三边值问题的特征-差分解法

讨论了非线性抛物－双曲耦合方程组第三边值问题的特征－差分解法，给出了基于线性插值的特征－差分格式最大模误差估计，完善了以往的一些重要结果。     

光行差对恒星时的影响分析

光行差是观测者的运动速度与星光的运动速度相结合(相对运动)产生的一种光学效应。各种光行差对恒星的观测均会产生影响,本文阐述了周日光行差和周年光行差对恒星坐标(主要是赤经)的影响,并进一步分析光行差对地方恒星时产生的影响。     

集值鞅的Doob停止定理

设｛Ｆｎ，ｎ≥１｝是Ｌ１ｆｃ［Ω；Ｘ］值鞅（上鞅，下鞅），首先以支撑函数为工具，对有界停时证明了Ｄｏｏｂ停止定理，然后将结果推广到更一般的场合．对可闭集值鞅（上鞅），Ｄｏｏｂ停止定理对一切停时成立；而对一般的集值鞅（上鞅），此时Ｄｏｏｂ停止定理只对某些停时成立；最后将上述结论推广到连续时间集值鞅上．     

基于人类视觉系统的物体提取方案

提出了一种物体提取方案，根据人类视觉系统（ＨＶＳ）具有形状和运动两个并行通道的特点以及两者交互作用的原理，采用相对简单的图像分割和运动分割技术，将两者结合在一起，来增强对运动物体的分割处理     

非平衡状态中半导体方程解的一致有界性

研究了Ｎ维空间中的稳态半导体方程，把Ｊ．Ｈｅｎｒｙ提出的有关解的一致有界性的结论，推广到了非平衡状态下（Ｒ≠０）且具有混合边界条件的半导体模型。     

带约束的线性模型中的可容许线性估计

在Gauss-Markov模型(Y_(n×1),X_(n×p)β_(p×1),σ~2V,V≥0)下,若S_(s×p)β可估,Rao及其他一些作者给出了Sβ的线性估计,在二次型损失函数下是可容许的充要条件。当参数受约束:β′Nβ≤σ~2,N>0时,Hoffmann,Mathew分别就V>0与V≥0的情形,讨论了β的线性估计的可容许性问题。本文将进而给出Sβ的线性估计AY在线性估计类中是可容     

设计机床主轴合理支距的微机辅助计算

本文介绍了一种采用微机设计车床主轴合理支距的计算方法和计算程序,并有计算例题。这种微机算法具有精度高、解答多、速度快、省时间,以及便于推广应用等特点。     

理想状态立体象对象基线的一个恒等式及意义

发现了航片水平、地形平坦的理想状态下，关于立体象对象基线的一个恒等式：ｂ＝ｒ１｜ｃｏｓａ｜＋ｒ２｜ｃｏｓβ｜，式中ｂ为立体象对的象基线，ｒ１、ｒ２为航片上任意一个同名象点在立体象对左右邻片上的辐射距，α，β为该同名象点左右邻片上的辐射距与立体象对象基线的夹角。     

地下水污染中一类离子反应数学模型的有限元法

考虑地下水污染中一类离子反应数学模型的数值方法 .采用标准Galerkin方法 ,证明了半离散有限元格式具有最优L2 模误差估计 .