M-estimator based Chinese Remainder Theorem with few remainders using a Kroenecker product based mapping vector

The Chinese Remainder Theorem (CRT) explains how to estimate an integer-valued number from the knowledge of the remainders obtained by dividing such unknown integer by co-prime integers. As an algebraic theorem, CRT is the basis for several techniques concerning data processing. For instance, considering a single-tone signal whose frequency value is above the sampling rate, the respective peak in the DFT informs the impinging frequency value modulo the sampling rate. CRT is nevertheless sensitive to errors in the remainders, and many efforts have been developed in order to improve its robustness. In this paper, we propose a technique to estimate real-valued numbers by means of CRT, employing for this goal a Kroenecker based M-Estimation (ME), specially suitable for CRT systems with low number of remainders. Since ME schemes are in general computationally expensive, we propose a mapping vector obtained via Kroenecker products which considerably reduces the computational complexity. Furthermore, our proposed technique enhances the probability of estimating an unknown number accurately even when the errors in the remainders surpass 1/4 of the greatest common divisor of all moduli. We also provide a version of the mapping vectors based on tensorial n-mode products, delivering in the end the same information of the original method. Our approach outperforms the state-of-the-art CRT methods not only in terms of percentage of successful estimations but also in terms of smaller average error.     

内插法在相关干涉仪测向体制中的应用

测向误差的减小一直以来都是无线电测向精度提高的一个难点,对于不同的测向体制所采用的减小测向误差的方法都不尽相同。本文主要介绍的是相关干涉仪测向体制的基本原理以及通过内插法的应用来减小测向误差的方法。     

螺旋槽管强化传热原理及在石化装置上的应用前景

详细介绍了螺旋槽管换热器的强化传热原理 ,阐明了在无相变和有相变两种工况下 ,螺旋槽管换热器的强化作用 ,并介绍了螺旋槽管换热器的设计计算方法。说明了在石油化工装置上应用的必要性     

Multiple object semilinear motion planning

We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several robots in a time dependent environment. For practical applicability the method is limited to polygonal objects and linear trajectories. It can, however, deal with situations involving even non-convex objects.     

采用模数转换技术提高脉冲激光测距的测时精度

针对脉冲激光测距中计数量化误差影响测时精度的问题,本文提出了采用模数转换技术提高测时精度的方法,并进行了可行性与精度分析,理论与实践结果均表明,该方法易于实现,能够容易地将计数量化误差减少若干个数量级。     

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.     

采样定理的内在不自洽性和工程应用的局限性——采样定理和奈奎斯特准则研究·上篇

推导证明了作为通信理论基石之一的采样定理及其公式存在着两个矛盾：内在不自洽性，即采样定理与其公式的推导前提条件相矛盾；采样定理在工程实际应用时的严重局限性     

激光跟踪测距仪在体育领域中的应用

介绍了激光的特点及激光跟踪测距仪的工作原理 ,在此基础上 ,设计了一种激光跟踪测距系统 ,对该系统的组成及主要部件进行了阐述 ,给出了该系统的主要性能数据 ,并对该系统在体育领域中的应用前景作了展望。     

中原油田气井堵水工艺技术探讨

针对中原油田气田的开发现状,为寻求更加经济、有效的治水措施,通过对国内外气田开发状况的调研,对找水技术和堵水技术进行了归纳,在此基础上研究出适合于中原油田气井堵水的GWPA堵剂系列,现场应用效果较好。     

用于水下三维视觉传感的新型空间差频扫描测量法

激光扫描三角法是近十年发展起来的三维传感新技术,其实现扫描测量的方法可分为两类:一是采用阵列器件,用相应的同步扫描机构实现;另一则采用单通道器件,由扫描装置进行步进扫描实现。虽然这种技术在陆地及空气系统中已得到广泛应用,但在水下却存在着许多问题。本文提出了一种新型空间差频扫描测量方式,并对扫描测量原理、测量周期、分辨率及速率进行了深入讨论,最后的应用结果显示了这种新型方式用于水下三维传感的特殊优越性。