简介：针对飞行试验中由于GLONASS星历解算错误导致的定位结果异常问题,研究了GLONASS星历电文下传的基本特征,即通过第1~4串电文下传,并且一个更新周期内下传60组数据完全相同的星历。基于此,提出了基于电文串标识的GLONASS星历解算基本算法,但发现该算法在电文串丢失且发生星历更新时解算出错误星历的问题。为确保星历来源于连续的1~4串电文,提出了基于时间比较的星历解算改进算法,发现GLONASS星历更新时,不保证从第1串开始,也不保证在连续的1~4串电文中更新完毕,改进算法依然无法确保获取到正确星历。最后分析了星历电文误码时的特征,提出了基于星历合法性检测的星历解算可靠算法,该算法综合考虑卫星不健康、星历更新以及电文误码等异常情况,采用轨道特性检测法和原码比对检测法验证星历合法性,采用电文串标识法充分利用有效电文数据。试验结果表明,该算法的星历误码识别率达到100%,星历更新异常识别率达到100%,获取的GLONASS星历数据正确率到100%。

简介：本文讨论了两粒子系统中量子态的可分性与关联性，分别得到了纯态与混合态可分的充要条件，及其元素必须满足的条件．用量子态元素之间的关系，给出了乘积态的刻画．此外，通过元素刻画了量子态的左（右）经典关联性与经典关联性．

简介：以高压下铋丝的电阻测量为例,开发了高压物性测量及压力标定物理实验项目,介绍了高压测量的实验原理和操作步骤,以及数据分析方法,丰富了大学物理设计性实验内容,提高了学生进行创新性思维的能力。

简介：为进行高超声速气动热数据相关性研究,选取了一平板-锥组合体模型为研究对象,开展不同缩比模型的风洞试验,分别使用3种不同方法进行气动热试验数据的相关性研究.研究结果表明,使用正激波后Reynolds数Rens和修正的黏性干扰系数V＊/Sw可以将不同缩比模型不同来流条件下的Stanton数进行较好的关联,Stanton数与正激波后Reynolds数Rens成反比例关系,与修正的黏性干扰系数V＊/Sw成正比例关系.最后基于相关性研究结论和理论分析,提出了一种模型表面传热现象的数学模型.

简介：讨论了运动的相对性与选择参考系之间的关系。对运动的描述是相对的,描述物体的运动必须选择参考系。选择参考系的实质是比较被观测物体的运动与参考系的差别,因此在不同的参考系中对运动过程的描述是不一样的。任何运动参量的测量值都必须有明确的参考系。在运动学的研究中,可以选择任何物体作为参考系。牛顿运动定律只在惯性参考系中成立,因此在动力学的研究中,必须选择地球或相对地球做匀速直线运动的物体作为参考系。

简介：为提高攻击导弹同时面对目标飞机及其防御导弹情况下的命中概率,基于微分对策理论,对攻击导弹的制导律进行了设计。应对独立控制的多对象博弈问题,微分对策理论具有天然的优势,且相比于最优制导律,微分对策制导律对于目标机动估计误差和机动策略具有更强的鲁棒性。所推导的微分对策制导律进一步考虑了攻击导弹的控制有界性,且适用于攻击导弹、目标飞机和防御导弹具有高阶线性控制系统动态的情形。为验证制导律性能,进行了非线性系统仿真,结果表明该制导律在成功归避防御导弹的同时可实现趋于零脱靶量的目标拦截。攻击导弹为实现规避和攻击的双重任务,仅需要保持相比于防御导弹两倍左右的机动优势。

简介：石英挠性加速度是惯性导航系统核心的惯性器件之一,其输出精度受到温度变化的影响,为了降低温度对石英挠性加速度计精度的影响,在研究石英挠性加速度计数学模型的系数随温度变化规律的基础上,设计了加速度计温度模型辨识试验方法,利用数据拟合方法建立了加速度计温度模型。应用该模型提出了石英挠性加速度温度补偿算法,针对该算法的有效性,进行了实验验证,结果表明应用该温度补偿算法,可使加速度计的测量精度提高一个数量级,补偿效果明显。该温度补偿算法可有效地应用于捷联式惯性导航系统等领域中。

简介：本文中，我们研究一类由极大Bochner—Riesz算子和Lipschtz函数A生成的多线性算子，获得了它的（Lp，上q）型，而且我们还将证明此算子从Lebesgue空间到Lipschtz空间、从Herz空间到Campanato空间和从Lp空间到Tribel—Lizorkin空间的有界性．

简介：利用Z2-指标理论和临界点理论，讨论了一类四阶微分方程u（4）＋au＂=μu＋f（t，u），0〈t〈L，u（O）=u（L）=u＂（0）=u＂（L）=0共振问题解的多重存在性，这里a〉0，f∈C1（[0，L]×R，R），为特征值问题u（4）＋au＂=λu的某个特征值，其中特征值满足λ4〈0，λk〉0，k≥2．

简介：随机需求库存-路径问题（StochasticDemandInventoryRoutingProblem,SDIRP）是典型的NP难题,也是实施供应商管理库存策略过程中的关键所在。文章通过引入固定分区策略（FixedPartitionPolicy,FPP）,将SDIRP分解为若干个独立的子问题,并采用拉格朗日对偶理论以及次梯度算法确定最优的客户分区。在此基础上证明了各子问题的最优周期性策略由分区内各客户的（T,S）库存策略以及相应的最优旅行商路径构成,进而给出了客户需求服从泊松分布时求解最优（T,S）策略各参数的方程组,并设计了求解算法。最后,通过数值算例讨论了上述策略以及算法对于解决SDIRP的有效性。

