网络拓扑研究的一项重要内容是分析网络拓扑的特征并生成满足这些特征的拓扑图。拓扑图特征的dK序列分析技术是一种系统化的拓扑分析技术，它能够以不同的精度描述拓扑图的特征，随着d的增加，其生成的拓扑图能够在各种重要的拓扑度量方面越来越接近原始拓扑图，因而对因特网拓扑研究具有重要意义。dK序列分析技术的问题在于状态数较多，生成算...
Salsa20是eSTREAM计划最终获胜算法之一，其主要特征是利用模加、异或和循环移位三种运算的混合提供算法所需扩散性和混淆性。目前对该算法的分析主要集中在统计分析和差分分析两方面。本文研究Salsa20／256的差分故障分析，在基于随机字的故障诱导模型下，通过诱导96个错误，将以近似1的概率获得186比特的密钥信息，从而将恢复Salsa20／256全部...
互联网本质上是一种异质网络，其面对恶意攻击是“鲁棒而脆弱的”，对节点的重要性进行评价是增强网络抗攻击能力的基础。本文在分析现有常见方法存在不足的基础上，提出了一种称之为节点疏远的方法来评价节点重要性。该方法对需评价重要性的节点的关联边进行合理疏远，然后定义了一种既体现节点全局位置信息又体现节点局部连接特性的重要性度量...
伪随机序列在保密通信、扩频通信和码分多址通信系统中具有广泛的应用，常用来作为保密通信中的密钥流序列、扩频通信中的扩展频谱序列和码分多址通信系统中地址序列。在流密码的设计理论中，需要在严格的数学框架内使用复杂性度量方法来判断密钥流的不可预测性，也就是由特定加密系统所能提供的安全级别，最重要的度量标准是线性复杂度，线性复...
随着互联网的发展，网络拥塞问题越来越严重，如何改进现有的拥塞控制算法成为一个重要课题。为了解决网络拥塞问题，目前已有很多拥塞控制算法，大体可分为端到端的拥塞控制和基于网络的拥塞控制，本文主要关注基于端到端的拥塞控制。在众多的TCP拥塞控制算法中，Vegas算法以其主动避免拥塞的思想，具有较好的效果。但是，Vegas与目前主流的Ren...
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。
为了缓解I／O瓶颈问题，可以从应用程序、可扩展算法、编译器和语言、运行时库、操作系统和体系结构六方面展开研究。其中，I／O体系结构是所有技术途径的关键支撑。当前并行I／O性能分析缺乏科学的理论模型为I／O体系结构设计提供理论依据。本文针对并行计算机系统的可扩展性问题，研究了I／O负载对并行计算机系统可扩展性的影响，建立了I／O受...
芯片集成技术的迅猛发展，使得片上网络从二维向三维扩展成为可能。研究表明三维片上网络因拓扑维度的增加而缩短了通信距离，极大地提升了网络的平均通信性能。本文对比分析了k-ary-2-mesh网络及其对应的三维网络在最差情形下的通信性能，得出了以下结论：三维网络的平均通信性能虽然更优，但受垂直信道影响其最差情形下的通信性能可能劣于其对...
随着GPU的快速发展，使用GPU来加速科学计算应用已成为必然趋势。本文抽取了SPEC2000中富含模板操作的Mgrid的两个典型子程序Rprj3和Interp，使用Brook＋语言把它们移植到AMDGPU上运行。采用Brook＋语言提供的线程调节机制，我们实现了不同线程粒度下的程序版本，并分析了加速比不同的原因，总结了线程粒度调节对模板程序移植的指导意义。我们使...
服务器集群是实现高性能网络服务的有效结构，而报文转发技术是发挥服务器集群性能的关键。高效的报文转发技术使得集群的调度负载很轻，具有很高的可扩展性。IP隧道技术／直接路由是两种新颖而且高效的报文转发技术。FreeBSD是理想的网络服务器操作系统，但目前基于FreeBSD的集群调度系统均采用网络地址转换技术，系统可扩展性有限。本文讨论了...
针对纹理映射体绘制物理内存空间的限制，本文提出一种可在通用图形硬件上完成大规模数据场实时体绘制的有效方法。该方法基于满二叉树纹理分块策略，利用GPU着色器可编程性，将纹理数据制作为一个一维传递函数查找表和一个规模等同于体数据场的动态纹理工作集，有效提高了大规模数据场体绘制的实时性。动态纹理工作集使用抽象分块与继承关系管...
为了管理和查询海量图像，迫切需要一个基于内容的高检索率的图像检索系统。本文提出了一种以曲波变换为基础，综合香农熵与频域子带能量特征的图像检索算法。该方法用香农熵进行预分类，用子带图像的能量特征进行相似度度量，并加入检索者的反馈信息，实现图像的精确检索。用于Brodatz纹理图像库的检索实验结果表明，该系统有高的检索率和一定...
本文提出一种基于像素邻域结构信息相似性的混合噪音线性滤波算法（GLMF）。该算法是对线性混合滤波器（LMF）的一种改进，它利用图像中存在着大量冗余信息的特性，恢复被混合噪音染污的像素，在判断邻域内像素的相似性时，除考虑像素灰度值的相似性之外，又考虑了像素邻域结构的相似性，用像素灰度值的梯度来表示邻域结构信息。仿真实验证明，...
由中国计算机学会主办、武汉大学计算机学院与软件工程国家重点实验室承办的“2011年全国理论计算机科学学术年会”将于2011年10月在湖北省武汉市召开。本次年会录用的论文将在《武汉大学学报》（中英文版）、《计算机工程与科学》等刊物的正刊上发表。会议将推荐优秀论文到《计算机学报》的正刊上发表。欢迎大家积极投稿。有关征文要求通知如下...
通过分析方向性织物纹理的特点，提出了一种织物疵点检测新的方法。首先根据正常纹理Hough变换确定织物纹理的纹路方向；然后采用方向性小波对织物纹理图像进行方向性的分解，并在此基础上从分解后的各细节子图中提取子窗口的特征；最后通过BP神经网络进行织物疵点识别。实验结果表明了该方法的有效性。
本文给出了带形状参数的类四次三角多项式Bezier曲线。由五个控制顶点生成的曲线不仅具有类似于四次Bezier曲线的诸多性质，而且其形状可由一个参数进行调节，使得该曲线具有更强的表现能力。参数有明确的几何意义：参数越大，曲线越逼近控制多边形，具有比四次Bezier曲线更好的逼近性。曲线无需有理形式即可精确表示圆、椭圆、抛物线等二次曲线...
本文研究Statechart描述的测试语义和测试用例的自动生成。基于Tretmans的从标记转换系统描述自动生成测试用例的方法，我们研究如何从Statechart描述自动生成测试用例。本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础。为Statechart描述建立了形式化测试语义，测试语义与传统的验证语义不同，强调可观察性...
本文在分析软件过程中缺陷类型、缺陷注入、缺陷识别的基础上，对传统缺陷管理流程进行改进，增加了缺陷排除有效性的度量方法；然后提出一种实用的软件缺陷管理流程，建立了一个以软件缺陷生命周期为基础的度量模型，并给出了相应的缺陷矩阵度量方法；最后把该缺陷管理流程和度量方法应用在某公司的两个软件项目中，对各阶段的缺陷进行了度量，...
程序的正确性验证一直以来都是计算机科学中的一个挑战性问题，抽象解释理论为程序静态分析提供了一个通用框架，可以在编译时自动地推导程序的动态性质。基于抽象解释的数值程序分析可以自动推导程序中数值变量间的不变式关系，这对于编译优化、程序错误检查至关重要。本文建立并实现了一个面向C和Fortran程序并支持过程间分析的数值程序分析框...
给出了配对组合测试参数约束分类方法及相关定义。重点对有2值型约束的情况进行了研究，得出有2值型约束存在时虽然所需覆盖的配对数减少，但测试集不一定减小的结论；给出有2值型约束时测试集的最小下限，并证明之。最后介绍了能够有效解决配对组合测试参数约束问题的HPC_IPO约束控制算法。
基于合约的程序设计是提高软件质量的一种重要技术，已经得到了很大的发展。合约描述了程序内部的基本属性、程序良性运行的保证条件以及运行后的期望结果。作为合约的一种表达形式，程序不变量一般包含类不变量、前置条件和后置条件。程序不变量是程序中隐含的属性，它可以应用于程序验证、软件测试技术、逆向工程、程序质量保证等领域。本文结...
本文研究某型雷达对抗仿真训练系统的分析与设计两个方面问题。为了解决大型仿真系统联邦成员多且建模困难问题，围绕某型机载雷达对抗仿真训练系统建设，应用面向对象技术分析系统，提高系统体系结构模型的健壮性和可扩展性。为了进一步提高系统的可重用性，解决联邦成员设计中普遍存在紧耦合性问题，应用用软件模式设计了一种基于仿真逻辑的组...
作为采办决策的支持手段，虚拟采办是以建模与仿真为工具对采办进度、费用、性能等作的综合论证，其要点包括复杂信息映射的一致性、多维动态仿真的并行和演进。本文以导弹武器装备采办为背景，研究虚拟采办中多维建模与仿真方法：以工作域、任务／子任务、资源等组成的多尺度工作分解结构作为多维仿真的基础，并将进度、性能、费用和资源等多维...
MapReduce是Google提出的分布式并行计算编程模型，用于大规模数据的并行处理。MapReduce模型受函数式编程语言的启发，将大规模数据处理作业拆分成若干个可独立运行的Map任务，分配到不同的机器上去执行，生成某种格式的中间文件，再由若干个Reduce任务合并这些中间文件获得最后的输出文件。用户在使用MapReduce模型进行大规模数据处理时，可以...
在激光驱动惯性约束聚变的数值模拟中，通常使用光路追踪法来计算激光能量沉积。为了适应大规模、高效率的数值模拟需要，本文提出了分组流水线的光路追踪并行策略，能够充分提高大量光线在区域分解网格下的并行性。
基于群体的增量学习（PBIL）算法有效结合了遗传算法和竞争学习的优点，运行过程简单，解决问题快速准确。本文提出将PBIL算法应用于求解CN^M组合优化问题，以物流中心选址优化问题为例，介绍了基于PBIL求解CN^M组合优化问题的一般方法，提出了针对此类问题的个体产生算法。为了提高算法的收敛速度和寻优能力，提出了基于当代最优解与历代最优解...
MapReduce分布式编程模型为大规模数据密集型计算提供了重要的应用基础平台。其任务调度模型为单点控制模型，这种模型使得体系结构简单，任务调度易于控制，但同时也存在中心节点失效的问题。在Hadoop系统中，当中心节点失效后，为了使得整个工作集群中的作业不中断，在不同版本的Hadoop中采取了按需同步、恢复历史记录和抛弃三种恢复机制。本...
目前自然语言处理系统难以正确解释部分复杂句子，其中的知识关系只能由操作者简化后再输入，如何使复杂的句子直接被计算机理解呢？本文针对这一问题而提出了自动识别关键字词的新算法。与人的大脑类似，知识处理机也可以对简化后的不完整信息（甚至缺少大多数语言处理机所必需的链接谓词）进行准确理解，而且这种理解对复杂句子要比逐字逐句地...
藏文字频统计是藏文信息处理的基础性工作，通过对藏文字的部件、音节、结构和字的频度与通用度等定量统计与定性分析，为藏文信息处理提供基础数据。藏文字是一种由藏文字构件横向和纵向组合而成的拼音文字，在藏文字频统计中不仅要从整字角度统计分析藏文字频度属性，还要统计分析构成其构件的频度及位置属性。因此，在藏文字频统计系统中要分...
在现实世界中，有些对象比其它的更具有一般性，两个对象的相似度可能不对称。两个对象之间的相似关系可能既不对称又不传递，我们用弱相似关系来表示。本文提出了非对称冗余元组来处理模糊关系数据库中的弱相似关系。非对称冗余元组的概念是模糊关系数据库的冗余概念的推广，它用来删除一些冗余信息，表示更精确的信息。
购物车(0)