The column protocol: A high availability and low message cost solution for managing replicated data

This paper presents a quorum-based replica control protocol which is resilient to network partitioning. In the best case, the protocol generates quorums of a constant size. When some replicas are inaccessible, the quorum size increases gradually and may be as large as O(n), where n is the number of replicas. However, the expected quorum size is shown to remain constant as n grows. This is a desirable property since the message cost for accessing replicated data is directly proportional to the quorum size. Moreover, the availability of the protocol is shown to be comparably high. With the two properties—constant expected quorum size and comparably high availability—the protocol is thus practical for managing replicated data.     

二维直线运动平台几何误差建模与数字化分析

针对二维直线运动平台的定位精度受到绕X、Y、Z三个方向转动产生的角位移误差和沿着这三个方向的线位移误差的影响,采用一种基于三维模型的数字化方法对这些几何误差进行分析。通过参考坐标系和齐次变换矩阵建立二维直线运动平台几何误差运动学模型,并基于误差模型对运动平台的各项几何误差进行分配、计算和合成。基于以上误差分配原则对运动平台使用的导轨提出形位公差要求。通过上述工作,在虚拟样机设计阶段能对所设计结构几何误差进行预测,为后续精密运动的设计提供可靠的参考。     

中凸变椭圆活塞车削控制参数优化

本文提出了基于Matlab环境下的，利用Matlab的控制系统工具箱、优化工具箱的功能，对车削中凸变椭圆活塞的直线电机的PID控制模块的比例、积分、微分参数进行优化的方法。得到了使直线电机PID控制系统控制误差最小化的次优解。实际系统的仿真试验表明系统的控制误差得到了明显的改善。     

不完备XML信息系统的粗糙集模型

随着XML成为网络信息表示和交换的标准以及不确定数据的广泛存在,不确定XML数据库管理技术成为了当今研究的热点。首先,允许XML文档叶子节点的信息值为丢失的或遗漏的空值,提出不完备的XML信息系统;其次,提出节点的相容关系、限制相容关系以及阈值相容关系等概念,基于粗糙集理论分别定义这3种关系对应的粗糙集模型;最后,通过实例分析表明,限制相容关系模型能克服相容关系模型分类粗糙的缺点,阈值相容关系模型通过合理地设置阈值可达到更好的分类效果,从而提高了对XML数据的预测、分类的精确度。     

基于相容关系的基因选择方法

有效的基因选择是对基因表达数据进行分析的重要内容。粗糙集作为一种软计算方法能够保持在数据集分类能力不变的基础上,对属性进行约简。由于基因表达数据的连续性,为了避免运用粗糙集方法所必需的离散化过程带来的信息丢失,将相容粗糙集应用于基因的特征选取,提出了基于相容关系的基因选择方法。首先,通过i检验对基因表达数据进行排列,选择评分靠前的若干基因;然后,通过相容粗糙集对这些基因进一步约简。在两个标准的基因表达数据上进行了实验,结果表明该方法是可行性和有效性的。     

近无损压缩算法在HOLTER系统中的应用研究

以单片机为主控器件的HOLTER(动态心电监护仪)系统的实时性和临床诊断的保真度要求都较高,这就要求使用于其上的压缩算法应简单高效且近无损,而目前针对此类设备的压缩算法虽然有较高的压缩率,但失真度和复杂度也较高。本文提出一种针对HOLTER系统的低复杂近无损预测算法,实验表明,该方法在保证一定压缩率的条件下,具有很好的实时性和保真度。     

Mathematical model for quality cost optimization

Quality engineering uses robust design in order to improve quality by reducing the effects of variability. Variability of the product can be reduced by two stages. One is parameter design which is adjustable to the nominal value so that output is less sensitive to the cause of variability. Other one is tolerance design which is to reduce the tolerance in order to control variability. All costs incurred in a product life cycle can be divided into two categories—manufacturing cost before the sale to the customer and quality loss after the shipment of the product to the customer. It is very important to find the optimum tolerances for each of the characteristics. A balance between manufacturing cost and quality loss should be arrived at in the tolerance design for quality improvement and cost reduction. For the case of Nominal-The-Best, a mathematical model is developed in order to determine the optimum product tolerance and minimize the total cost which includes the manufacturing cost and the quality loss. Since the process capability index (C_pm) shows the balance of quality responsibility between the design and the manufacturing engineers, this is taken as the basis in developing the functional relationship between the variability of the product and the tolerance. Based on these relationships, the total cost of model can be expressed as a function of product tolerance from which the optimal tolerance limits can be found out. Finally, using this model a tolerance design approach that increases the quality and reduces the cost can be achieved in the early stages of the product process design stage itself.     

Fabrication uncertainties and yield optimization in MEMS tunable capacitors

Intrinsic uncertainties of MEMS fabrication processes can severely affect the performance of devices because the tolerance ranges of these processes are relatively large and improvement of process accuracy is very expensive. Therefore, the analysis of fabrication uncertainties and their outcome on a device performance is a vital task before finalizing the design. In this paper, the effects of process inaccuracy on the performance of MEMS tunable capacitors are studied. Design parameters such as dimensions of electrodes and the initial gap between them and the stiffness of supporting beams are considered as random variables. The variation of these parameters within tolerance ranges drastically alters the capacitor's actual response from the desired one and results in low yield. Hence, design optimization with the objective of maximizing yield in early steps becomes very important. An effective method for yield optimization of MEMS capacitors under given fabrication uncertainties is introduced. The method utilizes aspects of the advanced first-order second-moment (AFOSM) reliability method to find a linearized feasible region to estimate the yield. The yield is calculated directly using the joint cumulative distribution function (CDF) over the tolerance box requiring no numerical integration and avoiding computational complexity. The optimal design verified by Monte-Carlo (M-C) simulation exhibits a significant increase in the yield. The main advantage of this method comparing to other design optimization methods is that the proposed method does not change the design topology or fabrication accuracy. It increases the yield by finding the optimum design variables as demonstrated in this paper.     

入侵容忍系统的安全性量化方法分析

入侵容忍系统的安全性量化评估技术目前已取得了初步研究成果。本文首先简要阐述该技术的进展情况,然后从构建安全模型和分析攻击行为两大方面,横向比较了目前国内外在该领域的研究成果,并进行总结和分析,提出了一些未来的研究设想。