带紧扰动的m-增生算子的满值性定理

引入“DC”空间的概念,研究了带紧扰动的m－增生算子的满值性问题,改进了Kartsatos、Deimling、周海云以及徐宗本等人的结果。     

*X中的Q-拓扑、*τ拓扑、J τ拓扑及其性质

本文对＊Ｘ中的三种常用拓扑进行了研究,得到了一些性质。特别地,通过对＊Ｘ的商拓扑的研究,得到了Ｔｙｃｈｏｎｏｆｆ空间的Ｓｔｏｎｅ－Ｃｅｃｈ紧扩张定理的非标准证明。     

遗传σ-有界亚紧空间的Tychonoff乘积

讨论了较仿紧空间更弱的遗传σ 有界亚紧空间,给出了遗传σ 有界亚紧空间的三个等价刻划,并得到了遗传σ 有界亚紧空间的两个乘积定理:若空间Y 有一个σ 点有界基,则 X×Y是遗传σ 有界亚紧的当且仅当X 是遗传σ 有界亚紧的;X=∏i∈ωXi 是遗传σ 有界亚紧的当且仅当 α∈[ω]<ω,∏i∈αXi 是遗传σ 有界亚紧的.     

具有在线测量功能的三工位紧塞具压入机设计研究

分析目前使用的药筒紧塞具压入设备的缺点和不足,研究在线测量药筒实际装药高度的方法,提出在线测量药筒实际装药高度,同时根据装药高度控制紧塞具实际压入深度的设计思想,设计了一种具有在线测量功能的采用并行工作方式的三工位药筒紧塞具压入设备。该设备具有自动化程度高和能够精确控制紧塞具压入深度等特点。     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

基于联邦卡尔曼滤波的组合导航定位算法

在传统的GPS/INS紧耦合组合导航系统中,由于伪距和多普勒频移误差的存在,系统存在一定的误差偏移。针对这种误差偏移,设计了一种联邦卡尔曼滤波组合导航算法,该算法采用二级卡尔曼滤波器,将卫星接收模块解算出的伪距信息和多普勒频移信息在第一级卡尔曼滤波后,与INS模块结算出的信息进行修正处理,再通过主滤波器得到紧耦合算法的INS解算结果校正量和定位位置最优估计。通过计算机仿真结果分析表明,该方法相对于传统的紧耦合组合导航算法可以有效减小误差,具有一定的理论价值和实用价值。     

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

GNSS/INS超紧组合导航综述

卫星/惯性超紧组合导航系统以其定位精度高、动态性能优良、抗干扰能力强等特性成为组合导航领域的研究热点。介绍了卫星/惯性超紧组合的定位原理,基于对技术原理的分析,比较超紧组合模式相对于其他组合模式的优势特点;以高动态下超紧组合技术及卫星/微惯性单元超紧组合为代表介绍国内外研究现状;总结了亟待研究的容错控制技术、神经网络辅助、多传感器辅助超紧组合等关键技术,并对卫星/惯性超紧组合向着低成本、高精度、强稳定趋势发展的前景进行展望。     

一种有效的UWB-SAR成像方法

在简要总结大处理角ＵＷＢ－ＳＡＲ成像处理有关难点后，本文提出将波数域成像算法（Ω－Ｋ算法）应用于ＵＷＢ－ＳＡＲ成像处理；然后介绍了Ω－Ｋ算法的原理并对其中存在的Ｓｔｏｌｔ插值等问题进行了详细分析和深入探讨；最后结合所建立的ＵＷＢ－ＳＡＲ回波模型对Ω－Ｋ算法进行了仿真，研究表明这种成像方法具有较好的聚焦效果。     

考虑线性应变硬化效应时自紧管的应力与强度

本文主要讨论了在材料线性应变硬化效应的情况下,自紧管应力与强度的计算公式的推导。     

一类带有单调型算子紧扰动的半线性方程的可解性

在算子单调性和紧性假设下研究了半线性算子方程f∈Au-Tu+cu的可解性,其中A,T和C映一个自反Banach空间X的子集到它的对偶空间。所得结果扩展或改进了Guan最近的结果。     

