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.     

一种高精度的非平稳随机信号实时建模算法研究

针对传统的非平稳随机信号时变参数筹分模型算法的不足,论文把非平稳随机信号时变参数差分模型与一种带自适应遗忘因子的RLS算法结合起来,形成一种有效的非平稳随机信号实时建模算法,仿真分析表明该算法不仅能获得快的收敛速度而且能获得高的建模精度。     

随机激光器的最新进展

综述了近年来随机激光器的最新研究结果，包括随机激光产生的机制，随机增益介质的制备方法，随机激光器的激励与发光特性和随机激光理论。最后，介绍了随机激光器的应用前景。     

弹性-粘弹性复合结构随机响应的各阶谱矩的计算方法

提出了一种新的计算弹性-粘弹性复合结构随机响应的各阶谱矩的计算方法，它是一种时域复模态分析方法。利用此方法获得了弹性-粘弹性复合结构在白噪声、滤过白噪声等典型平稳随机激励下随机响应的各阶谱矩的解析表达式，分析了粘弹性对各阶谱矩的影响。此计算方法简便、易用，无论单自由度或多自由度系统均适用，为进一步研究弹性-粘弹性复合结构在随机激励下的可靠性打下良好基础。     

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

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

舰载火箭武器系统随机响应分析

利用随机振动复模态分析，提出了一种求解时变线性系统，在确定性激励与随机激励共同作用下非平稳随机响应的计算方法，并以舰载火箭武器系统为研究对象，用该法探讨了海浪对舰面火箭发射初始扰动和系统振动特性的影响。     

概率空间中的一个不等式

设｛Ｚ，（Ｗ）｝是定义在概率空间上的独立的随机变量序列，Ｚ（Ｗ）具有方差为期望Ｅ（Ｚｎ）＝０．本文证明了对任意算数序列｛ｂｎ｝及任意的存在充分大的整数Ｎ＞０使当Ｎ＇＞Ｎ″＞Ｎ时．有此不等式在随机级数研究中有重要作用．     

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.     

基于非锐化掩模的实时自适应图像增强算法

针对传统的非锐化掩模算法的局限性,依据图像中各像素点及以其为中心的若干相邻像素点的均方差值,提出了自适应图像增强算法的原理,并分析其硬件实现方法,然后给出了该算法与其它算法应用于图像增强的对比结果,最后在FPGA（field programmable gate array）实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强.