基于三维胞元空间的MA双向并行路由算法

针对传统移动代理(MA)在监测无线传感器网络(WSNs)的感兴趣信息时产生的延迟较大和能耗较多问题,提出了基于三维胞元空间的MA双向并行(3D-BPMA)路由算法.3D-BPMA将MA与传统的客户/服务器(c/S)模式相结合,在胞元内利用C/S模式搜集信息,在单层胞元系统和路由器与路由器之间采用MA双向并行的策略进行传输.仿真结果表明:3D-BPMA与LCF,DSG-MIP算法相比减少了平均响应时间和网络平均能耗,提高了MA发送率.     

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.     

双转向垂向控缝技术实验研究及现场应用

针对压裂过程中缝高较难控制的问题，研制开发出新型的油溶性垂向双转向剂，并开展了室内实验研究。首次验证了转向剂对裂缝延伸的控制机理，确定了转向剂的适用浓度及控缝能力。实验表明，转向剂可以增加隔层应力3～4MPa左右。在此基础上研究了控制裂缝高度施工方案的设计方法，并利用全三维软件结合垂向应力剖面对控缝技术进行了优化。现场推广应用30井次，取得了较好的控缝效果。     

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

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

网格曲面中孔洞的光滑填充算法研究

三角网格模型是几何描述的一种重要形式，有着广泛的应用。但三角网络模型常常会存在孔洞缺陷。这些孔洞的存在一方面影响视觉效果，另一方面会影响许多后续的操作，如快速原型制造、有限元分析等，因此有必要对这些孔洞进行修补。目前绝大多数孔洞填充算法是将网格模型中的孔洞提取成空间多边形，并对孔洞多边形进行三角化。这种处理方法的主要缺陷是没有考虑网格曲面在孔洞附近的几何形态，因而填充部分不能与整个曲面光滑地融为一体。笔者提出了一种三角网格曲面中孔洞的光滑填充算法。该算法根据孔洞周围网格曲面的几何信息来增加孔洞内部的采样点，然后再对增加的采样点进行三角化，较好地解决了填充部分与整体曲面光滑连接的问题。     

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）实验板上进行验证.实验结果表明,此算法有效的增强图像的细节区域,防止图像边缘区域出现过冲现象,抑制图像平坦区域的噪声放大.因此,该算法取得了良好的视觉效果,硬件实现简单,适合于实时条件下图像的增强.     

Delamination Analysis for Laminated Composites. II: Numerical Verification

A validation of the delamination analysis models developed in a companion paper is provided through comparisons of predictions with finite‐element and elasticity solutions. The models are applied to the analysis of composite compression specimens reinforced with end tabs. An elasticity solution for the gage section of the specimens is developed. A comparison of the characteristic roots shows that the predictions of the models include the material and geometric parameters that control the behavior, and the roots corresponding to the basic stretching and bending modes are accurately predicted. The stress distribution at the interface between tabs and specimen is in good agreement with a finite‐element simulation. The interlaminar shear and peel stresses show an exponential increase with a maximum intensity at the free edges of the tabs. The behavior of previously tested specimens is explained; and practical guidelines for specimen design are provided to avoid unwanted extraneous modes of failure. The influence of the deformation modes associated with each model is investigated. An assessment of the accuracy and level of complexity is presented.     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果