关于大卫星恒算式组合性证明的探讨

在组合数学中著名的恒算式－－大卫星恒等式，它的数学证明比较清晰，但其组合性证明较为模糊，本文的主要目标就是对其组合性证明作一些有益的探讨。     

三维编织复合材料的细观结构分析

三维编织复合材料的优异性能是与细观结构密切相关的，本文在深入研究编织纱线运动规律的基础上，讨论了三维编织结构的单元体模型，并推导了编织工艺参数和几何结构参数之间的数学关系，通过实验验证，证明了关系的正确性。     

相控阵雷达导引头波束稳定技术研究

 相控阵雷达导引头已成为新型空空导弹制导系统的首选,相控阵雷达导引头应用在空空导弹上需要首先解决导引头波束稳定的技术难题。本文基于波束指向在惯性空间不变性原理提出一种相控阵雷达导引头波束稳定算法,对影响相控阵雷达导引头隔离度性能的主要因素进行了仿真分析。仿真结果表明:该算法可以实现相控阵雷达导引头波束惯性空间指向稳定并且满足工程应用要求;通过减小速率陀螺数据周期和波束控制周期,及引入速率陀螺传输延时补偿算法可以提高导引头的隔离度性能。     

航空发动机零件工时定额测算技术研究与实现

针对航空企业加工工艺的多样性,本文基于数学模型法提出工时定额测算中各种机加工艺的机加时间数学表达,并在此基础上构建了普通机床、数控机床ISO代码指令及宏指令的工时定额测算工具。该工具经应用验证,效果良好。     

不确定初缺陷简支梁非线性屈曲载荷的确定

给出了初缺陷简支梁非线性屈曲载荷的一种计算方法,这种方法避免了求解常微分方程组初值问题,节约了计算工作量.并将描述初缺陷的傅里叶系数视为有界随机变量,提出了计算屈曲载荷界限的区间方法.当初缺陷统计数据较充分时,用概率统计法计算了一定可靠度下屈曲载荷的界限.最后,对两种方法的结果进行了比较,定性地给出了各自的适用范围.     

卫星编队飞行的无速度测量非线性控制

基于非线性模型 ,研究了卫星编队飞行的控制问题。首先 ,推导了精确的非线性相对运动动力学方程 ;然后 ,设计了带滤波器的无速度测量控制律 ,并使用拉萨尔不变集原理证明闭环系统是全局渐近稳定的 ;最后 ,数值仿真结果验证了理论分析     

二次有理双圆弧曲线及其在CAD中的应用

阐明了由三点Ｐ０，Ｐ１，Ｐ２确定的双圆弧的连接点可用控制点表示，其轨迹是圆心在Ｐ０Ｐ１中垂线上，半径为的圆弧是（ｌ＝｜Ｐ０Ｐ２｜，θ１，θ２△Ｐ０Ｐ１Ｐ２的底角）。提出了三种满足光顺性要求的选择连接点的方法。证明了用二次有理Ｂｅｚｉｅｒ曲线精确表示圆弧的充要条件是其中ｋ≠０，ω０，ω１，ω２为权因子。进而建立了双圆弧曲线的有理参数方程，即其中Ｆｉ（ｔ）与Ｇｉ（ｔ）是双圆弧基函数。作为应用，最后构造了一类以双圆弧为横向截线的曲面，包括其特殊情形双圆弧锥面和双圆弧柱面。     

基于骨架角点的双目图像模板匹配算法

应用数学形态学算子抽取图像的骨架 ,根据图像骨架角点进行模板匹配。提出一种有效的双目图像的匹配算法。其特点是计算量小 ,匹配速度高 ,适用于角点明显的图像。     

白光干涉检测仪微位移系统的精确控制方案

针对小电容压电陶瓷特有的迟滞曲线,建立实验系统采集压电陶瓷微位移器的位移-电压数据,然后用最小二乘法建立数学模型;通过计算机程序控制压电陶瓷驱动电压,实现了白光干涉检测仪微位移系统的开环控制,总位移20μm,精度可达0.03μm,并且给出了控制程序的流程图.     

铰接式履带车深海直线行走在EASY5仿真平台上的实现

提出铰接式履带车液压系统的设计方案,并在EASY5下完成液压和铰接式履带车直线行走下的数学建模,针对履带车辆在复杂地形中行走跑偏的问题,提出对方位偏差信号的PID控制;仿真结果表明,该控制方案可以很好地消除大扰动对车辆直线行走的影响,抑制车辆的跑偏问题。