超标量RISC微处理器

TMS390Z50是一个有3100000个晶体管的 SuperSPARC 微处理器。该处理器具有以50MHz 传送150000000条指令/秒(MIPS)的峰值性能。由于 Mbus(一种工业标准模块总线)的片上支持,所以能组合高达4个 SuperSPARC 微处理器来传送600条 MIPS,并且可并行连接64个微处理器通过 Xbus(一种包交换扩充总线)。该处理器以一个时钟周期能执行高达3条指令的超标量机     

关联设计技术在翼面类部件可重构装配型架设计中的应用研究

为了提高飞机翼面类装配型架的设计效率和设计质量,研究了关联设计技术及其在装配型架的快速配置设计中的应用。首先,总结翼面类部件及其工装的结构特点,其次阐述可重构柔性装配型架的结构组成和所涉及型架的模块划分,以及关联设计技术在翼面类部件装配型架快速设计中的实施方法,并以某垂尾验证了该方法的可行性。最后,以CATIA为设计平台基于CAA二次开发可重构装配型架快速设计系统,该系统可用于产品与装配型架变型、改型设计的需要,使装配型架的设计更简单、快捷,缩短产品研制周期,降低研制成本。     

揭秘中国功勋飞机

空中发动机试验台——轰6航空发动机飞行试验台,可在不同飞行条件下进行航空发动机新技术的预先研究、新设计方案的试验验证,以及新型发动机的验证、调整、鉴定试飞,暴露故障和设计缺陷,为修改设计和发动机定型试飞提供依据,减少原型机试飞的风险和试飞起落,缩短新机研制周期。     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

飞机舱门机构运动仿真分析技术研究

为了理清舱门各个机构运动的原理,指导现场工艺人员更好地进行工艺分析,采用CATIA的DMU模块对舱门进行运动机构仿真分析。通过虚拟仿真技术的研究应用,验证舱门机构运动,找出机构中的可调节量,能够指导工人现场安装调试,确保安装的顺利进行,缩短研制及安装周期。     

机载软件适航技术研究与工程应用

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求.     

嵌入式微处理器NCS地址单元的设计与实现

提出了嵌入式微处理器的设计方案；给出了微处理器的虚拟地址空间到物理地址空间的转换算法；详细设计了地址单元的数据通路和控制时序，并用MENTOR工具验证了地址单元的RTL级描述的正确性。     

基于MBD的关联设计技术在飞机研制中的应用

MBD技术可以保证产品全生命周期过程中数据源的唯一性,实现上下游数据的无缝对接,有效提高产品设计效率。主要研究MBD的表达方式及关联设计中骨架模型的建立方法,阐述骨架模型的工作原理。结合飞机型号研制,首先进行总体骨架、接口骨架、部段骨架和部件骨架模型的定义,进而实现设计内部各专业“自顶向下”的关联设计,并以MBD数据集作为飞机研制过程中的唯一数据源,工艺、工装、检验人员在MBD数据集基础上开展并行协同的关联设计,有效地改善团队之间的沟通,使设计更改变得简单、快速,减少了设计错误,缩短了产品的研制周期,提高了设计质量。     

迎角的飞行校准方法

本文给出了一种在亚、跨、超音速区域从飞行试验数据识别迎角测量值上洗修正系数(Kα)的方法,该方法在歼×飞机飞行试验中进行了验证。文中介绍该方法的基本原理,试飞结果及误差分析。试飞表明,该方法是可行的,并且计算方法和所需数据与识别纵向气动导数时相同,故试飞工作可在一起进行,从而缩短飞行试验周期和降低飞行试验的费用。     

机载武器作战使用可靠性综合验证

为减少机载武器可靠性验证试验样本量和降低验证试验风险,通过对机载武器作战使用可靠性验证的工程需求、试验方案、统计模型、验证方法等进行研究,提出了一种利用研制试验数据和定型飞行试验数据的作战使用可靠性综合验证方法。针对机载武器的特点,根据变动统计理论,考虑性能验证与可靠性验证的要求,综合利用研制试验数据和定型飞行试验数据,给出作战使用可靠性综合验证方案,进而制定设计定型飞行试验方案。实例表明,在不改变生产方风险和使用方风险的情况下,该方法可有效地验证机载武器挂飞可靠性和自主飞行可靠性指标,显著地减少定型飞行试验样本量,大幅节约研制成本,并缩短研制周期。     

利用可靠性模型确定电子测量设备检定周期的方法

周期检定是保障计量器具能够准确可靠地开展测量活动的重要手段。检定周期的长度影响计量器具测量活动的可靠性和计量工作的经济性。本文通过建立电子测量设备测量可靠性与使用时间关系的数学模型提出了利用可靠性模型确定电子测量设备检定周期的可靠性评估法。该方法可以有效地保证电子测量设备检定周期制定的科学性。     

基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

基于Bayes变动统计理论的测试性外场统计验证方法

针对故障检测/隔离数据为"小子样"情况导致的测试性外场统计验证存在的周期长、验证结论置信度低等问题,研究并提出了基于Bayes变动统计理论的的测试性外场统计验证模型和方法。首先建立了不同寿命周期阶段故障检测率(FDR)的序化关系模型;然后以Dirichlet分布为先验分布,利用不同寿命周期阶段故障检测率先验估计值确定Dirichlet分布参数;在此基础上,融合"小子样、异总体"研制阶段增长试验数据和"小子样"外场使用数据,研究并提出了故障检测率的Bayes综合评估模型;引入Gibbs抽样方法求解故障检测率Bayes综合评估模型的复杂高维后验积分;最后在某机载稳定跟踪平台上开展了应用研究。结果表明本文方法能在较短的外场使用周期内,给出较高置信度的外场验证结论,为大型高可靠性装备测试性外场统计验证研究提供了重要的理论依据。     

