星际航行：一堂令人沮丧的算术课

一万年太久，只争朝夕 霍金最近心血来潮，就地外文明、外星人等话题发表了意见，引发了媒体对此类话题的很大兴趣。话题之一就是关于人类进行星际航行的可能性。     

一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。     

应用计算几何的月面太阳辐照度仿真模型

月面太阳辐照度对月面环境分析、月面巡视器设计具有重要意义。文章提出了一种应用计算几何的月面任意位置太阳辐照度仿真模型。首先,计算太阳、地球等天体相对月面点的位置;然后,将各天体投影至以月面点为球心的天球球面,并通过裁剪运算和二维布尔运算得到太阳未被遮挡的形状;最后,利用太阳可见面积对理想太阳辐照度模型进行修正,得到通用的模型。为验证提出模型的有效性,将仿真结果与STK软件进行比较。结果表明,文章中的模型综合考虑了地球、月面等多种因素对太阳辐射的耦合影响,其与STK软件获得的结果相比,更符合真实的太阳光照状态。     

光电自准直仪自适应光源设计方法研究

介绍了一种自适应光源设计方法。利用反馈原理自动校正自准直光源参数,调节发光强度,降低了自准直仪对反光面、使用环境的苛刻要求,提高了仪器的环境通用性及测量精度。     

一种多步的基于切换星间测量的多星自主导航算法

针对基于星间测量的多星自主导航问题,从载荷优化和节约成本考虑,提出了一种单套敏感器切换测量的导航方案。建立了该导航方案下的系统状态空间模型,并基于扩展卡尔曼滤波方程给出了导航估计算法。基于多步卡尔曼滤波方法,将集中的滤波算法解耦为多个平行的子滤波器,使计算量降低到原算法的50%以下,并且在切换测量的导航方案下,部分解耦出的子滤波器可以只预测不更新,能够进一步地降低计算负担。给出了多步滤波算法的推导过程,证明了其与标准卡尔曼滤波的数学等价性,故算法的估计性能及计算结果与标准卡尔曼滤波一致,但计算速度有明显提升。最后,通过具体算例给出了算法的仿真验证。     

卫星扩频通信中频域PN码捕获的FPGA实现

为提高低轨卫星扩频通信系统的捕获速度,在直接序列扩频系统中采用频域捕获方法,并提出在伪码寄存器全1状态后添0的方法以解决伪码与快速傅里叶变换(FFT)运算长度的不匹配.系统采用流水线、乒乓操作和频率步进等技术实现,最优化了占用资源和最高处理速度.仿真结果验证了方法的有效性.     

混合电路故障诊断中的状态分割法

在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.      

某中功率微波功率计的设计与研发

主要介绍了一种便携式中功率计的研制过程。详细阐述了功率计从方案设计到各部分线路的具体实现方法。该功率计测试稳定可靠、响应速度快，采用数码液晶显示，内部自带充电电池，使用、携带方便。     

基本放大电路的最佳设计和集成运算放大器线性应用的补充

本文主要介绍放大电路动态范围及静态工作点的确定方法和集成运算放大器加－减法运算电路的设计方法。     

四值Searle运算及其网络设计

本文将Searle运算推广到四值系统中,定义了四值Searle运算,导出了一系列四值Seale运算的公式,最后讨论了四值Searle运算的逻辑网络设计。