高级程序设计语言综述

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

低复杂度LDPC码译码算法

提出了一种低复杂度的LDPC码译码算法CSPA(combined sum-productalgorithm),该算法初始迭代采用和积译码算法(SPA),当大部分信息趋于稳定时,将算法切换到选择节点更新算法(SNU)。仿真表明:在中长码时,新算法克服了SNU算法收敛速度慢和较高错误平台的不足;与和积译码算法相比,该算法以微弱的性能损失换取复杂度的有效降低。     

TPC译码算法的硬件实现研究

TPC（Turbo Product Code)是一种较易实现、性能较好的Turbo码方案,它的应用前景极其广泛。1998年Pyndiah提出了一种适用于TPC的译码算法,取得了良好的性能。本文从硬件实现的角度对这种算法提出了几点改进意见,使其较适用于硬件实现,在此基础上讨论了子码译码器并行处理对时延和规模的影响,探讨其实用的可能性。     

基于变量节点串行消息传递的LDPC码译码研究

针对标准LDPC码译码中洪水消息传递机制的不足,提出以串行机制进行消息传递,按照变量节点的顺序进行消息处理和传递,对每个变量节点同时接收校验消息和发送变量消息。该方法使更新的消息能够很快进入当前迭代计算,改善了LDPC迭代译码的收敛性能。通过对几种常用译码算法的仿真比较,验证了在复杂度不增加的情况下,该方法性能优于其它几种最大后验概率准则的译码方法,且算法收敛快,是一种能较好兼顾性能与实现复杂度的译码方法。     

无人机测控系统Turbo-MAP译码方法

无人机测控数据链系统与地面控制站进行的是遥测数据、侦察图像及遥控指令的传输,因此,高质量的通信是确保无人机数据链发挥效能的关键技术之一。针对无人机信道的特点和要求,研究了无人机信道的Turbo-MAP译码模型,提出一种无人机测控系统Turbo-MAP译码方法,并针对各种参数条件进行了Matlab仿真。实验结果证明,该方法能够保证在发送数据的时候尽量使用长度较长的数据包且增加交织深度,并显著提升译码BER性能。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

Turbo码的迭代译码及在DS-CDMA系统中的应用

本文在简单介绍了Turbo码基本原理的基础上,主要分析了Turbo码的基于MAP译码算法和基于SOVA译码算法的迭代译码方法及其性能。为了进一步验证Turbo码的迭代译码性能,并与卷积码的性能进行比较,重点论述了Turbo码在DS-CDMA移动通信系统的码率与扩频增益折衷设计、迭代译码性能和仿真结果分析。     

“全面建成世界一流海军”的理论逻辑、历史逻辑与实践逻辑

“全面建成世界一流海军”是中国共产党在新时代的强军目标在海军建设与运用领域的生动体现和具体展开。其理论逻辑是建立强大的人民海军;历史逻辑是向海而兴、背海而衰,不能制海、必为海制;实践逻辑是坚持为战抓建高质量发展,加快推进中国式海军现代化。     

军民融合理论的逻辑起点与逻辑主线

军民融合是国防建设与经济建设实现双向融入的过程。军民融合理论的逻辑起点是揭示国防与经济的对立统一关系。军民融合理论历经感性具体、理论抽象、思维具体三个过程,其逻辑主线是国防与经济的协调发展。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

基于交叉熵最小化的 Turbo 码迭代译码停止准则

根据Turbo码最优译码算法及迭代译码的基本原理 ,在保证迭代收敛的条件下 ,利用交叉熵最小化原则推导出Turbo码译码过程中停止迭代的准则 ,并给出了一种降低计算复杂性和减少存贮空间的简化算法 ,最后通过仿真证明了此迭代停止准则及其简化算法的有效性。     

一种新颖的并行级联LDPC码译码算法

针对传统的并行级联低密度奇偶校验码(PCGC)译码算法采用串行算法导致译码延迟大,难以在实时通信系统中应用的问题,提出了一种新颖的PCGC码译码算法,该算法通过对各子码进行并行消息迭代,对相同的信息位进行变量消息联合更新,实现了PCGC码的并行译码。理论分析和仿真结果表明,提出的PCGC码译码算法相较于传统译码算法译码延迟降低,信噪比较低时误码率性能弱于后者,信噪比较高时,误码率性能优于后者。     

球形译码算法中不均匀半径分配方案及性能分析

在球形译码算法中,初始半径的选择与分配是影响算法性能与复杂度的重要因素.针对球形译码算法在低信噪比时复杂度高的问题,提出了一种新的基于V-BLAST信号模型的初始半径选择与(准)线性半径分配方案,并分析了应用该方案的两种典型球形译码算法流程的性能与复杂度,其分析方法适用于任意不均匀半径分配方案.分析与仿真表明,与传统的球形译码算法相比,在信噪比较低时,采用该方案的球形译码算法的复杂度显著降低;在较宽信噪比范围内,其误码率性能接近最大似然检测性能.     

程序进化器

研究用模拟进化方法进行程序设计的途径。构造了以形式文法为遗传表示的程序进化器,提出了这个进化器使用的有关算法。本文用程序进化器解决了人工蚁问题。     

两跳OFDM译码转发中继系统的功率分配研究

分析了系统总功率约束和各节点独立功率约束条件下的中继信道,提出了以最大化系统容量为准则的两跳中继系统联合子载波配对和功率优化分配算法。算法先进行子载波配对,然后选出一组信道增益最大的子载波进行平均功率分配,最后通过迭代得到功率分配结果。为了进一步降低系统复杂度,我们利用相邻子载波之间的相关性,用若干相邻子载波组成一个等效子信道。仿真结果表明,所提算法可以在大大降低反馈量的情况下达到和注水功率分配几乎相同的系统容量。     

部分频带干扰下跳频通信系统的turbo编码及其迭代译码

部分频带干扰下,未编码跳频通信系统的性能将遭到严重恶化。如果能获得完善垢干扰状态信息,采用强有力的纠错编码和软判决译码,系统的性能将大大提高,但是,实际干扰环境下,干扰状态信息的获取是非常困难的。本文把ｔｕｒｂｏ码应用于ＦＨ／ＭＦＳＫ通信系统中,给出一个迭代译码与干扰状态信息估计联合进行的理论框架,在无法获取干扰状态信息的情况下,复迭代译码的软输出对它进行迭代估计。本文对卷积ｔｕｒｂｏ码和分组ｔｕ     

论军事经济预警的逻辑

实现国民经济承受力与战争需要的均衡,是军事经济追求的目标,建立军事经济预警系统,在军事经济运动偏离均衡状态时发出警报,对军事经济的均衡发展具有重要意义。文章阐述了军事经济预警的概念,分析了军事经济预警的逻辑过程,论述了军事经济预警的逻辑体系。