字符串谓词边界的ON—OFF测试点自动生成算法

针对字符串谓词边界 ,提出了一个ON—OFF测试点自动生成算法。通过对字符串输入变量的每一字符 ,构造其线性分支函数 ,进行Korel的分支函数极小化 ,动态生成给定字符串谓词边界的ON—OFF测试点。实验表明 :该算法是行之有效的。     

一种新的CMOS组合电路最大功耗快速模拟方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗做出精确的估计非常重要。由于在实际电路中存在的时间延迟,而考虑延时的电路功耗模型计算量较大,因此用模拟方法求取电路最大功耗非常耗时。为了在尽可能短的时间内对VLSI电路的最大功耗做出较为可信的估计,首次提出了二阶段模拟加速方法。对ISCAS85电路集的实验结果表明,这种估计方法具有最大功耗估计值准确和加速明显的优点。     

布尔过程论的实验研究

布尔过程论是1994年提出的一种高速电路设计与测试分析理论,是布尔代数在时域中的扩充,适用于IC定时研究与分析。但布尔过程论的实践可行性受到一些国际同行的质疑,该文的工作旨在解释布尔过程论的物理意义以及构成布尔过程论的实际基础。文中采用SPICE软件模拟电路中的电压波形,对一些电路例子进行模拟,发现模拟结果与用布尔过程得出的结果是一致的,这就以实验验证了布尔过程论。同时,又通过实验得到了布尔过程论中提出的一些参数的数值。     

一种新的CMOS电路最大功耗估计方法

过大的峰值功耗会使芯片承受过大的瞬间电流冲击,降低芯片的可靠性及性能,因此有效地对电路最大功耗作出精确的估计非常重要,为了在尽可能短的时间内对VLSI电路的最大功耗下限作出较为可信的估计,给出了一种新的CMOS电路最大功耗估计方法,ISCAS85电路集的实验结果表明这种估计方法不仅对于无时间延迟功耗计算模型,而且对于有时间延迟功耗计算模型,都具有最大功耗估计值较准确和耗时短的优点。     

我国金属矿山防尘技术回顾与展望

本文概述了建国以来我国金属矿山防尘技术领域所取得的主要成就和经验，扼要指出了目前我国金属矿山防尘工作存在的关键问题及其研究重点。     

一种新型水工混凝土病害修复材料

文章简述了3种主要剥蚀病害的成因,剥蚀病害传统修复材料的诸多缺陷,介绍了一种事前预防病害发生和病害发生后表面处理适用新型复合聚合物砂浆的优越性能及技术质量指标,并附施工方案。     

通路时延测试综述

本文对目前通路时延测试领域的主要研究成果进行了综述，阐述了主要的通路时延可测试性及相应的单通路时延故障的分类，并介绍了三种精简通路集的通路时延测试方法。     

Internet中的包延迟分布与包丢失关系研究

包延迟的分布特征是Internet端到端行为特征的一个重要组成部分，前人已在该方面进行了大量研究，但许多研究结论只适用于丢包率较小的情况，通过研究我国科技网和教育网上34条端到端路径上的延迟特征，得出了如下结论：（1）包延迟的分布特征与丢包率存在一定的关系；（2）在丢包率较小的情况下，包延迟的分布多具有单峰性，但随着丢包率的增大，包延迟的分布不再具有单峰性，而是呈现出越来越分散的特点；（3）随着丢包率的增大，固有延迟的发生次数呈现逐渐减少的趋势，当丢包率增大到一定程度，固有延迟的发生次数就很少了。     

我们的目标:“三峡龙”——重庆三峡水利电力(集团)股份有限公司发展记

经过1994年至1997年三年多的努力,重庆三峡水利电力集团公司已由国有企业改制成股份制企业,特别是由定向募集公司改造成了社会募集公司,并且发展成一家具有控股、参股、联营、协作等多种关联关系的集团公司。3年时间,完成投资5亿余元,装机逾6万千瓦,年实现利润总额分别为4560万元、4912万元、5336万元,年每股净利则达0.408元、0.429元、0.438元。这样的规模和效益,是过去无法做到的。