????????·??????????

 阐述两种典型的计算机代数系统(CASes)------Matlab和Maple在基础 力学课程与有限元课程教学中的一些应用. CASes可以方便地将力学教学和有限元计算过程 中的模型建立、推理及其数值计算等进行演示和计算，为基础力学和有限元课程教学提供 了新的手段和途径.     

Investigating cyclic sotolon,maple furanone and their dimers in solution using optical rotation,electronic circular dichroism and vibrational circular dichroism

The experimental optical rotation (OR), electronic circular dichroism (ECD) and vibrational circular dichroism (VCD) spectra of (R)-3-hydroxy-4,5-dimethylfuran-2(5H)-one (sotolon, 1) and (R)-5-ethyl-3-hydroxy-4-methylfuran-2(5H)-one (maple furanone, 2) taken in chloroform were compared to their spectra calculated with time-dependent density functional theory (TDDFT). Sotolon was shown to exist as a dimer in chloroform while maple furanone remains a monomer. Transition state barriers for the enol/keto tautomerization of sotolon were calculated and found to be high. The VCD method offers promise to ultimately distinguish between the presence of monomers or dimers.     

An explicit recursive formula for computing the normal forms associated with semisimple cases

This paper presents an explicit, computationally efficient, recursive formula for computing the normal forms, center manifolds and nonlinear transformations for general n-dimensional systems, associated with semisimple singularities. Based on the formula, we develop a Maple program, which is very convenient for an end-user who only needs to prepare an input file and then execute the program to “automatically” generate the result. Several examples are presented to demonstrate the computational efficiency of the algorithm.     

Application of computer algebra to Jones polynomials

In this paper we apply computer algebra (Maple) techniques to calculate Jones polynomial of graphs of K(2,q)-Torus knots. For this purpose, a computer program was developed. When a positive integer q is given, the program calculate Jones polynomial of graph of K(2,q)-Torus knots.     

透视3点问题临界构造算法及实现

P3P问题是计算机视觉和摄影测量学领域的一个经典问题.运用基于求解非线性代数方程系统的吴特征列elimination方法,在计算机符号计算系统Maple 9上实现了透视3点问题临界构造解的求解,编制了一个小型实用的程序.运用Maple 9实现的模拟试验结果说明了我们的算法是稳定的.     

非线性Schroedinger方程组的精确解组

运用Maple语言程序，在没有假设的条件下，得到了具有耦合特性的非线性Schrfidinger方程组的行波精确解组及其约束条件方程，它们的表达式涵盖了所有的耦合解组与非耦合解组，具有任意性。耦合解组的算例函数及其特性分析，解释了α螺旋蛋白质螺旋链运动模型的行波孤立子解的耦合效应，揭示了增加、稳定和控制蛋白质活性和功能的方向。文章的研究方法，为求解耦合的非线性微分方程组的行波精确解组探索了蹊径。     

Symbolic evaluation of coefficients in Airy-type asymptotic expansions

Computer algebra algorithms are developed for evaluating the coefficients in Airy-type asymptotic expansions that are obtained from integrals with a large parameter. The coefficients are defined from recursive schemes obtained from integration by parts. An application is given for the Weber parabolic cylinder function.     

对求解非线性方程方法的探索

BaiCL在2001年提出了双曲函数法，并把解设成具体的双曲函数，即sinhw和coshw的线性组合．本文把解设成是由2个函数f(ξ)和g(ξ)组成的线性组合，它们可以有多种取法，从而使方程更直接、更有效．借助数学软件Maple，用改进后的方法和吴文俊消元法，求解Bai C L文中的一个例子，获得了包含Bai文结果在内的更为丰富、精确的行波解．     

α螺旋蛋白质螺旋链模型的精确解组

文章运用Maple语言程序,在没有假设的条件下,得到了α螺旋蛋白质螺旋链运动模型方程组的行波精确解组,它涵盖了所有的耦合解组与非耦合解组,具有任意性.耦合解组的算例函数及其特性分析,解释了α螺旋蛋白质螺旋链运动模型的行波孤立子解的耦合效应,揭示了增加、稳定和控制蛋白质活性和功能的方向,文章的研究方法,为求解生物大分子螺旋链运动模型的行波精确解组探索了溪径.