一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.     

大型PROLOG系统查询优化技术

一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统     

关于逻辑程序设计语言PROLOG的若干实现技术

PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.     

机械加工工艺设计自动化的数学模拟

本文提出一种实现工艺设计自动化的有效方法——用谓词函数描述工艺过程设计并采用PROLOG语言作为编程的语言工具。给出了工艺设计函数的3种表达形式。深入分析了影响工艺设计的工艺因素及其相互作用,列出了工艺设计中15种谓词逻辑表达式,叙述了由谓词逻辑式转化为PROLOG程序的过程和实例。     

PROLOG处理高阶谓词的方法

基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。     

面向模式识别和图象处理的软件开发环境

本文介绍的软件环境是面向模式识别和图象处理(PRIP)语言——EPPPI的集成化软件开发环境。该语言有机地综合了PASCAL和PROLOG的功能,形成一种兼有过程式和陈述式特点的新风格语言。该环境在EPPPI语言的上面设置了三个层次的工具:语法制导编辑器,PDL/EPPPI详细设计和模块设计。文中介绍了各部分的原理和特点。     

关于PROLOG中库操作谓词RETRACT的语义及其实现

PROLOG语言曾被日本选作第五代机的核心语言,至今仍是AI研究领域中很活跃的一部分。本文立足于实践,对PROLOG中很重要的库操作谓词retract的语义进行了扩充,并阐明了扩充后PROLOG系统的实现思想。     

一种ARM存储模型的快速检测方法

针对ARM多核处理器存储模型正确性的快速检测问题,提出了一种利用时间序和悬空窗口的有界特性的快速检测方法,并实现了检测工具.该方法给出了ARM存储模型基于barrier的弱一致性模型的公理语义,通过定期扫描处理器的性能计数器获得访存指令操作间的时间约束关系.检测工具由随机指令发生模块、多核处理器性能计数器记录模块和结果分析模块3部分组成,它的低算法时间复杂度特性使其能够有效处理上百万行ARM访存指令程序.检测工具使用C++语言实现,可以在运行时动态调整指令流的长度参数,具有很好的扩展性.利用支持ARMMPCore的模拟器进行了实验,并用手工的方法在指令流执行序列中注入了几个错误,以验证程序结果是否违反ARM存储模型.实验结果表明,检测工具能够正确发现上述注入错误,检测方法和检测工具可以有效检测ARM多核处理器存储模型的正确性.     

几种计算机语言的特性分析——FORTH、APL、LISP、Modula2、Smalltalk、PROLOG

本文介绍了几种语言,有的可能成为最流行的语言。有些语言的优势在于它们有更好的理论基础——新的计算暗喻。给出了情况予测:日本人已选定PROLOG为第五代计算机的标准语言,到1995年大家可能都要用PROLOG语言;目前,在人工智能领域中,能力最强的是LISP和Smalltalk这两种语言。目前,我们十几亿操汉语的人都使用汉字,但这并非意味着汉字就是记录汉语的最佳符号。与此相仿,当今最流行的计算机语言(BASIC、FORTRAN、COBOL、Pascal…)未必就是最合理的计算机语言,它们的统治地位并非天经地义。有些语言目前虽然还不流行,是因为它们的优点还没有被大家所认识,一旦大家发现它们的优点,它们就会流行起来,至少,它们的设计思想和强有力的功能会被未来的计算机语言所采纳。本文将讨论其中的六种:FORTH、APL、LISP、Modula-2、Smalltal及PROLOG。     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

通信机线路自动测试系统的设计与实现

本文介绍了通信机线路自动测试系统的设计与实现过程,包括硬件和软件两方面的内容.硬件由IBM-PC或其兼容机作为控制和数据处理的主体,自行设计接口电路与测试箱.软件由Turbo Pascal语言和汇编语言编成,其中采用了自适应算法克服环境的影响.     

光PPM通信的Turbo编解码及性能研究

介绍了Turbo码编码／解码概念,在对Turbo码译码器的结构及译码算法分析的基础上,以256时隙的PPM为例来对Turbo码的译码算法进行了推导,对没有采用纠错编码和采用了1／3码率Turbo码的光PPM系统的误码率(BER)进行仿真后的性能曲线比较,证明采用Turbo码的PPM系统性能远远优于未加纠错编码时的系统性能,Turbo码PPM系统的性能得到明显改善。     

基于RADIX 4算法的Turbo编译码仿真分析

