高维多项式理想的实根计算

研究高维多项式理想实根的计算。对于给定的高维多项式理想,首先通过一个典范同态映射将其转化为扩张多项式环中的零维理想。基于零维实根是实极大理想的交集的结论,该扩张理想的实根可以在新的多项式环中计算。最后,通过理想的收缩,把实根收缩回原多项式环,便可得到高维多项式理想的实根。     

有限群共轭类长度的一点注记

假设G=AB是子群A和B的互相置换积。通过A?B中元素的共轭类长度给出了群G的结构，推广了一些最近的结论。     

足绑式行人导航偏航角误差自观测算法（英文）

基于低成本MEMS惯性传感器的足绑式惯性导航系统(INS)和零速修正(ZUPT)算法广泛应用于行人导航中。由于MEMS惯性传感器零漂误差较大,零速修正时偏航角误差的可观测性差,INS偏航角误差不能被有效约束,成为行人导航的主要误差源。行人徒步行走特别是在室内楼道等结构化道路上行走时,行走的轨迹大多情况下可认为是近似直线,基于这个事实,提出了一种减小偏航角误差的算法,称为偏航角误差自观测(YESO)算法。当判定行人以近似直线徒步行走时,由行走轨迹计算出的航向角可近似认为是一个常值,那么由于各种误差引起该航向角发生变化时,可以将该变化量作为足绑式INS偏航角误差的观测量,进一步可利用卡尔曼滤波器估计出偏航角误差,对足绑式INS的偏航角进行校准。在室内楼道进行了约350 m的现场实验,实验验证了YESO算法的有效性。实验结果表明,当分别采用ZUPT和ZUPT+YSEO算法进行导航解算时,航向角误差从-29°减小到-2°,南北向最大位置误差从-35.5 m减小到-5.2 m。YESO算法的实现仅依靠系统自身的信息,没有增加额外的传感器,算法具有很好的工程实用价值并能方便地推广应用于车辆导航等领域。     

一种具有低振动灵敏度和宽动态范围的MEMS陀螺仪(英文)

为了进一步提高MEMS陀螺的动态范围和振动环境适应性,以加速其工程化应用步伐,研究了陀螺振动误差,提出了一种新型MEMS陀螺结构。MEMS陀螺仍然采用了音叉结构形式,同时采用了工字型框架和隔离结构,从而提高了陀螺结构的稳定性和抗振动性能,并降低了残余应力对陀螺影响。理论分析了驱动和检测模态频差对标度因数非线性的影响,并基于理论和实验分析了振动环境中的角振动对陀螺性能的影响。在此基础上,进行了陀螺的模态优化设计,以进一步减小了陀螺的振动灵敏度,并使其具有大动态范围。MEMS陀螺采用了SOI圆片制备,并采用了圆片级真空封装技术实现陀螺芯片的真空封装。MEMS陀螺芯片和ASIC芯片叠装在陶瓷管壳内,体积为11.4?11.4?3.8 mm3。实验结果表明,MEMS陀螺的测量范围为±7200 (°)/s,零偏稳定性为12.2 (°)/h(1σ)。随机振动环境下(7.6grms),该陀螺的振中零偏变化量小于10.0 (°)/h,振中的零偏稳定性小于24.0 (°)/h,是原陀螺的1/5。     

零折射率材料平板的透射特性研究

零折射率材料是近几年发展起来的一种新型超构材料.它性质奇特,应用广泛,不仅活跃在科研前沿,也很值得推介到物理课堂.本文从经典电动力学出发,理论分析并数值模拟了零折射率材料内部电场、磁场的分布特性,以及零折射率材料平板的电磁透射特性.结果表明:对于双零折射率材料的平板,在与空气阻抗匹配的条件下,其透过率不随平板厚度的变化而变化,大小始终保持为1;而单零折射率材料的平板的透过率随着平板厚度的增加而减小.文章进一步分析了产生这两种特殊透射特性的原因.研究结果对于理解零折射率材料的特性以及设计零折射率材料的功能器件有很好的指导意义和参考价值.     

离轴非球面零位补偿检验的非线性畸变校正

在大口径、快焦比非球面的补偿检验中，入射光线在短距离内发生大角度急剧折转，导致干涉仪面形检验结果图像产生非线性畸变，严重影响了数控小磨盘抛光的位置精度和误差去除效率。为了校正离轴非球面在补偿检验中产生的图像畸变，提出了一种校正非线性畸变图像的方法，通过同心环带法确定畸变中心位置并利用光线追迹建立被检镜到干涉图的映射关系。针对某一光学系统的520 mm×250 mm的离轴抛物面主镜进行了畸变图像的校正，校正结果面形与工件面形的位置偏差降到1 mm以下，满足小磨盘抛光的工作要求。     

保持拟可逆性或拟零因子的可加映射

设X和Y是维数大于1的复Banach空间,A和B分别是B(X)和B(Y)中包含有限秩算子的范数闭子代数.A,B∈A,定义A。B=A+B-AB,称。为A,B的拟积.刻画了从A到B的双边保持算子的(左,右)拟可逆性或(左,右,半)拟零因子的可加满射的结构.     

所有极大子群都为SMSN-群的有限群

若有限群G的每个2-极大子群在G中次正规,则称G为SMSN-群.本文研究了有限群G的每个真子群是SMSN-群但G本身不是SMSN-群的结构,利用局部分析的方法,获得了这类群的完整分类,推广了有限群结构理论的一些成果.     

EFK方程一个新的低阶非协调混合有限元方法的高精度分析

对Extended Fisher-Kolmogorov(EFK)方程,利用EQ_1~(rot)元和零阶RaviartThomas(R-T)元建立了一个新的非协调混合元逼近格式.首先,证明了半离散格式逼近解的一个先验估计并证明了逼近解的存在唯一性.在半离散格式下,利用上述两种元的高精度分析结果以及这个先验估计,在不需要有限元解u_h属于L~∞的条件下,得到了原始变量u和中间变量v=-?u的H~1-模以及流量p=u的(L~2)~2-模意义下O(h~2)阶的超逼近性质.同时,借助插值后处理技术,证明了上述变量的具有O(h~2)阶的整体超收敛结果.其次,建立了一个新的线性化向后Euler全离散格式并证明了其逼近解的存在唯一性.另一方面,通过对相容误差和非线性项采取与传统误差分析不同的新的分裂技巧,分别导出了以往文献中尚未涉及的关于u和v在H~1-模以及p在(L~2)~2-模意义下具有O(h~2+τ)阶的超逼近性质,进一步地,借助插值后处理技术,得到了上述变量的整体超收敛结果.这里h和τ分别表示空间剖分参数和时间步长.最后,给出了一个数值算例,计算结果验证了理论分析的正确性.     

张弦梁(桁架)结构的找形方法——分级卸载法

对张弦梁(桁架)结构的找形问题进行了深入研究,根据该类结构的受力特点,提出了分级卸载法。该方法无需假定结构零状态几何,而可以一次得到对应于初状态(即预应力态)几何的结构施工放样尺寸(即零状态几何),并通过分级加载对该方法的精度进行了检验。