高阶正规形（normal—form）矩阵算法的研究

本文将计算Normal-form的常用方法－矩阵法编写成Mathematica程序包,借助于Mathematica的符号推导功能,将矩阵法的全部计算步骤模块化,使程序包具有通用性,适用于计算二维系统的任意阶normal-form、三维系数的2、3阶normal-form、高维系统的二阶normal-form。     

关于有向图的强符号可解性

Hansen已提出一个判别强符号可解有向图的一般算法,其时间复杂性为O(mn).仔细分析算法,尚存在很多重复过程而耗费时间。从图论的观点看,最有效的算法应当是O(m)。本文进一步研究强符号可解有向图的一些基本性质,在此基础上发现这类图存在一种嵌套结构。结合有向图的DFS纵深搜索法,我们找到一个最有效的递推算法,其时间复杂性恰为O(m)。从而,使符号有向图的判别问题满意地获得解决。     

不定Sturm—Liouville算子的特征函数的振荡问题

研究了定义在有限区间（0，l）上的具有一般分离型边条件的不定Sturm—Liouville算子的特征函数的振荡问题．利用Prufer变换，给出了上述Sturm-Liouville算子特征值的符号指标的具体形式；得到了特征值的符号指标与Weyl函数以及Prufer角在该特征值处的罗朗展式（泰勒展式）的首项系数的符号之间的关系；最后，在上述两个结果的基础上给出了上述Sturm—Liouville算子的第n个正特征值所对应的特征函数在[0，l]内的零点个数的计算公式．     

真值表查询式光学符号替换

本文提出了一种新的符号替换光学处理方法.采用互补编码和地点寻址的真值表查询,构造了一种可进行返回运算的全加数字处理器.利用由液晶光阀构成的行逻辑器件对这一符号替换系统进行了实验验证并给出了实验结果.     

行列式波函数的计算

介绍利用Ｌｅｖｉ－Ｃｉｖｉｔａ符号表示行列式波函数，再利用该符号与Ｋｒｏｎｅｃｋｅｒ符号的关系得出原子能量表式的方法，该法比较简洁易掌握。     

《量子力学》自学辅导之八—狄拉克符号和占有数表象

《量子力学》自学辅导之八──狄拉克符号和占有数表象曾心愉，宋宇辰，裴文杰（复旦大学物理系；复旦大学理论物理骨干教师班，上海２００４３３）１狄拉克符号对量子体系的描述，既可采用波动力学的方法，又可采用矩阵力学的方法。但不论采取什么形式，它们都有一个共同...     

从符号动力学到语法复杂性

本文介绍符号动力学和语法复杂性的一概念，并以单峰映为主的对象综述这方面的研究情况，对其中的部分结果作出严格和证明，对于所涉及的问题列出较丰富的文献以供参考。     

遵循历史相似 整合教材资源 发展符号意识——“字母表示数”教学设计与反思

本文从代数学发展角度切入思考,从研读数学课程标准和深入对比四个版本教材两个角度,对"字母表示数"进行教学设计.通过教学中遵循历史相似性,尊重学生认知,注重学生丰富的实例体验,重视对各个版本教材资源的整合,重构教学环节,培养和发展学生的符号意识.     

材料力学符号规定的数学解释

鉴于材料力学教材中存在诸多的符号规定,以及符号规定带来的问题,该文对材料力学的符号系统给出了一套逻辑自洽的规定,简洁而统一的规定符合数理逻辑.     

符号动力系统与费马小定理

费马小定理是数论中的一个重要定理.利用符号动力系统计算周期轨的方法给出了费马小定理一个新的证明,讨论了数的整除性,并解释了费马小定理的几何意义.