虚构解方法程序验证

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

一种多目标随机决策方法及其应用

本文通过引进决策方案的可行度和决策者参考目标水平的满足度等概念,提出了一种不确定条件下的多目标随机决策方法——交互式参考目标满足度与可行度决策分析中,取得了较好的效果。     

GPS载波相位在大型载体姿态测量中的应用

本文针对舰船等大型栽体的姿态测量，采用GPS载波相位双差测量法来确定载体的姿态，应用载波相位确定栽体的姿态需要解决的关键问题是整周模糊度的确定。文中利用空间几何关系，来压缩模糊度的搜索空间，以加快模糊度的解算速度。通过静态和动态试验对文中的方法进行了检验，在静态用3．48米长的基线其偏航角精度优于0．06度，动态时用3．48米长基线来验证了算法的正确性。通过试验该测姿系统在实时性、精度、可靠性等方面能满足精确定姿要求，是实现动基座惯性导航系统快速初始对准的重要手段之一。     

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

本文利用格林函数、Banach空间中的压缩映象原理及Schauder不动点定理证明了四阶方程y( 4 ) =f(t,y ,y′,y″,y ) ( 1 )满足下列四点边界条件y(i) ( t1) =a1,y(j) ( t2 ) =a2 ,y(k) ( t3) =a3,y(l) ( t4 ) =a4 ( 2 )的边值问题解的存在性和唯一性。其中 t1, t2 , t3, t4 ,∈ {t1,t2 ,t3,t4 }且互不相同 ,a 相似文献   

大展弦比直机翼双机身飞机中机身与机翼的最佳布置问题

为了探讨双机身大展弦比直机翼无人机中基于翼面弯曲刚度下机身与机翼的最佳布置问题,本文采用工程梁对这一问题进行建模,并利用MATLAB6．5的优化工具箱给出数值优化解。在此工作的基础上,研究了翼面扭转刚度,计算结果表明,与单机身布局相比,双机身布局中的翼面结构扭转刚度提高了4倍。结合文献[1]的工作,可以得出结论：就结构刚度(弯曲和扭转)而言,双机身布局具有一定的优势,值得做进一步的分析。     

复合棒弯曲振动的一种简单数值解法

把组合柱按材料和截面大小的不同分成若干单元，每单元两端的位移、截面转角、弯矩以及剪力的关系用一矩阵表示，各单元矩阵相乘即得到组合柱总的矩阵，最后由此求解组合柱的共振频率，并进行一一些验证。     

腰形柱壳的有限条元解

本文用考虑了曲率影响的两结线低阶有限板条元分析了腰形柱壳的力学性能这种条元位移参数少,能较好地体现壳体的几何特性。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

一种利用ILSP的同步DS-CDMA信号快速盲解扩算法

针对同步DS-CDMA信号的盲解扩问题，本文提出了一种基于迭代最小二乘投影算法(ILSP)的快速盲解扩算法。本算法首先通过对截获信号的协方差矩阵进行特征分解，估计出由各用户扩频序列张成的信号子空间，然后结合扩频码序列的有限符号集特性，利用ILSP算法消除由特征分解产生的酉矩阵模糊问题，得到扩频序列的精确估计，最后利用估计得到的扩频序列对截获信号解扩得到信息码序列，完成DS-CDMA信号的盲解扩。仿真结果表明本算法在低信噪比条件下具有良好的盲解扩性能，且相较传统算法本文提出算法大大降低了计算复杂度 。     

多星博弈拦截Nash和Pareto策略研究

针对多星博弈拦截问题,基于微分博弈对策研究了各航天器的博弈策略。分别讨论了多颗拦截器的非合作Nash反馈策略,以及合作Pareto反馈策略。首先针对Nash均衡,各拦截器以终端零控脱靶量为指标设计了博弈策略,而目标的策略以终端脱靶量的加权和进行设计。进一步,考虑各拦截器采取合作方式进行拦截,相应的博弈策略基于单一指标的凸组合进行设计,而目标的策略保持不变。通过比较,Nash反馈策略与Pareto反馈策略相同,使得拦截器可以采取非合作模式实现合作拦截的目的。最后仿真分析了2颗拦截器对同一目标进行拦截的博弈态势,表明了本文提出的博弈策略对多星博弈问题的有效性。