随着多核技术日益发展，并发程序通过引入Fork/Join并行性，将任务分解为更细粒度的子任务并行执行，从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误，因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法，计算线程有限次上下文切换内的可达状态...
现有P2P信息共享系统存在仅支持粗粒度、弱语义共享以及系统效率低等局限性，限制了其更大规模、更高层次的应用。基于资源相似节点通过信息聚类聚集在同一主题域，实现节点资源有序组织的思想，提出了一种基于语义覆盖网的P2P信息共享系统，建立由资源层、信息服务中心层、语义覆盖网络层和应用层四个层次组成的系统框架结构，并阐述了系统流程...
交换超立方网是一种新提出来的互连网络。首先，利用图论的方法研究了交换超立方网的拓扑性质，引入了相似子网的概念，得出相似子网和超立方体同构的结论；然后，利用将物理通道分成两条虚拟通道的方法，给出了一种交换超立方网的自适应性路由算法，并从理论上证明了该算法的无死锁性。
NIC是高性能互连网络THNet的网络接口芯片，基于自主研发的通信协议，它高效地实现了无连接、零拷贝、用户级通信的RDMA传输机制，基于该机制的MPI实现具有极高的系统可扩展性。实现了基于控制报文触发的描述符队列处理机制，以支持卸载的聚合通信,包括广播和栅栏同步。使用NIC芯片的网络接口卡在测试中获得了1.57μs的最小单边延迟和6.34GB/s的...
在Hadoop开源云计算平台上运行分子模拟程序，具有节省软硬件投资、缩短模拟时间等研究意义。然而，该平台并不擅长科学计算类应用中所涉及的快速迭代和子任务间通信。为此，在原子分解法基础上提出了三种解决方案并利用“读写HDFS同步法”实现短程作用力有效的分子动力学模拟的并行算法。在一个Hadoop集群上测试和分析了程序的可扩展性、加速比...
针对某高性能计算机系统的供电要求，采用了12V母线直流分布式供电系统，详细介绍了计算机柜和计算主板的电源设计方案，并对计算主板上的处理器电源进行了详细分析；重点介绍了回路增益、补偿网络、输出滤波器的参数设计方法。应用结果表明，该电源完全满足高性能计算机系统的供电要求。
协同虚拟样机的工作流管理能支持和控制分布异地的多个集成化产品开发团队的动态协同设计过程，实现对虚拟样机协同设计过程的有效管理，对改善虚拟样机工作效率、提高工作质量起着重要的作用。重点对虚拟样机的工作流时间管理进行了研究，通过对路由结构的分析，采取工作流松弛时间分配方法，调整部分弱不满足时间约束至可满足状态，使更多的工...
提出了一种IPv6网络中基于路由协议的PMTU发现机制。通过对路由协议的扩展，在原有的路由信息中携带路由的MTU值，使路由的MTU在网络中传递，执行PMTU探测的主机最多只需要向其第一跳路由器发送一次探测包。使用ns2仿真工具模拟测试和在实际设备上进行拓扑及业务测试的实验结果表明，该机制可行，与传统PMTU机制相比，在探测次数及探测带来的连...
《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。
多sink节点数量和位置的合理部署能有效延长无线传感器网络寿命、控制网络成本。基于随机分布无线传感器网络结构，建立了网络寿命模型和成本模型，并采用网络寿命成本比（RLC）推导出使网络寿命和网络成本综合最优的sink节点数目的表达式。同时，还提出RDF算法可以在给定sink节点数目的情况下，快速有效地确定sink节点位置。通过理论分析和仿真...
软件版权保护是知识产权保护体系中的重要组成部分。针对目前传统的服务器端软件授权方式无法完全满足EULA要求的问题，基于硬件特征和独立授权管理服务器的架构，提出了支持动态许可证的分布式服务器端软件授权认证模型。该模型通过“强制特征验证和原子授权”的机制解决了软件版权保护、软件迁移的重新认证授权等问题，在可行性、安全性和完备...
僵尸网络发起的分布式拒绝服务攻击、垃圾邮件发送以及敏感信息窃取等恶意活动已经成为网络安全面临的重要威胁。命令与控制信道正是僵尸网络操纵这些恶意活动的唯一途径。利用命令与控制信道中攻击命令具有相对固定的格式和命令字的特点，基于现有的特征提取技术，针对边缘网络的可疑流量，提出了一个新型的特征提取模型。实验结果表明，该模型...
提出了一种基于静态分析的SQL注入攻击的检测方法。静态分析Web应用程序的源文件，提取污染源到执行参数的构造路径，形成检测规则。动态执行时替换规则中的输入参数为用户输入值，比较得到的SQL语句和原SQL语句在语义和结构上的异同，判断是否存在SQL注入攻击。实验结果表明，该方法有效可行，增加了过滤模块后对系统的性能影响不大。
针对应用规约自动测试BPEL表示组合服务时需要解决BPEL服务的规约生成问题，提出了一种从BPMN模型导出BPEL规范定义的组合Web服务的由代数规约语言CASOCCWS表示的代数规约方法。首先，定义从BPMN模型转换成基调的规则和从BPMN结构转换成正则表达式的规则，设计由正则表达式导出构成公理的项的算法；然后，提出根据所得的项人工书写公理的启发...
根据部分K值逻辑的完备性理论，对于一般的K,首先确定了保二元完满对称函数集的个数，并给出了这些函数集的构造方法；然后确定了所有的完满对称函数集的个数，并给出了这些函数集的构造方法。
李群是变换空间的一种基本表示理论。目前针对李群数据所设计的分类器较少，对多分类的效果也不是很好。以手写体数字的应用为背景，引入了支持向量机分类算法来处理李群数据。由于李群数据具有矩阵表现的形式，设计了一种矩阵高斯核函数，使得支持向量机能够处理矩阵数据。仿真结果表明，支持向量机方法在李群数据上具有很好的性能。
局部支持向量机是一种用途广泛的分类器，无论在理论研究还是实际应用方面，局部支持向量机都受到越来越多的关注。目前，许多传统的局部支持向量机算法都存在一个问题，即模型中样本比例失衡，导致无法提高分类精度。在加权支持向量机的启发下，提出了将加权思想应用在局部支持向量机FalkSVM中的WFalkSVM算法，并通过实验分析验证了WFalk...
启动子识别是生物信息学的一个重要研究方向，根据启动子本身的特点已经有基于信号、内容和CpG岛等多种识别算法。针对基因序列数据数据量大、维数高、非线性的特点，提出了基于流形结构重建的启动子识别算法，先利用非线性降维方法压缩数据，然后再进行启动子识别。实验结果表明，该方法能够取得较好的结果。
文本聚类算法面临着文本向量高维和极度稀疏的问题，传统降维方法多数是在假设关键词相互独立的前提下，通过统计的方法进行特征提取，这种方法往往忽略了文本在上下文语境中的语义关系，导致文本语义大量丢失。利用《知网》知识库，通过计算语义类相似度，构建了带权值的多条词汇链，根据权值大小，从中选取权值最大和次大的前两个词汇链组成代...
针对用户在社交网络中添加哪些用户为自己好友的问题，采用好友之间的关系推荐和喜好标签的相似度推荐相结合的方法,提出了改进的推荐算法。首先,通过用户之间的好友关系推荐出目标用户共同好友最多的TopN用户，其次,通过目标用户和推荐出的TopN用户间标签的相似性推荐分数最高的用户，再给定他们相应的权重，进行打分，选取分数最高的Top...
针对时态粒度约束下的时态元素之间的定性关系,引入向量空间思想,将时态粒点间的关系转换为向量空间中的运算。提出时态粒点的向量判别方法以比较两个时态粒点的先后关系，通过粒度缩放操作探讨了时态粒区之间的关系、时态粒点与时态粒区之间的定性关系，对时态数据库、时态知识推理、时态数据挖掘等时态应用研究领域起到了良好的基础支持作用。
汽车电子嵌入式控制软件底层驱动的可视化配置屏蔽了底层实现细节，降低了配置难度，方便用户应用。但是，可视化配置的结构体嵌套使映射出的软件界面元素规则复杂化，且扩展芯片各模块结构体的未知性，使得映射规则难以普遍适用。为此，提出了一种可视化配置映射规则的挖掘方法，开发了针对芯片各模块结构体进行初始化配置的软件。通过对不同芯...
面对复杂信息环境下的数据预处理需求，提出了一种可以处理混合属性数据集的双重聚类方法。这种双重聚类方法由双重近邻无向图的构造算法或其改进算法，基于分离集合并的双重近邻图聚类算法、基于宽度优先搜索的双重近邻图聚类算法、或基于深度优先搜索的双重近邻图聚类算法来实现。通过人工数据集和UCI标准数据集的仿真实验，可以验证，尽管这...
心理战作为信息化战争中“软”打击的重要作战方式，受到越来越多的重视。心理战中人的个性形成和传播是个非常复杂的过程，传统建模方法不能反映作战中人的个性因素及对作战产生的难以预料的结果。采用复杂适应系统理论多Agent建模方法探讨作战中人的因素，在微观层面使用Agent参数表示个性，并对Agent行为引入个性表达，在宏观层面使用社会学...
互联网上已形成了规模巨大、种类丰富的开源软件资源。如何准确、快速地判断一个开源项目的各种可信属性是否满足需求是当前软件工程领域研究的热点。深入分析已有开源软件评估模型，总结互联网上软件质量相关的各种信息，提出了面向开源软件的可信评估证据框架，并基于该框架构建了一种开源软件可信证据查询平台。利用该平台能够极大地提高评估...
网构软件是一种面向网络环境的新型软件形态, 其构建依赖于对开放、动态和多变环境中各网络节点软件实体之间的有效协同, 然而, 目前的软件构造方法都是基于静态可信, 即：都是研究软件制造过程中的可信度, 一旦软件制作完成, 在运行过程中, 软件的可信度是否会改变就不在研究范围之内。针对网构软件的开放、动态和多变特性, 设计了一种基于监控...
点云中提取的特征线在点云处理中具有重要的应用价值，已被应用于对称性检测、表面重建及点云与图像之间的注册等。然而，已有的点云特征线提取算法无法有效地处理点云中不可避免的噪声、外点和数据缺失，而随机采样一致性RANSAC由于具有较高的鲁棒性，在图像和三维模型处理中具有广泛的应用。为此，针对由建筑物或机械部件等具有平面特征的物体...
在分析了频域相位信息和纹理信息在表征图像特征方面的重要性之后，提出了一种结合相位一致和纹理特征的SVM图像分割方法。该方法将相位一致性统计特征、纹理特征和灰度特征一起组合成训练特征向量，采用支持向量机分类方法对图像进行分割。相对于传统方法，该方法提取的统计特征向量可以有效地反映图像边缘细节和纹理信息。实验结果表明，该方...
购物车(0)