摘要：为保证最终获得的组合服务能够正确运行,首先对涉及会话类E-Service服务组合过程中的E-Service动态行为接口进行了形式化描述.然后采用“乐观”方式进行接口兼容检查;同时针对会话类E-Service的完整性要求,提出了验证会话类E-Service接口兼容的算法,以此对业务组合过程进行设计时的检查,确保组合的正确性.

摘要：误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.

摘要：下一代网络(NGN)中,业务管理服务器是业务支撑环境的核心组件之一。目前业务管理服务器的系统结构和运行机制无法满足NGN业务开放的需求,该文基于开放体系架构和构件技术提出了业务管理服务器的开放体系结构SMSOA,采用层次化构件设计,同时增加业务管理级别控制中心,基于策略解决多业务管理级别控制问题,提出了有效方法保证业务管理执行的可靠性。

摘要：针对蜂窝网络中的缓存问题,考虑用户内容请求的空间异构性及时间波动性,提出了一种基于单个用户内容偏好预测的蜂窝网中无人机位置部署及缓存内容部署方案。首先基于用户的历史上下文信息,利用文件相似性及用户相似性来预测每个用户的内容偏好特性,并使用一种基于线性回归的方法来预测用户未来发起内容请求时的位置和时间;然后根据预测的地理位置、请求时间和内容偏好,分别利用基于自组织映射神经网络(SOM)的聚类算法和基于凝聚嵌套(AGNES)的分簇算法设计无人机的部署位置,并根据相应的无人机位置设计内容部署方案。仿真结果表明,所提算法在缓存命中率和时延性能上均优于对比算法。对真实数据集的分析结果表明,不同的用户特征对内容偏好影响权重不等,因此需要对不同的用户特征赋予合理的权值。

摘要：IN CS-2(智能网能力集2)标准中的呼叫方控制能力使智能网能控制稳定通话状态下的2方或多方呼叫,通过论述国际标准中利用CPH(呼叫方控制)进行呼叫控制的模式和方法,以及实际应用中存在的问题和解决方法,提出了在现有网络及开发条件下的实现方案,并以同振业务为例进行了分析.分析结果表明,此种设计方案能够节省系统资源和提高业务的灵活性,是一种切实可行的方法.

摘要：目标Web服务描述语言和服务匹配算法是解决Web服务发现问题的方法。在分析现有Web服务描述语言的基础上,该文设计了一个目标Web服务描述本体,该本体从功能、性能和语义特征3个方面描述Web服务,以提高服务发现的效率和质量为原则,提出了一个基于Web服务特征元素的服务发现模型,并结合旅游领域,实现了一个原型系统。

摘要：为满足下一代网络中综合业务平台(ISP)运行的稳定性、高可靠性及实时性要求,针对业务特点,设计了能达到负载均衡目标的定制接受算法.根据业务量差异情况设置参数,此算法可以较快地响应业务量变化,调整权值到最佳状态.仿真实验表明,应用该算法分发业务请求可以降低处理的平均响应时间.此外,采用多级Java管理扩展(JMX)结构实现了平台多服务器负载均衡机制,从而根据业务量情况灵活的增删服务器个数,实现对平台中多台服务器的分布式管理.

摘要：设计了一个基于身份的无需可信任PKG的签名方案,并在随机预言模型(ROM)中给出了方案的安全性证明。方案可以抵抗基于适应性选择明文和固定ID的存在性伪造攻击,并且提供可追溯性,即仲裁方可以通过Trace算法判定PKG的真伪性。同时,方案消除了由密钥托管所带来的问题,与典型的基于身份的签名方案相比具有更高的效率。

摘要：根据TMF描述的下一代基于策略的网络管理的特点,提出了对高层策略语言的要求:(1)具备一定的分组机制;(2)能够描述流程;(3)支持有限状态机模型,并根据这些要求对目前最有影响力的高层策略语言Ponder的性能特点进行了分析,且针对其缺陷做了改进.最后,通过基于策略的下一代IP计费原型系统的设计和实现,验证了对高层策略语言提出的三项要求的正确性和有效性.

摘要：论证了中国移动建设光传送网静态资源管理系统的必要性，描述了系统的结构，重点利用UML语言这一技术对静态资源管理系统的服务器端软件作了相应的总体设计，并用例子说明了类图的设计和数据库表的设计。最后展望了资源管理系统的远期目标，说明当前工作对实现远期目标的重要性。