一种可配置组关联cache的行为级设计

组关联的cache在当前微处理器中广泛应用，cache是一个验证难度比较大的模块。如何缩短cache验证周期对缩短开发处理器的周期有重要意义。建立了一个可配置的组关联cache的行为级模型。可作为微处理器设计中cache验证的参考模型。     

结构故障诊断中的小波分解层数选取方法研究

小波变换被广泛的应用到结构故障诊断中,但尽管利用小波变换进行故障诊断效果很好,在实际操作过程中仍存在两个问题,即小波基函数的选择和最佳小波分解层数的选择。基于结构的动力系统,通过讨论结构动力响应、频率折叠及频率混淆对小波分解层数的影响,推导总结出一种小波分解层数的算法,并给出了其算法公式。     

硅微谐振加速度计的研究现状及发展趋势

硅微谐振加速度计具有体积小、 功耗低、 准数字量输出和精度提升大的优点,是一种具有良好应用前景的高精度MEMS惯性仪表.总结分析了近些年国内外在硅微谐振加速度计方面的研究现状,主要在结构设计及工艺、 测控电路设计等方面阐述了各自特点.最后,结合近些年MEMS惯性仪表的发展趋势,对硅微谐振加速度计晶圆级真空封装、 测控电路数字化、仪表补偿智能化3个发展方向进行了展望.     

复合式直升机技术发展分析

首先根据旋翼技术的特点和复合推进方式的不同,将复合式直升机分成5个类别,分别对5类复合式直升机的发展历程做了扼要介绍。然后,通过技术成熟度与市场需求的发展分析,将复合式直升机的发展归纳为5个阶段,总结了国外复合式直升机的型号发展过程和规律。最后,结合国外发展复合直升机的经验,以及中国直升机技术水平、科研机制的特点,针对中国复合式直升机技术发展提出了一些建议。     

Change rules of a stratospheric airship's envelope shape during ascent process

Stratospheric airship is a special near-space air vehicle, and has more advantages than other air vehicles, such as long endurance, strong survival ability, excellent resolution, low cost, and so on, which make it an ideal stratospheric platform. It is of great significance to choose a rea-sonable and effective way to launch a stratospheric airship to the space for both academic research and engineering applications. In this paper, the non-forming launch way is studied and the method of differential pressure gradient is used to study the change rules of the airship's envelope shape dur-ing the ascent process. Numerical simulation results show that the head of the envelope will main-tain the inflatable shape and the envelope under the zero-pressure level will be compressed into a wide range of wrinkles during the ascent process. The airship's envelope will expand with the ascent of the airship and the position of the zero-pressure level will move downward constantly. At the same time, the envelope will gradually form a certain degree of stiffness under the action of the inner and external differential pressure. The experimental results agree well with the analytical results, which shows that the non-forming launch way is effective and reliable, and the analytical method has exactness and feasibility.     

机载风切变系统的告警准则

利用风切变场中飞机近似的能量高度传递函数研究了飞机在激发其沉浮振荡的最严重风切变场中的动态特性 ;确立了适用于机载风切变探测告警系统的风切变危险通报的阈值。为机载风切变探测告警系统的研制提供了风切变的危险性评估准则     

威布尔分布三参数置信限估计及分布类型检验

给出威布尔三参数点估计的计算公式。根据线性回归显著性分析原理导出了威布尔分布检验判别式。研究威布尔三参数分布规律后 ,推出了确定各参数置信限的数学表达式     

交换环上高层序与赋值对的相容性

本文的主要目的是把域上高层序与赋值对的相容性推广到含单位元的交换环上来。本文提出了交换环上高层序与赋值对相容的概念,由此得到高层序与赋值对相容的四个等价条件。本文的关键是藉助于赋值环的凸性来刻划高层序与赋值对的相容性。本文的方法是通过取序的特殊化以及整环的商域,使环的情形下的问题转化到域的情形来解决。     

航迹起始算法研究

针对传统的基于逻辑的航迹起始算法存在的弊端,分别提出了基于一步延迟思想和多假设思想的航迹起始算法。基于一步延迟思想的方法利用相邻2个采样周期的量测信息来选择用于航迹扩展的量测,从而实现航迹扩展的唯一性,可以在保证航迹起始性能的同时有效地降低存储要求。而在基于多假设思想的航迹起始算法中,在候选目标航迹的扩展阶段,采用关联矩阵拆分的办法获得当前多个可行假设,进而实现原假设的扩展与分裂,从而使得扩展后的源于各个候选目标的量测序列之间无共用量测现象。仿真结果表明了算法的有效性。     

模型驱动的软件构件研制保证水平验证方法

在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。