创新需要实践来检验

 在中国大众创业、万众创新的热潮中, 年轻人热情投入其中是件好事。它是推动中国经济发展的引擎, 是在经济迈入新常态阶段, 政府为万众提供的新机遇、新平台。但是, 热情中要有几分冷静。无论创业或者创新, 都可能失败。当然, 成功也有大成功和小成功之别, 像谷歌、微软、阿里、华为等公司那样的大成功极少。对大多数创新者来说, 一些比较小的创新较多, 譬如设计一个新的APP、做某一种数据的分析等等。     

计算科学和计算机工程的基础研究

计算机和信息技术的发展需要基础研究, 包括应用基础研究. 计算机和信息技术人才培养和研究队伍的凝聚, 要求澄清有关计算机和信息技术的科学基础. 简述了计算科学的含义以及计算机工程研究中属于基础研究或应用基础研究的几种主要类型及我国研究工作中存在的若干弊端.     

关于fault与failure,MTBF与MTTF的译名

本文阐述了fault与failure,以及MTBF与MTTF的确切含义.建议分别译为故障、失效,平均失效间隔时间和失效前平均时间.     

一种结构化P2P系统的拓扑匹配算法

针对结构化P2P系统提出了基于事件驱动的拓扑匹配算法。在该算法中,节点加入系统时依据系统全局信息找到与该节点最近的节点作为邻居节点;当有节点离开或者加入系统从而导致系统覆盖网络拓扑结构发生变化时,只有受影响的节点做出适当的调整。事件驱动算法不是只利用系统全局信息或者只利用系统局部信息,而是二者的结合,从而减少了算法带来的开销。在CAN系统上的仿真试验表明事件驱动算法可以使系统的平均逻辑链路延迟/平均物理链路延迟降低65%左右,而用SAT-match与界标簇算法结合的方法只能降低50%左右。同时,算法带来的开销也是非常小的。     

有限状态机的行为阶段聚类及其对测试的应用

提出了有限状态机的行为阶段和行为阶段聚类的新概念, 它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别. 给定一个有限状态机的低层描述, 可以对它的状态按某种规则进行聚类来简化对有限状态机的分析. 给定一个有限状态机的行为描述, 可以直接从中提取行为阶段, 并通过对行为阶段进行聚类来分析它的功能. 详细阐述了对状态或者行为阶段进行聚类的理论和方法. 行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中. 作为行为阶段聚类描述的一种应用, 建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型, 并利用对行为阶段的聚类来加速基于此故障模型的测试产生, 实现了一个寄存器传输级的自动测试产生系统ATCLUB. 实验结果表明, ATCLUB与其他测试产生系统相比有很高的效率, 并且能够产生相当短的测试序列, 以达到对电路门级固定型故障的较高的覆盖率.     

CMOS VLSI电路无时延平均功耗和有时延平均

从理论上阐述了无时延平均功耗和有时延平均功耗之间的单调递增关系, 用计算速度快的无时延理想电路功耗作为计算速度慢的有时延实际电路功耗的评估标准, 并给出了它在电路平均功耗快速估计、最大功耗快速估计和电路测试功耗快速优化三个领域中的应用. 提出了一种先用无时延功耗对较长的输入向量对序列进行快速压缩、再用压缩序列快速模拟出平均功耗(或最大功耗)的新方法. 与直接用未压缩序列进行模拟的传统方法相比, 实验结果表明: 对于平均功耗快速估计, 在保证估计精度(误差小于3.5%)的前提下, 将模拟速度提高了6~10倍; 对于最大功耗快速估计, 在保证估计精度(误差小于5%)的前提下, 将模拟速度提高了6~8倍. 在测试功耗快速优化领域, 与测试功耗直接优化法和现有的Hamming距离优化法相比, 无时延功耗优化法的优化效率最高, 它可以用较少的时间(缩短为 16.84%), 取得较好的优化效果(测试功耗降低35.11%).     

微处理机的功能测试

微处理机的功能测试无论对微处理机的设计、生产和使用都是非常重要的.本文是Thatteand Abraham给出方法的扩展和补充.本文的测试方法能诊察某些文献^[1]给出的方法不能诊察的故障,利用一个测试,检查几种类型的功能故障,而使测试简化.     

CMOS VLSI电路无时延平均功耗和有时延平均功耗之间的单调递增关系及其应用

从理论上阐述了无时延平均功耗和有时延平均功耗之间的单调递增关系,用计算速度快的无时延理想电路功耗作为计算速度慢的有时延实际电路功耗的评估标准,并给出了它在电路平均功耗快速估计、最大功耗快速估计和电路测试功耗快速优化三个领域中的应用.提出了一种先用无时延功耗对较长的输入向量对序列进行快速压缩、再用压缩序列快速模拟出平均功耗(或最大功耗)的新方法.与直接用未压缩序列进行模拟的传统方法相比,实验结果表明:对于平均功耗快速估计,在保证估计精度(误差小于3.5%)的前提下,将模拟速度提高了6～10倍;对于最大功耗快速估计,在保证估计精度(误差小于5%)的前提下,将模拟速度提高了6～8倍.在测试功耗快速优化领域,与测试功耗直接优化法和现有的Hamming距离优化法相比,无时延功耗优化法的优化效率最高,它可以用较少的时间(缩短为16.84%),取得较好的优化效果(测试功耗降低35.11%).     

计算科学的回顾与前瞻

计算机的发明及计算技术的进步是20世纪的重大历史事件,深刻地影响着我们的社会以及人们的日常生活,使我们进入了一个所谓信息时代.试图从计算科学的角度,就计算科学、集成芯片、软件和人机互动等方面的问题,略谈作者的一些看法,并对计算科学的发展进行回顾与展望.     

关于dependable computing和trusted computing 的翻译

dependable computing翻译成可信计算已有24年的历史,trusted computing应该翻译成信任计算,它属于安全计算的范畴。