局部对称伪黎曼流形中的2-调和类时子流形

利用活动标架法,研究了局部对称伪黎曼流形中的2-调和类时子流形,得到了这类子流形的Simons型积分不等式以及关于其第二基本形式模长平方的拼挤定理。     

伪补MS-代数的核理想与同余关系

在伪补MS-代数上引入核理想的概念,利用伪补MS-代数主同余表示定理,讨论伪补MS-代数上的核理想的性质,得到核理想生成的同余关系的表达式。     

Minty向量似变分不等式与非光滑向量优化问题

在Clarke次微分意义下讨论伪不变凸性和不变伪单调性在Minty向量似变分不等式中的应用,建立了Minty向量似变分不等式和非光滑向量优化问题之间的关系.     

导弹伪攻角反馈三回路驾驶仪设计分析

阐述了几种典型过载驾驶仪的结构演变过程,对传统三回路驾驶仪的结构进行了适当改进,提出了采用伪攻角作为反馈信号的三回路驾驶仪新结构。研究了驾驶仪工程指标与闭环极点之间的对应关系以及从状态反馈到输出反馈的变换技术,给出了基于输出反馈极点配置的伪攻角反馈三回路驾驶仪设计方法。研究结果表明,伪攻角反馈三回路驾驶仪消除了传统三回路驾驶仪的静差,并具有与其相似的控制特性以及鲁棒性能。分析结果显示,两种结构的三回路驾驶仪对静不稳定弹都具有较好的稳定控制性。     

相位电离层残差二阶差分辅助伪距相位组合北斗周跳探测与修复

实现周跳探测与修复的关键是构建最优的周跳检验量。本文在伪距相位组合法的基础上,根据北斗三频数据的特点,从理论上对最优组合系数的选取标准进行了详细地分析。通过对若干组组合系数相关参数的对比,优选出两组最优的组合系数,并联合STPIR组合构建得到最优周跳检验量。通过对北斗三频实测数据的处理验证本文算法的正确性和有效性。数值结果说明：本文算法能够正确有效地探测出不同频段上包括不敏感周跳在内的所有周跳并进行修复。     

单参数二次基伪素数的一些性质

在张振祥[1]的研究基础上,讨论并给出了单参数二次基伪素数的一些性质,主要包括:由该伪素数生民的代数整数环的剩余类环中的单位构成的群的阶及结构、两个单参数二次基伪素数基的乘积仍是单参数二次基伪素数基的条件.     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。     

细胞自动机及其理论研究进展

细胞自动机固有的组成单元的简单性,单元之间作用的局部性和信息处理的高度并行性,并表现出复杂的全局特性等特点使得其广泛应用于物理模型模拟、密码学和内建式自测试等领域。本文简述了细胞自动机的基本概念,研究了细胞自动机的分析理论和细胞自动机的综合理论。     

伪度量空间的Baire纲定理

Baire纲定理是完备度量空间中一个十分重要的结果,该定理使得完备度量空间成为Baire纲空间,并具有很好的性质。本文将尝试在伪度量空间给出Baire纲定理,从而能够在这一类条件较弱的空间中建立通有性质的框架。     

基于单频伪距、伪距率GPS/INS紧组合导航系统

单频单系统型接收机的造价成本较低,为了迎合低成本的需求,并且解决在城市环境下因高楼大树遮挡导致全球卫星导航系统可见卫星数不足而无法定位的情况,本文设计了基于单频伪距、伪距率GPS/INS紧组合导航系统,详细推导了该组合导航系统的模型,并通过实验验证了当可见卫星数充足时,该系统的精度较高;当可见卫星数不足4颗时,该组合导航系统仍然可以有效的定位导航,满足一定的导航精度需求。