Methods of Verifying Continuous Automatic Belt Weighers: State and Prospects

The basic methods of verifying continuous automatic belt weighers are described. A comparative analysis of these methods on the basis of experimental studies is made and ways of implementing the results in industry are recommended.     

汽车计算平台工程国外相关标准概述

结合我国汽车计算平台工程,分析了国外相关的标准现状和基本框架,并为今后工作的开展提出了建议.     

微制造平台微振动的最优控制

采用混合隔振技术建立了微制造平台隔振系统。该系统以空气弹簧和橡胶层作为被动隔振元件、超磁致伸缩致动器作为主动隔振元件，并采用最优控制理论设计其主动控制器。研究了在不同的性能指标加权阵的情况下，该主动振动控制系统对基础干扰和由微制造设备产生的直接干扰所引起的微制造平台振动的控制效果。研究表明性能指标加权阵对振动控制效果影响非常大。通过大量的仿真实验确定了一组性能指标加权阵，使所设计的主动控制系统能在较宽的频率范围对基础干扰和直接干扰所引起的微制造平台振动进行有效的控制。     

地杂波O．94μm激光后向反射率测试研究

通过对地杂波O．94μm激光后向反射率的测试，获取不同入射角的多背景后向反射率测试数据。通过对测试数据的分析处理提供特征信息，为激光探浏器设计提供依据。     

Cif2000平台下的核磁共振测井解谱方法研究

介绍了在Cif2000多井解释平台下的核磁共振解谱方法与编程实现。解谱采用加入平滑因子后在特征矩阵的奇异值分解中截去小的非零奇异值的方法，可以在低信噪比时得到稳定的弛豫谱，在油田实际应用中证明了该方法的有效性。根据该方法在Cif2000平台上编制了完整的解谱处理程序，可以直接用于油田的生产实际。     

基于MAPINFO和VB的自来水管网信息系统的建立

介绍基于MapInfo平台，利用VB语言进行二次开发，建立自来水管网地理信息系统的关键技术及其注意的问题。     

海上油气田的废弃处置

废弃处置是油气田开发的最终环节 ,海上油气田的废弃处置在国内外都是一个新的领域。在对国内外相关文献分析的基础上 ,结合开发工程方面的经验 ,介绍海上油气田废弃处置的标准 ,相关的领域以及废弃处置的过程和方法     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.