高性能多处理机系统总线设计技术

本文以银河仿真Ⅱ型计算机为背景,论述面向多处理机的高性能总线的体系结构、总线特点、总线数据传输、多处理机通信等总线设计技术。     

三维数据场的可视化

三维数据场是普遍存在的。本文给出一个三维标量场和矢量场的可视化方法：对计算或实测产生的离散数据重构三维连续场的分布,构造数据场的整体发光模型,并根据发光模型计算视屏投影区域上各象素点的光强值,采用直接体绘制（ｄｉｒｅｃｔｖｏｌｕｍｅｒｅｎｄｅｒｉｎｇ）及视觉增强处理绘制出场的可视化图象,通过特征面处理绘制出场的局部分布图象。图象层次及细节丰富,反映了场的分布信息。系统具有较强的交互功能,静态、动态显示功能及友好的用户界面。     

可招回秘书问题

可招回秘书问题已由Yang,Petrucceol,Choe及Bal研究过。本文将这个问题纳入Snell框架,用相对最好者的位置函数Wn代替通常的相对名次,我们得到了各种招回概率下的最优停止规则,这些结果推广了文[7]—[9]。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

低成本低损耗微波集成电路新工艺-FeCr Al-Cu-Cu-Au 金属系统

本文提出了FeCrAl—Cu—Cu—Au 金属系统制造微波集成电路的新工艺。实验研究表明,该金属系统具有一系列优良的物理特性,用它制造微波集成电路不仅性能优良,而且成体很低。     

以发射质量最小为优化目标的反TBM拦截器优化研究

以反ＴＢＭ拦截器发射质量最小为优化目标,系统地研究了反ＴＢＭ拦截器总体优化技术,建立了反ＴＢＭ拦截器数学模型和优化算法,并得出重要结论。     

树形挠性多体系统的 Kane 动力学方程 ——一种面向计算机的建模方法

本文针对具有树形结构的空间挠性多体系统,建立了Kane 动力学模型。挠性多体系统由任意数目的挠性体或刚体组成,假定铰链点之间具有三自由度相对转动和平动,选取相对平动速度和转动角速度,以及模态坐标的导数为系统的广义速度,建立了系统的最小维数运动方程,所得结果便于计算机自动生成和进行数值仿真。     

时延数字控制系统最优控制问题的离散正交多项式解法

本文利用一般的离散正交多项式研究了具有2s个时延项离散系统的最优控制问题。文中导出了系统状态和控制向量离散正交级数展开式中系数向量间的关系,然后,将离散动态系统的最优控制问题转化为直接对二次型性能指标中一组系数向量的参数优化问题,并由一组线性代数方程给出了这组最优系数向量的解。最后,还介绍了一个数值例子。     

分段循环 Kalman滤波及其对估值精度的影响

正如文[3]所说,分段循环Kalman滤波是减少Kalman滤波计算的最有效最有前途的方法之一。本文讨论了这种方法以及它对估值精度的影量响,并讨论了采样间隔Δt、Δτ=N Δt如何选择的问题。最后给出一例证明这种方法的可用性。     

基于参数化建模的包带式星箭连接结构优化设计

采用MSC.Patran参数化建模和遗传算法进行包带式星箭连接结构优化设计。首先给出了包带连接结构二维轴对称模型优化设计过程中涉及的V形卡块刚度等效、包带预紧力模拟和载荷施加方法,以及强度和刚度约束条件、优化目标等内容;然后以某直径为3m的包带连接结构为例进行了优化设计,并分析了对接框内延伸段长度和端头高度对应力及变形的影响;最后建立三维有限元模型进行静力分析。结果表明（1）该方法适用于包带连接结构的优化设计;（2）增加对接框内延伸段长度和端头高度能够提高整体连接刚度;（3）三维有限元模型与轴对称模型计算结果一致,验证了轴对称模型分析方法的正确性,以及V形卡块等效和预紧力模拟方法的有效性。