控制数与星独立数

本文，我们讨论星独立数、分数星独立数、分数控制数和控制数间的关系，利用规划理论给出了上述参数的一些性质。     

拓扑格、(拟)闭包、(拟)内部及对偶方法

<正>用对偶原理讨论了完全分配格L上(拟)闭包及(拟)内部运算的性质,证明了格上的开、闭拓扑学在非F格情形等价,深化了现行的相关结果.特别,对L上的拟闭包(拟内部)运算引入了一种等价关系,证明了同一等价类中的所有运算导出同一闭(开)拓扑,并证明了任一等价类中恰有一个元是闭包(内部)运算且是该类中的最大(最小)元.     

电磁对偶原理的准确叙述与证明

本文准确地叙述了电磁对偶原理并首次给予严格的数学证明，所述的时偶原理及定义的对仍量具有自身的完备性，应用时无需借助其它条件．     

三值格代数中的对偶原理

对偶原理(principle of duality)反映了布尔代数中逻辑恒等式之间存在一种普遍的对偶关系。它指出,如已有一个逻辑恒等式,则把该式中0和1,与运算和或运算相互替换,则新的关系式依然成立。例如,由0+x=x可得到1·x=x等等。我们已知布尔代数仅为格代数中变量只取二值的简单情况,因此,在讨论变量取多值的格代数中对偶原理是否继续存在便应予考察与讨论,本文将以三值情况为例进行讨论。     

基于对偶法捷联惯导圆锥与划桨算法一般结果

首先,利用多项式拟合角速度和比力,得出任意子样数的陀螺角增量和加速度计速度增量的一般形式,进而经过一系列的数学形式的变换推导出了任意子样数圆锥效应补偿算法的通用形式;然后,介绍了对偶性原理.利用圆锥效应项与划桨效应项之间的对偶性,通过一个简单的数学方程便可得到任意子样数划桨效应补偿算法的一般形式.这两种补偿算法中的系数均可用计算机简单的计算获得,无需人工的繁琐推导.而且上述方法分析推导过程简洁明了.最后,根据对偶原理给出了划桨效应补偿算法三子样和四子样的精度仿真结果.