Excel97在数学中的应用

通过具体实例 ,本文对绘制函数图像 ,进行矩阵计算 ,解线性方程组 ,规划问题求解和求幂级数的和等数学方面的问题 ,用Excel97给出了翔实的操作过程 ,旨在探讨Excel97在数学中的应用     

基于非线性规划的油藏物质平衡计算

物质平衡方程是解释和预测油藏动态的基本方法之一,求解物质平衡也就成了油藏工程师面临的实际问题。
现有油藏物质平衡计算往往借助于成熟商业软件来完成,其计算成本较高,而传统的物质平衡计算进行线性化处理后
常需多次手工试算,计算效率较低。把油藏基本参数作为决策变量,并把物质平衡计算描述为一非线性规划问题,对
这一问题进行规划求解,则可以在已知少数实测油藏压力以及生产数据的情况下,自动求得较准确的油藏基本参数、
水体平均压力变化情况及水侵动态。与前人研究对比后发现,该方法可操作性强,计算结果可靠。     

Deriving all minimal consistency-based diagnosis sets using SAT solvers

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solvers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best efficiency for the single- or double-fault diagnosis.     

女生散步问题的解

"女生散步问题"是一个一百多年来没有解决的数学问题.本文应用计算机程序,特别是应用快速求解程序和通过对所得到数据的分析得出"女生散步问题"的解.数月来两台计算机日夜不停的运算,终于给出该问题的最终的解,这样便彻底地解决了这个困扰人们和数学家们一百多年的数学问题.     

NCO法与ODE法关系初探

探讨了神经优化计算方法即ＮＣＯ法与常微分方程方法（即ＯＤＥ法）之间的初步联系，给出了求解Ｒｎ＋上线性及二次约束优化问题时它们之间具有的某些内在联系.     

神经优化计算与ODE法

本文探讨了神经优化计算方法与常微分方程方法（即ＯＤＥ法）之间的初步联系，给出了求解Ｒ＾ｎ上线性及二次约束优化问题时它们之间具有的某些内在联系。     

关于ODE法系数阵的讨论

本文在文献［１～３］的基础上，进一步讨论了求解非线性规划问题的常微分方法之系数阵Ｂ（ｙ）的选取，从数值计算角度指出Ｂ（ｙ）的最佳选取。     

有限元刚度矩阵的压缩存贮及组集

基于细胞元索引存贮方案，提出一种仅组集有限元刚度矩阵中非零元素的方法，该方法最突出的特点是计算所需内存空间与有限元网格节点和单元的编号模式无关，适于进行自适应网格细化有限元分析。针对刚度矩阵的一维压缩存贮格式，对稀疏矩阵直接解法和预处理共轭梯度法进行探讨，并编制相应的计算机程序对某地铁车辆有限元模型进行分析，计算结果与ANSYS5．7的计算结果相比相对误差不超过2％，说明提出的存贮方案和求解方法是正确、可靠的。     

HLLC黎曼解法器的优化与应用

研究适合一般状态方程的HLLC近似黎曼解法器的音速熵故障问题. 受Oleinik熵条件的启发,基于HLL与HLLC黎曼解法器自身的特点及一阶迎风格式的数值黏性,利用HLL黎曼解法器的思想,通过设定阈值克服了HLLC黎曼解法器的跨音速稀疏波内的音障问题,使该解法器是整体满足熵条件的正格式,并应用到一步ALE方法中计算多介质问题. 数值算例显示了优化的特性.