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

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

Common Lisp语言在Prolog／Lisp协处理器板上的实现

首先对Common Lisp语言和Prolog/Lisp(简称PLC)协处理器板的特点作一介绍,然后介绍了common Lisp在PLC上的数据表示、运行机制以及面向Common Lisp语言的指令集的设计,最后给出了PLC板在硬件设计上对CommonLisp语言的一些关键操作的硬件支持手段。模拟运行结果表明:PLC体系结构设计、指令集设计是合理的,其运行速度达到了设计要求。     

PLC栈缓冲ASIC芯片的设计与实现

存贮管理是计算机体系结构的重要组成部分。对于Prolog和Lisp两种人工智能语言来说,它们的操作大多都是针对栈式存贮区进行的,因此一个高速的栈控制器将有效地提高它们的执行速度。本文简要介绍了Prolog/Lisp协处理器(PLC)栈缓冲机制的结构、原理以及栈缓冲专用芯片SC(Stack Controller)的设计方法和实现技术,为Prolog和Lisp语言的高效执行提供了一个性能价格比较高的存贮系统。     

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

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

基于IP网络的测试研究

为实现IP语音测试的专项研究,介绍了基于VOIP(Voice over IP IP语言)的信令及语音测试相关技术实现方案,系统硬件及功能实现框图。对IP语音测试平台的硬件设计方法及语音质量测试(VQT),信令流及媒体流的测试模型进行了研究。     

一种基于FPGA单芯片的IRIG-B时间编码技术及其实现CSCD

针对目前通用的IRIG-B时间编码技术电路设计繁琐复杂的问题,深入研究了IRIG-B时间编码技术,提出了基于FPGA(现场可编程门阵列)的单芯片解决方案,设计了VHDL与c语言软硬结合的编码算法,实现了IRIG-B时间编码并得以应用。该编码技术算法简洁、精度高、可移植性强,具有较好的应用前景和经济效益。     

故障模式影响分析专家系统

介绍了应用人工智能和专家系统技术,建立一个依托专家知识,基于功能/硬件推理的,与故障仿真综合应用,并以故障诊断专家系统,专业CAD/可靠性CAD和可靠性信息系统为支持的故障模式影响分析专家系统FMEAES(Failure Model Effect Analysis Expert System)框架.详细论述了系统的功能、结构、其三大组成部分(预处理部分、FMEAES核心和后处理部分)的功能及其相互关系,故障模式选择、故障仿真和进行功能FMEA和硬件FMEA的处理流程,以及故障模式影响分析专家系统与其他系统的关系.      

基于可调谐光纤法珀滤波器的FBG应变测量实验研究

本文介绍了基于可调谐法珀滤波器的FBG解调技术,说明了其优缺点及其适用的场合。然后,采用等强度梁对FBG应变传感器进行了标定,该FBG应变传感器在20℃时的应变灵敏度系数为1. 176pm·με~(-1)。最后,对某无人机模型的机翼进行了应变实验测试,获得了比较理想的测量结果。此实验也证明了FBG应变传感器适用于一些低速、缓变、高精度、大容量测量的场合,具有比较广阔的应用前景。     

类比推理协处理器设计中的加速策略

分析了实现高效的嵌入式类比推理协处理器系统ARC(Analogical Reasoning Coprocessor)所面临的困难,在软件模拟、测试、验证的基础上给出了提高ARC效率的解决方案.由于ARC采用了符合类比推理机制的处理器体系结构和加速策略,推理速度有了大幅度的提高.     

汽车转向轮侧滑量测量技术研究

介绍了汽车转向轮侧滑量测量的必要性和基本测量原理,根据其基本原理设计了测量系统的硬件和软件;描述了测量数据的处理方法,并给出了(推导了)基本公式;经过试验验证,本系统达到了设计要求,具有广阔的应用前景。     

航空发动机转子系统结构方案图形库的研究与建立

压气机转子和涡轮转子是航空燃气涡轮发动机的重要组成部件,研究并建立航空发动机整个转子系统的结构方案图形库是航空发动机计算机辅助转子系统的必要组成部分。本文介绍了利用Auto CAD图形软件和Auto Lisp语言编写程序建立的发动机转子结构方案图形库的尝试。在广泛搜集并认真分析研究国内外现有航空发动机压气机转子部件和涡轮转子部件的基础上,确定并建立了典型零件分类图、典型零件图和典型结构方案图。结构方案的确定是以多级屏幕菜单的形式显示,以交互式的人机对话的方式供用户选择。方案确定以后,通过人机交互对话,对指定的参数赋予特征的数值,可以很快的绘制出转子结构方案图,并可以对结构方案图进行实时的修改和优化。     

飞机板金件冲压模CAD系统的研究与开发

以AutoCAD2000软件作为开发平台,使用其提供的二次开发工具Visual Lisp 和VBA,并以Sybase作为后台数据库管理系统,在飞机板金成形数据库Ashbase的基础上,结合生产实际,研究了飞机板金件冲压模CAD系统.实现了冲压模标准件和常用件参数化绘图,开发了拉深模设计模块.本系统融二维和三维于一体,提高了模具设计效率,实用性很强.      

一种IC测试系统的可靠性分析与改进设计

美国ＧＲ系列ＩＣ测试系统采用磁带机作为系统程序的输入设备,由于磁带机故障率较高,因此使用中经常发生程序输入失败的现象,严重影响了该测试系统的可靠性,本文在对ＧＲ１７３２Ｍ型测试系统的组成结构进入深入分析的基础上,应用在线仿真器对主处理器进行实时仿真,跟踪了引导程序的执行流程和系统磁带的输入过程,提出了用ＰＣ微机代替磁带机,通过ＲＳ－２３２串行接口传送所有软件,本文详细阐述了改进设计方法,改进成功后     

电离层CT变换重建方法中的小波外推技术

电离层ＣＴ技术由于数据采集系统结构的局限性，致使所得数据不完全，伪投影中采样不均匀，频域谱值不完全若用直接Ｆｏｕｒｉｅｒ方法重建，必须对伪投影采样施以均匀化和有二维频域内进行估值。本文参照已有的Ｆｏｕｒｉｅｒ外推技术，提出小波外推技术。理论分析和重建结果都说明小波外推技术具有较多优越性。     

轴对称跨音速流中无激波超音速区的设计

本文直接从音速线出发计算了一个旋成体跨音速绕流超音速泡中的特征线网。提出了从音速线开拓到一条超音速线的方法,计算了无旋轴对称流的特征线网,发现其特点是不能跨越对称轴线,并对其原因作了初步的讨论。本文的计算结果可应用于物面修形。     

彗尾剪切磁流体的修正B—KdV方程及其非线性特征

本文运用二维约化摄动方程推导出彗尾剪彻磁流体的修正B-KdV方程,并定性讨论了其非线性性态。主要结论是:(1)推导出彗尾剪切磁流体修正的B-KdV方程,(2)给出彗尾宏观非线性波动与剪切背景的制约关系,(3)定性地解释了彗尾等离子体的一些复杂结构,(4)给出太阳风与彗尾等离子体相互作用的一种输运机制。