关于收缩算子的异步迭代收敛性

论证了Ｆ为收缩算子时,求解Ｘ＝Ｆ（Ｘ）的异步迭代方法初值选取范围,提出了异步迭代的大范围收敛方法。     

静磁场Dirichlet问题Galerkin法和牛顿法

作者在［１］,［２］中给出了静磁场Ｄｉｒｉｃｈｌｅｔ问题和Ｎｅｕｍａｎｎ问题广义解的存在与唯一性。本文从理论上给出静磁场Ｄｉｒｉｃｈｌｅｔ问题的一种Ｇａｌｅｒｋｉｎ近似解法,并给出了在各向同性或无电流区情形下的误差估计和牛顿选代序列。     

带限信号的最大熵正则外推算法

基于最大熵正则化构造了一种新的稳定的带限信号正则外推算法。当噪声δ（t）∈L~2[—T.T],其误差能量为δ,而且当δ→0时,所求得的正则化解将在（- ∞,∞）内一致收敛于问题的精确解。     

状态电子密度的数值反演

提出了一种计算状态电子密度的超分辨处理方法。这种方法是在Fourier变换的基础上,引入高频滤波器函数H（ω,α）,经滤波处理后,再取Fourier逆变换,得到近似解。此方法能够较好地抑制噪声干扰,且计算复杂性较低,文中给出了算法,证明了收敛性,最后给出了计算机实验结果。     

数据光滑的一种新方法

提出了用变形的Fourier部分和来代替Fourier级数将输入数据光滑的一种新方法。该方法能稳定地解某些不适定的问题,如给定函数的近似,求函数微分的问题;Laplace方程Cauchy问题;时间逆向热传导方程的Cauchy问题等。     

角速率火控系统倾斜修正问题的研究

倾斜修正是角速率火控系统研究、设计和生产中的一个重要课题。本文首先明确了几个基本概念,然后给出倾斜修正的计算方案,最后,应用四元数理论解决计算方案的工程实现问题。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

原始变量守恒形式控制方程的时间准确性分析

基于压力、速度和温度的原始变量为自变量的守恒形式的控制方程可应用于定常流动问题,但是在求解非定常问题,例如某一典型激波管问题时,激波后温度出现过冲现象,即使通过细化网格、提高空间格式精度或者换用其他通量格式仍不能消除,这表明误差可能来自该方法本身。采用一维Euler方程对该方法进行数值分析。分析结果表明,数值误差来自时间项。通过构造相应的双时间步方程,虚拟时间项采用原始变量,而物理时间项采用守恒变量,并在两个相邻物理时间步内作为定常问题求解,可以收敛到相应的守恒形式,消除上述误差,得到准确的非定常数值解。     

AIP潜艇位置基准点问题研究

位置基准点问题是常规动力潜艇战术研究中的一个重要问题.由于具有两种不同的水下航行动力,AIP潜艇位置基准点问题与普通柴电潜艇的位置基准点问题具有很大的不同.给出了AIP潜艇的位置基准点问题的数学描述,在对问题进行分析的基础上,给出了AIP潜艇位置基准点问题的一个取值范围及相应的计算方法,所采用的理论和技术包括二人零和对策、最优控制以及动态规划.最后,通过计算实例对所给理论的正确性,算法的合理性及效率进行了验证.     

武器装备需求问题框架及特性分析

针对武器装备需求内涵模糊的问题,建立武器装备需求问题框架并分析需求的相关本质特性.提取武器装备需求的关键影响要素,提出武器装备需求问题框架--包括需求关键影响要素、影响要素属性、影响要素之间的关系;采用高阶逻辑的规则,分析了武器装备需求及需求映像的特性,包括武器装备需求充分性、前提合理性、实现可行性、必要性和层次性,以及武器装备需求映像充分性、必要性和指导性.以假定的一个城市导弹防御系统的需求研究为例检验了方法的可行性和有效性.