微处理器Cache的验证方法研究

在微处理器功能验证中,由于高速缓存(Cache)是软件(即测试程序)不可见的,对其进行芯片级验证难以获得高的可控制性(测试场景构造)和可观测性(验证结果检测)。基于此,提出通过验证平台调用的方法,为软件提供服务和管理Cache,构造测试场景。采样由Cache引起的微处理器系统总线行为检测验证结果。实验结果表明,该方法方便测试程序开发,减少验证时间。     

三维非线性自适应容错导引律设计

本文针对部分执行器失效情形下的三维鲁棒导引律设计问题,利用输入–状态稳定性原理,设计一种三维非线性自适应容错导引律.与已存在结果相比,所设计算法能够实现对部分执行器失效的自动补偿,并且具备克服机动目标未知机动性对制导效果的影响.理论分析和数值仿真验证了该算法的有效性,并且数值仿真还表明其能够恢复特定时间段内执行器完全失效时的系统稳定性,具有很强的鲁棒性.     

The concept of ‘Exponential input to state stability’ for stochastic systems and applications to feedback stabilization

This paper presents a version of the well-known Sontag’s ‘input-to-state-stability’ property for stochastic systems. This concept is used to derive sufficient conditions for global stabilization for certain class of stochastic nonlinear systems by means of static and dynamic output feedback.     

Notions of input to output stability

This paper deals with concepts of output stability. Inspired in part by regulator theory, several variants are considered, which differ from each other in the requirements imposed upon transient behavior. The main results provide a comparison among the various notions, all of which specialize to input to state stability ( ) when the output equals the complete state.     

Characterisation of ceria–zirconia solid solutions after hydrothermal ageing

Ce_1−xZr_xO₂ (x=0–0.84) solid solutions prepared by co-precipitation were characterised after calcination at 700 or 900°C, and after hydrothermal ageing at 1000 or 1200°C. The solid solutions were formed at 700°C, and crystallise as cubic or tetragonal phases depending on their compositions. Despite the rather high surface areas obtained after calcination at 700°C, the sintering is important at 900°C, and tremendous after hydrothermal ageing at 1000°C. For all compositions between 16 and 83 mol% ceria, complete de-mixing of the solid solutions into two phases was observed after ageing at 1200°C: one Zr-rich, tetragonal phase, and one Ce-rich, cubic phase. XPS and ISS measurements show that the phase separation takes place with surface enrichment in Zr, the Zr-rich phase being formed at the periphery of the particles, whereas the core is composed of the Ce-rich phase.     

槽波成因的简要分析

介绍了槽波勘探技术的发展历史,指出大部分专著及文献中对于槽波形成成因的表述不当。结合波的干涉和波的叠加理论以及斯奈尔定律,对槽波的成因进行定性分析,分别从波的干涉的3个条件进行分析,阐明了不管是Rayleigh型槽波还是Love型槽波,都符合波的叠加理论,而非波的干涉;通过公式推导,再次印证了槽波的形成符合波的叠加原理,是由波的叠加形成,只有少量频率成分的槽波是由干涉形成。     

ISS-Ⅱ型脱硫催化剂的研制和应用

介绍了ISS-Ⅰ型脱硫催化剂的特性及其在不同工艺流程中的应用情况。根据ISS-Ⅰ型脱硫催化剂在实际应用中的不足,开发了ISS-Ⅱ型脱硫催化剂,并在实际生产中得到成功应用。与ISS-Ⅰ型脱硫催化剂相比,在相同的工况下,ISS-Ⅱ型脱硫催化剂日投放量减少1/3,溶液循环量减少28.6%,吨氨可降低运行费用1.08元。     

可控震源滑动扫描谐波干扰压制方法

可控震源滑动扫描是高密度地震勘探中的一种高效采集技术,但它在大幅度提高野外地震数据采集作业效率的同时,其固有的谐波干扰也严重地影响了地震资料品质。目前常用的滑动扫描谐波干扰压制方法是模型法,即基于震源力信号设计谐波预测算子,求取相关后记录中的谐波干扰,将求得的谐波干扰从被干扰区域中剔除。然而在实际地震数据采集中由于设备等原因往往缺失震源力信号,因此无法应用模型法压制谐波。本文基于准噶尔西北缘玛西1井三维震源力信号的实际数据,尝试应用独立同步扫描邻炮干扰压制方法滤除滑动扫描资料上的谐波干扰,取得了令人满意的处理效果。     

一种实时的三维语义地图生成方法

为了提高模块化机械臂分拣作业效率,研究了一种实时三维语义地图生成方法。该方法设计了一种改进的区域增长分割算法提高了分割效率和准确性,通过基于距离阈值的特征匹配方法得到候选模型,采用随机采样一致性（RANSAC）和迭代最近点算法（ICP）生成转变假设并对候选模型进行验证,获取物体位姿信息,保存于XML地图文件中,将其与机械臂末端位姿进行推理分析,得到抓取任务轨迹。实验结果表明,该方法满足作业实时性与准确性的要求。