非标准分析与概率论

本文概述了非标准分析发展的简史,介绍了超实数系,导数的非标准表示,并举例说明了数学命题的非标准证明比标准证明更为简洁、直观。文章的后一部分介绍了ｌｏｅｂ概率空间以及概率积分的＊有限求和的表示,并指出概率论从本质上是初等的结论。     

空间救援发射窗口分析

从发射窗口的基本特性出发,推导了空间救援任务发射窗口的解析求解方法.将空间救援发射窗口问题分解为平面窗口问题和相位窗口问题,分别建立了平面窗口与相位窗口的解析求解模型,最后获得了发射窗口解析解.用直观曲线描述了同一经度的不同纬度所有发射点对应的发射窗口,为空间救援任务发射窗口的分析和快速计算提供了基础.     

基于小波变换的探地雷达随机RFI抑制方法

针对探地雷达(Ground Penetrating Radar, GPR)与移动通信系统终端存在的频谱共用的电磁兼容性问题,着重分析了GPR接收中随机性射频干扰(Radio Frequency Interference, RFI)的性质,以及该类RFI与GPR目标回波信号在小波多尺度分解中分布的差异性,并基于此分析,提出了基于小波变换域的GPR随机RFI抑制算法,利用两种实测实验数据进行验证,结果表明,该方法能较好地抑制GPR的随机性RFI.     

YHFT-DX高性能DSP中Cache失效流水设计

YHFT-DX是国防科技大学自主研制的一款高性能DSP.以提升YHFI-DX的 Cache 性能为目标,研究了降低 Cache 失效延迟的优化策略,设计并实现了一种针对高频高性能DSP的一级数据Cache优化策略--失效流水.与传统优化策略相比,该策略将连续访问Cache的失效请求并进行流水化处理,使多个Cache失效延迟重叠,从而达到降低平均Cache失效代价的目的.将该策略应用到YHFT-DX芯片的一级数据Cache控制器的设计与优化中,使访问Cache失效引起的流水线停顿从8拍降为2拍,显著提升了系统性能.     

高可靠、强实时分布式系统的切换技术研究

本文首先给出某高可靠、强实时分布式系统及系统的两种切换方案的简要描述，然后对切换技术的实现进行讨论；最后，在建立强实时双工系统的可靠性模型基础上，对系统的两种切换方案进行分析与比较。研究结果表明：对于本系统，机组级切换优于结点机级切换，且可以减少程序的复杂度，提高系统的可靠性与实时性。     

基于CFD的磁射流抛光去除机理分析

应用计算流体动力学(CFD)方法分析了一种新型精密抛光技术——磁射流抛光的材料去除机理。磁射流抛光中,含有磨料的磁流变液射流被喷嘴出口附近的局部外加纵向磁场磁化,产生准直的硬化射流束来进行相对远距离的精密抛光。介绍了磁射流抛光的原理和实验装置,分析了磁流变液聚束射流的形成,通过一系列定点抛光实验研究了磁射流抛光工艺的材料去除分布特征,利用计算流体动力学的方法分析了垂直冲击和倾斜冲击情况下,磁流变液射流与工件表面相互作用时径向流场功率密度的分布特征。实验结果和仿真计算结果表明:磁流变液射流在工件表面径向扩展流动产生的径向剪切作用导致了材料去除;CFD方法能模拟抛光区去除率的三维分布,因此可以准确地预测抛光区形状。     

局部多孔质气浮止推轴承特性研究

在考虑轴承气膜交界面处切向速度滑移的条件下,建立了局部多孔质气浮止推轴承的理论模型,然后使用有限元算法进行了数值仿真,仿真的结果与试验结果取得了一定程度的一致性,说明此新的修改了的雷诺方程可以用来作为局部多孔质气浮止推轴承研究的理论模型。利用该模型,能够成功计算出不同渗透系数、不同厚度及不同直径的局部多孔质气浮轴承的流量、承载及刚度。还从理论上与小孔类型及全多孔质类型的气浮轴承特性进行了对比,结果表明,局部多孔质气浮轴承有着优良的特性及很好的应用前景。     

卫星导航接收机延迟锁定环鉴相器有限字长分析

码相位鉴别器作为延迟锁定环的主要组成部分,其性能直接影响了接收机伪码的跟踪精度。针对输入信号有限字长效应对鉴相器性能的影响,提出一种新的基于信号统计特性的分析方法,分析了归一化早迟幅度鉴相器输入信号有限字长对输出性能的影响。理论分析和仿真结果表明,字长效应在输入信号高信噪比下比低信噪比时明显,随着信噪比的增加,由有限字长导致的伪码跟踪精度损失将增加,而当输入信号采用4bit以上的量化时,字长效应对伪码跟踪性能的影响将可忽略。该结论可用于指导接收机低功耗小型化设计。     

面向监督学习的稀疏平滑岭回归方法

岭回归是监督学习中的一个重要方法,被广泛用于多目标分类和识别。岭回归中一个重要的步骤是定义一个特殊的多变量标签矩阵,以实现对多类别样本的编码。通过将岭回归看作是一种基于图的监督学习方法,拓展了标签矩阵的构造方法。在岭回归的基础之上,进一步考虑投影中维度的平滑性和投影矩阵的稀疏性,提出稀疏平滑岭回归方法。对比一系列经典的监督线性分类算法,发现稀疏平滑岭回归在多个数据集上有着更好的表现。另外,实验表明新的标签矩阵构造方法不会降低原始岭回归方法的表现,同时还可以进一步提升稀疏平滑岭回归方法的性能。     

石英/双酚E型氰酸酯复合材料的制备与性能

采用实验方法研究双酚E型氰酸酯树脂的黏度和固化特性,揭示催化剂对双酚E型氰酸酯树脂固化特性的影响规律;采用树脂传递模塑和真空导入模塑工艺制备石英纤维/双酚E型氰酸酯复合材料,并考察其力学性能。结果表明,双酚E型氰酸酯树脂室温至90℃范围内的黏度小于300 m Pa·s,凝胶时间大于10 h,起始固化温度、固化温度和终止固化温度分别为186±5℃,235±5℃和286±5℃;固化特征温度随着催化剂含量的增加而降低,直至催化剂饱和,其饱和范围为0.02%~0.03%,可使双酚E型氰酸酯树脂体系的固化温度降低约60℃,从而避免爆聚,实现液相法成型其复合材料;真空导入模塑工艺制备的石英纤维/双酚E型氰酸酯复合材料的力学性能明显优于树脂传递模塑制备试样。