航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

主控格栅反射器基体结构/压电作动器参数集成优化设计

为提高反射器形面控制能力和减小在轨热变形，本文以锆钛酸铅压电陶瓷(PZT)驱动的主控格栅反射器为研究对象，开展反射器基体结构和PZT压电作动器参数的集成优化设计研究。首先，建立主控格栅反射器有限元模型并通过实验验证了有限元模型的正确性。然后，以形面控制能力最大和热变形最小为目标函数，以设计变量上限、下限和结构基频为约束，采用遗传算法(GA)和非支配排序遗传算法(NSGA II)求解。最后，给出多个仿真算例的优化结果。仿真结果表明，控制能力最大的单目标优化，其热变形远大于控制能力，多目标的帕累托(Pareto)最优前沿可以给出更合理的设计方案。通过优化设计可以显著提高形面控制能力和减小热变形。     

经济危机背景下大学生就业状况及研究

近年来,"毕业就失业"这句话穿梭于校园和社会,几百万的大学生就业问题引起社会的重点关注。本文系统阐述了大学生就业现状和就业难原因,并就如何完善大学生就业体系进行了分析提出科学的建议。     

基于虚拟仪器的汽车制动性测试系统的研究与开发

本文是在传统检测方法上的基础上,将虚拟仪器技术引入到汽车制动性测试领域中,开发了基于虚拟仪器的汽车制动性测试系统。该系统是以图形化编程语言Lab VIEW为软件开发平台,配以传感器、数据采集卡、采样保持卡和笔记本电脑组成,构成了一套完整的虚拟仪器测试系统,该系统可以完成对汽车制动性的数据采集、处理、分析和显示功能。     

基于DSM的航天器信息建模方法及应用

将设计结构矩阵（DSM）技术应用于航天器研制的设计流程建模和信息建模,能够清晰准确地描述航天器各设计活动之间的信息耦合关系。根据航天器设计过程中跨分系统集成和协同设计的具体教学与培训需求,开发了一种基于DSM进行建模的工具软件,可用于建立一个基于设计参数信息的集成设计系统。根据其内在耦合关联关系,可实现各个分系统、各个模块、各个学科的参数信息一致和动态关联更新。     

连续推力机动轨道优化设计的贝塞尔曲线法

提出一种基于贝塞尔曲线的平面机动轨道设计方法。该方法将贝塞尔曲线方程与轨道形状方程相结合，利用得到的复合函数作为轨道方程来对机动轨道进行数学描述；通过约束条件获得可行的机动轨道族，由控制点设计给出具体的优化变量，将累积速度增量作为优化指标函数；并利用优化算法完成参数优化，从而得到最优机动轨道。最后针对设计的机动轨道推力峰值较大的问题，进一步提出了分段贝塞尔曲线法，在降低推力峰值的同时，可进一步降低燃料消耗，并在平面机动转移轨道设计的基础上，通过梯度下降对自由控制点进行修正，解决了考虑时间约束的平面轨道交会问题。     

雷达图像幅值空间变迹算法

针对旁瓣抑制，给出了一种幅值空间变迹算法。该算法与一般空间变迹法不同，主要通过每一像素点幅值与相邻两个Nyquist采样点幅值之和做比较来判别该点处于主瓣还是旁瓣，来加以不同处理。在整数倍Nyquist采样的情况下，这种算法不仅压低旁瓣还使主瓣变窄，能得到比传统SVA更高的分辨率，在非整数倍Nyquist采样的情况下也比SVA具有更好的稳健性。对此进行了实验研究，结果证实了该算法的有效性。     

不同回火温度对冶金锯片用钢65Mn力学性能的影响

利用力学性能测试及热处理分析,在360℃-540℃之间对冶金锯片用钢65Mn进行了连续回火处理.结果显示:随着回火温度的升高,试样的强度及硬度连续下降.在400-420℃之间,发现了回火脆性,冲击值、断面收缩率和延伸率发生明显变化.实验结果为预防锯片工作过程中的失效提供了技术参考.     

规则回转体自动铺丝轨迹规划与丝束增减

为满足自动铺丝轨迹的满铺覆性要求，针对现阶段自动铺丝轨迹规划存在的不足，提出了不同的丝束增减算法。首先讨论纤维铺放方向的确定和中心轨迹数量的计算，设计不同铺放方向轨迹的生成算法。然后以丝束重叠系数为重要参数，对于纤维局部堆积和空缺问题提出单侧纤维裁剪算法和双侧纤维裁剪算法，并对裁剪后的重叠区域和间隙区域进行面积求解，使得纤维丝束均匀覆于芯模表面。最后基于CATIA CAA二次开发平台，将上述算法集成到纤维铺放CAD系统中，通过运动仿真系统验证算法的正确性。利用提出的丝束增减算法，实现了间隙/重叠区的均匀分布，尽量降低了富树脂区等相关缺陷的聚集对性能的不良影响。     

一类基于四面体组合单元的模块化构架式可展开天线机构

针对现有基于四面体单元的构架式天线机构结构复杂、收拢率低、运动副数量多等问题，基于3RR-3RRR四面体组合单元和基于3RR-3URU四面体对称组合单元分别提出了两种新型模块化可展结构。以3个组合单元组成的模块化结构为分析对象，首先，详细介绍了模块化结构的组成及虎克铰轴线布置，并利用组合单元本身的自由度数目及性质，采用拆杆-等效-复原的思想，应用螺旋理论和G-K公式分别对提出的两种模块化结构进行了自由度分析，得到了自由度数目及性质。其次，应用Adams动力学仿真软件对两种模块化结构进行运动仿真，仿真结果验证了自由度分析的正确性。以完全展开和完全收拢时机构所占的空间体积比值表征该机构的收拢率，计算现有基于四面体单元的非模块化机构与提出的模块化机构的收拢率。最后，对比分析非模块化机构与模块化机构的自由度数目、运动副数目及收拢率。分析结果表明，基于3RR-3URU四面体对称组合单元的模块化结构既能实现较大收拢率，自由度及运动副数目也相对减少，且组成大型天线时杆件类型较少。研究结果为该类模块化构架式可展天线结构的设计与分析提供一定理论依据。