Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

智能CAI中学生模型库的设计

智能CAI以现代教育理论为基础,利用人工智能、心理学、认知科学等学科的最新成果,通过计算机向学生传授各种知识和技能,以达到真正的个性化教学的目的。在建造智能CAI系统时,学生模型库的建立是智能CAI系统的核心问题。设计建构学生模型库有多种不同的方法,可以采取覆盖法、差错法、规划法和学习历史法等方法。对学生模型库的逻辑结构进行了分析,探讨了智能CAI系统中建立学生模型库的方法,包括作业模型配对、错误编辑法和模型推导法和结构内化法。     

增强型近地警告系统虚假地形警告原因分析

以空客A320飞机为例，针对增强型近地警告系统出现的虚假地形警告，引入几何高度对解决虚假地形警告的原因进行了分析。     

软件无线电的可重构流处理器体系结构

 针对软件无线电中存在通用数字信号处理器（DSP）计算能力不足以及专用基带处理器缺乏扩展性的问题,提出了一种新的处理器：面向软件无线电的可重构流处理器及相应的专用指令集。仿真证明,该处理器的可重构设计具备指令集扩展能力,可以对多种无线通信标准甚至是新的通信标准提供支持;面向软件无线电的流体系结构和专用指令集保证了对多种高速无线基带信号的实时处理,运算能力是通用DSP的5~13倍。该处理器为软件无线电中的硬件设计难题提供了一种新的解决途径。     

基于ML背景参数估计的CDKF-CPHD多目标跟踪算法

针对低信杂比环境下的多机动目标跟踪问题,提出了一种基于极大似然(ML)背景参数估计的中心差分卡尔曼-势概率假设密度滤波(BE-CDKF-CPHD)算法。算法采用ML法实时估计重尾分布模型参数,计算检测概率和虚警概率。运用极大似然-恒虚警(MLCFAR)算法对信号进行处理,提取有效量测值,将幅值似然函数与势概率假设密度滤波器(CPHD)中的目标位置似然函数相结合,通过中心差分法递归更新得到后验均值与协方差,达到对多机动目标进行跟踪的目的。仿真结果表明,在低信杂比环境中,所提算法提高了跟踪精度与目标数目估计准确度。     

Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

测试性验证方法研究

对系统和设备测试性验证的主要内容、参数和验证方法进行了研究,依据数理统计理论提出了用简单实用的查表方法来估计故障检测与隔离能力、设计试验方案及判定合格与否的准则。     

量化拆包的综合显示控制系统软件设计与实现

综合显示处理机与多功能显示器接口模块之间通信采用HDLC传输协议,此时综合显示处理机与多功能显示器字符板模块之间通信采用DF指令格式.但是当画面显示数据的DF指令长度超过HDLC协议设置的带宽或设定的缓存区大小时,综合显示控制系统将无法实现信息显示.为此本文提出了主动量化拆包的解决方法,可支持大数据量显示的综合显示控制...     

空客飞机虚假地形警告现象解析

针对具备普通地形功能的增强型近地警告系统出现的虚假地形警告,本文就其成因进行了归类与分析,指出了目前厂家的解决方法和日常维护建议.     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。