基于SLA的QoS监管和带宽动态调配研究

目前网络发展所要解决的主要问题之一就是提供具有不同服务质量QoS(Quality of Service)要求的多种IP业务。为了实现对具有QoS要求的IP网络及业务的管理与控制,人们引入服务等级协定SLA(ServiceLevel Agreement)。文章研究如何基于SLA对IP网络进行QoS监管进而实现端到端线路带宽资源的动态调配,提出了一种基于SLA的QoS监管和带宽动态调配管理框架,并进行原型系统实现;最后,搭建实验室演示场景,通过视频播放系统验证所提方法的可行性。     

SIP/SDP协议在IMS中的扩展应用

会话初始协议(SIP)与会话描述协议(SDP)是IETF提出的用于VoIP系统或IP多媒体子系统(IMS)的呼叫/会话管理和信息编码协议。SIP基于文本,简单灵活,易于升级扩展,是固定和移动网络向下一代网络演进的核心控制协议。SDP可用于多媒体会话的SIP消息编码,以便进行会话和媒体协商。文章在深入分析SIP/SDP协议及其扩展机制的基础上,针对专用IMS网络的特殊应用需求,提出了兼容服务质量(QoS)和密钥分发功能的SIP/SDP协议扩展方法,并对支持扩展功能的业务流程进行描述,最后对SIP/SDP扩展应用的相关问题进行了探讨。     

关系数据语义集成中的查询语言转换方法研究

为解决关系数据语义集成中语义查询语言和关系模型查询语言的转换问题,定义了SPARQL(Simple Protocol And Rdf Query Language)图模式的关系代数和五种基本运算的查询语义,给出了该关系代数与SQL语句之间的对应关系,在此基础上,提出了SPARQL到SQL的查询转换算法,并通过实例进行了说明。     

利用预测器降低令牌协议的通信量

令牌协议采用广播方式发送一致性消息,导致网络通信量大,限制了协议的扩展能力。提出预测的方法有效地消除令牌协议中的无用消息,从而降低了通信量。根据应用程序的读写失效比例提出3种预测策略。实验结果显示,采用512项的Owner预测器平均降低3.8%的连接通信量,Sharer预测器和Hybrid预测器分别平均降低了11%和7%的连接通信量。预测方法可以有效地降低令牌协议的通信量,提升令牌协议的扩展能力。     

多核环境下负载均衡的并行离散事件全局调度机制

分析了多核环境下传统的离散事件时间弯曲并行系统的性能,针对其事件调度开销小和负载均衡能力强难以兼得的问题,提出了一种基于分布式队列的全局调度机制,设计了相应的数据结构和调度算法,大大减少了锁开销.通过大量实验对多核环境下几种典型离散事件系统并行策略的性能分析表明,本文提出的全局调度策略不仅事件调度开销小,而且回滚率大大降低,有效克服了传统策略回滚量较大或难以实现动态负载平衡的情况,并具备良好的可扩展性.     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

基于Agents/Space的装甲装备战损仿真方法(Ⅱ)

对任何仿真系统,只有在保证一定可信度的基础才具有实用价值。在文(Ⅰ)战损仿真原型系统的基础上,结合经济性和可行性的权衡分析,提出了装甲装备战损仿真系统的修正策略。进行了典型条件下的杀伤力参数试验,利用神经网络技术修正BAD参数经验值和试验值的误差,然后将训练完成的神经网络模块嵌入在P ierc ingA gen t中,实现对BAD模型参数的动态修正。最后,进行了仿真试验,并利用实战数据和全尺寸物理实验数据进行了仿真系统的有效性验证。研究成果为装甲装备战损或具有类似特征系统的仿真提供了一种研究途径。     

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法――Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。     

周怡均

这样的我我出生在素有"东海第一胜境"之称的江苏连云港,三尺验证台是我的战场,方寸验讫章是我手中的"枪",我立志做一名忠诚的国门卫士,用火眼金睛让不法分子原形毕露,用微笑服务展示国家形象,用坚定忠诚筑起共和国铜墙铁壁。     

航天科技集团公司与能建集团签署战略合作框架协议

2013年7月4日,在天宫一号与神舟十号载人航天飞行任务圆满成功之际,中国航天科技集团公司与中国能源建设集团有限公司(以下简称"中国能建集团")签署了战略合作框架协议。双方的合作将立足于发挥航天高科技优势与中国能建集团的行业优势,在卫星应用与信息服务、高端装备、房地产开发、金融与投资合作、