推广的Vandermond 行列式之值不为零的证明

本文证明了在一定条件下,推广的Vandermond行列式之值不等于零。这个结论在证明常系数齐次线性递归关系的通解定理中有关键性的作用。     

一类多分子化学反应系统的极限环

本文研究由低浓度三分子反应模型改进而建立的一类多分子化学反应模型,应用微分方程定性理论,完整地解决了该模型极限环的存在性、不存在性和唯一性问题,从而给出了化学浓度阀。     

关于泛函微分方程 x''(t)=A(t)f(x(t)，x(x(t)))

本文研究方程:x'(t)=A(t)f(x(t),x(x(t)))强解的渐近性态,对Eder,Wang (王克) 等的结果作了部分推广。     

一类带有单调型算子紧扰动的半线性方程的可解性

在算子单调性和紧性假设下研究了半线性算子方程f∈Au-Tu+cu的可解性,其中A,T和C映一个自反Banach空间X的子集到它的对偶空间。所得结果扩展或改进了Guan最近的结果。     

非结构网格上解二维Hamilton-Jacobi方程的自适应算法

提出了一种非结构网格上解Hamilton Jacobi方程的自适应局部加密方法。讨论了加密方法关键的一步:光滑度指标的确定,通过采取无振荡插值,得到了无振荡数值格式,典型算例表明,该方法只需增加少量的点和计算量却能够提高计算精度和对间断的分辨能力。     

速射转管炮射击精度的影响因素及对策

速射转管炮作为近程反导武器系统的重要一员,射击精度影响着其最终防御效果,通过对速射转管炮特点及其射击偏差机理的分析,研究了转管炮射击过程中身管转速、弹丸初速等多种因素对射击精度的影响,并在转管炮初始设计、弹道模型和校射等方面提出了修正误差、提高射击精度的方法。     

中立型泛函微分方程的周期解

综合利用D算子的性质及Horn不动点定理[8],研究了有限时滞中立型泛函微分方程的周期解的存在性问题,证明了解的一致最终有界性蕴含周期解的存在性,从而推广了著名的Yoshizawa周期解定理[3],同时推广了[1]和[2]的主要结果.     

MIMD上三层格式的窗口并行迭代方法

本文对一般的三层格式给出了在MIMD 机上实现的窗口并行迭代方法,给出了WBJ 格式,分析了三层格式的收敛性。文章的结论表明窗口并行迭代法的收敛性与窗口大小无关,窗口大小影响每台处理机的使用效率。     

Minimal LST representations of MAP(n)s: Moment fittings and queueing approximations

A Markovian arrival process of order n, MAP(n), is typically described by two n × n transition rate matrices in terms of rate parameters. While it is straightforward and intuitive, the Markovian representation is redundant since the minimal number of parameters is n² for non‐redundant MAP(n). It is well known that the redundancy complicates exact moment fittings. In this article, we present a minimal and unique Laplace‐Stieltjes transform (LST) representations for MAP(n)s. Even though the LST coefficients vector itself is not a minimal representation, we show that the joint LST of stationary intervals can be represented with the minimum number of parameters. We also propose another minimal representation for MAP(3)s based on coefficients of the characteristic polynomial equations of the two transition rate matrices. An exact moment fitting procedure is presented for MAP(3)s based on two proposed minimal representations. We also discuss how MAP(3)/G/1 departure process can be approximated as a MAP(3). A simple tandem queueing network example is presented to show that the MAP(3) performs better than the MAP(2) in queueing approximations especially under moderate traffic intensities. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 549–561, 2016     

五阶HWCNS在低速复杂流场中的应用

采用五阶精度显式混合加权紧致非线性格式求解雷诺平均NS方程;利用多块对接结构网格技术,对30P-30N多段翼型进行网格收敛性研究。在不考虑转捩的情况下,采用SA一方程湍流模型研究混合加权紧致非线性格式与二阶精度MUSCL格式对该翼型压力分布和典型站位速度型的影响,并与实验结果进行对比分析。采用混合加权紧致非线性格式和SA一方程湍流模型模拟梯形翼高升力构型低速复杂流场,通过对总体气动特性和压力分布的分析,探讨五阶精度显式混合加权紧致非线性格式在低速复杂外形流动中的应用能力。结果表明,对30P-30N三段翼型,采用全湍流模拟方法可以得到较好的压力分布;对梯形翼高升力构型,在附着流和边界层小分离情况下混合加权紧致非线性格式有较好的模拟能力。