基于TVD思想的高阶迎风紧致格式

紧致格式具有模板紧凑、精度高的特点,然而直接应用该格式捕捉激波会产生虚假振荡。解决该问题有多种思路,本文着重研究基于TVD思想的紧致方法。首先推导了两种5阶迎风紧致格式,并采用Fourier分析比较其耗散与色散特性。然后,采用保单调保精度方法和限制器两种不同的TVD方法,进行算例验证。计算结果表明,应用TVD方法后,格式对激波、接触间断分辨率好且鲁棒性增强,但不同的TVD方法仍存在精度降低、耗散不足等问题。     

基于NI-cDAQ自动测试火控系统电源组件

分析了某型飞机火控系统原电源部件检测设备的主要检测思路,列举了该检测设备的特点,并针对其存在的问题:体积庞大、测试耗时长,检修不方便等,提出了一种自动测试设备框架,系统地介绍了新框架的硬件组成及软件实现方法。硬件方面主要选用可靠性高的军品级产品:pc104,NI-c DAQ;软件方面采用流行的图形化编程工具Labview2010。根据该实例,给出了现代检测设备设计的新的实现方法和思路,实现了全新的火控系统装备维修保障模式。对于其他同类型的检测设备的研制,具有借鉴意义。     

时域超宽带紧缩场雷达目标特性测量系统研究与开发

介绍时域超宽带雷达目标特性测量系统的工作原理及测量软件的开发过程。首次将数字取样示波器应用于紧缩场,研究测量原理,给出系统结构及测量流程图,开发超宽带紧缩场暗室雷达目标特性测量系统,包括雷达散射截面测量、极化散射矩阵测量和微波成像等模块。最后给出该系统测量获得的部分数据。     

理想格上高效公钥加密方案

目前现存的R—LWE公钥加密方案,普遍存在公钥尺寸大、密文扩展率高的缺陷。给出一种高效的理想格上公钥加密方案,在多用户环境中,借助一个基于广义背包难题的可抵抗碰撞的哈希函数构造用户的公私钥对,缩短了公钥长度;通过增加整个密文中携带消息密文的份额,有效降低了加密每比特明文的平均开销。在安全性方面,由公钥恢复私钥的困难性可以归约到理想格中SVP问题,对密文的攻击相当于求解判定性R—LWE问题。因此,方案能够达到CPA安全性。     

带紧扰动的极大单调算子的满值性定理

将周海云关于m-增生算子的有关结果推广到极大单调算子场合。     

基于高精度加权紧致非线性格式的γ－Reθ转捩模型标定与应用

为准确模拟航空工程中的转捩问题,在高精度数值风洞平台上采用低速平板试验数据对基于高精度加权紧致非线性格式的γ-Re_θ转捩模型进行了标定,并在二维低速问题中进行了应用。计算结果与试验的对比表明:基于高精度加权紧致非线性格式的γ-Re_θ转捩模型可准确模拟自然转捩、旁路转捩及分离转捩的位置,并且具有较低的网格敏感性;在中等雷诺数范围,层流区域和湍流区域有相同量级时,计算必须采用转捩模型才能准确模拟阻力系数。     

应用加权紧致非线性格式的VFE-2钝前缘三角翼转捩模拟

为研究前缘转捩对钝前缘三角翼涡结构的影响,采用高阶精度加权紧致非线性格式和γ-Reθ转捩模型对VFE-2中等半径钝前缘三角翼进行数值模拟。将计算结果与试验结果进行详细对比,结果表明:钝前缘三角翼的前缘分离涡发生在翼尖下游,在特定雷诺数下其具体发生位置受转捩因素影响,采用全湍流模型计算会推迟分离,而耦合转捩模型后的计算结果和试验结果吻合良好。运用耦合转捩模型方法,对钝前缘三角翼涡结构随迎角变化进行模拟。计算结果与试验结果吻合,表明在较小的迎角下,前缘不会产生分离诱导涡;随迎角不断增大,分离诱导涡在三角翼后缘附近产生并向上游移动。