代数函数域的一些Artin-Schreier型扩张相伴的Riemann-Roch空间

阐明给定代数函数域上一些除子的Riemann-Roch空间是代数几何码构造的基础.给出代数函数域的一些Artin-Schreier型扩张的Riemann-Roch空间的一组基,并应用于编码理论,得到F_(16)上参数分别是[54,43,5],[54,41,7],[54,40,8]的代数几何码.     

强Z-连续domain和Z-代数domain的刻画定理

给出强Z-连续domain和Z-代数domain的一个刻画及一个范畴性质--余反射性质.     

基于区间AHP与粗糙集的决策系统的排序

针对决策系统中属性值以区间数形式给出的多指标决策问题,根据区间层次分析法(IAHP)与粗糙集的特点,提出了一种合理的排序方法.在保持分类能力不变的前提下,利用粗糙集理论中的知识约简方法,删除其中不相关或不重要的知识,结合区间层次分析法计算权重进行有效的排序.最后,给出算例说明了该方法的可行性和有效性.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

基于对偶四元数的双星编队相对位姿测量

为了描述编队卫星中主从星的相对位置和姿态信息,提出了基于对偶四元数的编队卫星相对位姿测量算法。以双星编队飞行的位姿运动为主线,运用对偶四元数工具,充分发挥其能以最简洁的形式表示一般性刚体运动的优点,对卫星轨道和姿态进行分析并建立了对偶四元数位姿模型。同时设计类GPS测量技术来测量编队卫星的相对位置和姿态,该技术载波相位波长和伪码码元比GPS的更短,可获得更高精度的相对测量信号。由于状态方程和观测方程的非线性特征,使用UKF滤波来消除随机噪声对量测过程的干扰。实验结果表明,所设计的算法能够有效估计系统误差,卫星的位置误差和四元数误差收敛于零,验证了该算法的有效性。     

等式约束优化非单调信赖域算法

设计了一个新的求解等式约束优化问题的非单调信赖域算法.该算法不需要罚函数也无需滤子.在每次迭代过程中只需求解满足下降条件的拟法向步及切向步.新算法产生的迭代步比滤子方法更易接受,计算量比单调算法小.在一般条件下,算法具有全局收敛性.     

解非线性规划问题的不精确线性搜索SQP滤子方法

本文用序列二次规划方法(SQP)结合Wolfe-Powell不精确线性搜索准则求解非线性规划问题.Wolfe-Powell准则是一种能够使目标函数获得充分下降而运行时间较省的确定步长方法.不精确线性搜索滤子方法比较其它结合精确线性搜索和信赖域方法求解问题的滤子方法更灵活更易实现.如果目标函数的预测下降量为负,我们的工作将主要利用可行恢复项改善可行性.一般条件下,本文提出的算法较易实现,且具有全局收敛性.数值试验显示了算法的有效性.     

关于多项式小分数部分的一个注解

设f(x)为任意一实系数多项式,N.G.Moshchevitin在他的文章[8]中给出了集合{α∈R∶ limn→∞ infnlog n‖af(n)‖＞0}的Hausdorff维数的下界.在本文中,我们延用文[8]的方法并结合齐次Moran集的维数理论给出这个集合Hausdorff维数的精确值.     

一类广义Sierpinski地毯的Huasdorff维数

通过在任意给定的凸四边形和三角形上构造一个不同于通常欧氏度量的度量,证明了如果把构造经典Sierpinski地毯的初始图形正方形换成任意一个凸四边形或者三角形,则得到的广义Sierpinski地毯与经典的Sierpinski地毯具有相同的Haus-dorff维数.