应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

计算流体动力学的范围、简史及其他

正如本学科的每个研究人员熟知的,“流体力学特别富有非线性”(Ames,1965)。在流体力学里,双曲和椭园混合型偏微分方程、各类邮学奇性及与无穷远边界条件有关的问题也很多。以前,流体动力学大大推动偏微分方程理论、     

标准工艺制造的三向碳-碳材料电弧加热器测试数据的相关关系

本文报导了在麦克唐纳·道格拉斯研究试验室(MDRL)的高冲击压力试验设备(HIP)上,以及在空军赖特航空试验室(AFWAL)的再入端头帽试验设备(RENT)上,所得到的再入飞行器(RV)端头帽烧蚀数据间相关关系的一份研究成果。这份研究成果,只限于产生紊流、稳态后退率的环境条件下所试验的特定的碳-碳端头帽材料。所报导的相关公式是根据收集的文献资料和补充试验所得到的56个数据点求得的。研究了诸如模型的尺寸和几何形状,材料的可变参数(化学气相沉积 CVD、体积密度、开孔率、层间距)、设备上喷管的出口直径、马赫数、平均焓值和中心线焓值以及驻点压力等参数的影响。两种电弧加热器使用同一喷管出口直径、模型直径、中心线焓值和模型的驻点压力,所得到的端头帽后退率相关式误差在±7%。     

跟踪和数据中继卫星系统的多址接收相控阵系统

30单元相控阵是中继卫星系统中所采用的新型多址方案的基础,这种相控阵利用了远地波束形成和多址信号方案。系统综合设计提出了一种控制校正方案,该方案相当于动态系统的现代估算理论,它减小了自适应控制的复杂性,又保证了所需要的精度。系统动态模型基于跟踪数据计算出来的用户星星历,外推(propa-gation)最佳权矢(旦力)的“开环”估值。由一个采样数据闭环自适应控制系统定期更新波束控制矢量,消除参数漂移和模型误差,使权矢量大致保持最佳状态。虽然有可能有一定程度的抗干扰能力,但这种方案主要用于特定的无干扰环境。     

近地卫星轨道确定技术的现状和发展趋势

本文叙述了作者对近地卫星轨道确定技术目前状况和将来趋势的看法。文中只讨论不载人的人造卫星,“近地”定义为地球同步距离之内的卫星。文章评述了轨道确定系统的各主要组成部分以及每一部分各要素的演变情况,概述了当前轨道确定过程可达到的典型精度以及限制上述精度的各因素,并列举了当前改善轨道确定过程所用动力学模型的几个例子;介绍了近地卫星轨道确定方面将来的某些发展趋势,其中包括星上定轨和实时定轨方面的一些方案和试验。     

新型钨极氩弧焊交、直流电源

为了生产一种具有各种功能的稳定电源,决定采用装有大功率可控硅的电控系统。这些功能包括以下项目:恒流控制、遥控、大电流起弧、电流缓升、电流衰减、氩弧点焊、脉冲电流焊接等等,它同样地意味着进行反馈控制和监控电压和电流,于是,电流及用于各种功能的参考电压信号均能被稳定。平滑可控硅整流器的输出焊接电流以限制纹波电压同样也是非常重要的。电流范围从7     

分布式阵列处理机的信号处理应用

1、前言超大规模集成电路技术(VLSI)极为迅速的发展。使我们有希望在以后几年内在数字处理性能方面提高大约两个数量级。然而。由于许多原因。使芯片复杂性和门速度处理能力成比例地直线增加不是简单的问题。首先,当操作数仅仅作为其它操作结果才可用时。调度复杂多元处理机的操作,使之所有门处于忙碌状态是困     

用跟踪卫星的方法对陆上脉冲雷达进行自校准

本文介绍东靶场所用的雷达校准方法——只需用单台雷达本身对两次连续通过的卫星进行被动跟踪,结合理论运动方程、已知的物理常数和有关的计算机程序便可,而不需要别的跟踪数据和外部计算的星历表。在例行校准中,零位偏倚和不水平度的估计精度可达6米(距离)和0.03毫弧度(角度)。在良好的条件下,可按同样的精度测定另外5个雷达误差模型系数。文中介绍了东靶场雷达的现有精度。     

芯片式微型惯性传感器

由硅制造的能承受15000g的微型惯性传感器,有望将非制导炮弹变成”灵巧”制导炮弹,还可用于微型飞行器的自动驾驶仪中.然而,目前由硅制造的微机电系统(MEMS)角速率传感器的精度还低于用石英制造的类似传感器.在美国电气与电子工程师学会发起的于加州帕尔姆泉举行的定位与导航研讨会(PLANS)上,科研人员报告了MEMS的最新发展及其现在的技术状态.这些报告涉及下列内容:     

低成本惯性器件与卫星导航组合新方法

用卫星导航辅助惯性导航的经典方法是从其它的无线电导航慢速校正惯性导航系统的基本概念发展起来的。同时,当算法中的计算结果有一些重要限制条件时,这种开发研究才有成效。当时所考虑的惯性器件主要是高精度类型的。