非单调关联故障树顶事件失效概率的新算法

提出了一种计算非单调关联故障树顶事件失效概率的新方法,其基本思想是利用ＢＤＤ进行故障树中顶事件的不交化工作,可避免求ＰＩＳ和ＰＩＳ的最小覆盖的运算过程,为有效解决其运算的ＮＰ困难问题提供了一条新的途径。     

熵在伪随机性检验中的应用

本文从熵的角度探讨了伪随机性检验问题,提出了有关序列的等分布度r_n~(K)概念,并证明:一序列{x_n}(0≤x_n≤1)为等分布的充分必要条件是:(?)K≥1,(?)=1.利用这一结果对几个典型伪随机序列的等分布度进行了比较,给出了它们的伪随机性优劣排序。     

液体火箭发动机基于模型的故障检测算法

针对泵压式供应系统液体火箭发动机的故障监控问题,建立了用于发动机故障检测的非线性动态数学模型,设计并实现了发动机系统的广义卡尔曼滤波器。利用新息序列的统计特性,进行了发动机故障新息检测算法的仿真研究,讨论了降低滤波器计算费用的方法以及置信度、自由度对检测算法性能的影响。本文的工作为进一步研究发动机故障在线实时检测算法奠定了重要基础。     

四阶Fibonacci数列的通项及性质

著名的二阶Fibonacci数列有许多通项表达式和性质.文中运用矩阵方法,对四阶Fibonacci数列进行了比较深入的研究,求得了四阶Fibonacci数列的3个通项表达式,并得到了一些与Fibonacci数列相似的性质.     

基于Petri网的近程防空武器射击建模

提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

浮空器气体混充定高建模与仿真

依据浮空器浮重平衡特性以及理想气体状态方程,探索了一种气体混充控制浮空器平飞高度的定高方式,并对浮空器气体混充定高技术进行了总体设计研究。考虑到热力学特性对于浮空器上升过程和平飞过程的重要性,结合工程热力学中混充气体的热物性能,以超压气球作为研究对象,分析球体上升和平飞过程中的热环境,并与动力学模型进行耦合。在此基础上,对混充气球上升及平飞过程进行力学仿真,得到气球上升过程中高度、速度、气体温度以及压强的变化,验证了浮空器混充定高技术的可行性,为后续浮空器飞行试验提供指导。     

基于多群体改进萤火虫算法的装配序列规划

为了解决机械产品装配序列优化问题,提出了一种基于多群体改进萤火虫优化算法的装配序列规划方法。建立了装配序列规划的数学模型,针对萤火虫算法收敛效率低的不足,借鉴混合蛙跳算法族群划分思想对萤火虫算法进行了改进,引用局部搜索与全局信息交换机制提升了算法性能;根据装配序列规划问题离散型的特点,定义了新的离散编码方式和粒子更新策略。通过实例仿真结果表明,改进后的萤火虫优化算法简单有效、稳定性好、求解精度高,能够稳定快速地给出装配序列最优方案。     

一种新闻事件演化建模方法

为了准确地发现话题中事件间的潜在关系,提出一种新闻事件演化建模方法。该方法利用事件的时间关系、内容相似性、命名实体关联信息构建新的演化关系模型,并通过定义事件的五种演化模式,识别出演化过程中的开始、中间、结束事件,最后根据新演化模型及演化模式建立事件演化的有向无环图模型,揭示事件发展的潜在脉络结构。实验结果表明,本文方法能够有效检测事件演化,提升系统性能。     

一种串行通信的误码率测试方法

针对目前导弹系统RS-422,RS-485等串行通信总线的误码率测试没有统一、科学、客观的测试方法与测试仪器,提出一种基于通信设备内部自身通信验证的误码率测试方法,该方法采用通讯设备的自闭环链路实现收发端口互相校验,以半双工的工作方式,在多通道串行通信模块的通道之间建立发送-接收链路,基于伪随机码m序列为测试码流,利用统计学中的置信度原理,在保证测试结果的可信度前提下,定量地评估通信系统的质量,具备充分理论依据的基础上实现了低成本高效率的误码率测试.