Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

利用温度测量结果反演三维热传导问题中热源项的算法研究

利用表面温度测量来反演热传导问题中的热源项是一类典型的热传导逆问题，在采用有限体积法对三维稳态热传导问题进行数值求解的基础上，将该热传导逆问题转化为优化问题，基于灵敏度分析建立了反演算法。采用该算法对一典型算例的计算结果表明：建立的算法是有效的，具有较好的抗噪性能。此外，对反演算法中计算收敛准则的选取进行了较深入的分析，结果表明，由于热传导逆问题的不适定性，优化过程中目标函数值越小并不意味着反演结果与真值更为接近，可以通过设定合适的收敛准则来模拟正则化项的作用，克服不适定性的影响。     

铜-康铜微细热电偶制作新工艺

热电偶是航天器真空热试验中应用最广泛的温度传感器,它的制作工艺决定了其产品的质量和可靠性。文章以铜-康铜微细热电偶的制作工艺为例,提出并实现了一种在惰性气体保护条件下利用高压放电技术进行热电偶焊接制作的工艺方法。这种方法具有操作简单、成品率高的特点,极大提高了热电偶的制作效率,并且解决了热电偶制作过程中因氧化而引入第三种材质的问题。     

自主机动空间绳网机器人设计与动力学建模

设计了一种新型“平台+绳系+柔性网+自主机动单元”结构的空间机器人系统,较强的机动能力和较大的任务范围使其在空间垃圾清理任务中具有显著的优势。详细描述了自主机动空间绳网机器人的概念、任务过程和特点。为了分析自主机动空间绳网机器人逼近目标过程开始时柔性网网型的变化趋势,采用质量集中法建立了逼近过程的动力学模型,模型中将柔性网离散化为无质量弹性杆和质点的集合,同时考虑了自主控制力的作用。在不同条件下对逼近过程中的网型变化进行了数字仿真,仿真结果表明：逼近过程开始时,自主机动单元无控状态下柔性网将产生收口运动,且收口运动的强弱与自主机动单元和柔性网的初速有关;逼近轨迹也将偏离目标方向。通过自主机动单元的自主控制力能够避免收口运动和逼近方向偏移的产生。     

基于热力学的HTPB/AP复合底排药损伤本构模型及损伤差异分析

为研究HTPB/AP复合底排药（CBBG）单轴拉伸力学性能,进行了准静态（233~301 K,8.3×10^-5~8.3×10^-1 s^-1）和冲击（233~323 K,1 200~8 000 s^-1）加载实验。实验结果表明,各工况下的真应力应变曲线均有明显的屈服点,初始模量、屈服应力及后屈服阶段形态均呈现显著的温度和应变率相关性。在不可逆热力学框架内,推导了热力学力表达式和内变量演化法则,结合初始模量和屈服应力模型,建立了黏弹-黏塑-损伤本构模型。根据HTPB/AP CBBG宽泛温度和应变率实验数据,利用一维形式的本构模型进行了参数辨识和模型验证。结果表明,该模型能较准确描述黏弹性阶段和后屈服阶段。不同工况下的损伤演化律表明,冲击加载和低温均有利于损伤扩展。     

空间绳系机器人超近距视觉伺服控制方法

针对空间绳系机器人超近距视觉伺服中相对位姿无法测量的问题,在建立机器人视觉系统非线性量测模型的基础上,提出一种基于直线跟踪的混合视觉伺服控制方法,利用帆板支架边缘线图像特征跟踪相对位姿,利用基座具有较大误差的量测信息保证控制系统的稳定性。仿真试验结果表明：在仅能获得帆板支架边缘线图像信息的情况下,设计的超近距逼近控制方法能够保证空间绳系机器人稳定到达目标卫星的帆板支架处,并满足捕获条件。     

铺放参数对复合材料厚度方向力学行为影响

为了探究铺放工艺参数的变化对复合材料厚度方向力学行为的影响,通过面外拉伸实验分析了铺放压力与铺放温度对复合材料厚度方向面外拉伸强度与拉伸模量的影响,并对不同铺放工艺的试件失效模式进行了分析。试验结果表明,增大铺放压力会减小层间富树脂区厚度,使复合材料面外拉伸强度不断增大,当铺放压力为0.225 MPa时取得实验组最大值,与铺放压力0.075 MPa相较强度提升约13.1%,失效模式由纤维断裂与纤维层剥离的组合转变为纤维断裂;铺放压力的进一步增大会挤压层间树脂,改变树脂富集形态,使面外拉伸强度下降,剥离失效模式再度出现。实验用复合材料的适宜铺放温度为30℃,过高的铺放温度会导致孔隙率的上升,使复合材料的面外拉伸强度严重下降,裂纹扩展失去规律性;与铺放温度25℃相比,铺放温度为45℃时复合材料面外拉伸强度下降达19.2%,失效模式由纤维断裂与纤维层剥离的组合失效转化为单一的纤维层剥离失效。     

消防车供水遥控机

为了提高灭火速度，提高消防队的战斗力，本文提出了一种采用无线遥控技术直接由水枪手遥控水罐车油门来改变水枪射水压力的控制系统。     

微波成像仪测试方法研究

论述了微波成像仪的测试方法，对微波成像仪主要指标如亮温分辨率、线性度、地面分辨率等的测试方法做了研究，提出了一些测试精度高且又简单实用的测试方法。     

用于GPS接收机模拟和仿真的数字化基带信号处理器

全球定位系统（GPS）接收机可作成数学模型并由软件完成，接收机数学基带信号处理器完成GPS观测量的最大似然估计，本文讨论：1）数字化GPS接收机的原理，2）数字化基带信号处理器的模拟；3）模拟接收机静态和动态性能，在GPS接收机设计和系统性能分析过程中，软件接收机较之硬件接收机具有更强的灵活性，价格便宜，而且更为准确。