基于多核并行计算的超燃冲压发动机一维模型实时性研究

在发动机控制系统设计中,为了缩短设计周期、降低研发成本,需要建立面向控制的、较为精确的、实时性高的超燃冲压发动机性能计算模型,以保证模型精度、提高计算速度为研究目标,基于多核高性能计算仿真平台,开展了面向控制的超燃冲压发动机一维模型实时性优化工作。运用简化计算流程、改进C语言程序、开拓缓存区等方法有效提高了一维模型计算速度。创新性地尝试了计算流体力学并行化方法,对隔离段和燃烧室一维模型进行结构分解。计算网格平衡分配至多个中央处理器,并借助核间数据通讯实现多核并行计算。与串行模型计算结果对比,七核并行计算模型性能参数偏差不超过0.1%,全工况仿真时间小于30ms,计算耗时较优化前缩短了75%以上。实时性优化后的多核并行模型计算精度高、速度快、收敛性好,可以作为超燃冲压发动机控制系统设计和半实物仿真验证平台。     

Error Analysis of an Algorithm for Magnetic Compensation of Aircraft

The Tolles and Lawson equations were programmed on the IBM 370-65 computer. These equations predict the magnetic signals which are generated by the permanent moments, the induced moments and the eddy-current terms of an aircraft as it maneuvers in the Earth's magnetic field. The least mean squared (LMS) solution of these equations, which was developed for the microprocessor compensation program, was also simulated on the IBM 370 computer. By measuring the simulated figure of merit (FOM) before and after applying compensation, several types of error were studied. It was found that the error introduced by truncation effects on a 16-bit microprocessor limits the FOM to 50 milligammas. Since this figure is an order of magnitude smaller than the design goal, it is concluded that the algorithm is not limited by the microprocessor capacity. Other studies show that although the baseline model is insensitive to bearing separation, the bearing separation should be 900° ± 7.50° if 3 iterations are used in the post processor and 900° ± 15° if 5 iterations are used. Although the algorithm is robust and relatively insensitive to various types of noise, experimental evidence suggests that hysteresis can cause temporal variations in the Tolles and Lawson model. It is suggested that whitening and/or adaptive techniques could be used to minimize such variations.     

电桥期间核查方法的探讨

定期做好实验室仪器设备的期间核查是保证检测或校准实验室质量的重要手段,本文通过分析交流、直流电桥的区别,介绍了电桥期间核查的方法,并通过具体实例进行验证,结果表明这种方法不仅能够满足电桥期间核查的需要,而且可以实现两电桥的互查。     

Microprocessor-Controlled Digital Shunt Regulator

A new approach to the design of power systems is presented in which a microprocessor is used as a controller for a digital shunt regulator (DSR). This approach meets the demands of future space and ground missions, i. e., high efficiency, high reliability, low weight, low volume, increased flexibility, and less development time. This approach responds to future demands by permitting realtime modification of system parameters for system optimization. This feature is especially important in the event of an anomaly. As the microprocessor need not be dedicated to the DSR, it can simultaneously be used for battery management and for charge regulator/discharge regulator control. This approach also reduces the component count, simplifies assembly and testing of the unit, results in significant time saving, and increases the reliability.     

基于仿真数据的测试性验证序贯设计方案

针对当前测试性验证试验设计方案均存在确定的故障样本量较大以及验证周期长的问题,提出了一种基于仿真数据的测试性验证序贯设计方案。首先,基于二项分布模型确定序贯设计的判决阈值;然后,在序贯试验下基于给定的样本量分配和故障模式选取方法,采用仿真的方式生成相应的故障模式并进行验证试验。同时,以序贯方式计算相应的概率比,通过其取值动态判定接受/拒收。结果表明,与传统方法相比,该方法与经典验证方法具备几乎相同的抽样特性,能达到有效减少测试性验证试验所需故障样本量的目的。     

面向测试性虚拟验证的功能-故障-行为-测试-环境一体化模型

 由于测试性预计和测试性试验验证客观存在的困难及问题,测试性虚拟验证将在测试性工程领域发挥重要作用.根据测试性虚拟验证对模型的需求,针对传统测试性模型存在的定量特征少、导致测试性评估结果不准确等问题,提出一种功能-故障-行为-测试-环境一体化模型.首先,分析并指出该一体化模型由功能、故障、行为、测试、环境5大类要素构成.然后,在数学上对该一体化模型及其子模型进行定义和描述,分析并建立各子模型之间的关联关系.最后以某导弹及其测试系统为案例进行实验和应用研究.结果表明,在建模信息量充足的情况下,基于该一体化模型得到的测试性虚拟试验验证与评估结果较准确,能较好地支持装备测试性摸底、鉴定与验收等.     

参考标准的期间核查

期间核查是对校准实验室和检测实验室的通用要求之一。参考标准的核查关系到该地区或该单位计量活动和检测结果的有效性。本文论述了最高测量（计量）标准的核查标准、核查方法、核查结果处理、核查间隔及记录等问题。