计算机研究与发展 2001年 38卷 12期

栏目

选择全部

邻居发现协议的形式化测试

田军, 张玉军, 于东, 付晓宇, 郑红霞, 李忠诚

2001, 38(12): 1409-1417.

摘要

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

骆祖莹, 闵应骅, 杨士元

2001, 38(12): 1418-1422.

摘要

基于扫描的低测试功耗结构设计

徐磊, 孙义和, 陈弘毅

2001, 38(12): 1423-1428.

摘要

对实际数字电路中冗余故障的分析

梁业伟, 杨志娟, 石茵, 魏道政

2001, 38(12): 1429-1434.

摘要

基于标号变迁系统的测试集自动生成

蒋凡, 宁华中

2001, 38(12): 1435-1445.

摘要

路由协议测试的窗口黑盒模型和多通道的测试方法

赵邑新, 韩博, 尹霞, 吴建平

2001, 38(12): 1446-1453.

摘要

动态网络环境下的多Agent移动合作系统

王敏毅, 周明天, 姚绍文

2001, 38(12): 1454-1460.

摘要

一种新型的基于RED的逐节拥塞控制算法

庞斌, 高文, 刘喜成, 向阳朝

2001, 38(12): 1461-1465.

摘要

一种基于主特征的几何空间模糊推理方法

李辉, 张宁, 许卓群, 史忠植

2001, 38(12): 1466-1474.

摘要

基于神经网络的混沌加密算法

赵嘉莉, 罗四维, 温津伟

2001, 38(12): 1475-1479.

摘要

主体命名方式AST

钟石强, 史忠植, 田启家

2001, 38(12): 1480-1485.

摘要

用线性多步法训练神经网络

许少华, 梁久祯, 何新贵

2001, 38(12): 1486-1490.

摘要

对象依赖集合性质的研究

吴永辉, 周傲英

2001, 38(12): 1491-1498.

摘要

利用本体簇生成标准概念模式

吴国文, 顾宁, 施伯乐

2001, 38(12): 1499-1504.

摘要

基于Web的实时协同编辑系统中的一致性控制

陈岭, 陈根才, 蔡海梁

2001, 38(12): 1505-1511.

摘要

可数无穷多极值点复映射族计算机图形化研究

陈宁, 朱晓玲

2001, 38(12): 1512-1519.

摘要

《计算机研究与发展》2001年(第38卷)总目次

2001, 38(12): 1520-1525.

摘要

JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT Vol.38 CONTENTS

2001, 38(12): 1526-1532.

摘要

中国科学院计算技术研究所全面展开网格研究

2001, 38(12): 1533-1533.

摘要

联想研究院简介

2001, 38(12): 1538-1538.

摘要