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

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

A Nonlinear Sub-grid Scale Model for Compressible Turbulent Flow

本文采用直接过滤的Navier-Stokes方程组作为可压缩湍流大涡模拟控制方程组。方程组中因过滤产生的高阶相关项用Taylor级数展开近似,但仅保留级数的一阶导数项。这样产生的误差相当于丢失了模型的部分耗散作用,本文用一种动力学非线性亚格子模型来补偿丢失的耗散影响。本文根据Caylay-Hamilton定理导出了一个非线性亚格子模型,模型中包含的系数由动力学模式确定。与传统的动力学Smagorinsky模式相比,这种动力学非线性模型(DNM)稳定性更好,且不需要在统计均匀方向进行统计平均来计算模型系数,因此减少了计算开销。本文用这种非线性亚格子模型对绕双椭球高超声速湍流进行了模拟,并将所得结果与实验值、计算值及理论值进行了对比。结果表明,本文模型可以有效地模拟可压缩湍流流场。     

基于PC/104总线和ADS7805的多路小信号实时监测系统

开发了基于PC/104总线和ADS7805的实时监测系统。该系统主要由信号转换模块、A/D转换模块、CPLD逻辑控制模块EPM7128和PC/104总线组成。它能够在板卡上实现信号的采集监测,并能通过PC/104总线与上位机通信,实现数据的存储、后端处理及显示。参考了实时数据采集处理系统的设计思想,重点阐述了系统原理及硬件、软件的设计。     

区间数据包络分析模型的求解及其有效性

文中基于每个DMU的区间效率值,给出了区间DEA模型求解的一种方法并研究了它的有效性,同时将这种方法应用于基地伪装方案的选取问题。     

四叉树法网格划分的数据结构及算法设计

目前,四叉树法在平面网格划分领域中被广泛地使用。本文应用数据结构描述了四叉树的程序实现过程,并详细介绍了四叉树过程中切割单元的处理方法。最后通过算例证明了四叉树法具有快速自动生成质量较好的全四边形单元且很容易通过程序实现等优点。     

国内外民用航空发动机-飞机数据图形库系统的开发

 1.引言 国内外民用航空发动-飞机数据图形库系统的开发是应用计算机数据库技术、图形技术对航空科学与工程数据进行计算机辅助管理的一次尝试。该系统是在“微机汉字dBASEⅢ+微机汉字C编译”支持下设计与实现的具有图形功能的关系型汉字数据库应用系统。该系     

基于雷达组网的抗无人机新技术研究

介绍了无人机的概念和基本特性;主要讨论了雷达组网和数据融合的基本原理及其如何实现对敌无人机等弱小目标的检测与跟踪,在此基础上引入了检测跟踪的新方法,有效弥补了单机雷达的不足,便于防空决策的后续处理.     

先进战斗机大迎角运动特性分析和试验

描述了先进战斗机大迎角气动数据库的结构,介绍了使用全局稳定性理论对大迎角特性的预测分析结果和控制律的设计逻辑,之后进行了六自由度仿真计算,并根据飞行品质模拟器评价试验和自由飞试验结果对大迎角运动特性和控制律设计逻辑进行了验证。     

多架无人机协同航路规划方法研究

根据敌方防御区域内雷达，导弹等威胁阵地的具体分布情况，采用划分Voronoi多边形的方法制订初始航路，然后对初始航路进行了合理的离散处理，最后采用动态链类比法调整航路，航程并对航路进行光顺处理，提出了一种协调多架无人机（UAVs）于同一时间到达目标点的航路规划方法，用数字仿真技术对该方法进行了验证，结果表明该方法是可行的。     

MIL-STD-1553B总线综合测试系统设计

阐述了MIL-STD-1553B总线综合测试系统的组成、功能、用途、软件设计和关键技术问题。