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

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

原子氧和紫外线对聚酰亚胺综合作用数值模拟

在建立数学物理模型的基础上,对低地球轨道环境和地面试验环境下有无保护涂层的聚酰亚胺所受原子氧冲蚀及紫外线的综合作用进行了数值模拟,获得了具有工程应用价值的计算结果,并讨论了数学物理模型中各参数对基蚀曲线形状的影响.从数值模拟结果与美国太空试验结果的比较可以看出,得出的数值模拟的结果是正确的,对航天器设计具有重要的指导意义.     

INS／GPS组合导航系统的容错研究

本文研究了INS/GPS组合导航系统的容错问题,并提出了一个两级故障检测及分离方案。通过采用该方案,INS/GPS组合导航系统将具有较高的容错能力,并能为用户提供连续、精确的导航信息。     

全面覆盖ISO／IEC 17025要素的校准实验室管理信息系统的开发

开发符合ISO/IEC 17025标准要求的校准实验室信息管理系统,对提高校准实验室的工作质量有着重要的意义。论述了覆盖校准全要素要求的标准实验室信息管理系统的框架模型,以及基于此模型的系统开发实例的基础上,提出了增强性角色控制模型,应用了修改痕迹保留等技术。     

中板加热炉高效燃烧控制系统

介绍了控制系统在热值比较稳定的前提下,依靠控制加热炉排气中的残氧量以降低空燃比,达到降低排气热损失的目的,实现了加热炉节能降耗.     

板料成形的数值分析及程序系统

本文讨论了板料成形的数值分析方法,并介绍一个能在微机上运行的程序系统——CASF(Computer Aided Sheetmetal Forming)01系统。 CASF01系统采用参数三次样条描述板金零件的几何外形,按弹-塑性流动理论用完全拉格朗日有限元法计算成形过程中的应力应变分布。由于参数样条的插值性和分段描述特点与有限元法的结构离散在基本思想和处理方法上的相似性,系统内曲面描述和力学分析程序间数据传递迅速方便。圆板胀形及其汽车零件的计算实例表明了CASF01系统的可靠性和实用性。     

Euler方程与边界层积分方程耦合求解跨音速翼型绕流

 应用Euler方程求解跨音速翼型特性时考虑了粘性影响,粘性影响是通过边界层动量和能量积分方程求解的,即粘流/无粘流迭代方法。其中Euler方程采用LU-ADI方法求解;边界层方程均由正解法过渡到反解法,以解决强激波干扰区出现小分离泡的计算问题。计算中使用了贴体C网格,通过一定变换使其保持基本正交。计算结果表明,压力分布、摩阻系数分布与实验结果符合较好。     

采用斜坡凹槽稳焰器强化H2超燃的数值研究

用迎风TVD格式求解三维多组分体系的全N－S方程，化学反应源项采用点隐处理，H2和空气的超燃模型用11组分、23步基地反应模型描述，得到了凹槽燃烧室不同截面组元、当量比、压力、温度等值线和速度场的分.布计算结果表明：凹槽稳焰器的回流区可提供高温自由基，有助于超燃点火；火焰在凹槽内和凹槽后斜坡的尾迹中驻定。结果对定量认识凹槽H2超燃流场、设计高效率和优化结构的一体化凹槽有着重要意义。     

计算机辅助任意多边形排料

 本文描述了一种计算机辅助排料的算法。它能自动处理二维不规则形状物体的排料。排料的处理过程分为两个阶段。现介绍的为第一阶段的算法。计算实例表明,该方法可以明显减少计算量。并具有原材料利用率高的特点。 飞机蒙皮等钣金件的下料就涉及到大量的排料问题,在整张的金属板材上排成所需要的零件形状。     

高超侧压进气道前/后掠的数值分析和比较

侧板构型和唇口位置是影响侧压式进气道性能的关键参数。选取了5个具有一定代表性的状态点对前/后掠进气道模型进行了计算和分析,重点比较了当侧板前/后掠时进气道的流量系数、压升、出口气流均匀度等性能。通过对比分析,发现侧板前掠时进气道的流量系数、压升大于侧板后掠结果,且进气道出口流场更均匀。当马赫数较低时,前/后掠进气道性能差别比较明显:同为50%溢流窗,来流马赫数4时,侧板前掠的进气道流量系数比侧板后掠的情形高出7.7%;而当来流马赫数为8.09时,侧板前掠的进气道流量系数仅高2.6%。