相空间中具有三阶线性单面约束非完整系统的Lie对称性与守恒量

研究相空间中具有三阶线性单面约束的非完整系统的Lie对称性与守恒量.由微分方程在无限小变换下的不变性得到Lie对称性所满足的确定方程和限制方程,给出结构方程和守恒量,讨论了系统的Lie对称性逆问题,并举例说明结果的应用.     

生成微分方程非经典对称决定组的一个软件包(英)

给出了计算微分方程非经典对称决定方程组的一个算法.基于此算法，在 Maple系统上给出一个实现：NGDS.并举例说明了此软件包的有效性.     

圆内接与外切三角形中的某些极值问题

求内接于定圆的最大面积的三角形，或求外切于定圆的最小面积的三角形这类极值问题，是初等几何中常常遇到，但用纯初等几何方法又无法解决的问题，在本文中，运用局部对称与迭代等方法，使这类问题迎刃而解．     

对称臻美在规范场理论创造中的作用——从J.C.Maxwell、A.Einstein到杨振宁

从统一的角度,全面分析了Maxwell场、引力场和杨-Mills场的历史形成过程, 得出对称性和臻美是科学创造的一个基本动力;突出对称臻美在规范场理论创造中的评价和 导向作用。     

群论与异核双原子分子的光谱项

在分离原子模型的基础上，依据原子和异核双原子分子的对称性，给出了利用群论方法确定异核双原子分子光谱项的方法和具体步骤，这种方法要比常规的角动量耦合法简便．     

软土深基坑的开挖顺序、荷载分布与内支撑设计

由非无效下挖导致支撑系统非对称变形的实测资料启示，研究分析软土深基坑不同的开挖顺序、支撑周边不同荷载分布的不同变形和受力特征，导出支撑设计的正常荷载和偶然工况的异常荷载及其荷载系数的取用。     

异桥联(μ-Cl和μ-OCH_3)双核铜(II)配合物磁偶合体系中桥联原子的轨道互补效应

采用密度泛函结合对称性破损(DFT-BS)方法,研究了异桥联(μ-Cl和μ-OCH3)双核铜(II)配合物磁偶合体系中桥联原子轨道相互作用。计算结果表明,两个桥联配体原子轨道对反铁磁性偶合,表现为轨道互补效应。这种互补效应不仅表现在磁偶合作用的一致性,而且表现在对磁偶合贡献的加合性。分子轨道和自旋集居数分析都很好解释了计算的结果。     

真空球对称引力场中测地线方程的Maple求法

用Maple软件求出了真空球对称引力场中粒子的运动学方程，文章中给出的Maple程序可以计算各种形式的引力场中的Christoffel记号、Riemann曲率张量、Ricci张量和曲率标量以及爱因斯坦张量，借助这些物理量可以研究引力场中粒子的行为、引力效应和空间的几何性质等．     

l^2（Z）中的一类双正交小波

Butterworth小波具有良好的性质(对称性、插值性和消失矩)。引入双正交小波的一般概念,并给出一个适用的充分条件,根据这一条件构造出一类双正交小波,它们不仅具有Butterworth小波的所有性质,而且还具有紧支集。     

递归学习寻找对称变量

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率．通常fx1xj^-=fxjxi-被用来检验变量的对称性．一般先分别建立fxjxi和fxjxi^-的BDD(Binary Decision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证fxjxi=fxjxi^-．但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行．本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证fxjxi^-=fxjxi^-递归学习算法执行效率高，可以大大缩减对称变量检测的过程．试验结果表明，利用递归学习算法检测对称变量执行时间减少，并且能将大的电路作为检测对象．