关于多元积分中几个分析命题的证明

多元函数的积分学是高等数学的重要内容之一。针对多元函数积分学中的空间区域问题、重积分对积分区域的对称性问题以及曲线积分、曲面积分计算公式推导中所存在的问题提出了四个命题 ,并对这四个命题进行了证明     

静爆冲击波数据处理评判方法研究

针对冲击波测试中缺乏一致的数据处理正确性判定问题,提出了以峰值数据分布正态性检验作为数据处理正确性的评判方法。在分析常规弹药试验中冲击波超压峰值的规律基础上,利用某型弹药试验结果进行假设检验,验证了数据存在正态分布的客观规律,通过对试验数据采取滤波处理、经验公式拟合处理等方式,分别进行正态检验,与原始数据进行比对,得出了采取不同方法进行数据后期处理的差异,指出了经验公式拟合处理方法的必要性,进而阐明以峰值数据分布正态性检验作为数据处理正确性的评判方法。该方法为提高冲击波测试精度、判断数据正确性提供了参考。     

北京地区太阳散射辐射模型

进行建筑物空调系统全年或季节能耗分析以及太阳能系统设计分析时，需要已知太阳总辐射和散射辐射数据。我国大多数地区只有总辐射观测，没有直接辐射或散射辐射观测，因此需要一种估计散射的方法。根据北京地区近10年（1995—2004）的实测数据，分析了日散射与日总射和日照时长的关系，分别建立了日散射的九个多项式拟合模型。模型的精确性通过平均百分误差、平均偏差和均方根误差来进行对比。结果表明，模型9的精度最高。     

基于功率拟合的时空相关K分布海杂波信号级仿真

为使海杂波的仿真与作战环境相结合,介绍了利用球不变随机过程(SIRP)仿真相关K分布杂波的方法。提出了一种基于功率拟合的时空相关K分布海杂波仿真方法,并结合具体的雷达波形实现了海杂波的信号级合成。通过仿真实验对方法进行了验证。     

三角域上带多个形状参数的二次Bézier曲面片

对于三角域上二次Bézier曲面的形状调整问题,给出了带6个形状参数的拟二次Bernstein基函数。分析了该组基函数的性质,并由此组基函数定义了三角域上带形状参数的二次Bézier曲面片,该曲面片不仅具有三角域上二次Bézier曲面片的性质,而且在控制网格保持不变的条件下,具有形状可调性。形状参数具有明确的几何意义。实例表明：构造的曲面为几何造型中的曲面设计提供了有效的方法。     

自由曲面慢刀伺服车削及刀具参数确定方法

自由曲面光学元件具有优越的光学性能,在现代光学系统中得到越来越广泛的应用。慢刀伺服是单点金刚石车削自由曲面的新技术。由于自由曲面面形的复杂性以及慢刀伺服车削技术的特殊性,刀具与工件的相对位置关系也更加复杂,必须对刀具与工件表面的相对几何关系深入研究,从而确定合适的刀具参数。从原理上对慢刀伺服车削技术的特殊性进行了分析。分别基于过轴心截面曲线特性和基于NURBS曲面整体特性研究了刀具参数确定方法。以正弦阵列表面工件为例,验证了这两种分析方法。     

马尔科夫链扫雷效果评估模型可信度验证

目前基于马尔科夫链的扫雷作战效果评估模型从单链到多链,理论模型与算法设计已经架构完毕,但该模型的可信度还有待验证。文中利用误差分布拟合检验的方法,对模型可信度进行验证,计算表明,该模型可信度较好。     

三维航迹的B样条曲线拟合算法

利用B样条曲线的几何性质,解决了飞行器三维航迹拟合中的边界条件等约束问题.并且通过求解分析B样条曲线的曲率与飞行器按规划三维航迹飞行的需用过载之间的数学关系,推导给出了所规划三维航迹的可飞性过载判断准则.最后,通过具体算例对某型飞机按拟合三维航迹飞行的需用过载进行实时仿真并判断该拟合三维航迹的可飞性.     

基于UKF的机动目标跟踪算法

基于EKF在处理非线性问题时采用系统预测状态的局部线性化方法来近似系统状态演化方程所产生的不良影响,提出了一种用UKF方法解决机动目标方位和速度的跟踪及估计问题的算法.按实际的非线性模型演化时,该算法能够很好地对非线性函数的后验均值与方差进行拟合,并充分利用了传感器每次量测带来的信息并进一步优化了测量方差.仿真试验表明,该算法能很好地对机动目标的速度和航迹进行估计和跟踪.