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.     

Parallel path consistency

Filtering algorithms are well accepted as a means of speeding up the solution of the consistent labeling problem (CLP). Despite the fact that path consistency does a better job of filtering than arc consistency, AC is still the preferred technique because it has a much lower time complexity. We are implementing parallel path consistency algorithms on multiprocessors and comparing their performance to the best sequential and parallel arc consistency algorithms.^(1,2) (See also work by Kerethoet al. ⁽³⁾ and Kasif⁽⁴⁾) Preliminary work has shown linear performance increases for parallelized path consistency and also shown that in many cases performance is significantly better than the theoretical worst case. These two results lead us to believe that parallel path consistency may be a superior filtering technique. Finally, we have implemented path consistency as an outer product computation and have obtained good results (e.g., linear speedup on a 64K-node Connection Machine 2).     

调整水量法(代用法)测定水泥标准稠度用水量方法的改进

结合兰州市的水泥标准稠度用水量方法测定 (代用法 )的实例 ,分析代用法测定标准稠度用水量的缺点 ,并对此方法提出了一些改进措施     

Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

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

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

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.     

SPECTRAL DENSITY ESTIMATION FROM NONLINEARLY OBSERVED DATA

Abstract. The estimation of the spectral density function of a stationary Gaussian process at the input of an instantaneous nonlinearity is considered when the nonlinearity is known and a finite set of observations of the output process is given. A class of spectral estimates is considered and their quadratic-mean consistency is established; precise asymptotic expressions for their bias and covariance are derived and their asymptotic normality is obtained.     

二厘米微波衰减标准装置不确定度的验证

采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证。测量标准装置的重复性以组内实验标准偏差sn(A)定量表征，测量标准装置的稳定性用组间实验标准偏差sm定量表征。     

保序回归的大样本性质

利用保序回归与极大似然估计之间的关系,从极大似然估计解的大样本性质出发,得到了保序回归解的两个大样本性质。