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

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

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

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

多重直扩信号的快速捕获

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

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

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

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

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

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

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

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

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

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

末制导中的全向攻击原理

本文提出一种能够实现导弹对活动目标全方位攻击的基本原理,并讨论了工程上实现的途径。通过平面及空间导引弹道仿真,初步证明了它的正确性及可实现性。     

自吸气脉冲爆震发动机超声速进气道气动性能的数值研究

采用有限体积法计算了某轴对称超声速进气道,在不同幅度和频率的出口扰动压强下的进气道内结尾正激波的运动情况,得出了进气道内结尾正激波运动特性和扰动压强的频率和幅度的关系。在计算中,本文采用了多块结构化网格,控制体积的界面无粘通量采用三阶迎风格式插值获得,同时采用了minmod通量限制器,以确保在激波处的解的物理特性;扩散通量采用二阶中心差分格式插值获得。定常计算采用当地时间步法,非定常计算采用双时间步法。离散的代数方程采用交替方向迭代法求解。