基于BPEL4WS的新型电信业务创建方法

采用基于万维网服务的业务过程执行语言(BPEL4WS)的方法开发新型环境下的电信业务,试图解决电信业务开发难度大、周期长的问题.首先针对电信业务的特点指出了BPEL4WS的不足,然后提出采用面向方面编程(AOP)的方法解决了其中的模块化和动态扩展的问题并给出了系统的架构和实现方法,最后实验结果证明该方法的可行性.     

BPEL商业流程建模

介绍了标准化的商业流程执行语言BPEL，从一个例子出发，借鉴统一开发过程(RUP)中的用例模型和分析模型对整个商业流程进行刻画，并简要介绍了如何采用WSDL和BPEL4WS两种标准的语言对整个模型进行文档化的过程。     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

四轮转向车辆控制及其硬件在环仿真开发平台

研究四轮转向（4WS）车辆操纵控制策略及其控制系统开发．为控制方式执行方便，以横摆角速度反馈为4WS车辆基本控制逻辑．由于实际车辆系统的复杂性，相应4WS控制系统开发需要大量在线实时综合，故利用控制系统的硬件在环仿真技术（HILS）．基于Matlab／Simulink／dSPACE开发了4WS车辆控制系统的硬件在环仿真平台．利用此平台硬件在环仿真研究控制算法的鲁棒性并对比不同算法性能，结果表明基于μ综合鲁棒控制方法有比较好的综合性能．     

基于SOA和BPEL的电信业务流程管理系统（BPMS）的设计与实现

提出了一种基于工作流技术、结合了面向服务架构（SOA）的框架理念和设计思路的电信业务流程管理系统的建模与控制方案。结合实际的电信产品服务阐述了在IBM WBI-SF V5．1环境下结合BPEL构造和编排电信服务流程的基本过程以及生成可执行文件和代码的方法，介绍了通过使用Web服务描述语言（WSDL）以及消息通讯的算法进行业务流程与Web服务的交互与通信。最后介绍了在IBM的应用服务器WAS 5．1上进行BPEL流程的部署和监控，以保证BPM系统能正常稳定的运行在该环境下。通过对系统实际性能分析证明该系统在实际应用中具有优异的性能，系统设计符合SOA规范，具有良好的重用性和可移植性。     

A Formal Model for BPEL4WS Description of Web Service Composition

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.     

浅析我国中小企业外贸平台电子商务标准的选择

该文从电子商务的基本概念和中小企业的特征入手，分析目前我国中小企业外贸中电子商务的应用现状，预测电子商务平台将成为未来中小企业开展外贸的主要渠道；并结合我国中小企业的实际，分析电子商务平台构建中的标准ebXML、BPEL4WS和RosettaNet，最后建议ebXML模式作为构建中小企业外贸商务平台的标准。     

一种基于Burckhardt轮胎模型的4WD＋4WS型VSC系统建模

文章采用Burckhardt轮胎模型,对不含侧倾的四轮驱动（4WD）、四轮转向（4WS）型车辆的稳定性控制（VSC）系统进行了非线性建模。文中采用解析形式和适当的近似技术建立了VSC系统标准的非线性状态空间模型．便于今后的控制器设计。     

电信业务管理系统的定单调度

介绍了电信业务计算机综合管理系统（“九七”工程）定单调度的概念、抽象方法、应用和管理。利用数学表达式把业务抽象化，使应用程序的调度只是解决一个数学问题，业务的调整只需对函数组合进行调整，必要时可以重新创建若干基本函数，以适应未来的业务变化。     

BPEL工作流管理系统中人工交互的研究

Business Process Execution Language(BPEL)成为了W eb服务编排的事实标准。BPEL的缺点是缺少对人工交互的支持。随后的BPEL4Peop le规范试图通过扩展BPEL来支持人工交互;但现有的大多数BPEL引擎只支持BPEL规范,并不支持BPEL4Peop le规范,因此它们也都缺少对人工交互的支持。要使现有BPEL引擎支持BPEL4Peop le规范,必须修改现有BPEL引擎,这实现起来比较困难。提出了一种松耦合的解决方案:它利用现有的BPEL引擎,但不对现有的BPEL引擎做任何修改,通过两个组件即用户门户和任务引擎,使得基于现有BPEL引擎的工作流管理系统能够支持人工交互。     

基于CSTA扩展接口的下一代网络融合业务合成研究

