CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

基于DRFM的引信干扰技术研究

根据脉冲测距引信的工作原理和DRFM的基本功能,设计了DRFM结构,DRFM通过对脉冲延时,达到对脉冲测距引信进行干扰使其早炸的目的,并提出了延时参数的确定原则。     

卫星VLBI观测时延和相位条纹旋转模型研究

空间卫星在绕地球或月球等星体运行时，为了跟踪和控制卫星就要时刻掌握其在空间的位置和运动状态．但由于地球的自转和公转使得卫星和地球之间的相对运动描述关系变得复杂，目标卫星相对地球任意两个观测站的时间差(时延)和多普勒频移(相关条纹旋转)时刻都在改变．VLBI相关处理机是卫星观测和空间探测极为重要的技术手段，其原理以FX和XF两种相关模型处理观测数据．以FX相关模型为基础修正VLBI观测数据的时延补偿和相关条纹旋转的模型，提出对称“1／n Multiplier”时延补偿模型和条纹旋转模型，并且对实际观测数据进行操作和详细分析，对相关相位谱的剩余时延变化趋势和方差分布进行分析，从中找出优选时延补偿和条纹旋转模型．对于精确描述卫星轨道运动状态提供更准确的方法．     

振动对空间光通信系统误码率影响的分析

在空间光通信系统中，由于卫星平台的振动，使得光发射机发生振动，从而对通信系统的误码率产生影响，本文针对光射光束为高斯光束时，振动对误码率的影响问题进行研究。结果表明，在振动时不仅振幅影响着误码率，而且波长也对误码率有影响，但通信距离对误码率的影响不大，一般可以忽略。     

多重直扩信号的快速捕获

多重直扩信号的快速捕获得卫星定位及通信系统研制过程中遇到的一个主要课题，它的实现，不仅可以提高系统的多址能力，而且也是系统实现的必备条件，本文阐明了多重直扩信号的来源以及可被分离的理论依据，给出了多重直扩信号快速捕获的硬件实现方案及部分实验结果，得出了一些重要结论。     

基于Poisson模型的湍流退化图像多帧迭代复原算法

随着航天空间技术的发展，空中目标的成像探测研究越来越重要。受大气湍流的干扰，观测到的目标图像是严重模糊的。为了从观察到的多帧含噪的湍流退化图像中将目标原图像有效地恢复出来，本文提出了一种新颖的基于图像统计模型的图像复原算法。跟据图像Poisson概率模型建立了有关多帧图像数据的对数似然函数，通过极大化该对数似然函数，推导出了目标图像及各帧图像点扩展函数的迭代求解关系。同时。将点扩展函数的支持域等先验条件有效地加入到迭代计算过程中，以便快速地利用迭代技术将目标图像和各帧点扩展函数估计出来。该算法能用少数帧图像极大程度地恢复出目标图像。为了验证本文算法的恢复效果和可靠性，对在强噪声污染条件下的湍流退化图像进行了恢复实验，实验结果表明本文算法对空中目标湍流退化图像的复原是非常有效的。     

基于一维相控阵引信的起爆控制算法研究

工程上实现最佳引战配合要求导弹战斗部最大破片密度方向瞄准目标要害部位。基于一维相控阵引信的波束控制技术,推导了最佳起爆角和起爆延时算法,并研究了一种改进卡尔曼滤波方法在此算法中的应用。该滤波算法将球坐标系中导弹导引头的测量信息转换到直角坐标系下进行滤波,同时消除了由于坐标转换而引起的偏差。仿真结果表明,该滤波算法的应用能得到很高的最佳起爆角和起爆延时估计精度。     

新型总线式电子设备结构设计

讨论了用现代设计方法学理论确定总线式电子设备结构设计方案的方法 ,将现代设计方法学理论应用于结构设计 ,可以使设备结构设计更加合理 ,使电子设备更能适应新技术的发展和设计周期短 ,生产批量大的要求。     

1553B与CAN总线的互连

介绍了 1553 B与 CAN总线的互连方法 ,并分析了互连的实时性与可靠性 ,指出 CAN总线相对于 1553 B的优缺点。     

串口通信实现实时数据高速采集

本文介绍了在Windows平台下串行通信的实现方法,讨论了用Visual C 提供的串行通信控件Mi-crosoft Communications Control处理利用多媒体定时器定时发送指令的数据通信处理方法,实现对三维物体扫描仪的扫描数据进行实时采集。