基于北斗三号的长基线共视时间比对

卫星导航共视时间比对一直是远距离时间比对的重要方法之一。使用我国最新发射的北斗三号全球导航卫星，基于中科院国家授时中心（NTSC）和捷克光电研究院（TP）各自的时间产生和保持系统，开展了中捷北斗三号长基线共视时间比对试验。本文对中捷两站各自的北斗卫星可视数及其卫星高度角情况进行了统计分析，利用Vondark滤波对时间比对结果进行了降噪处理，最后将北斗三号共视时间比对结果与北斗二号及GPS共视时间比对结果进行了比较。结果表明：北斗三号在当前全球组网阶段中捷共视可视卫星数比北斗二号还少的情况下，其共视时间比对精度达到1.16ns，较北斗二号提升约19%，与GPS更为接近。     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。     

英语比较动词纵探

英语比较动词是用来表达级差这一逻辑意义的一类较特殊的动词。英语比较动词的数量虽不如形容词、副词比较级丰富，但仍是构成英语比较语义系统不可忽视的环节。本文系统探讨了英语比较动词的语义、语法与形态学特征，以及相关语义动词的比较级分类，并在对比分析的基础上推演出英语比较动词的不同类别，从而加强了对英语比较动词的了解和认识。     

辐射发射参考源在EMC比对中的应用

辐射发射参考源是在对EMC测试系统进行比对测试和定期场地校验时必不可少的设备,介绍了辐射发射参考源的原理和特点、各种实现方式、国内外应用概况及其稳定性考核措施。     

脱靶量估算和广义比例导引

本文提出一种适于真比例导引系统估计脱靶量的方法，依据这种方法，只要知道制导－控制时间延迟、拦截器的目标的相对运动速度等，就可以估计出脱靶量的大小。本文还就减小脱靶量而有采用广义比例导引的前景进行了探讨。     

转动坐标系中三维跨声速欧拉流的有限体积 TVD格式

在非惯性转动坐标系中,本文采用贴体网格、有限体积法离散和修正数值通量技术,将Harten的一维TVD格式推广到三维。由于转动使方程出现源项,文中通过对源项的巧妙处理,使修改后的格式能用于非齐次双曲守恒律方程组高分辨率的数值计算。为了加速解的收敛,提高显式时间推进的CFL数,本文采用隐式残值光顺技术。三维跨声速带非齐次源项欧拉方程的典型算例表明:捕捉的激波分辨率较高;激波前后没有发现大的数值波动和伪振荡现象;所得的跨声速流场解与实验较接近。     

热力系统中分布参数对象的数值─解析混合仿真方法

以热力系统中常见的管式换热器为对象，建立了包括质量、动量和能量平衡方程的集中参数数学模型，通过一系列的数值简化和处理，获得了能量方程的解析解，并发现此解的精度对时间步长的大小不很敏感。利用这一特性，本文提出了数值—解析混合仿真方法，采用多段集中参数模型同时选用较大的时间步长进行仿真。与非线性分布参数模型计算结果的对比表明，本仿真方法不仅具有较高的精度，同时也大大提高了计算速度，实现了仿真精度和实时性的统一。本方法对热力系统中分布参数对象的仿真具有重要意义。     

虚构解方法程序验证

对求解偏微分方程问题的程序的严格验证,一直以来由于其精确解有限,较难进行,针对这种情况,本文给出了一种新的程序验证方法,虚构解方法,该方法旨在解决大型科学计算程序如何较严格地进行程序验证这一问题;该方法通过构造虚构解,修改原控制方程,然后通过对计算结果的分析处理达到对程序的精确验证;文中给出了一组通用的虚构解的选取办法,解决了虚构解方法验证过程中确定虚构解的问题;同时还给出了运用该方法对非结构二维Euler计算程序进行验证的具体例子,网格收敛分析结果表明该方法是一种有效的程序验证方法,并且具有较好的通用性。     

关于拟线性椭圆型方程在广义Sobolev空间中解的正则性

本文讨论了下面方程Ｄｉｒｉｃｈｌｅｔ问题在广义Ｓｏｂｏｌｅｖ空间中解中的正则性－ｄ／ｄｘ１ａ１（ｘ，ｕ，Ｄｕ）＋ａ（ｘ，ｕ，Ｄｕ）＝０，ｘ∈Ω其中Ω∈Ｒ是有界区域，证明了上述问题在Ｗ（Ω）和Ｗ（Ω）在存在有界广义解。