Banach空间中算子余弦函数的一个特征

本文主要研究Ｂａｎａｃｈ空间中算子余弦函数与二阶无阻尼方程的Ｃａｕｃｈｙ问题之间的某些关系,借助于此类Ｃａｕｃｈｙ问题的解的存在性与唯一性,给出算子余弦函数无穷小生成元的不同于Ｈｉｌｅ－Ｙｏｓｉｄａ型特征的另一个特征。     

一类二维样条插值函数的最佳误差估计

本文主要结果为下述定理。 定理:设x(uw)是矩形域上关于该矩形上均匀分割的二维双三次样条插值函数,且x(uw)满足条件(5),则x(uw)在矩形域R边界上的节点处的四阶混合偏导数有估计式: |S_(i,0)|≦|A[i,n—1]||ε_(n,0)| |B[i,n—2]||ε_(0,0)|=[0,-4,(-1)~2 4,…(-1)~i 4]/[0,-4,(-1)~2…(-1)~n 4]|ε_(n,0)| sum from h=i to n-2 (-1)~(k(k-2)-(i 1)(i-2))[0,-4,(-j)~2 4…(-1)~i 4]/[0,-4,(-1)~2 4,…(-1)~(k 1) 4][0,-4,(-1)~2 4,…,(-1)~(k 2)4] (-1)~(i(i 1)/2)/[0,-4,(-1)~2 4,…(-1)~n 4]|ε_(0,0)|其中等号成立的条件分别为: A[i,n—1] B[i,n—2] ε_(n0),ε_(00)>0 A[i,n—1] B[i,n—2] ε_(nm),ε_(0m)>0 其中 i=1,2,…,n—1. j=1,2 …,m—1.     

新书推荐

<正>狼图腾姜戎著长江文艺出版社本书由几十个有机连贯的"狼故事"一气呵成,情节紧张激烈而又新奇神秘。读者可从书中每一篇章、每个细节中攫取强烈的阅读快感,令人欲罢不能。那些精灵一般的蒙古草原狼随时从书中呼啸而出:狼的每一次侦察、布阵、伏击、奇袭的高超战术;狼对气象、地形的巧妙利用;狼的视死如归和不屈不挠;狼族中的友爱亲情;狼与草原万物的关系;倔强可     

航空公司维修安全状况评价方法研究

以安全管理手册(SMS)中关于风险管理和绩效指标的理论为基础,对航空公司机务维修安全状况评价方法展开深入研究,确定了以可接受安全绩效水平(ALOSP)作为航空公司维修安全状况的综合评价指标,并通过实例对航空公司两年的历史数据进行分析,证明该方法科学、有效,易于操作且扩展性强,能对航空公司维修安全状况水平给予有效评价和预测,可用于指导航空公司的安全管理工作,有一定的推广应用价值。     

基于观测几何方法的星间链路天线转动总寿命需求分析

星间链路机械可移波束天线的转动总寿命需求是进行天线设计的重要依据。文章提出了一种基于观测几何的仿真方法,实现了航天器运动、航天器姿态控制、天线双轴转动相结合的仿真,同时避免了复杂的动力学仿真,并以某Walker-δ星座星间链路机械可移波束天线为例进行了分析,得出了较为准确的天线双轴转动总寿命需求,可用于长寿命高可靠性设计、制定具体的寿命试验方案等。该方法也适用于其他类型星座或其他依靠机械双轴实现指向跟踪的星间链路终端设备。     

可拓模式识别算法中经典域的确定方法

可拓模式识别算法是根据各个关联度的对比来识别最终的模式,其中经典域区间的确定有着重要的作用。传统的经典域确定方法是基于数理统计学的,不适用于小样本数据,数据不完全以及数据分布未知等复杂情况。引入Bootstrap算法,并和传统的方法对比,更精确地确定了经典域区间。     

模块化自适应热控技术体系研究

针对现有的两种热控技术体系尚不满足未来航天器要求的在轨服务能力,文章结合热控单项技术在可维修、自适应方向的发展现状,从系统层面和热量的收集、传输、排散各环节对潜在的可维修热控技术进行了分析,提出了未来的发展方向,构建出新的"模块化自适应热控技术体系"。该技术体系基于热总线,主动热控装置、设备的适应性和鲁棒性更强。在此基础上,提出了可更换、可修复、可重构和可补充4种热控系统在轨维护类型,并初步研究了各类型的实施方案和可行性。     

一种新的基于可解释性置信规则库的飞轮健康状态评估模型

飞轮系统的稳定运行对于航天器在轨安全影响重大，因而对飞轮系统进行健康状态评估至关重要。在进行飞轮系统健康状态评估建模时，不仅要求模型能够处理各种不确定性以保障评估结果的准确性，同时要求其具有透明合理的评估过程与可解释、可追溯的评估结果。因此，在深入研究置信规则库（BRB）建模方法的基础上，构建了一种新的基于可解释性建模的置信规则库（BRB-e）飞轮系统健康状态评估模型。首先，结合飞轮系统特征对模型的可解释性建模准则进行定义；在此基础上，设计了BRB-e评估模型的推理过程；然后，基于鲸鱼优化算法（WOA），提出了一种具有可解释性约束的BRBBRB-ee模型参数优化方法；最后，通过对某飞轮系统中轴承组件的评估案例研究，验证了模型在飞轮系统健康状态评估中的有效性。对比研究表明，BRBBRB-ee模型在评估结果准确性和评估过程可解释性方面具有一定的优势。     

DES与DDES在湍流分离中的原理与性能研究

随着工程上流动结构的日益复杂，兼具雷诺平均Navier-Stokes(RANS)方法高效率与大涡模拟（LES）高精度的分离涡模拟（DES）类混合方法成为现阶段工程中最有效的湍流模拟方法之一。围绕DES类混合方法中的DES与延迟分离涡模拟（DDES）方法开展工作，分析二者开关函数构造上的不同，研究延迟因子作用机理，并考察DES与DDES方法的求解能力。研究表明：DES与DDES方法在模拟表现上存在一定差异，DDES方法通过引入延迟因子，保护RANS求解区域，改善模化应力不足，降低了DDES方法对交界面系数CDES敏感程度；DDES方法在计算过程中容易出现过度保护，导致求解瞬时涡结构能力不如DES方法，分析与延迟因子引入比重及开关函数构造形式有关。     

一种2812内部FLASH程序远程更新的新方法

仿真器连接DSP进行程序升级给软件维护带来巨大麻烦.利用TMS320F2812芯片的内部丰富资源和支持在线编程的特点,介绍一种应用软件远程更新方法.包括一个通用的BOOT程序和两种生成可烧写文件的方法,满足了TMS320F2812产品的应用开发以及更新维护等需求.方法已应用于多个产品研制中,实验结果表明方法操作方便、加载结果稳定可靠.