逻辑推理理论的定量发展

本文在一阶谓词逻辑的基础上,为每个定性的Horn子句规则赋予一个蕴涵强度f,从而得到定量的f-Horn子句规则及其Herbrand解释.最后,我们成功地给出了f-Horn子句规则的模糊过程解释,并由此引入了模糊逻辑程序系统.     

解决地下通信技术难题的方案及关键设备

文章叙述了在地下无线电通信中的两大技术难题--弱信号接收和抗雷电脉冲干扰,提出其解决途径,并介绍解决这些技术难题的关键设备--弱信号抗雷电电报终端机的设计方案,分析该机的性能和给出实验室测试和现场试验的结果。     

Ad hoc网络非合作博弈功率控制研究

根据Ad hoc网络的分布式特性,提出一种新的以干扰为代价的非合作功率控制博弈算法,让产生较大干扰的发送节点受到更多惩罚,验证其存在唯一的纳什均衡。仿真结果表明,该算法具有较快的收敛速度,与NPG和NPGP模型相比,可以有效抑制产生较大干扰的链路的发送功率。在保证链路接收信号质量的同时,不仅有效减小干扰以提高网络容量,而且还在一定程度上兼顾了节点之间的公平性。     

下一代移动通信系统中的信道分配策略

下一代移动通信系统是一个由微蜂窝、宏蜂窝和卫星小区构成的多层覆盖体系结构,在该体系结构中,多媒体业务将占有很大的比重。基于这一特点,建立新的通信系统模型, 并通过将软-通信质量概念与统计复用技术相结合,获得了一种较好的信道分配方法。通过对算法进行系统仿真,比较了它与传统信道分配算法的优劣。仿真结果表明:新的信道分配方法会增加系统容量,减少通信业务阻塞概率,极大的提高整个系统的性能。     

开放系统互连安全体系结构

采用不同保护措施的用户之间的信息不能互通，网与网之问不能处理相应的业务。为了解决这个问题，国际标 准化组织的计算机专业委员(ISO TC97/SC21)根据OSI开放系统互连参考模型(OSI/RM)制定了一个安全体系 结构(ISO 7498—2)，提出了如何对网络系统的传输信息进行保密。本文介绍这个安全体系的结构模型。     

一类循环码覆盖多项式个数的上界及其覆盖多项式的求取方法

Tadao Kasami提出了一种循环码的覆盖多项式译码法,该方法实现简单,速度也较快。但是,该方法的关键是寻求循环码的一个覆盖多项式集合。给定一个循环码,求取它的覆盖多项式集合目前尚无系统的方法。本文首先对循环码进行了分类,而后对Ⅱ-型循环码覆盖多项式的个数给出了一个上界,并且给出了一种具体求取Ⅱ-型循环码的覆盖多项式集合的一种方法。     

分布式卫星系统的上/下行功率联合控制

为了能合理地控制功率以提高分布式卫星系统的系统效能,研究了其上下行功率联合控制问题。通过分析分布式卫星系统的特征及其功率控制问题的难点,建立了合理的分布式卫星系统功率控制模型和控制方案的具体框架;通过改进现有的上行功率预测和单级调整算法,提出了基于预置、预测和多级调整算法的上下行功率联合控制方法,并给出了控制方法的流程图;最后将所提方法与传统上行控制算法、单级补偿算法和预测算法进行了仿真比较,表明在上下行不同降雨百分比条件下,所提方法能更好地满足功率门限需求;在广州、长春两地不同实测雨衰曲线下,所提方法均能够更准确跟踪雨衰变化;业务与通信网区切换时,所提方法也能快速完成切换和保持动态跟踪,能够较好满足分布式卫星系统的功率控制准确性、时效性等应用需求。     

卫星转发器资源的选择

本文介绍了用户需求分析方法,定义了转发器选择原则,分析了卫星转发器性能(在轨位置、寿命、EIRP、G/T值、SFD等)对通信的影响,论述了选择卫星转发器资源时需要注意的问题。     

在RSX-11M系统上扩充缓冲池的实现

本文介绍了RSX-11 M操作系统上缓冲池枯竭问题,即缓冲池功能、位置、大小、造成缓冲池枯竭的原因及与内存管理有关的数据结构。同时介绍了为了扩大缓冲池尺寸如何修改RSX-11 M操作系统建立第二缓冲池。