基于VHDL的故障注入工具的研究

基于VHDL的故障注入技术是一种验证系统可信性的有效方法,构造基于VHDL的故障注入工具是故障注入研究的一个重要组成部分.对基于VHDL的故障注入技术进行了研究,详细描述了该故障注入工具的结构和主要模块功能,并进行故障注入实验,分析和计算故障的激活率、探测率、恢复率.故障注入工具可用于对中等复杂度的VHDL模型进行故障...     

基于PDA的血细胞自动计数系统的研究

为克服现有血细胞计数仪结构复杂、体积大的缺点,介绍了一种基于个人数字助理(PDA)的便携式血细胞自动计数系统.本系统具有操作简便、体积小、准确度高等优点,能够满足野外血细胞计数检验的需要.系统包括显微镜、CCD摄像头、PDA,并采用eVC++4.0编程,实现了WIN CE操作系统下细胞图片的实时观察与处理,直接获得细胞...     

A new feature-preserving mesh-smoothing algorithm

We present a novel mesh denoising and smoothing method in this paper. Our approach starts by estimating the principal curvatures and mesh saliency value for each vertex. Then, we calculate the uniform principal curvature of each vertex based on the weighted average of local principal curvatures. After that, we use the weighted bi-quadratic Bézier surface to fit the neighborhood of each vertex using the least-square method and obtain the new vertex position by adjusting the parameters of the fitting surface. Experiments show that our smoothing method preserves the geometric feature of the original mesh model efficiently. Our approach also prevents the volume shrinkage of the input mesh and obtains smooth boundaries for non-closed mesh models.     

Spare parts inventory control considering stochastic growth of an installed base

Installed base is a measure describing the number of units of a particular system actually in use. To maintain the performance of the installed units, spare parts inventory control is extremely important and becomes very challenging when the installed base changes over time. This problem is often encountered when a manufacturer starts to deliver a new product to customers and agrees to provide spare parts to replace failed units in the future. To cope with the resulting non-stationary stochastic maintenance demand, a spare parts control strategy needs to be carefully developed. The goal is to ensure that timely replacements can be provided to customers while minimizing the overall cost for spare parts inventory control. This paper provides a model for the aggregate maintenance demand generated by a product whose installed base grows according to a homogeneous Poisson process. Under a special case where the product’s failure time follows the exponential distribution, the closed form solutions for the mean and variance of the aggregate maintenance demand are obtained. Based on the model, a dynamic (Q, r) restocking policy is formulated and solved using a multi-resolution approach. Two numerical examples are provided to demonstrate the application of the proposed method in controlling spare parts inventory under a service level constraint. Simulation is utilized to explore the effectiveness of the multi-resolution approach.     

超声波全自动探伤电气控制与应用

在超声波探伤工艺中为了减少检测盲区,主要由传感器对现场的信号进行采集,用PLC编程软件实现钢管追尾、自动分选等工艺步骤,由变频器对辊道电机传动加以速度控制.采用变频调速后产生的电磁干扰加上生产现场其他各种干扰,引起超声探伤仪出现误报警,因此采取了一系列抗干扰措施.     

A structured P2P network based on the small world phenomenon

In this paper, we propose a new structured P2P overlay network, named SW-Uinta(small-world). In order to reduce the routing latency, we firstly construct the Uinta network in which both physical characteristics of network and data semantic are considered. Furthermore, based on Uinta, a nondeterministic caching strategy is employed to allow for poly-logarithmic search time while having only a constant cache size. Compared with the deterministic caching strategy proposed by previous P2P systems, the nondeterministic caching strategy can reduce communication overhead for maintaining the routing cache table. Cache entries in the cache table of peer nodes can be updated by subsequent queries rather than only by running stabilization periodically. In the following, a novel cache replacement scheme, named the SW cache replacement scheme, is used to improve lookup performance, which has proved to satisfy the small-world principle. So we call this network SW-Uinta(small-world). After that, according to the theoretical analysis, it can be proved that SW-Uinta(small-world) can get O((log ² N)/k) search time with O(k) cache size. Lastly, the performance of SW-Uinta(small-world) is compared with those of other structured P2P networks such as Chord and Uinta. It shows that SW-Uinta(small-world) can achieve improved object lookup performance and reduce maintenance cost.