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

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

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

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

PLC指令预取部件 IPU 的设计与实现

众所周知,Prolog和Lisp是目前国内外普遍采用的人工智能语言。Prolog和Lisp语言的协处理器就是一个通过硬件环境实现对Prolog和Lisp进行加速执行的硬件系统,具有很大的应用价值及研究前景。本文介绍了Sun工作站的Prolog/Lisp协处理器(PLC)中的指令预取部件(Instruction Prefetch Unit,简称IPU)的性能、工作原理及其技术特点,同时给出了采用FPGA技术对IPU进行集成的技术方案及其较大的应用前景。     

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

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

Java智能卡解析优化方法

 针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.     

JCVM解析优化设计与实现

针对传统的JCVM(Java Card Virtual Machine)解析过程复杂、指令执行速度慢的问题,依照JCVM特殊的卡内、卡外虚拟机相结合的设计思想,提出了分离式的解析优化方案;分别建立了卡外执行的静态绑定解析过程和卡内执行的动态绑定解析过程,并构建了用于传递中间结果的伪指令集.性能测试结果表明,该方法减少了卡内代码量,缩短了指令执行时间,提高了JCVM的整体性能.      

恶劣天气下机场离场航班运行韧性评估及恢复

为保障恶劣天气下机场整体性能,科学评估机场离场航班运行韧性,提高航班恢复能力,从而有效缓解天气的影响。给出机场离场航班运行定义,从机场离场航班运行系统性能出发,分析航班离场延误时间、离场总延误时间、离场航班正常率和机场离场航班运行系统综合韧性指数4个指标,对系统在恶劣天气条件下的韧性变化进行评估;提出机场离场航班运行系统性能恢复策略,利用遗传算法对离场延误航班进行优化排序;以2012年北京首都国际机场“721”特大暴雨事件为实例进行数据分析,得到暴雨影响下首都机场的性能指标和韧性指数,对比分析机场离场航班运行系统性能及韧性水平变化。研究结果表明：受暴雨影响,机场离场航班运行系统综合韧性指数由0.457 3下降到0.062 8,暴雨减小后上升到0.222 3;在进行航班优化排序后,离场航班总延误时间减少了24.85%,优化后机场性能恢复速度提升了13.89%,优化后的机场离场航班运行系统最小韧性指数提升了13.38%,系统性能优先恢复至初始状态,表明所提恢复策略有效。     

OPC UA技术在智能校准系统中的应用

为提高手持式数字万用表检定系统的自动化程度,结合机器人、工业相机、传感器等具有一定智能技术的设备,研制手持万用表的全自动校准系统。针对系统基于LabVIEW构建的上位机和基于PLC技术构建的下位机之间如何实现安全、稳定的实时数据交互,提出基于创建共享变量的传统技术和基于OPC UA新一代通信技术的两种通讯方法。通过工程实现,充分验证了基于OPC UA技术的新方法实现LabVIEW和PLC通信的可行性,该方法具有开发周期短、稳定性高、响应性快、实时性强等优点,同时编程工作减少,代码更简洁美观,降低维护难度。     

OPC UA技术在智能校准系统中的应用

为提高手持式数字万用表检定系统的自动化程度，结合机器人、工业相机、传感器等具有一定智能技术的设备，研制手持万用表的全自动校准系统。针对系统基于LabVIEW构建的上位机和基于PLC技术构建的下位机之间如何实现安全、稳定的实时数据交互，提出基于创建共享变量的传统技术和基于OPC UA新一代通信技术的两种通讯方法。通过工程实现，充分验证了基于OPC UA技术的新方法实现LabVIEW和PLC通信的可行性，该方法具有开发周期短、稳定性高、响应性快、实时性强等优点，同时编程工作减少，代码更简洁美观，降低维护难度。     

软件流水中的循环展开优化

在软件流水中应用循环展开可以实现分数值的启动间距,提高资源的利用率,同时基于展开的优化技术可以降低程序的资源需求和关键路径的长度.提出了基于程序特性的展开因子算法UTBPC(Unrolling Times Based Program Characteristics),解决了循环展开的核心问题——展开因子的确定,同时提出了基于展开的软件数据预取优化技术,提高了软件数据预取的效率.所有这些都在ORC(Open Research Compiler)中实现,并对SPEC 2000中的程序进行了测试,平均性能提高了2.6%.实验结果表明新提出的算法和基于展开的数据预取优化技术提高了编译器的整体性能.      

RS纠错码技术的一种应用

罗兰C是一种低频导航系统,它具有通信功能,但由于信道干扰的原因,极大的抑制了它的应用。介绍一种RS纠错码技术,并详细论述了RS纠错码实现中的若干工程问题。结果表明:RS纠错码应用于低频时码发播,具有很好的纠错能力。     

一种基于系数择优的低阶球谐电离层延迟改正模型

针对单频接收机的电离层延迟改正问题, 提出了一种基于系数择优的低阶球谐电离层延迟改正模型. 按照电离层延迟改正模型参数择优问题的描述, 明确参数优化的目标和约束条件, 根据参数选择可编码的特点, 提出了利用遗传算法进行参数择优的方法及步骤. 以欧洲定轨中心(CODE)提供的电离层数据作为参考标准, 对参数择优模型、 低阶球谐模型和Klobuchar模型模拟的区域电离层VTEC精度进行了比较分析. 结果表明, 较之相同系数个数的低阶球谐模型, 参数择优模型精度平均改进了1～2TECU, 而且比Klobuchar模型及低阶球谐模型能更好地反映电离层的周日变化及纬度变化特征.      

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

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

复制理论与二进码

基于复制理论的思想，分析了有关的二进码，指出了二进码本身具有的某种复制特性，并且根据组合思想提出了新的二进码－Ｋ码，根据平移复制和对称复制的等效性，证明了Ｋ码和自然二进制码的关系，揭示了Ｋ码的物理意义，提出了有趣的有关函数。     

遥测系统中的改进型AMI码

提出了一种适于遥测系统中使用的改进型AMI码.该码型利用在二进制数据流中间插入冗余,使码型中不再出现长连零的方法实现,从而达到快速可靠捕获同步码的目的.分析了其特性,包括编码效率、误码特性、功率谱、帧同步一次通过捕获特性等.该码型具有和原始AMI码类似的功率谱,尽管其编码效率不高,其快速同步捕获的特性可以避免数据的丢失,提高了数据的可靠性.给出了改进型AMI码的具体实现方法.