为了实现网络业务与电信业务的自动合成,在分析了已有Web Service技术及电信业务技术不足的基础上,提出了一种采用OWL-S扩展CSTA业务接口的方法.它丰富了OWL-S Profile文件的内容,改进了基于AI的前向链自动业务合成算法,并且实现了网络业务和电信业务的自动合成.最后通过一个自动股票查询系统实例验证了提出的接口扩展方法及改进算法的合理性.     

电信服务产品多目标宗价模型研究

从分析近年来我国电信服务产品定价决策的复杂性和重要性入手,研究了多目标决策模型在电信服务产品定价决策中的应用,提出了电信服务产品定位决策的三方多目标决定定价－协商模型,并用两阶段满意规划方案求得该模型的促裁解,用模糊识别方法确定最满意的定价方案。结果实践给出的应用实例证明本文提出的多人多目标定价模型实用性和可操作性强。     

电信系统中业务冲突检测过滤机制的研究

随着电信业务数量的增多，业务组合数量呈指数级增长，业务冲突检测的过滤机制成为人们研究的重点。通过对电信业务组合方式的分析，提出了包含统一性过滤、等价性过滤和有效性过滤3个算法的业务组合过滤机制，并针对电信业务的特点，将两方电信业务划分为非前转类业务和前转类业务，使用该过滤机制对这两类业务相互作用时的组合进行过滤。通过对不同过滤算法效率的仿真分析提出了最佳的过滤算法执行顺序，由过滤结果可以看出，该过滤机制可以快速而有效地减少需要检测的业务组合的数量，提高业务冲突检测的效率。     

电信系统中业务冲突检测过滤机制的研究

随着电信业务数量的增多，业务组合数量呈指数级增长，业务冲突检测的过滤机制成为人们研究的重点。 通过对电信业务组合方式的分析，提出了包含统一性过滤、等价性过滤和有效性过滤3个算法的业务组合过滤机 制，并针对电信业务的特点，将两方电信业务划分为非前转类业务和前转类业务，使用该过滤机制对这两类业务相 互作用时的组合进行过滤$通过对不同过滤算法效率的仿真分析提出了最佳的过滤算法执行顺序，由过滤结果可 以看出，该过滤机制可以快速而有效地减少需要检测的业务组合的数量#，提高业务冲突检测的效率。     

NGN新一代网络技术和应用

NGN新一代网络是以软交换为核心,采用开放、标准化体系结构提供话音、视频、数据等多种媒体业务服务的下一代网络[4].NGN是电信史上的一个里程碑,它通过优化网络结构,不但实现了网络的融合,更重要的是实现了业务的融合,使得分组交换网络能够继承原有电路交换网络中已有的业务功能,同时还可以在全网范围内快速提供原有网络难以提供的新型业务功能.它的出现标志着新一代电信网络时代的到来.     

综合接入IP网关在高速公路视频监控中的应用

介绍高速公路收费站监控系统综合接入IP网关的工作原理、优势及工程应用实例。综合接入IP网关能使高速公路收费站监控系统的信号传输变得简单、稳定、可靠、快速,节约投资,大大降低管理运营成本,适用范围广。     

面向移动通信网络的局部扩张群组构造方法

移动运营商为了拓展新业务,需要增强对用户资源的了解,因此通过大数据分析技术深入分析移动通信系统中的用户行为数据.基于移动通信网络中的用户通话记录提出了一种基于复杂网络聚类算法的用户社交群组构造算法.该算法通过分析用户的通话记录,建立用户间联系紧密度模型.基于局部扩张原理和派系过滤算法进行用户群组构造.鉴于移动通话系统的巨大数据量,采用基于MapReduce编程模型的并行化设计.分别在模拟数据集和中国移动真实数据集下对该算法进行了验证,实验结果表明,该方法具有较好的性能,是可行且有效的.     

移动支付的安全机制研究

随着移动通信的迅速普及，移动支付凭借其它支付方式无可比拟的优势，必将受到用户的追捧，安全是制约移动支付推广的关键因素。移动支付的安全涉及支付双方的身份认证、支付双方会话的保密和支付双方合同的公平等因素。     

通信网络技术的现状和发展

介绍了电信网络、广播电视网络、计算机通信网络近年来的发展情况和传输方面的新技术,讨论了交换和路由技术在不同网络上的工作性质,介绍了国际上三种网络的技术竞争和行业竞争。重点分析三种网络及其所开展的业务在原理上的相近之处,指出三种网络在业务范围和传输上正在逐步融合。分析了网络融合的具体含义和技术实现途径,讨论了ＡＴＭ（异步转移模式）和ＩＰ（网间协议）这两种网络传输技术在网络融合过程之中可能实现的两条道路———重叠方式和集成方式,推断网络互连和融合可能在接入网技术上率先取得突破。