基于顺序失效符的动态故障树形式规约

首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.     

从银河系看宇宙

什么是宇宙?宇宙是一切物质及其存在形式的总和,它包括地球和其他一切天体。所以,宇宙是由空间、时间、物质和能量所构成的统一体。人类对宇宙的认识是先从地球开始的,然后从地球扩展到太阳系,从太阳系扩展到银河系,从银河系扩展到星系,从星系扩展到星系团……等等。宇宙是如此之大,包括上千亿个星系,但人类可以观察到的     

空间飞行体地心坐标与大地坐标的快速精确转换

在空间任一点的子午面内 ,建立该点到地球子午椭圆的法线方程 ,以法线与子午椭圆交点的地心坐标为参数 ,导出大地高程和大地纬度的近似算法和严密算法。近似算法十分简单 ,使用有三角函数的手持计算器就可以完成计算。对于高度低于 360 0 0km的任何空间点 ,大地高h和大地纬度B的精度分别优于 31m和 0 1 7°。以近似算法的中间结果为初值 ,可将大地坐标的解算转化为一个二元一次方程组 ,解算非常简单 ,用PC在瞬间即可完成一批空间点的计算并可获得与真值完全相同的大地坐标 ,这为空间飞行体坐标的实时快速计算 ,提供了新的技术支持     

数模转换器DAC1220在驯服时钟中的应用

在GPS驯服时钟中,需要将CPU计算所得的控制数字量使用D/A转换器转化为对应的模拟电压,从而实现对VCOCXO的输出频率进行校正,数模转换的精度直接影响振荡频率的控制精度。本文给出了DAC1220数模转换器的工作原理和特点以及其使用方法,并探讨了D/A转换器分辨率与控制晶体时钟频率之间的关系。     

iGPS系统与经纬仪测量系统联合测量方法研究

iGPS测量系统凭借建站方便快捷、测量速度快等优势,已经在国内外航空航天制造等大型工业设备安装和检测领域有广泛的应用,而航天器测量任务中大量的立方镜准直测量工作则只能由经纬仪测量系统完成。由于经纬仪测量系统点坐标测量效率偏低,需要将iGPS系统测量点通过经纬仪系统转换到立方镜坐标系下,实现两种坐标测量系统的联合测量。基于上述需求,研究了两种系统的坐标系转换方法,提出了利用标定板实现转换的方法,分析了原理与转换过程,并通过实验验证了可靠性和精度。     

碳纤维复合材料层压板低速冲击试验研究

为研究复合材料不同铺层结构的抗冲击性能,采用碳纤维预浸料制备了单向[0°]8和正交[0/90]2s铺层2种不同结构的碳纤维复合材料层压板,并使用Instron 9250落锤冲击测试仪测试其低速冲击性能,得到了载荷-时间曲线,分析了2种不同铺层方式的复合材料层压板的低速冲击加载力学性能,得到复合材料层压板的破坏形态来分析其破坏方式。结果表明:2种铺层方式产生了不同的破坏模式,正交[0/90]2s的复合材料层压板的抗低速冲击能力要优于单向[0°]8铺层的。     

串联式TBCC进气道模态转换模拟器设计及其特性分析

为了实现涡轮基组合循环（TBCC）推进系统平稳模态转换过程的模拟,在前期风洞试验研究的基础上对串联式TBCC进气道模态转换模拟器进行重新设计。采用线性化及非对称的思路对该模拟器进行设计并对其特性展开数值仿真研究。结果表明：该模拟器不仅需要模拟发动机工况改变引起的背压变化,而且能通过流通截面面积线性变化,实现两个通道的流量分配。该装置的特点是能保证模态转换过程中每一点的涡轮/冲压通道的总堵塞比不变,使本文所研究的进气道在总堵塞比保持为65%时进行模态转换,结尾激波基本维持在喉道等直段内且进气道出口马赫数基本维持在0.30,流量系数基本为0.45,涡轮/冲压通道流量呈线性变化,与预期目标一致。     

基于ATL引擎的UML到Simulink模型转换方法研究

针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法,建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。     

三轴承转向喷管转向机构工作原理及运动规律

三轴承转向喷管作为大偏角矢量喷管的典型代表,是现代飞机实现短距/垂直起飞降落(以下简称短垂)功能必不可少的部件。基于三轴承转向喷管的工作原理——三轴共面理论,开展三轴承转向喷管的运动规律研究。运用坐标转换完成了运动规律方程的推导,并以计算实例和运动仿真技术对其正确性进行了验证。通过本研究,完成了三轴承转向喷管技术转向工程应用的理论研究和运动仿真验证,为我国短垂推进系统研制奠定了一定的技术基础。     

结冰风洞试验混合相似转换方法及其验证

相似转换是结冰风洞试验的重要技术手段,使用常见的相似转换方法有时会获得风洞能力外的转换结果,为了克服常见转换方法存在的适用范围限制,本文通过对相似参数的影响因素进行分析,获得了试验参数在相似准则约束下的变化规律和关联性.在此基础上提出了一种混和相似转换方法,其转换流程分为由水滴惯性系数和驻点冻结系数控制的两个阶段,根据满足的相似参数不同分为四种模式:模式1可以同时满足所有主要相似参数和三种热平衡参数;模式2和模式3分别为ONERA方法和Ruff方法的改进;模式4直接使用了Olsen方法.通过数值模拟和风洞试验对混合相似转换方法进行了验证,转换冰形与参考冰形基本一致,转换后的试验参数对比其他转换方法更具实用性.