气动系数插值在捕获轨迹试验中的应用

本文叙述气动系数插值在捕获轨迹试验中的交叉核对和轨迹计算中的应用。对外挂物在某一个新的位置上的某些量的误差进行核对,看其是否在允许的范围之内,称为“交叉核对”。交叉核对分为两种,一种是对位置本身的核对,另一种是对气动系数的核对。在轨迹计算的每一个步长中应用气动系数插值,可以使计算更加精细,轨迹更加光滑。本文对气动系数插值作了一些改进的尝试,提出将气动系数对时间的插值改为气动系数对线位移的插值,这仅是初步的尝试,有待进一步探索。     

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

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

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

汽车尾气分析仪中的大气压力补偿技术

控制汽车尾气量的增加,是减少汽车废气污染改善人类生活环境的重要措施。汽车尾气分析仪主要是通过检测汽车尾气中不同气体的含量,以达到合理控制的目的。在对气体浓度的检测中,大气压力的影响不能忽视。本文围绕这个问题,详细讨论了大气压力影响的补偿方法。     

基于Heun法的模糊控制系统

针对有些常微分方程求解难且不易用图形直观观察的特点,根据求解常微分方程的Heun法构造了一种模糊控制系统以辨识由常微分方程所描述的系统。这种模糊控制系统在预测状态的同时也能够逼近系统微分方程中的函数。     

基于强跟踪EKF的组合导航系统故障检测方法

针对大方位失准角的机载SINS/GPS组合导航系统,为保证在高动态环境下实现高精度、高可靠的导航,利用强跟踪EKF滤波残差设计了一种基于残差统计特性的坏值检测算法,对导航信息进行估计和跟踪.仿真结果表明,该算法能够实时检测出GPS量测信息中的坏值信息,隔离后可显著提高组合导航精度,具有较高的可靠性、出色的容错能力和重要的工程应用价值.     

弹道导弹关机点偏导数自检方法研究

提出了一种对弹道导弹关机点偏导数进行检验的方法,通过建立关机点偏导数和关机点绝对运动参数之间的关系方程,推导出利用关机点参数进行偏导数校验的闭合公式。算例结果表明,利用此方法可以有效提高弹道导弹关机点偏导数校验的可靠性。     

AFDX流量管制信用量设置的模型检查

航空电子全双工交换式以太网（AFDX）实时通信中,交换节点采用信用量令牌桶（creditedtoken bucket）进行流量管制。分别对基于帧和基于字节的信用量令牌桶流量管制进行时间自动机建模,并构建模型的并发交互场景;采用测试自动机,进行有界活性（bounded liveness）模型检查。通过形式化验证,发现流量管制通过约束突发度限制多路复用输出排队的时延抖动,但信用量值的设置必须考虑输入虚拟链路（VL）的时延抖动,否则可能导致已经聚合的流量中属于不同VL的帧的先后次序被破坏,反而造成更大的时延抖动。通过分析时延抖动对信用量设置的影响,归纳并给出流量管制信用量设置的注意事项。     

环管型燃烧室火焰筒壁温气热耦合数值模拟

针对某型燃气轮机运行时回流式环管型燃烧室的火焰筒常发生烧蚀和裂纹,需获取其火焰筒壁温分布特点,进行分析以提出改进措施.全面考虑固体导热和辐射传热、气体与固体间的对流换热以及火焰和燃气的辐射,对燃烧室进行三维气热耦合数值模拟计算,获取流场、温度场以及壁温分布信息,并结合实验验证了三维气热耦合数值模拟能够较有效预测火焰筒壁温分布.由模拟结果知该型火焰筒壁温未超过设计值1 223K,但在联焰管与筒体连接处以及多个主燃孔处的温度较高、温度梯度较大,需要对这些部位的冷却方案进行改进.