物理量单位的智能导出算法及其应用

推导物理量的单位是物理作业中不可缺少的重要环节。提出一种物理量单位的智能导出算法,即计算机根据物理量的运算式自动推导出待求物理量的单位。实验结果表明,物理量单位导出及换算算法的结果正确,对算术运算式中的物理量单位导出及换算的正确率为100%,且物理量数值的运算正确。     

Constants and Darboux Polynomials for Tensor Products of Polynomial Algebras with Derivations

Abstract

Let d ₁ : k[X] → k[X] and d ₂ : k[Y] → k[Y] be k-derivations, where k[X] ? k[x ₁,…,x _n ], k[Y] ? k[y ₁,…,y _m ] are polynomial algebras over a field k of characteristic zero. Denote by d ₁ ⊕ d ₂ the unique k-derivation of k[X, Y] such that d| _k[X] = d ₁ and d| _k[Y] = d ₂. We prove that if d ₁ and d ₂ are positively homogeneous and if d ₁ has no nontrivial Darboux polynomials, then every Darboux polynomial of d ₁ ⊕ d ₂ belongs to k[Y] and is a Darboux polynomial of d ₂. We prove a similar fact for the algebra of constants of d ₁ ⊕ d ₂ and present several applications of our results.     

Finite-dimensional simple modular Lie superalgebra ℳ

A new family of finite-dimensional simple modular Lie superalgebra ? is constructed based on results of Y. Z. Zhang and Q. C. Zhang [J. Algebra, 2009, 321: 3601–3619]. The simplicity and generators of ? are discussed and the derivation superalgebra of ? is characterized. Furthermore, the invariance of the nonnatural filtration of ? is determined by the method of minimal dimension of image spaces.     

奇 $Hamiltonian$ 超代数偶部的负 $\mathbb{Z}$-齐次导子

本文主要研究了特征 $p>3$ 的域上的有限维奇 $Hamiltonian$ 李超代数 $HO$ 的偶部到广义 $Witt$李超代数 $W$ 的奇部的负$\mathbb{Z}$-齐次导子. 我们利用 $\mathcal{HO}$ 的生成元集, 通过计算导子在其生成元集上的作用的方法, 首先计算了$\mathbb{Z}$-次数为 $-1$ 的导子, 然后决定了 $\mathbb{Z}$-次数小于 $-1$ 的导子.