12th International Conference on Electronic Measurement&Instruments(ICEMI'2015)

正Qingdao,China7.16-19,2015The International Conference on Electronic MeasurementInstruments(ICEMI)is the world's premier conference dedicated to the electronic measurement and test of devices,boards and systems that is covering the complete cycle from design,verification,test,diagnosis,failure analysis and process of manufactory and products     

河北省士元水泥灰岩矿矿山地质环境恢复治理研究

士元水泥灰岩矿位于燕山山脉的东部的河北省境内,长时间的矿石开采造成了当地生态环境的严重破坏。经过勘查,发现矿区内存在4个采坑,对各个采坑进行了稳定性评价。矿山治理主要为采坑边坡顶部防护及植被恢复,并对采坑平台的破坏区域进行重点治理,主要范围分2个平台及3、4号采坑底部进行治理,治理对象包括渣堆、采面、平台等。通过清除危岩、修筑挡土墙以及覆土绿化,消除了地质灾害隐患,极大地改善了矿区的生态环境和空气质量,提升了人们的生活质量和政府的对外形象。     

Novel Methanol-to-Propylene Technology Passed theSINOPEC＇s Review

正On July 7,2014 the project covering the enlarged-scale pilot test and commercial sideline test of the MTP catalyst and PDP of the 1.8 Mt/a SMTP packaged technology,jointly undertaken by the SINOPEC’s Shanghai Petrochemical Research Institute and its cooperative institutions,had passed the review organized by the SINOPEC     

移动办公与智能建筑

移动办公的实质是“数据处理的移动化”，本文分析了移动办公与智能建筑的关系，还对支持移动办公的无线网络技术应用的相关问题及应用特点、智能建筑内双向多媒体数据的全区域覆盖进行了分析。     

Euclidean push–pull partial covering problems

This paper considers a bicriteria model to locate a semi-obnoxious facility within a convex polygon. Assuming that a given number of closest points and farthest points may be neglected in the analysis, it considers simultaneously the resulting push and pull partial covering criteria with Euclidean distances. Although both objectives are neither concave or convex, low complexity polynomial algorithms to find all the efficient solutions and the tradeoffs involved are developed by way of higher-order Voronoi diagrams. Comparison of the tradeoff for full covering and partial covering enables decision makers to understand to what extent the maximin and minimax criteria are improved at the expense of neglecting some points. The extensions to different sets of points pulling and pushing the facility and to weighted points are discussed. All methods are illustrated via small scale examples.     

Analysis of emptiness (lacunarity) as a measure of the degree of space filling and of the internal structure of a set

The study presents a comparative evaluation of emptiness (lacunarity) in model structures with different types of inhomogeneity of dispersed particle distributions. The research on emptiness (lacunarity) as a measure of the degree of space filling and, at the same time, of the internal characterization of a set has been based on the optimal covering and gliding-box methods.     

真空覆塑技术和产品质量控制

介绍了木制板式工件表面装饰用的真空覆塑技术及不同种类的真空压机;分析了常见的产品质量缺陷,提出了一些控制措施。     

内燃机车蒙皮专用清洗机

针对国内内燃机车蒙皮清洗特点 ,开发了一种高效、适应广专用蒙皮清洗机。介绍了清洗机的清洗模块、控制以及环保和简便安装设计。此清洗机在杭州机务段应用取得了良好的效果     

Instance-Specific Accelerators for Minimum Covering

This paper presents the acceleration of minimum-cost covering problems by instance-specific hardware. First, we formulate the minimum-cost covering problem and discuss a branch & bound algorithm to solve it. Then we describe instance-specific hardware architectures that implement branch & bound in 3-valued logic and use reduction techniques similar to those found in software solvers. We further present prototypical accelerator implementations and a corresponding design tool flow. Our experiments reveal significant raw speedups up to five orders of magnitude for a set of smaller unate covering problems. Provided that hardware compilation times can be reduced, we conclude that instance-specific acceleration of hard minimum-cost covering problems will lead to substantial overall speedups.     

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。