三对角方程组的分布式SPP算法

发展了单向并行分裂法(SPP)用于求解三对角和块三对角线性方程组,算法考虑了三对角线性系统求解中文件IO及结果传输通信所占时间比例较大的特点,充分利用了计算、文件IO与通信三者之间的重叠。分析了SPP算法的计算与通信开销。在工作站机群上进行了测试分析,结果表明SPP算法适合于分布式计算     

树形挠性多体系统的 Kane 动力学方程 ——一种面向计算机的建模方法

本文针对具有树形结构的空间挠性多体系统,建立了Kane 动力学模型。挠性多体系统由任意数目的挠性体或刚体组成,假定铰链点之间具有三自由度相对转动和平动,选取相对平动速度和转动角速度,以及模态坐标的导数为系统的广义速度,建立了系统的最小维数运动方程,所得结果便于计算机自动生成和进行数值仿真。     

整数线性规划问题的一个新算法

本文给出求解整数线性规划问题的一个算法。基本思想是通过求出其伴随线性规划问题的最优单纯形表,把整数线性规划化成正整数系数的不定方程,然后从不定方程的非负整数解集中选取一组满足整数线性规划的约束条件的解,作为整数线性规划的最优解。     

非定常超音速流动数值计算方法比较

为适用于非定常流场计算 ,在保证时、空二阶精度的前提下 ,通过引入变系数残值光顺技术 ,提高了四步Runge Kutta方法的计算效率 ;并针对球锥简谐振动过程 ,数值比较Runge Kutta多步法和“双时间法”的计算精度。     

正扰动下一类RN上临界增长的椭圆型方程的正解的存在性

本文讨论了如下方程:并得到了它的正解的存在性,其中g(x,U)为U~(P-1)的低阶扰动。它是文[1]的继续。     

捷联惯导大失准角误差模型在快速传递对准中的应用

针对快速传递对准中主子惯导相对姿态存在大角度的情况,推导了捷联惯导大失准角误差模型.该模型采用欧拉角表示姿态误差,并用欧拉运动方程准确描述其传播规律.鉴于该模型中的姿态观测方程是复杂的非线性函数,采用无需求导的UKF算法,并采用奇异值分解(SVD)解决方差阵的病态问题.仿真结果表明,该算法在小角度误差条件下滤波精度优于线性模型,并且适用于大角度误差条件.     

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

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

层流冷却过程中基于自由能理论的相变本构方程的组织预报与分析

基于自由能理论的统一的相变本构方程可用来预测连续冷却过程中钢材的微观结构和转变体积分数。将该方程镶嵌在商业有限元软件MARC中,对DIN SAE 5140钢在层流冷却过程中的相变过程进行了分析。分析结果与试验数据相吻合。这表明该统一的相变本构方程为预测连续冷却过程中的材料的相变过程提供了一种新的有效方法。     

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

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

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

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