摘要：面向海量遥感影像数据的管理，结合文件间的语义关系，构建面向空间数据检索应用的文件目录体系。该方法通过影像元数据概念语义关系集合运算及属性项的语义相似度计算构建部分与整体的语义映射关系，建立影像元数据概念层次关系，并构建目录体系，通过空间数据语义细化和空间对象融合、分割等过程完成影像数据集成。在此基础上，设计开发...
摘要：在数据规模急剧膨胀的信息时代，数据安全保护技术尤为重要。数据连续保护技术作为一种有效的数据保护手段，能够有效应对软硬件失效、用户误操作等带来的数据失效问题。为了更好地指导实际应用中的数据连续保护机制设计，在综合分析现有研究基础上，提出了基于集合论的统一数据连续性保护模型。针对模型的实际应用情形，从数据复制频率、...
摘要：由于IP网络的带宽限制和较长的传输延迟，为了完成数据的请求，iSCSIinitiator和iSCSItarget在确认对方发出的状态或控制命令前将等待更多的时间。iSCSI协议中通信开销所占的比重较大，因此iSCSI存储的缓存数据载入开销不同于传统的直连存储。现有的替换算法研究主要关注缓存命中率的提高，忽略了通过降低失效数据的载入开销来提高缓存系...
摘要：软件监测是评价大规模分布式系统行为是否符合预期的重要手段，也是进一步实施在线调整和演化活动的前提和基础。给出了一个名为Mega的分布式软件系统运行时监测框架，可以支持具备监测能力的分布式软件系统的开发和运行。一方面，该框架通过引入一种专门的监测需求描述语言，在分布式系统中实现了监测逻辑和功能逻辑的分离，使得监测逻辑...
摘要：在云计算环境中提供数据服务逐渐成为研究热点。在云计算环境中结合已有XQuery查询处理引擎，实现了云计算环境中XML数据查询服务。为提高云计算环境中XML数据查询效率，采用基于XPath投影的方法预先对XML分块处理，仅保留与XQuery语句相关的数据。实验表明，该方法有效缩小了数据分块的规模，缩短了XML数据服务的查询处理时间。
摘要：目前的P2P网络服务缺乏服务质量保证的考虑，不能充分利用某些网络节点特殊的服务质量属性。针对现有P2P服务发现的问题，为了提高P2P服务发现的效率，结合Qos属性和P2P网络特点，提出一种基于QoS的P2P服务发现算法模型。首先定义了基于QoS的P2P服务描述，并在服务描述中引入语义信息，利用这些语义信息来提高服务发现过程中服务匹配的准...
一、刊物简介 《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物。本刊已先后被列为中文核心期刊、中国科技信息研究所中国科技论文统计分析源期刊（中国科技核心期刊）、中国科学引文数据库来源期刊（CSCD核心期刊）、中国学术期刊（光盘版）全文入编期刊、中国期刊网全文...
摘要：提出了在频域范围内基于复杂度分析的频谱感知算法，次用户首先将接收到的信号变换到频域，然后，对变换后的频域信号进行Lempel—Ziv复杂度分析，区分出噪声和有用信号，从而确定主用户是否活跃。该方法在信噪比很低的情况下也具有较高的检测概率。仿真结果表明，该方法对噪声抵抗性很强，能显著改善认知无线网络频谱感知的能力。
摘要：以移动网格为背景，研究关联任务在动态资源环境下的调度问题，既考虑任务之间的依赖关系，还考虑资源动态加入、离开、性能变化等行为。提出子集调度加重调度的动态调度策略。动态子集划分考虑了任务之间的依赖关系，并有利于减少重调度次数。阐述了子集调度目标和约束条件，提出了融合模拟退火思想的粒子群调度算法。重调度进一步提高调...
摘要：为了降低计算开销，提出了基于身份的认证密钥协商协议ID-AKA。新协议基于椭圆曲线离散对数难题，采用隐式认证方式，仅需一轮信息交互，并且去除了计算量大的双线性对运算。参考Chen等人的ID-AKA安全模型和LaMacchia等人的安全模型，通过增加会话临时秘密查询，提出了分析ID-AKA协议的强安全模型。同时，指出了舒剑等人的安全模型约束条...
当前，大数据技术方兴未艾，为全面把握国内目前对大数据技术的研究现状，《计算机工程与科学》计划在2013年9～11月间推出一期大数据专刊。
摘要：随着网上银行用户数量和交易金额的日益增多，网上银行系统成为很多攻击者的首选目标，其安全问题也成为很多用户选择网上银行时的主要考虑因素之一，这在一定程度上阻碍了网上银行业务的发展。在线支付的安全问题已成为各大银行和研究者的关注焦点。根据在线支付系统的一般流程，对客户端在登录和请求支付时可能面临的各类攻击模型进行讨...
摘要：张学军等人提出了一个面向多服务的抗共谋叛逆者追踪方案，断言任意数量用户共谋构造解密钥在计算上是不可行的。对此方案进行了详细分析，发现存在明显缺陷，完全没有实现抗共谋。给出了一种具体的攻击方式，使得三个或以上的用户可以共谋构造多个有效的解密钥，但是管理者却不能使用黑盒追踪方式进行追踪。马华等提出的叛逆者追踪方案声...
摘要：模糊支持向量机是在不可分样本集情况下进行模式分类的有效工具，为了进一步提高该算法的推广能力，对其进行了两方面的改进。一是在高维特征空间中引入不等距分类超平面，以期提高该算法的学习精度；二是在高维特征空间中，利用本文所提出的算法，筛选出有效的训练样本集，以期缩短该算法学习所耗时间。对模糊支持向量机的改进进行了理论...
摘要：人工势场方法因其简单、高效、生成路径平滑的特点，在机器人路径规划领域得到了广泛的应用。首先介绍了基于传统人工势场模型的路径规划基本原理，并对其存在的易陷入局部极小值的问题进行了详细分析；然后重点讨论和总结了针对目标不可达、易陷入徘徊抖动状态、动态环境规划能力不足等问题的改进策略；最后对基于人工势场的路径规划方法...
摘要：将节点顺序置信指导的方法融入到增量学习过程中，提出了NOCLBN算法。该算法对于大规模数据集下贝叶斯网络的学习过程进行了改进，增强了每一批次数据学习的精度，提高了最终网络模型的质量。实验结果表明，NOCLBN算法对于大规模数据集下贝叶斯网络学习的结果质量更高。
摘要：高效、准确地定位软件特征所对应的代码实现，对软件维护十分重要。针对面向对象软件系统，提出一种综合的特征定位方法。该方法利用软件搜索技术为特征与相关类建立初始追踪关系；然后以这些类作为种子构造面向对象程序的关注图；进一步采用面向对象切片技术，以关注图中的属性和语句作为切片准则，计算对特征实现具有直接影响的语句代码...
摘要：为了在软件可信性评估过程中支持动态多属性的特征，提出了一种结合灰数系统理论、Minkowski距离和模糊聚类的评估方法。首先，以灰数来表示软件可信指标值，并以求正负理想点的方法获得理想可信评估值；然后，使用Minkowski距离对周期内的软件可信性进行评估；最后使用模糊聚类算法得到综合的可信性评估结果。实验结果及分析表明，所提方...
摘要：维数约简和特征提取是模式识别中的一个重要预处理步骤。由于同一架飞机目标在各种不同的空间变换（包括平移、尺度、旋转等变换）和不同的观察角度、位置以及光照等条件下的图像之间差异较大，使得很多经典的维数约简和特征提取算法不能有效地用于基于飞机图像的飞机目标识别。判别局部保持映射（DLPP）是一种有效的监督维数约简方法，DL...
摘要：针对当前运动捕捉数据量大、关键帧难编辑的问题，提出将小渡变换引入到关键帧的提取及运动编辑的技术。将运动捕捉数据作为信号进行处理，通过小波变换的方法将人体运动信号分解成高频信号和低频信号，利用半软阈值函数处理小波系数，通过设定不同的阈值，实现对关键帧的提取。提取关键帧后，利用插值技术重建关键帧动画，可生成新的人体...
摘要：边缘检测在图像研究领域是一个重要的研究方向。针对边缘检测算法Canny算法中阈值需要人为干预设置等缺点，首先利用边缘保持滤波器替代原有的高斯滤波器，避免了对原图像的过度平滑现象，且有效地抑制了噪声；其次利用基于类内最小模糊散度的概念确定高低阈值，不需要人为干预，具有一定的自适应性。实验表明本算法在抑制噪声和边缘连续...
摘要：系统地提出了一种以高分辨率光学图像为模板的变化检测思路和实现流程。首先，利用高分辨率光学图像制作二值化模板，将模板与待检测的两幅图像分别进行配准，在此基础上通过解算模板与序列图像间的空间变换关系来获取待检测区域；其次，将模板图与待检测图像进行加权融合获得分割海域图，并基于恒虚警检测算法提取变化的目标；最后，提取...
摘要：分形是多数图形图像系统的重要组成部分，主要应用于图像的建模与绘制，然而已有的单一IFS模型无法对复杂场景图像建模。针对具有局部自相似特征的场景图像，提出了纹理与IFS结合的TIFS模型对其建模，其中IFS描述场景的外形结构，纹理表示场景中的细节。从真实图像中提取TIFS，并进行TIFS变形，可以实现图像的变形，又由于分形变形具有吸...
摘要：在移动机器人的分层同时定位和地图构建SLAM算法中，通过签名元素实现局部子地图的匹配存在计算复杂性的问题，提出了通过构建签名元素向量的方法来解决予地图匹配的问题；由于机器人在重复访问某一个区域的时候，两次的运动轨迹不可能完全重合，因此在该方法中结合了基于路标进行定位的技术，从而实现可靠的回路闭合确认计算。另外，讨论...
摘要：装备作战仿真数据流中的事务性数据属性之间存在着各种各样的关联，数据流关联规则分析的目的是找出这些隐藏的关联关系。针对装备作战仿真数据流关联规则分析时数据流的大数据量、变长度的特点，就关联规则获取过程中如何得到频繁项集这一问题进行了研究。为了在有限空间内快速地从装备作战仿真数据流事务数据中获取频繁项集，针对经典的...
摘要：研究了用一类新的光滑函数对支持向量机作光滑处理的问题，提出了一种新的具有三阶多项式光滑的支持向量机模型3SSVM，证明了该模型具有三阶光滑性和全局收敛性，并用Newton—Armijo算法进行了数值实验。结果表明，3SSVM模型的分类性能和计算速度优于PSSVM模型和SSVM模型，为光滑支持向量机的应用提供了更好的理论支持。
摘要：针对现实机械装配中零部件存在公差信息的事实，给出了基于公差约束的虚拟装配方法：首先，构建了虚拟零部件的层次信息表达；其次，提出了基于体分解的空间包围体压缩方法，对零部件原始的包围体进行切分压缩，并由此构建平衡二又树，建立了与二叉树叶节点对应的零部件碰撞模型，对于包围体切分中出现的冗余面片采取了冗余面片索引技术；...
摘要：针对电力系统负荷的随机性、时变性和不连续性等特点，提出了一种适用于静态负荷模型参数辨识的改进的混合蛙跳算法（ISFLA）。该算法在混合蛙跳算法（SFLA）的基础上，借鉴PSO算法思想，通过引入异步时变学习因子，对更新策略进行改进；其中“时变学习因子”可以明显提高SFLA算法的优化精度和加快收敛速度；并且能够很好地增强SFLA算法的...
摘要：以复杂拱坝为例，通过在HyperMesh中建立几何模型，利用HyperMesh强大的前处理功能系统地研究了模型的形成、几何清理和分区分段3D网格划分等关键问题。特别在划分复杂拱坝边界网格时，利用了多种网格划分技术完成了较高质量的3D网格划分，为复杂拱坝材料分区分段划分高质量网格提供了一种新的思路。结果表明，HyperMesh软件在水工结构模...
第十届CCF中国计算机大会（2013CCF China National Computer Congress，CCFCNCC2013）将于2013年10月24～26日在长沙圣爵菲斯酒店举行，承办单位为国防科技大学。CCFCNCC是由中国计算机学会2003年创建的系列性学术会议，已在不同的城市成功举办九届，现每年一次。
购物车(0)