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

计算机工程与科学

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

CSCDJSTCSTPCD

影响因子 0.8592
本刊系国防科技大学计算机学院主办的计算机类综合性学术刊物,属中国计算机学会会刊,已先后被列为中文核心期刊、中国科技核心期刊、中国学术期刊(光盘版)全文入编期刊、中国科学引文数据库来源期刊(CSCD核心)、中国学术期刊综合评价数据库来源期刊。
主办单位:
国防科学技术大学计算机学院
期刊荣誉:
中文核心期刊、中国科技核心期刊、CSCD核心期刊   湖南省优秀期刊  首届国防科技期刊优秀期刊 
ISSN:
1007-130X
CN:
43-1258/TP
出版周期:
月刊
邮编:
410073
地址:
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
出版文献量(篇)
8622
总下载数(次)
11
文章浏览
目录
  • 作者: 苗春雨 赵建民 陈丽娜
    发表期刊: 2011年3期
    页码:  82-89
    摘要: 本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的...
  • 作者: 封卫 曾一 李鹃 程全良 郭英君
    发表期刊: 2011年3期
    页码:  90-93
    摘要: 本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上,对传统缺陷管理流程进行改进,增加了缺陷排除有效性的度量方法;然后提出一种实用的软件缺陷管理流程,建立了一个以软件缺陷生命周期为基础的...
  • 作者: 侯苏宁 王戟 王昭飞 陈立前
    发表期刊: 2011年3期
    页码:  94-102
    摘要: 程序的正确性验证一直以来都是计算机科学中的一个挑战性问题,抽象解释理论为程序静态分析提供了一个通用框架,可以在编译时自动地推导程序的动态性质.基于抽象解释的数值程序分析可以自动推导程序中数值...
  • 作者: 刘慧 高建华
    发表期刊: 2011年3期
    页码:  103-107
    摘要: 给出了配对组合测试参数约束分类方法及相关定义.重点对有2值型约束的情况进行了研究,得出有2值型约束存在时虽然所需覆盖的配对数减少,但测试集不一定减小的结论;给出有2值型约束时测试集的最小下限...
  • 作者: 刘树锟 阳小华
    发表期刊: 2011年3期
    页码:  108-112
    摘要: 基于合约的程序设计是提高软件质量的一种重要技术,已经得到了很大的发展.合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果.作为合约的一种表达形式,程序不变量一般包含类不...
  • 作者: 聂孝亮 蒋旭 鲁智勇
    发表期刊: 2011年3期
    页码:  113-118
    摘要: 本文研究某型雷达对抗仿真训练系统的分析与设计两个方面问题.为了解决大型仿真系统联邦成员多且建模困难问题,围绕某型机栽雷达对抗仿真训练系统建设,应用面向对象技术分析系统,提高系统体系结构模型的...
  • 作者: 白勇军 赵勇 陈阳
    发表期刊: 2011年3期
    页码:  119-128
    摘要: 作为采办决策的支持手段,虚拟采办是以建模与仿真为工具对采办进度、费用、性能等作的综合论证,其要点包括复杂信息映射的一致性、多维动态仿真的并行和演进.本文以导弹武器装备采办为背景,研究虚拟采办...
  • 作者: 向文 张新访 李成华 金海
    发表期刊: 2011年3期
    页码:  129-135
    摘要: MapReduce是Google提出的分布式并行计算编程模型,用于大规模数据的并行处理.Ma-pReduce模型受函数式编程语言的启发,将大规模数据处理作业拆分成若干个可独立运行的Map任务...
  • 作者: 吕信 莫则尧
    发表期刊: 2011年3期
    页码:  136-140
    摘要: 在激光驱动惯性约束聚变的数值模拟中,通常使用光路追踪法来计算激光能量沉积.为了适应大规模、高效率的数值模拟需要,本文提出了分组流水线的光路追踪并行策略,能够充分提高大量光线在区域分解网格下的...
  • 作者: 倪应华 袁利永 金炳尧 马永进
    发表期刊: 2011年3期
    页码:  141-145
    摘要: 基于群体的增量学习(PBIL)算法有效结合了遗传算法和竞争学习的优点,运行过程简单,解决问题快速准确.本文提出将PBIL算法应用于求解C<'M><,N>组合优化问题,以物流中心选址优化问题为...
  • 作者: 张钊宁 彭宇行
    发表期刊: 2011年3期
    页码:  146-151
    摘要: MapReduce分布式编程模型为大规模数据密集型计算提供了重要的应用基础平台.其任务调度模型为单点控制模型,这种模型使得体系结构简单,任务调度易于控制,但同时也存在中心节点失效的问题.在H...
  • 作者: 杨应元
    发表期刊: 2011年3期
    页码:  152-158
    摘要: 目前自然语言处理系统难以正确解释部分复杂句子,其中的知识关系只能由操作者简化后再输入,如何使复杂的句子直接被计算机理解呢?本文针对这一问题而提出了自动识别关键字词的新算法.与人的大脑类似,知...
  • 作者: 才智杰 才让卓玛
    发表期刊: 2011年3期
    页码:  159-162
    摘要: 藏文字频统计是藏文信息处理的基础性工作,通过对藏文字的部件、音节、结构和字的频度与通用度等定量统计与定性分析,为藏文信息处理提供基础数据.藏文字是一种由藏文字构件横向和纵向组合而成的拼音文字...
  • 作者: 杨宁 杨种学 田丰春
    发表期刊: 2011年3期
    页码:  163-166
    摘要: 在现实世界中,有些对象比其它的更具有一般性,两个对象的相似度可能不对称.两个对象之间的相似关系可能既不对称又不传递,我们用弱相似关系来表示.本文提出了非对称冗余元组来处理模糊关系数据库中的弱...
  • 作者: 张仲明 张尔扬 杨军 许拔
    发表期刊: 2011年3期
    页码:  167-171
    摘要: 在加性高斯白噪信道条件下,采用置信度传播算法对LDPC码进行译码,需要精确估计信道信噪比用于计算接收比特的后验概率消息作为译码器的输入.信噪比值的错误估计称为信噪比失配.本文研究加性高斯白噪...
  • 作者: 周坤 李洪奇 贺旭 陈郁
    发表期刊: 2011年3期
    页码:  172-178
    摘要: SCA因解决了组件的标准化和装配问题而受到广泛关注,但是目前大多数SCA应用都是基于Tuscany Java容器而非Tuscany C++容器的,Tuscany C++容器只提供了基于Axi...
  • 作者: 任晓娜 向旭宇 张大方
    发表期刊: 2011年3期
    页码:  179-184
    摘要: 本文分析了DNA编码序列设计的目标及需要满足的约束条件H-measure、连续性、相似度、发夹结构、GC含量等约束,建立一种组合优化评价模型,通过引入基于权重的适应度函数来评价DNA序列集合...
  • 作者: 于华 罗剑玉 隋杰
    发表期刊: 2011年3期
    页码:  185-190
    摘要: 生化恐怖袭击事件是一类罕见但危害极大的突发事件.这类事件发生时,如何高效地利用有限的车辆等资源,在有限的时间内,将事发地受攻击人群尽快地送到附近的医院,并且使他们得到适当的治疗,是非常重要的...
  • 作者: 张聚梅 王洪伦
    发表期刊: 2011年3期
    页码:  191-193
    摘要: 本文根据遗传算法和模拟退火算法各自的优缺点,提出将遗传算法和模拟退火算法相结合的方法用在曲线拟合上,在B样条曲线拟合过程中设计了新的适应度函数和遗传算子,有效地解决了用遗传算法进行B样条曲线...
  • 作者: 李蜀瑜 袁东维
    发表期刊: 2011年3期
    页码:  194-198
    摘要: 在面向服务的环境下,由于Web服务本身的动态性和网络环境的不确定性,致使用户很难获得可信的高质量服务.当前基于反馈信息的信任评估方法没有考虑恶意评估对服务可信程度的影响,本文通过加入客观评价...
  • 作者: 刘运 殷建平 程杰仁 蔡志平
    发表期刊: 2011年4期
    页码:  1-7
    摘要: 分布式增速拒绝服务(DIDoS)攻击采用逐步提升发包速率的方式来造成受害者资源的慢消耗,较之传统的分布式拒绝服务(DDoS)攻击更具隐蔽性,如何尽可能早地将其捕获是一个亟待研究的问题.本文针...
  • 作者: 方勇 李兆斌 杨磊 池亚平
    发表期刊: 2011年4期
    页码:  8-12
    摘要: TNC架构在终端接入网络前对终端的平台身份和平台环境进行可信认证,保证了接入终端的可信,但这种可信认证存在单向性的局限,无法保证网络服务器的可信.EAP-TLS是802.1x中一种基于证书的...
  • 作者: 汪学明 董玉蓉
    发表期刊: 2011年4期
    页码:  13-18
    摘要: 为了解决签名方权限不同的问题,出现了许多存在特权集门限群签名方案.本文通过对一种ElGamal类型存在特权集的门限群签名方案的分析研究,发现该方案不满足群签名特性以及存在单签名不可区分的缺陷...
  • 作者: 刘波 王维 肖枫涛 陈新
    发表期刊: 2011年4期
    页码:  19-24
    摘要: 随着蠕虫传播速度的不断加快,所造成的威胁也越来越大.为快速检测蠕虫,本文描述了和蠕虫相关的三种重要的进程流量行为:类蠕虫流量中源端口总数、类蠕虫进程流量中源端口的变化频率以及进程流量中类蠕虫...
  • 作者: 刘悦 初国新 李保珠
    发表期刊: 2011年4期
    页码:  25-29
    摘要: 本文简要介绍了车载自组织网络和移动自组织网络中两个典型的路由协议:表驱动路由协议DSDV和按需路由协议AODV;还介绍了一个实用的移动模型,使仿真实验更加接近现实.在Linux下使用网络仿真...
  • 作者: 吴新华 盛苏英
    发表期刊: 2011年4期
    页码:  30-34
    摘要: 本文利用像素值替代和图像位置置乱相结合的方法进行图像信息的加解密,设计并实现了一个网络在线混沌图像保密通信系统,具有保密性和实时性.系统采用Lorenz和Logistic混沌系统,通过密钥同...
  • 作者: 冷明 刘冬生 曾小荟 李平 金士尧
    发表期刊: 2011年4期
    页码:  35-39
    摘要: 针对现有的SYN Flood攻击防御方法的不足,本文提出了一个基于TCP连接三次握手的新的防御模型.当系统检测到SYN Flood攻击后,立即把那些占用系统资源的带有典型攻击特征的第一次握手...
  • 作者: 倪伟 崔贯勋 李梁 王柯柯 苟光磊
    发表期刊: 2011年4期
    页码:  40-44
    摘要: 本文在对关联规则挖掘中Apriori算法的深入研究和分析的基础上,发现并指出了该算法存在的不足,改进了在由K阶频繁项集生成K+1阶候选项集时的连接和剪枝策略及对事务数据库的处理方式,它在时间...
  • 作者: 冯权友 徐炜遐 窦强 齐星云
    发表期刊: 2011年4期
    页码:  45-49
    摘要: 本文针对一种无缓存的高性能计算机光互连网络BOIN中存在的结点饿死问题,提出了两种不同的解决方法--尽量回避的X优先路由算法和允许丢弃的X优先路由算法.这两种路由算法利用了报文在向X方向发送...
  • 作者: 乐大珩 张民选 齐树波
    发表期刊: 2011年4期
    页码:  50-55
    摘要: 双轨预充电逻辑是一种有效的差分功耗分析(DPA)攻击防护技术,其需要解决的关键问题在于必须保证互补的双轨信号线具有对称的电容负载.本文提出了一种双轨信号布线方法,能够基于商用的布局布线EDA...

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

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

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

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

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

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