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

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

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

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

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语言的高效执行提供了一个性能价格比较高的存贮系统。     

专用指令集在基于FPGA的神经网络加速器中的应用#br#

近年来，表现出极其优越性能的神经网络算法对硬件算力的要求逐渐提高.在一些低功耗场景如星载系统中，拥有可编程重构、高并行等特性的FPGA是神经网络算法较为合适的硬件加速平台.为了解决传统神经网络硬件加速器设计中片内资源消耗大、各功能模块耦合性高等问题，设计实现了一套专用AI指令集并应用在了基于FPGA的神经网络加速器的设计中.文章首先介绍了该指令集的设计方案.整个指令集由指令寄存器、指令解释器、指令转发模块、内存管理单元和多个模块构成.通过该指令集可实现对不同模块的复用，降低模块之间的耦合性.并以YOLOV3 Tiny网络模型为例，对比了平铺式和指令控制式两种加速方案的逻辑资源的消耗.验证了应用专用指令集可以减少约50%的FPGA逻辑资源的使用.     

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

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

内容全球化管理系统的设计与实现

针对企业多语言内容信息管理的需求,提出了用于检测客户端内容信息变化的数据 库内容变化监测算法与文件内容变化监测算法,并结合XML,CORBA(Common Object Request Broker Architecture) 及工作流技术,设计并实现 了能够有效集成现有的企业多语言内容的管理系统.结合多语言内容信息的特点,完成了系 统整体框架、系统主要模块的工作流程及内容变化检测算法的设计;通过系统的实现, 验证 了该算法是有效的及系统设计是可行的.      

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

基于PXI总线的姿态角变换器高精密测试系统设计CSCD

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件Lab Windows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

基于PXI总线的姿态角变换器高精密测试系统设计

为了验证遥测系统姿态角变换器的功能可靠性,研制了一种基于PXI总线的高精密测试系统。姿态角变换器高精密测试系统以PXI的模块化设计为平台,各功能模块板卡即插即拔,增强了硬件上的可扩展性;整个测试台为一体式设计,内嵌显示器。软件设计中采用针对测试系统的开发软件LabWindows/CVI,采用C语言进行编写,为了充分利用系统资源,采用多线程技术,通过软定时器来控制各个线程的运行和停止,并实时刷新显示数据。实际测试结果验证了设计的可行性。     

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

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

Habitability constraints/objectives for a Mars manned mission: internal architecture considerations.

It is generally accepted that high quality internal environment shall strongly support crew's adaptation and acceptance to situation of long isolation and confinement. Thus, this paper is an attempt to determine to which extent the resulting stress corresponding to the anticipated duration of a trip to Mars (1 and a half years to 2 and a half years) could be decreased when internal architecture of the spacecraft is properly designed. It is assumed that artificial gravity shall be available on board the Mars spacecraft. This will of course have a strong impact on internal architecture as far as a 1-g oriented design will become mandatory, at least in certain inhabited parts of the spacecraft. The review of usual Habitability functions is performed according to the peculiarities of such an extremely long mission. A particular attention is paid to communications issues and the need for privacy. The second step of the paper addresses internal architecture issues through zoning analyses. Common, Service and Personal zones need to be adapted to the constraints associated with the extremely long duration of the mission. Furthermore, due to the nature of the mission itself (relative autonomy, communication problems, monotony) and the type of selected crew (personalities, group structure) the implementation of a "fourth zone", so-called "recreational" zone, seems to be needed. This zoning analysis is then translated into some internal architecture proposals, which are discussed and illustrated. This paper is concluded by a reflection on habitability and recommendations on volumetric requirements. Some ideas to validate proposed habitability items through simulation are also discussed.     

短基线高准确度时间传递研究

为了实现守时系统与授时系统的高准确度时间同步,通过搬运钟法对微波时间传输系统的可测量时延部分进行准确测量,应用测量结果对微波时间传输系统进行校准,将GPS共视比对结果与微波时间传输系统的单、双向比对结果进行分析研究,并用BIPM(BUREAU INTERNATIONAL DES POIDS ET MESURES)给出的结果进行验证,得出两种不同时间同步方法的同步误差和两种不同方法产生误差的主要原因,给出了两种不同方法在时间统一系统中的的最佳应用模式。     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

委托实现的决策问题研究

应用代理理论的分析手段,对委托实现的决策问题进行了分析.首先对该问题的背景作了与代理理论相一致的假设,然后在此基础上建立了问题的一般模型;接着,对这个一般模型进行了分解,并据此对委托实现决策问题的实质进行了剖析;然后,对分解出的纯实现问题按单个代理人作了进一步的简化,分析了简化实施的条件和简化后解的变化情况.最后,指出了本文的不足和进一步研究的方向.