多柔体系统动力学符号演算的研究

多柔体系统动力学涉及繁杂的数学运算,对系统动力学方程和系数矩阵进行手工推导是低效而不可靠的．采用数值化方法进行系统动力学分析将包括许多虚运算和重复计算,使得计算效率和精度受到了影响．同时对约束和外力的变化适应性较差．本文在通用计算机符号演算软件ＭＡＴＨＥＭＡＴＩＣＡ环境下,研究了多柔体系统动力学的计算机符号演算方法,提出将多柔体系统动力学建模和数值分析的问题在ＭＡＴＨＥＭＡＴＩＣＡ环境中一体化解决,并通过实践说明这一方法是可行的和有效的．     

用MATHEMATICA求解商人渡河问题

提出了一种求解商人渡河问题的算法,并给出了用数学软件MATHEMATICA实现该算法的源代码,列出了部分计算结果供进一步研究.该算法可以应用于求解更一般的多步决策问题.     

Interpolation algorithm of Leverrier–Faddev type for polynomial matrices

We investigated an interpolation algorithm for computing outer inverses of a given polynomial matrix, based on the Leverrier–Faddeev method. This algorithm is a continuation of the finite algorithm for computing generalized inverses of a given polynomial matrix, introduced in [11]. Also, a method for estimating the degrees of polynomial matrices arising from the Leverrier–Faddeev algorithm is given as the improvement of the interpolation algorithm. Based on similar idea, we introduced methods for computing rank and index of polynomial matrix. All algorithms are implemented in the symbolic programming language MATHEMATICA , and tested on several different classes of test examples.