基于认知心理学的不精确概率推理

本文从获取知识的角度出发,肯定了主观概率作为命题信任程度度量的作用,并根据心理学中的一些实验结果,提出应把 P(H/E),P(H/～E)定义为规则的强度;在此基础上,给出了一种新的不精确推理模式。     

用多故障状态元件构成系统时计算系统可靠性的一种方法

引言目前在系统可靠性分析中,大多是假定每个元(部)件仅存在两个状态,即正常状态和故障状态.在这个基础上,建立系统可靠性的数学模型.但在实际系统中,元(部)件往往有多种故障模式,如电阻、电容、半导体管等,都有短路故障、开路故障等模式,它们都有一定的故障概率;再加上正常的工作模式,那么最少存在三种工作状态.对于数字电路,由     

层次分布式测控系统的可靠性和可维修性及其容错设计

本文针对层次分布式系统在总体设计时需要考虑的几个技术指标如可靠性、维修策略和容错对策等进行较详细的讨论。首先指出目前流行的系统可靠性估计方法的不合理性,并由此得出应以功能可靠性为指标进行设计,从而可找出系统的硬核部分。其次讨论了分布式系统的维修策略。最后结合典型实例,讨论了这种系统的容错设计中应考虑的问题。     

分布式可重构容错计算机设计技术的探讨

对分布式可重构容错计算机系统用于空间站的设计技术作了粗略探讨。其中主要包括:用分布、并行和重构方法提高可靠性和吞吐量,以及可复用软件库和开发工具的应用技术。     

科学实验卫星短波遥测系统

本文叙述了我国第一颗科学实验卫星的短波遥测系统的概况。这个卫星使用“东方红”乐曲的头三句作为识别信号,与遥测数据交替地传送。全文共分四部分:第一部分为短波遥测系统的体制及其参数的选择。遥测采用PAM-FM-AM体制,其特点有(1)用采样频率为3.2周的PAM测量0.01周的缓变信号和70周的速变参数;(2)采用锁相鉴频器在输入信噪比达到零分贝时收听到“东方红”乐音和卫星的有关工程参数。第二部分对星上的遥测部分的结构作了介绍。第三部分为遥测地面接收站的组成,特别是对天线系统及分集接收的方式加以叙述。第四部分介绍了遥测数据的采集及预处理装置。最后,对整个系统在卫星发射后的工作情况作了简单介绍。     

负荷分担方式双机系统的容错设计

本文提出了以负荷分担方式组成微计算机双机容错系统的设想,讨论了这种双机容错系统的特点,结构设计和软件设计的方法.这种双机系统具有处理能力强,可以采用多种双机信息交换方式,多种故障测试、故障诊断方法和可靠性高等多方面的优点.用两台RECZ-80单板机构成的系统进行了初步的原理性试验,结果表明,这是一种容易实现的、较好的双机结构形式.     

CAMAC在卫星自动检测系统中的应用

本文叙述了CAMAC 在卫星自动检测系统中应用的目前状况;并且叙述了两个应用例子:第一个是CAMAC 整星测试系统;第二个是CAMAC 的卫星姿态控制和程序控制测试系统;最后讨论了应用CAMAC 的优点。     

双机容错系统设计中的几个问题

本文讨论了用待命储备方法和并行比较方法构成的航天计算机双机系统。文中着重讨论了这两种结构形式的系统结构特点、可靠性以及故障诊断和故障处理方法。     

空间应用的微机的发展和趋势

本文综述了近年来空间用微处理器的发展情况，其中主要包含下列三个方面：（１）有关空间微处理器在欧洲、印度和日本卫星方面的典型应用，尤其是冗余和容错技术在提高可靠性和有效工作寿命的应用。（２）导致微处理机瞬时失效的主要原因─单粒子翻转（ＳＥＵ）现象及其克服的方法，特别是容错技术在这方面所能起的作用。（３）近年来发展趋势与展望。