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

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

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

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

多重直扩信号的快速捕获

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

应答式目标旋转运动对雷达速度测量的影响

携带应答机的飞行目标,若除了沿其某一轨道运动外,还作自旋运动,应答机天线辐射相位空间分布的不均匀性会使应答机转发信号产生附加的相位调制,因而导致多卜勒测量雷达的测量误差。本文分析了对称安装三天线园柱形应答式目标回波的多卜勒频率调制。得出了附加多卜勒频率及其各阶导数的解析式。研究了目标旋转速度、方向角(目标旋转轴线与雷达视线的夹角)和回波谱线宽度的关系,以及对雷达多卜勒测量精度的影响,它对于研究自旋再入体测量问题具有实用价值。文章给出了一个典型的三天线园锥目标模拟旋转试验结果。试验中在不同目标转速下由相参雷达跟踪测量目标回波,同时记录中频信号、多卜勒跟踪回路鉴频器输出等有用信息。对试验数据的分析得出了明确的结论:目标旋转使回波信号的谱线展宽、测速误差增大,谱线宽度与目标转速成正比,同时谱线宽度随目标方向角增大而加宽,方向角为90°时旋转影响最大。理论分析得出了与试验相同的结果。虽然试验是在静态下进行的,但问题的分析对质心运动的目标也同样适用。     

机动再入飞行器自适应飞行控制系统设计

研究机动再入飞行器的制导控制问题。为了解决机动再入飞行器气动系数变化范围大、气动耦合严重和气动参数非线性过零常值大等恶劣条件下的控制，并且能充分利用飞行器可测量信息提高系统自适应能力，本文提出了状态方程参数辨识－－极点配置－－前馈补偿自适应控制的飞行控制系统的设计方法。通过对新型号再入飞行器的制导系统仿真，可以看出该控制系统使其有很好的飞行性能。     

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

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

卫星ATM网络中跨层设计的星上缓存管理优化方案

为提高卫星ATM(异步传递方式)网络星上缓存资源的利用率,针对利用上层协议重传的非实时数据业务,采用跨层设计方法提出了一种缓存管理优化方案—错误信元尾丢弃(ECTD)。它把信道误码引起的错误信元及后续的属于同一协议数据单元的无效信元丢弃。以早分组丢弃为基础,进一步建立了采用ECTD和不采用ECTD的分析有效吞吐量的数学模型。数值分析结果表明,ECTD具有优化缓存管理、提高有效吞吐量的作用,而且信元错误率和协议数据单元的长度越大,ECTD对有效吞吐量的改善就越明显。     

交互式PID温度控制系统的设计

本文介绍了一种新型的PID温度控制系统。该系统利用单片机可以方便地实现对PID参数的选择与设定；也可以通过计算机与单片机的串行通讯，实现工业过程中的交互式PID控制。     

航天器最优再入轨迹的选择分析

本文研究的目的是想获得具有最大有效载荷的航天器最优再入轨迹。返回段航天器的最大有效载荷等价于航天器离轨点所耗燃料质量与热防护系统（ＴＰＳ）质量之和达极小。文中把最大有效载荷的再入轨迹分三种情况作了分析：航天器ＴＰＳ质量不确定时，通过返回轨迹优化来获得航天器的最大有效载荷，并选择确定相应ＴＰＳ的质量；ＴＰＳ质量已确定时，通过再入轨迹优化来获得航天器的最大有效载荷；ＴＰＳ质量足够大时，通过多次穿越大气层来获得航天器的最大有效载荷。本文的结论可为航天器再入轨迹与ＴＰＳ的一体化选择提供思路。     

带充液腔的自旋卫星稳定性问题

本文应用Pfeiffer的思想讨论带轴对称充液腔的卫星系统自旋稳定性。本方法的基本思想为将轴对称腔内的液体旋度平均化,使之与空间位置无关,由此将液体的无限自由度问题离散化为有限自由度问题,从而用线性理论讨论系统的自旋稳定性。用这方法,本文讨论了带充液腔的非轴对称卫星系统、带充液腔的双自旋卫星系统的自旋稳定性,给出了它们的自旋稳定性判据。此外,本文还给出了一些带有不同形状腔体的卫星系统自旋稳定域图,为实际工程设计人员提供理论参考。