基于矢量代数法的GPS解析解研究

通常GPS卫星导航定位利用至少需要四个经过线性化处理后的伪距方程获得,论文则研究了利用矢量代数法得到非线性化的直接观测方程解法.通过比较线性化方程获得的定位结果,发现在特定的几何星座分布会时,线性化方程会导致奇异解,而非线性方程的解析解却能完成正确的定位解算.     

Relations Between BZMV^dM -Algebra and Other Algebrast

Some properties of BZMV^dM-algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV^dM-algebra can produce a quasi-lattice implication algebra. The relations between BZMW^dW-algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMV^dM-algebra, and its properties are derived.     

Ideals of Classical Linear Lie Superalgebra P（n） over Commutative Rings

Let R be a commutative ring with identity 1. The relations between the ideals of Lie superalgebra P(n) and the ideals of R are discussed by studying the basis, center and order ideal of P(n). All ideals of P(n) are proved to be minimal and standard.     

关联滤子与主滤子的关系

本文研究了序代数中关联滤子与主滤子的关系,通过关联滤子与主滤子的关系,得到下面几个有趣的结果.1、主滤子[a]是并半格、完全格和分配格.2、主滤子[a]是关联滤子当且仅当F1(ab)c=1和bc=1→ac=1或等价地F2c≤ ab和c≤ b→c ≤a.     

关于格蕴涵代数的几点注记

给出了一般（2，1，0，0）型代数（L，→^*0,1)成为格蕴涵代数的充要条件，证明了在有限链及非全序四元格上只有一种格蕴涵代数，且不存在非全序五元格蕴涵代数，为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。     

线性中立型时滞系统的稳定性判据

用基于频域的特征方程方法研究线性中立型时滞系统的渐近稳定性．利用与系统的状态、时滞及微分项有关的系数矩阵的结构特征，推导了与时滞无关的代数稳定性判据．与已有结果比较，新判据减弱了对系数矩阵的限制，扩大了稳定参数域．用新判据确定了算例的渐近稳定性，而对此算例原有判据已不适用。     

空间5S-S并联机器人机构尺度综合的解析方法

Groebner基是多项式理想理论中的一个重要概念和研究工具。将基于Groebner基的代数方法应用于空间5S－S机构体导引综合，获得当给定刚体6个精确点时问题的符合型三角形Groebner基，即解析形式的解。     

基于完全剩余格值逻辑上的不分明化理想

使用应明生教授提出的完全剩余格值逻辑L语义的方法介绍了环R中的不分明化左理想（L－左理想），右理想（L－右理想），理想（L－理想），并讨论了它们的一些代数性质。     

空间直角坐标计算大地纬度的代数求根法

借助于一元四次方程求根公式,导出空间直角坐标向大地纬度转换的明确数学表达式.具有理论严密,计算适用性广的特点,该算法定名为高次方程代数求根法.     

基于多值开关级代数的逻辑设计自动化

本文在多值开关级代数理论的基础上，提出了适合于NMOS及CMOS组合电路的逻辑设计自动化算法。这些算法包括：由真值表导出最简布尔表达式的算法；由布尔表达式导出与各种MOS电路相应的开关级代数表达式的算法；由开关级代数表达式导出其等价的MOS元件联接关系表的算法；从而初步实现了组合MOS电路的逻辑设计自动化。