航天相机热实验测试系统设计

为了检测航天相机在高低温环境中的电子学性能及可靠性,针对某型号航天相机地面热实验测试需求,设计开发出了一种热实验测试系统,详细介绍了系统的软硬件设计方案及控温策略。系统使用人机交互界面实现热控策略,能实时完成最高80个测试点(160个温度传感器及80路加热器)的控温任务,可以在－30℃～＋50℃范围内对航天相机进行全方位的温度监控,最高控温精度达到0.5℃。经过实际测试验证,系统具有很好的稳定性,能满足航天相机地面热实验的测试需求,工程应用价值高。     

确界原理的一个修正证明

分析了华东师大版《数学分析》（第四版）教材中关于确界原理证明的不足之处,给出更为细致的修正证明.     

命题公式集F(S)的基于R0-算子的16类分划

利用R₀-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

确界原理的一个修正证明

分析了华东师大版《数学分析》(第四版)教材中关于确界原理证明的不足之处,给出更为细致的修正证明.     

R_0代数的根及其结构特征

在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题.     

￡^＊系统的公理化扩张

通过对模糊逻辑命题演算形式系统￡^＊的代数语义——R0代数的研究，给出了R0代数簇的完整分类，并利用L^＊系统与幂零极小逻辑（NML）的等价性，由系统L^＊是可代数化逻辑出发，得到与R0代数真子簇对应的￡^＊系统的全部公理化扩张，文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张，具有较好的扩展性。     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

关于SpaceWire总线接口可靠性的研究

为满足航天器有效载荷间高速数据传输的发展需求,提出了两种SpaceWire总线可靠性的改进方案;在SpaceWire总线描述的基础上,分析了字符的正确性校验和传输过程中的错误及检测恢复机制等提高可靠性的方法;针对通信链路发生物理性故障的问题,提出了两种基于硬件冗余机制的SpaceWire可靠性改进方案,一种是在系统间建立两个相独立的协议装置,另一种是使用多路输出选择器进行切换将数据传输给目的节点;通过实验验证,两种方案能够处理通信链路出现物理故障的问题。     

命题公式集F(S)的基于R0-算子的16类分划

利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

非全序R0代数的结构

通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述.