简介：为探索＂脏弹＂恐怖袭击危害规律,提高公众安全防护的能力,采用特定的源项模型、高斯扩散模型,考虑多种照射途径,研究了不同大气稳定度、不同风速、不稳定风场以及降雨率等因素对＂脏弹＂袭击放射性后果评价的定量影响。研究结果显示：大气稳定度为稳定F类时,下风向辐射后果为极不稳定A类的4-18倍,小风2m·s^-1的剂量后果为10m·s^-1风速的5倍;在不稳定风场下,＂脏弹＂的危害范围呈不规则状,严重剂量后果分布受第一时段的天气条件影响较为明显;短期评价下,降雨率大则地面剂量后果小,长期评价下,降雨率大则剂量后果大。

简介：目的:软土流变和结构破坏的相互耦合导致结构性软土的参数难以准确得到。本文拟建立一个有效的参数确定方法,期望仅基于常规的室内试验得到可靠的、合理的本构参数。创新点:1.通过采用优化方法来实现结构性软土参数的确定;2.仅基于常规的室内试验得到本构参数;3.采用最近提出的考虑各向异性、流变和结构破坏的超应力本构模型。方法:1.建立数值模拟和试验数据之间的误差计算公式;2.通过流变本构模拟室内常规试验,并计算模拟误差;3.采用下山单纯形法(simplex)优化方法,寻找模拟误差的最小值;此最小值对应的这组模拟参数即为土体的最优参数;4.利用最优参数模拟其他类型的试验,验证参数的合理性和可靠性。结论:本文提出的优化程序可以有效的找到结构性土体的流变和结构破坏参数,并且找到的参数非常的合理。

简介：利用美国国家海洋大气局开发的大气污染扩散模型HYSPLIT的轨迹溯源功能与自主研发的放射性核素大气输运软件RATRANS的正向扩散模拟功能,对2013年高崎台站监测到的放射性核素Xe异常事件中Xe在大气中的输运进行模拟分析,结合监测的Xe同位素活度浓度比值,对未知核泄漏事件源项进行研判,得到该事件可能的3个泄漏源项：文殊快中子反应堆附近的轻水堆、福岛核电站和朝鲜地下核试验场。

简介：本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为．首先在我们已有的工作基础上指出该模型的主算子生成的C0-半群的本质增长界小于一个负数，由此推出0是该主算子的一级极点．然后用残数定理求该系统研究中出现的投影算子的表达式．最后证明该模型的时间依赖解指数收敛于其稳态解．本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统．

简介：针对多态系统电磁脉冲易损性评估问题,提出了基于贝叶斯理论的多态系统电磁脉冲易损性概率置信下限估计方法。分别基于贝叶斯方法及经典统计方法,给出了多态系统电磁脉冲易损性概率置信下限及效应实验达到给定状态概率所需最小样本量的计算方法。通过算例,对文中提出的方法进行了验证和比较。在无信息先验条件下,贝叶斯方法与经典方法计算结果较为接近,概率置信下限和所需最小样本量的估计结果主要依赖于当前实验信息;当先验信息具有显著倾向时,若当前实验信息与先验信息一致,则基于贝叶斯方法计算的概率置信下限更加准确,且所需最小样本量明显少于经典统计方法的计算结果。

简介：由于设备会随着使用时间的增加和自身寿命增长引起的退化而逐渐磨损失效进而发生故障．因此对于生产企业来说，想要提高自身竞争力，就要在生产过程中合理地安排预防性维护以减少设备故障导致的计划外停机，防止生产计划和生产线的中断，从而才能获取更多收益．本文从生产企业的角度出发，提出单机生产系统的非等周期不完美预防性维护与生产的联合优化策略，综合考虑生产价值、生产成本、生产延迟成本及各类维护成本等，构建了总利润率模型，目标是使总利润率最大化．其中涉及到的三类维护方式为（1）完美维护——即更换；（2）小修维护——即使设备“恢复如旧”；（3）不完美预防性维护——即使设备状态恢复到介于“完全如新”与“恢复如旧”之间的某状态．最后本论文通过数字实例，验证了新策略模型在实际生产应用中的有效性．

简介：在初始能量为负的条件下，基于Young不等式，本文证明了一类带耗散项的非线性双曲型方程初边值问题解的blow—up．

简介：高师数学专业的学生，首先面对的就是“三基”课程——《数学分析》、《高等代数》、《空间解析几何》的学习．本文主从三基课程在内容上的联系、在教学上的关系、在解题技巧上等多方面研究了三基课程的内在关系，从而进一步促进三基课程的教学改革．

简介：本文讨论随机环境两性分支过程中以条件均值增长率的上界作为规范化因子的L^1一收敛问题，给出了L^1一收敛的对数判别准则的充要条件．

简介：针对现有灰色预测模型主要以一阶累加生成序列作为建模序列，再累减还原为原始序列预测值，本文通过Gamma函数将累加生成算子和累减生成算子拓展到正实数领域，给出分数阶累加生成算子和分数阶累减生成算子的解析表达式，一阶和整数阶均是其特例，证明了两算子之间的互逆性．为建立分数阶灰色预测模型和拓宽灰色预测模型的应用范围提供理论基础．