现代通信系统对数据传输速率的要求不断提高，在第三代移动通信系统 TDSCDMA中，一般意义的Turbo译码算法性能越来越不能满足实际的需要，通过研究Turbo码结构和编译码方法，对基于RADIX 4算法的Turbo译码进行了理论阐述和性能分析，结果表明新算法在复杂度和性能损失不大的情况下，译码速度和减少功耗方面有了较大的提高，证明该方法具有很好的实用价值。     

基于RADIX 4算法的Turbo编译码仿真分析

现代通信系统对数据传输速率的要求不断提高,在第三代移动通信系统 TD-SCDMA中,一般意义的Turbo译码算法性能越来越不能满足实际的需要,通过研究Turbo码结构和编译码方法,对基于RADIX 4算法的Turbo译码进行了理论阐述和性能分析,结果表明新算法在复杂度和性能损失不大的情况下,译码速度和减少功耗方面有了较大的提高,证明该方法具有很好的实用价值.     

Turbo均衡的多种算法及其性能比较

Turbo均衡是一种将Turbo原理和均衡技术结合起来的技术，主要对Turbo均衡的原理和几种算法进行了较详尽的讨论和比较，然后对典型信道下的Turbo均衡性能进行仿真；还探讨并推荐一种基于MMSE准则的近似线性均衡算法和软干扰抵消（SIC）算法结合的算法，仿真结果表明其误码性能介于MMSE线性均衡算法和MMSE反馈判决均衡算法之间，并且具有较低的复杂度。     

动态混合型SMC+Turbo MIMO解调算法

递归蒙特卡洛（Sequential Monte Carlo，SMC）算法是一种有效降低算法复杂度的次优化算法，该算法嵌入到迭代Turbo接收机中可形成低复杂度、高解调性能的SMC＋Turbo MIMO解调接收机．该文针对该解调接收机中的混合型SMC MIMO解调算法，运用动态化参数进行改进．仿真结果表明，动态混合型SMC＋Turbo MIMO解调算法可以在不增加算法复杂度的基础上有效地提高一般混合型方案的性能．     

Turbo码的高效调制方案

Turbo码由于其接近香农限的特性而倍受关注,但标准的Turbo码是低码率码,其频带效率低,为了利用Turbo码低误码率的特点,同时又能提高其频带利用率,一个简单的方法是让其与高效率的高阶调制方案M－QAM相结合,本在高斯信道和瑞利平坦衰落信道条件下对数域最大后验概率（log－MAP）解码算法进行了研究和修改,使之适合这2种信道和高阶调制方案,通过采用一种实用方法,使得编、解码系统具有通用性,同时推导出精确计算高斯信道下调制码元对数似然值（LLR）的计算公式,并与近似算法进行了比较,仿真结果表明,在2种信道中,该方案具有很高的编码增益,同时频带效率也得到了提高。     

Turbo码在瑞利慢衰落信道中的性能仿真与分析

介绍瑞利衰落信道的编码信道模型，给出与这些模型相对应的仿真方法．然后针对充分交织瑞利平坦慢衰落信道，在未知信道状态信息的情况下，对Turbo码的译码算法Log—MAP进行修正，并进一步对影响Turbo码性能的主要参数：迭代次数、交织器长度、编码效率、分量编码器结构进行仿真与分析，得出的仿真结果可以指导实际无线信道中设计合理的通信Turbo码。     

基于逐比特MAP算法的Turbo编码调制方式

给出了一种基于逐比特MAP算法的Turbo编码与多元调制相结合的编码调制方式。该编码调制方式通过删截Turbo码的校验位以获得高编码效率，将复用后的编码输出以Gray映射方式与多元调制结合从而获得高频带利用率，并采用逐比特MAP算法进行迭代译码。仿真结果表明，将Turbo码的高编码增益与多元调制的高频谱利用率有效地结合在一起，是一种功率和频谱高效的编码调制方式，它比传统的网格编码调制(TCM)方式有着更好的性能。     

组Turbo码在802.16a多载波OFDM系统中的应用

以分组码为子码构成的分组Turbo码(BTC),相比传统卷积Turbo码具有收敛速度快等优点。研究了分组Turbo码的译码算法及其简化修正算法,并对它们在802.16a多载波OFDM系统中做了性能仿真和分析。验证了分组Turbo码可以在较少的迭代次数达到较好的性能,简化修正算法可以大大降低算法复杂度,且性能损失不大。