整数分解新方向
摘要：整数分解是数论中的一个非常古老的计算难解性问题，至今仍然没有一个快速的满意的解决办法，而当今世界最有名气、应用最为广泛的RSA密码体制，其安全性就是基于整数分解的难解性的。本文力图介绍整数分解的若干重要算法、当今整数分解领域中的最新研究方向和最新研究动态，以及它们对RSA密码破译工作的作用和影响。《计算机工程与科学》征文通知
摘要：《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。学术论文、技术报告、综述评论、发展动态等形式不限。JASMIN框架中联邦并行计算及其在多物理耦合中的应用
摘要：多物理耦合是一类普遍的复杂应用问题。并行计算时，在充分考虑各个物理过程的基础上，还需要在不同物理过程之间建立数据依赖关系并交换物理量值。这无论对并行算法设计，还是对并行编程实现来说，均具有较大的难度。JASMIN框架提供联邦计算功能，很好地封装和实现了单层结构网格上的多物理耦合并行计算。该功能实际应用于激光聚变和地球系统模式等领域，支撑研发了多个应用程序，可以有效使用成千上万个处理器核进行数值模拟。基于Petri网的Web服务交互行为一致性检测方法
摘要：在复杂多变且不可预知的因特网环境中，Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题，提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先，提出了一个web服务交互行为的运行时监控框架，从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后，对一致性检测方法的负载和性能进行了充分的评估。云计算环境下服务中间件动态管理框架的设计与实现
摘要：面向服务的软件开发过程会涉及不同种类以及层次的服务中间件，这一多层次、多种类、多依赖关系的服务中间件环境，在配置、管理与维护上均会给服务开发人员带来额外的开销与负担，直接影响开发效率。设计并实现了一个云计算环境下的服务软件设备动态管理框架，该框架可以根据开发人员需求，透明地完成服务中间件环境的配置与提供，并对服务中间件环境进行动态的健康管理与维护，保障服务中间件环境的稳定性与可靠性。2013年ACM国际多媒体检索会议征文通知2013
覆盖率驱动的芯片功能验证设计与实现
摘要：随着芯片集成度的发展，芯片性能越来越高，而上市时间越来越短，芯片验证在芯片设计中非常关键并贯穿于整个设计过程，验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法，定义了基于功能点覆盖率驱动的验证流程，利用PSL语言描述断言检查很有效，通过模拟工具检查断言是否成功，从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中，有效地降低了验证工作的复杂度，同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性，同时用覆盖率数据定量评价验证进程，提高了整个设计的效率。PCIExpress技术在嵌入式MPSoC中的应用
摘要：PCIExpress作为第三代高性能I／O互连技术具有很多技术优势，如基于报文交换、点对点连接、LVDS高速串行互连、高带宽等。但是，PCIExpress技术更多地应用于通用高性能计算机领域，鲜有将其应用于嵌入式系统设计中的实例。本文基于自行研制的一款嵌入式多核SoC系统YHFT—QDSP，根据系统设计需求，结合PCIExpress技术特点，采用基于IP裁剪的快速设计方法将PCIExpress技术应用于系统片间互连模块的设计中，缩短了设计周期并获得了良好的设计效果。采用0．13μm工艺单元库实现，PCIExpress片间互连模块总面积为0．65mm2，其中协议转换模块面积为0．12mm2，片间数据传输有效带宽可达1．63Gb／s。一种低开销的异构可变相联度二级Cache结构
摘要：V—WayCache结构利用存储访问在组之间分布的不均匀性，根据需求动态调整组相联度，具有比传统Cache结构更有效的资源利用率。然而，V—WayCache结构组相联度调整以增大Tag阵列容量为代价，增加了面积、功耗等开销，且Tag阵列利用率不高。对V—wayCache结构进行优化，提出一种低开销的异构可变相联度Cache结构HV—WayCache。HV—WayCache采用异构Tag阵列组织，通过允许多个组共享Tag项资源以缩减Tag路容量；Tag项替换信息以组为单位组织，挑选最久没有被使用的项作为被替换项。使用Cacti和Simics模拟器进行模拟实验，结果表明HV—wayCache结构能以很少的性能损失实现面积、功耗开销的极大降低。一种节点权重自适应调整的DTN拥塞控制
摘要：由于部署、位置等原因，DTN中各均质节点在通信中的角色和作用存在差异，采取保管传输通信模式，热点区域的节点会因缓存过早耗尽而导致网络拥塞。提出了一种考虑节点自身作用的路由算法ARBR，每个节点根据网络负载状况，自主调整自身权重参数，各节点仅接收优先级不低于自身的节点数据，从而有效利用网络局部连通性，对网络中关键节点的流量进行抑制。仿真结果表明，ARBR缓解了瓶颈节点拥塞，利用随机连接的通信机会，有效提高了网络吞吐率。VANET中一种链路稳定度的计算方法
摘要：在车用自组织网络VANET中，由于移动节点运动速度快且移动受道路拓扑约束等影响，导致链路容易断裂。路由选择是实现VANET的关键技术之一，没有高效的路由选择算法，VANET就无法工作，链路稳定度是衡量路由算法性能的重要因素。基于概率思想提出一种链路稳定度的计算方法来衡量链路的健壮性及可靠性。实验结果表明，所提出的链路稳定度计算方法是一种适合VANET场景的计算方法。一种基于AODV改进的城市车载自组网路由协议研究
摘要：针对城市环境下车载自组网的特点及AODV协议广播式路由探测的不足，采用贪婪转发的单播式路由探测和经典AODV协议的广播式路由探测相结合的路由探测方式，并且单播路由探测在选择下一跳转发节点时同时考虑贪婪转发和链路稳定两个因素，减少了广播帧的发送，提高了路由的稳定性。仿真实验表明，改进后AODV协议比经典AODV协议更加适合城市车载自组网。PAKDD2013（第17届亚太地区知识发现与数据挖掘国际会议）征文通知
基于虚拟网格的干扰避免多路径路由协议
摘要：由无线信道的广播特性造成的路径之间的并行多径干扰问题，已经成为无线多媒体传感器网络中使用多路径路由必须解决的首要问题。针对该问题，提出了一种虚拟网格的干扰避免多路径路由协议（IAMVG）。该协议通过把监测区域划分为虚拟网格的方式，预先选择互不干扰的网格，进而优先选择该网格内的簇头节点加入路由的方法，尽量拉开相互干扰链路之间的距离，保证多路径路由处于相互的干扰区域范围外或者尽可能降低干扰。仿真实验表明，IAMVG路由协议极大地减少了并行多径干扰，保证了较高的通信成功率及较低的端到端时延。一种面向PDM系统基于权限位的访问控制方法
摘要：访问控制技术是保障信息系统安全的关键技术。在对已有的访问控制技术进行了回顾和分析的基础上，提出了PDM—RBAC访问控制模型。该模型针对PDM系统中存在的用户层次多、数据量大、数据细粒度的控制等因素造成的系统性能低效和管理困难的问题，引入了用户组层次来替代RBAC访问控制模型中的角色层次，并增加了权限层次结构来管理数据权限，同时结合在某企业PDM系统设计和实现中的实践，设计了基于权限位的访问控制算法，用于解决正负权限引起的策略冲突问题。实验结果表明了该模型和算法在大型信息系统权限管理的高效性。基于WSN的气体扩散态势图空间分辨率增强方法
摘要：在应急救援中，通常采用建模方法获取气体扩散态势图（羽流图），随着无线传感器网络的发展，其快速部署与分布式感知为更精确的态势图绘制供了新途径。但是，在实际应用中，由于节点部署的误差与数量限制，存在感知盲点区域与空间分辨率偏低的问题。针对此问题提出了增强态势图空间分辨率的算法。该算法基于高斯掩模计算的节点位置势能图，虚拟生成亚感知节点位置，利用贝叶斯分类器估计其浓度值，并结合环境矢量场信息，简化参数学习过程。仿真结果表明，在满足实时应用要求的同时，算法提高了态势图分辨率1～3倍，减少10％～30％盲点区域。基于云计算的定向搜索监控研究
摘要：传统的搜索引擎不能代替用户实行实时监控，为了解决这个问题，提出了定向搜索监控技术，用户可以根据自己的需求定制任务，包括指定搜索范围和搜索主题，系统按用户定义周期监控，并将结果及时主动地反馈给用户。以Google云平台GoogleAppEngine作为开发平台，利用其提供的多项云服务，有效地解决了计划任务管理、多任务触发以及高并发等I＂1题。重写了通用网络爬虫，通过算法改进提出了定向网络爬虫模型，定向网络爬虫与云端强大的服务器相结合，极大地缩短了爬行时间，提高了搜索监控效率。云平台和搜索监控技术的结合是平台即服务思想的一次成功实验。社会语义网分析技术研究
摘要：为满足在线社会网络语义分析的需要，提出社会语义网络分析框架。该框架由两部分构成：一是在线社会网络的语义表示，利用RDF模型和已建立的本体描述在线社会网络，赋予社会网络丰富的语义信息；二是在线社会网络的语义分析，利用SPARQL对在线社会网络语义图进行检索过滤，获取满足语义要求的数据，在分析过程中利用属性的层次结构实现分析粒度的控制，通过属性路径检索实现整体网分析。通过应用案例，说明了所提框架的有效性。
