基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

某航天器电子设备减振设计与试验验证

某航天器回收系统电子设备在发射过程会经受大量级的随机振动,因此需对其进行减振设计。首先建立电子设备-减振器的减振系统动力学模型,给出减振器的刚度和阻尼特性测量方法和减振系统减振效果的预估方法;然后设计了一种内部填充聚氨酯棒的钢丝绳减振器,通过扫频试验对其刚度和阻尼特性进行测量,并根据所建立的动力学模型预估减振系统的减振性能;最后根据实际飞行环境条件对减振系统进行随机振动试验,结果表明该减振系统性能的预估结果与试验结果具有较好的一致性。以上方法可用于指导后续型号的电子设备减振系统设计。     

AR模型在火箭发动机遥测数据中的应用

针对火箭发动机氧离心泵的遥测数据信号非平稳和非线性的特点,提出一种基于AR模型双谱方法分析、处理和提取火箭发动机氧离心泵开始测试、火箭飞行、火箭关机等三个阶段的故障信息,探讨了二次相位耦合与火箭发动机氧离心泵故障的关系。首先对两个频率二次相位耦合信号进行了AR模型双谱仿真,获得二次相位耦合信号的一般规律,然后采用AR模型双谱方法对此氧离心泵测点三个阶段的遥测数据进行二次相位耦合分析。结果表明,采用AR模型双谱方法可用于识别火箭发动机氧离心泵的故障。该氧离心泵发生故障主要是二次相位耦合引起更强烈的非平稳振动造成的,论证了通过二次耦合相位分析火箭发动机离心泵故障的有效性和可行性,可为氧离心泵后续的性能改进提供依据。     

基于开源GIS数据的广域小重叠卫星影像定位模型精化

设计了一种适用于大区域、小重叠卫星影像有理多项式模型(RPC)定位精度优化的技术流程,基于开源数字正射影像(DOM)、数字高程模型(DEM)数据和RPC几何模型约束,通过优化尺度不变特征变换(SIFT)特征提取与匹配算法,实现了无像幅约束的控制点和连接点的快速稳健匹配,应用DEM支持下的RPC模型二维区域网方法实现了多景影像RPC模型精度的联合精化。GF-1卫星WFV影像的实验结果表明:在DEM支持下经过区域网平差后,RPC模型的定位精度可达到像素级水平。     

不同迎角下脊形前体绕流数值模拟研究

脊形前体有较强的背风涡流场,不同的前体形状对前体涡流场和气动力有很大的影响.本文针对脊形前体飞行器大迎角湍流大分离流动计算的困难,采用IDDES混合湍流模型,以及与之匹配的非定常算法,研究了不同来流迎角下脊形前体的气动特性,以及背风涡非定常演化、破裂的细致流动结构.选取了不同脊形角,以及不同上、下高宽比的脊形前体进行计...     

导管弯曲加工工艺规划研究

根据导管结构特点,对导管弯曲加工工艺规划进行了较全面的研究,分析了工艺规划的内容和结构并建立了工艺信息模型。同时,为方便工艺员的设计工作,提出多模式工艺规划,如交互式和检索式工艺规划等。当设计结果存在多种工艺方案时,引入多目标层次分析法和模糊综合评判法,对多种工艺方案进行评价选优。     

随机设计下部分线性模型经验欧氏似然比置信域

在随机设计下本文构造了部分线性模型的经验欧氏似然比统计量,并由它的极限分布构造了部分线形模型参数的渐进置信域。     

平面交叉口混合交通流建模与仿真

在混合交通条件下,交通参与者成分复杂,各种交通方式速度各异,交通冲突频繁。特别是在交叉口机动车与非机动车相互干扰,带来了安全、效率、污染等多方面问题。本文首先介绍我国混合交通流的特点,然后对自行车个体微观行为进行定性的描述分析。通过对实际信号交叉口的调查研究,和对机动车流率与非机动车到达与释放规律的模型建立与定量计算。分析总结出平面交叉口机非干扰的一般规律和冲突避让原则。根据实测数据,结合视频处理和统计软件的使用通过计算直行与左转非机动车换算系数,提出了改进的机动车延误时间模型,并通过使用VISSIM3．6进行微观仿真验证了模型的有效性。     

我国自主研发的火星探测器模型公开亮相

3月8日,“十一五”国家重大科技成就展在北京开幕。在这次展览中,我国自主研发的火星探测器模型首次与公众见面。有关负责人透露,该探测器将于2018年奔赴火星,执行我国第一次自主火星探测任务。