计算机工程与科学期刊
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030

计算机工程与科学

Computer Engineering and Science
曾用名: 电子计算技术

CSCDJSTCSTPCD

影响因子 0.8592
本刊系国防科技大学计算机学院主办的计算机类综合性学术刊物,属中国计算机学会会刊,已先后被列为中文核心期刊、中国科技核心期刊、中国学术期刊(光盘版)全文入编期刊、中国科学引文数据库来源期刊(CSCD核心)、中国学术期刊综合评价数据库来源期刊。
主办单位:
国防科学技术大学计算机学院
期刊荣誉:
中文核心期刊、中国科技核心期刊、CSCD核心期刊   湖南省优秀期刊  首届国防科技期刊优秀期刊 
ISSN:
1007-130X
CN:
43-1258/TP
出版周期:
月刊
邮编:
410073
地址:
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
文章浏览
目录
  • 作者: 刘宏伟 岳晓光 曲峰 杨孝宗
    发表期刊: 2005年4期
    页码:  1-2,18
    摘要: NHPP类软件可靠性增长模型已经成为软件可靠性工程实践中非常成功的工具,从某些模型的一些共同特征出发,研究了NHPP类软件可靠性增长模型的有限通用框架,提出了一个既考虑软件测试的不完美性、故...
  • 作者: 刘予 李文武
    发表期刊: 2005年4期
    页码:  6-7,13
    摘要: 关键的负载测试对于降低大型软件的风险至关重要.在实施负载测试的几种方法中,基于硬件与虚拟用户的测试方法的可行性、可实施性都很强.本文以Rational性能测试工具为例,给出了一个基于硬件与虚...
  • 作者: 张大方 罗元盛 闵应骅
    发表期刊: 2005年4期
    页码:  8-10
    摘要: 基于索引的分布式检查点算法利用了Lamport逻辑时钟的思想来保证形成全局一致性检查点(或者恢复线).作为一种准同步方法,基于索引的检查点算法具有异步检查点算法的灵活性,且能像同步算法一样避...
  • 作者: 周军海 张大方 杨金民
    发表期刊: 2005年4期
    页码:  11-13
    摘要: 本文运用缓冲区和增量有盘检查点相结合的技术提出了一个快速可靠的改进N+1奇偶校验检查点方案.在N个应用进程运行时,通过设置一个专用的检查点进程来实现N+1的奇偶校验,并且利用检查点机在检查点...
  • 作者: 宫云战 曹文静
    发表期刊: 2005年4期
    页码:  16-18
    摘要: 由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式LRAUC错误为检测对象,研究了表达式测试方法.本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下...
  • 作者: 刘洪涛 江建慧 赵则章
    发表期刊: 2005年4期
    页码:  19-21,24
    摘要: 软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性.健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成.本文以Linux为例,简要介绍了...
  • 作者: 张大方 王鹏飞 缪力
    发表期刊: 2005年4期
    页码:  22-24
    摘要: Exception是一类特殊的对象,它在Java方法出错时被创建,并利用try/catch/finally机制抛出、处理异常.本文提出了一种合理的新方法,在系统依赖图中表示异常处理模块,利用...
  • 作者: 李华伟 沈培福
    发表期刊: 2005年4期
    页码:  25-28,53
    摘要: 超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一.尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少.因此,如果能在对电路验证或测试前进行静态定时分析,找出那些...
  • 作者: 汪昱 邝继顺
    发表期刊: 2005年4期
    页码:  29-30,59
    摘要: 检测CMOS电路中的开路故障通常需要使用测试向量对.内建自测试(BIST)作为一种有效的测试技术可以大大降低测试开销.本文采用一种具有规则性、模块化和层叠结构的自动控制单元(CA),来构造产...
  • 作者: 徐拾义
    发表期刊: 2005年4期
    页码:  31-35,91
    摘要: 本文提出了一种对VLSI电路功能测试的方法,可以同时检测和定位VLSI电路输入和输出端上的固定故障和桥接故障,而不需要知道它们的内部逻辑结构.因而,对于简化测试过程、降低测试成本, 具有十分...
  • 作者: 向东 陈明静
    发表期刊: 2005年4期
    页码:  36-39
    摘要: 在本文中,我们提出了一种改进的扫描森林结构并将其运用到基于扫描的自测试中,目的是在保证故障覆盖率的同时,将电路的扫描测试代价降低到非扫描可测试性设计的水平.为了构造这种适合于自测试(以下简称...
  • 作者: 徐勇军 李华伟 李晓维 檀彦卓 韩银和
    发表期刊: 2005年4期
    页码:  40-42,65
    摘要: 存储器内建自测试是当前针对嵌入式随机存储器测试的一种经济有效的途径.它实质是BIST测试算法在芯片内部的硬件实现,形成"片上BIST测试结构",作为E-RAM核与芯片系统其他逻辑电路的接口,...
  • 作者: 刘志鹏 王云峰 薛宏熙 边计年
    发表期刊: 2005年4期
    页码:  46-48,95
    摘要: 本文主要介绍了层次化CDFG中标准控制结构和并行结构的扩充及转换方法,从而为在高层次SOC设计中真正使用HCDFG提供了基础.同时,文中还给出了HCDFG在系统验证中的作用,它为不同方法的混...
  • 作者: 江建慧 陈火军
    发表期刊: 2005年4期
    页码:  49-53
    摘要: 本文概述了近十年来VLSI电路的短路和开路缺陷及其故障建模的研究进展.本文将VLSI电路短路缺陷分为逻辑门内部的短路和逻辑门之间的互连短路两大类,重点介绍了栅氧短路和桥接故障模型.相应地,文...
  • 作者: 庞永刚 王慧强 贺劼
    发表期刊: 2005年4期
    页码:  54-56
    摘要: 事件注入是源于故障注入原理,可以用于对计算机网络可信性进行测评研究.本文分析了事件注入技术在可信性测评中的应用问题,对事件注入的几个关键指标进行了相应的分析,并探讨了事件注入技术不足之处和改...
  • 作者: 张大方 杨金民 王天锷
    发表期刊: 2005年4期
    页码:  57-59
    摘要: 本文在研究了国内外Byzantine协议的基础上提出了一种新的Byzantine一致性协议,即基于代理的Byzantine一致性协议.该协议按照Byzantine容错机制将所有参与运算的进程...
  • 作者: 孙志岗 李扎 王宇颖
    发表期刊: 2005年4期
    页码:  60-62
    摘要: 软件测试是提高软件可靠性的有效手段,健壮性是网络应用软件重要的质量因素.本文针对网络软件的特点,提出了一种测试网络软件健壮性的方法--通过对交互数据接口进行负载测试和接口容错测试,检验软件对...
  • 作者: 吴俊 张伟鹏 张大方 祝勇刚
    发表期刊: 2005年4期
    页码:  66-67,70
    摘要: 在对网格计算的研究中,有人考虑了计算资源中服务质量(QoS)因素,在对传统的Min-Min算法加以改进的基础上,提出了QoS Guided Min-Min算法.在此基础上,本文提出一种新的扩...
  • 作者: 张伟鹏 张大方 段智勇
    发表期刊: 2005年4期
    页码:  68-70
    摘要: 芝加哥大学提出了一个网格资源选择算法,能够同时满足单一资源选择和多个资源选择的要求.但是,由于算法一开始就选择了资源集合中单机最强的节点,所以很容易陷入局部最优,且算法不具备容错能力.针对这...
  • 作者: 张伟鹏 张大方 李明杰
    发表期刊: 2005年4期
    页码:  71-72,86
    摘要: 本文通过分析数据包对的分离时间与背景流量之间的关系,提出了一种改进的基于包对模型测量端到端路径有效带宽的方法(ABwPP),可以直接测量路径的有效带宽而不需已知瓶颈带宽.NS-2上的模拟实验...
  • 作者: 张大方 曾彬 黎文伟
    发表期刊: 2005年4期
    页码:  76-77,83
    摘要: 目前,因特网端到端行为的研究多集中在包延迟、包丢失等测量指标的研究上,对包乱序行为却没有深入的研究,也缺乏能精确、全面反映包乱序程度的评价指标.本文针对包乱序行为,提出了一种基于概率密度函数...
  • 作者: 徐中伟 胥幸燕
    发表期刊: 2005年4期
    页码:  78-79,110
    摘要: 本文介绍了铁路车站站场图的结构,阐述了站场图逻辑语义的含义及站场图构成规则库的构建,提出了一种基于图搜索技术的站场图逻辑语义解析算法,并将该算法在铁路计算机联锁软件测试评估平台子系统的站场C...
  • 作者: 吴强 薛宏熙 赵康 边计年
    发表期刊: 2005年4期
    页码:  80-83
    摘要: C语言是系统设计中一种主要的系统描述语言,在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图.本文介绍了一种层次化控制数据流图HCDF...
  • 作者: 王晖 袁国斌 陶俊
    发表期刊: 2005年4期
    页码:  84-86
    摘要: 本文对管网校合数学模型进行改进,提出了用遗传算法进行管网校合的方法,并对广义简约梯度法和遗传算法进行了比较和分析,最后指出了算法的不足和以后研究的主要方向.
  • 作者: 张民选 蒋江 邢座程
    发表期刊: 2005年4期
    页码:  87-91
    摘要: 本文提出了一种多线程微处理器微体系结构EDSMT.EDSMT有效结合显示并行指令计算EPIC和动态同时多线程DSMT技术,通过软、硬件协同的方式充分开发和有效支持多个层次的并行性.EDSMT...
  • 作者: 卓莹 李楠 王宏 陈琳 龚正虎
    发表期刊: 2005年4期
    页码:  92-95
    摘要: 网络拓扑推理是网络管理系统的基本功能之一,AS级拓扑推理是其重点和难点.本文概括了目前已提出的,基于路径和基于Traceroute的两类AS级拓扑推理算法;针对它们的优缺点,提出了一种综合优...
  • 作者: 侯方勇 刘云生 周进
    发表期刊: 2005年4期
    页码:  99-101,110
    摘要: 射频通信技术极大地扩展了计算机的应用领域与灵活性,也对相关工程技术人员提出了新的要求.本文针对计算机射频通信的设计与实现,首先通过系统构成的实例,描述了此类系统基本的软硬件组成;然后,针对某...
  • 作者: 孙永节 陈书明 马剑武
    发表期刊: 2005年4期
    页码:  102-104
    摘要: 本文介绍了深亚微米集成电路设计中串扰的成因及其对信号完整性的影响,论述了串扰分析和设计解决的一般方法,对于实际设计具有一定的理论指导意义和应用参考价值.本文最后指出了我们工作的进一步研究方向...
  • 作者: 江东 胡春媚 郭阳 陈书明 马剑武
    发表期刊: 2005年4期
    页码:  105-107,110
    摘要: 本文讨论了基于标准单元ASIC设计的逻辑综合优化问题,总结提出了逻辑综合优化的四种方法:系统和算法级优化、代码级优化、电路级优化和部分全定制的方法,并给出了这些方法的应用场合和应用实效.
  • 作者: 左华 张帷 陈祖豪
    发表期刊: 2005年4期
    页码:  108-110
    摘要: 本文对自由振动系统及阻尼受迫振动系统进行了分析,指出提高系统抗振强度所需改进的各项因素,并对上述因素进行综合考虑,提出了专门针对小空间电子元器件减振的可行方式.最后,通过实验验证了减振模型的...

计算机工程与科学基本信息

刊名 计算机工程与科学 主编 王志英
曾用名 电子计算技术
主办单位 国防科学技术大学计算机学院  主管单位 国防科学技术大学
出版周期 月刊 语种
chi
ISSN 1007-130X CN 43-1258/TP
邮编 410073 电子邮箱 jsjgcykx@vip.163.com
电话 0731-84576405 网址
地址 湖南省长沙市开福区德雅路109号国防科技大学计算机学院

计算机工程与科学评价信息

期刊荣誉
1. 中文核心期刊、中国科技核心期刊、CSCD核心期刊
2. 湖南省优秀期刊
3. 首届国防科技期刊优秀期刊

计算机工程与科学统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