航天故障检测、诊断与容错处理技术研究

以最近40年典型航天故障为依据,归纳了航天故障的主要来源,分析了航天故障五个方面的原因,剖析了航天故障四个方面的典型特点,阐述了航天故障检测与诊断的研究内容、技术难点和典型方法。从带故障过程后续故障检测与诊断、过程容错技术研究等几个侧面介绍了国际国内最新发展动态,以及面向国内航天的几点思考。     

一种动态的可验证秘密共享方案

提出一种新的可验证的秘密共享方案.该方案具有两种形式:一种是计算安全的,与Feldman方案等效;另一种是无条件安全的,与Pedersen方案等效.此外,设计了防欺诈的共享更新协议和共享重构协议.在执行此类协议时,新方案比Feldman方案和Pedersen方案更有效.因而,新方案是一种非常有效的、动态的可验证秘密共享方案.     

安全电子选举研究

提出安全电子选举的三级目标和一般模型,为系统地研究电子选举提供了基础.通过对现有方案的关键技术分析,提出保护隐私的电子评审、含权选举、"m选k"等特殊投票问题,并给出采用安全多方计算技术解决这些问题的新方法.     

树状河网非恒定流的一则并行直接数值解法

描述了求解树状河网非恒定流问题的一则并行直接数值解法。该方法首先利用区域分解方法将河网划分成p个子块，然后利用串行双消除算法所隐含的自然并行性，以及树状河网支流交汇点水流连续方程组系数矩阵的特点，将计算任务分配到p个处理器进行多级直接数值求解。在曙光2000并行计算机上用消息传递方式实现了该算法并进行了性能测试，结果表明算法的数值稳定性好，并行效率可以达到90％以上。     

非平稳信号的2 2型双重中值容错滤波算法

滤波算法的容错设计是技术过程可靠性与安全性领域的重要研究内容．本文建立了一组新的非平稳过程容错滤波算法，该算法采用两阶段两次滑动中值与滑动均值滤波器的组合，实现了数据洁化与滤波的统一．理论分析和仿真计算结果证实，该滤波算法可有效避免斑点型异常数据的不利影响，可靠地从采样序列中提取信号．     

非平稳信号的22型双重中值容错滤波算法

滤波算法的容错设计是技术过程可靠性与安全性领域的重要研究内容.本文建立了一组新的非平稳过程容错滤波算法,该算法采用两阶段两次滑动中值与滑动均值滤波器的组合,实现了数据洁化与滤波的统一.理论分析和仿真计算结果证实,该滤波算法可有效避免斑点型异常数据的不利影响,可靠地从采样序列中提取信号.     

河网非恒定流的克隆仿真方法研究

针对河网非恒定流设定情景批量仿真中存在大量的重复计算,提出了一种基于仿真克隆技术的并行累进增量克隆仿真方法.基本思想是:合并相互关联的初始设定情景,并依据关联点对合并后的设定情景进行并行增量克隆仿真.理论分析与实验结果均表明,该方法具有较好的计算性能,在同等时间复杂度下,其计算效率比传统的并行与分布仿真方法提高了两倍以上.     

非平稳信号的2(×)2型双重中值容错滤波算法

滤波算法的容错设计是技术过程可靠性与安全性领域的重要研究内容.本文建立了一组新的非平稳过程容错滤波算法,该算法采用两阶段两次滑动中值与滑动均值滤波器的组合,实现了数据洁化与滤波的统一.理论分析和仿真计算结果证实,该滤波算法可有效避免斑点型异常数据的不利影响,可靠地从采样序列中提取信号.     

人造卫星的几何定轨与VIS模型设计方法

从可视交互仿真模型设计的角度，本文提出了人造地球卫星的一组几何定轨方法，给出了易于实现的简洁的仿真计算模型，探讨了该模型在计算机三维可视空间中的实现途经。本文最后还特别指出了文中建立的几何定轨算法具有工程实用价值。     

基于时态通讯图的启发式任务调度

在基于消息传递系统的显式并行程序设计环境下,用通常的前趋任务图有时很难精确表示任务间的偏序关系．本文首先提出了时态通讯图这一基本概念,然后说明了用ＴＣＧ表示并行程序任务间相互作用关系的一般方法以及ＴＣＧ的一些基本性质,并给出了基于ＴＣＧ的启发式任务调度方法．