分档布鲁姆过滤器的查询算法

布鲁姆过滤器是一种能够简洁地表示集合并支持集合查询的数据结构,广泛应用于数据库、网络和分布式系统中.针对现有的布鲁姆过滤器没有考虑查询失效代价这一缺陷,文中提出一种新的代价敏感的分档布鲁姆过滤器查询算法.它将元素根据不同的查询代价分为不同的子集,通过考查每档子集最低查询失效率的关系,建立由每档子集合最低查询失效假阳性概率表示的集合最低查询失效总代价目标函数,使用类目标函数梯度遗传算法获得每档的最优Hash函数个数ki,完成集合到向量的映射与查找.仿真实验结果表明,使用新结构的查询算法和标准布鲁姆过滤器算法相比,所用的查询计算时间基本相同,因为区分对待集合元素,查询失效总代价仅为标准算法的27%.     

用于CMOS电路平均功耗快速模拟的输入向量对序列压缩方法：理论与实践

过大的平均功耗使芯片产生较多的热量,降低芯片的可靠性及性能,严重时会损坏芯片,因此有效地对电路平均功耗做出精确的估计非常重要。由于实际电路存在时间延迟,而考虑延时的电路功耗模型计算量较大,用模拟方法求取电路平均功耗非常耗时。为了在较短的时间内对VLSI电路的平均功耗做出较为可信的估计,该文提出了一套电路功耗分析理论,并由此给出了一种用于CMOS电路平均功耗快速模拟的输入向量对序列压缩方法,ISCAS85及ISCAS89电路集的实验结果表明这种估计方法具有平均功耗估计值准确和加速明显的优点。     

可编程序逻辑阵列的故障模型

人们在考虑可编程序逻辑阵列(以下简称PLA)的测试及自校验的设计时,必须分别考虑固定型故障、交叉点故障、短路故障等几种故障模型。本文给出一个统一的故障模型,并指出,只要考虑单一和多重交叉点故障就自然包括考虑了固定型单故障及除输出线短路之外的短路单故障,最后,对于该故障模型所作的若干假定的合理性与必要性进行了讨论。     

N为偶数的并发差错可定位N-模冗余结构

N－模冗余结构是一种广泛应用的容错结构，其有效性是建立在它所包含的故障模型块数不超过[（N－1）／2]的假设之上的，而破坏该假设的可能途径有故障累积和同时故障，防止故障模块累积的方法之一是使冗余系统具有故障定位能力，然后及时地将故障模块予隔离和替换。传统的静态和动态硬件冗余结构或都不具有故障定位能力，中者不提供显式的故障定位信息，并且对附电路本身的故障是无法处理的，为此，针对静态硬件冗余结构，作者等人曾提出了N为奇数情况下的差错定位解决方案，而该文则提出了N为偶数情况下的相应解决方案。     

基于布尔过程的组合电路波形模拟

工作频率高和定时严格是现代集成电路的特点,它们要求数字系统模拟器不但可以模拟电路的逻辑行为,而且可以精确地模拟电路的定时特性。文中提出了一个基于布尔过程的波形模拟途径,并介绍了它的理论基础、主要算法思想、所采用的技术、SPICE验证以及实验结果。     

网络容错与安全研究述评

在当今的研究开发、设计、制造和建设中，“网络”、“容错”和“安全”是三个不同的领域，但是它们相互交叉，密不可分，三个领域的研究工作者需要协同合作，才能达到用户对安全可靠的实用要求，该文用若干具体技术问题说明这种交叉和融合，这一趋势从国际研究与发展中看得越来越清楚，需要引起国内专家和管理部门的重视。     

我所理解的“软件定义的网络”

<正>因特网运行了几十年,获得了大发展,如今已面临许多问题。所以,下一代互联网,大家都关心。前几年,以内容为中心的网络曾经风行过,方案很多。最近,看见国内许多权威人士在各种场合大谈SDN,介绍SDN,看来在国际上已有一定影响,已经得到产业界的高度重视[1,2]。但是,看了国内的一些介绍,总是不甚了了,都是比较宏观,比较笼统抽象,看不出来与现在的因特网有什么不同。介绍一个新东西,有两种方法。一种     

一种保留进位阵列乘法器的分析

复杂的VLSI电路的分析,对设计验证、故障诊断与测试都至关重要.对于一个用某种连结性语言描述的几千个门以上的电路,除了用CAD工具去处理之外,人们对它无法理解,没有直观的印象.电路图很难画,画出来也很难读懂.因此,与自顶向下的设计相反,研究自下而上的分析方法很有必要.本文介绍一种电路的结构分析方法.基于此方法,我们分析出国际通用的ISCAS十个电路实例中的C6288是一种保留进位阵列乘法器.因而对C6288的功能、结构都搞得一清二楚.     

基于索引的准同步检查点的重新计时策略

基于索引的分布式检查点算法利用了Lamport逻辑时钟的思想来保证形成全局一致性检查点(或者恢复线)。作为一种准同步方法,基于索引的检查点算法具有异步检查点算法的灵活性,且能像同步算法一样避免多米诺效应。本文在著名的BCS算法的基础上提出了一种减少基本检查点数目的优化策略--重新计时法。最后,通过模拟实验证明了这种改进策略的有效性。