基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

基于Pi演算的前沿调度算法并行性建模及实现

前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用Pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过Pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将Pi演算应用到关系演化算法的三个阶段中,提高关系演化调度算法的效率。本文通过对不同类型的任务调度模型的拓扑结构进行建模对比,验证了使用并行性的Pi演算对前沿调度算法实现的效率的优越性。     

摄影全站仪和PI-3000软件在地形三维建模中的应用

摄影全站仪GPT-7000i是一款创新性全站仪,内置两款数码相机,实现了工程测量与数字近景摄影测量的完美结合．PI-3000是一款先进的三维建模软件,能对地形、文物、建筑物、山坡等对象快速生成高精度可量测的三维数字表面模型．本文叙述了利用摄影全站仪采集坐标数据和控制点影像资料,利用数码相机拍摄立体像对,将数据导入到PI-3000中,从而建立地形三维模型．     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

基于设计结构矩阵族的过程建模方法研究

针对产品开发过程中迭代多和协同效率低的问题，提出基于设计结构矩阵族(DSMF)的过程建模方法.基于传统的设计结构矩阵(DSM)理论，分析了基于行为、零部件和参数的DSM应用间的关系.将各类矩阵按照其拓扑关联系统地集成起来，构成DSMF，以矩阵族形式建立了DSMF模型.利用对模型中子矩阵的变换，研究了优化过程结构的策略，并用于减震器贮液筒的设计建模和优化.结果表明，与传统方法相比，该建模方法更好地描述了过程中设计行为、零部件和参数间的复杂迭代关系，建立了信息完整和层次分明的过程模型，为深入至参数层的过程结构优化提供支持.     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

基于BP神经网络的化工过程建模研究

研究使用ＢＰ神经网络来完成化工过程的建筑。一般的化工过程建模问题是非线性的问题，很多情形下，与不相有关量的变化速率数量级相差很大，从而问题是刚性的。这时，用数值方法难于对过程的变化精确求解。由于ＢＰ网络能实现任何非线性的连续映，故适于处理复杂化工建模问题，将ＢＰ神经网络用于精细塔的温度计算，结果令人满意。     

基于接口自动机的服务组合方法

基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的组合表示服务组合,当用户需求发生变化时,可以重新构建IA和组合IA,当需求稳定后,通过查找IA组合使用的路径就可以找到Web组合的方法,使用本文的方法可以快速生成满足用户需求的新应用系统。     

流程模板驱动的Web服务组合方法

通过将业务流程表达为流程模板,利用服务选取代理SAS使BPEL4WS与语义Web服务相集成,提出了流程模板驱动的Web服务组合方法。该方法可以根据任务的搜索模板动态地发现、选择和绑定相应的Web服务,将抽象的流程模板实例化为可执行的流程实例。与同类方法相比,该方法考虑了现有的BPEL4WS规范的技术能力。     

基于移动通信网络的供应链管理初探

把移动通信技术、移动通信终端与供应链管理相结合，来提高供应链管理的敏捷性，是进行敏捷供应链管理的一种思路。基于移动通信网络的供应链管理的优势体现在对供应链上不断运动变化的信息资源进行随时随地的捕捉、整合与管理。基于移动通信网络的供应链管理信息系统主要由3个层次构成：系统服务层、应用服务层和开发环境、接口与工具。利用WebSphere Studio和Visual Age for Java能够开发出基于移动通信网络的供应链管理信息系统。     

3G移动通信增值业务运营策略研究

文章在对3G增值业务特征进行分析的基础上,讨论了未来增值业务发展带来的机遇和挑战,提出了3G时代增值业务运营管理的基本思路,为电信运营商在即将到来的3G时代运营增值业务提供一定的借鉴.     

单机内进程间三种通信方法效率的比较

对单机内两进程间通信的三种方法，传输字节的量与传输方法的效率之间的关系，量选择最快的传输方法。即管道，共享内存和套接字，进行测试比较，找出设计一个字节分段方案，使得可以根据传输字节的量选择最快的传输方法。     

电子商务系统的UML模型

介绍了 UML的基本概念、建模过程、以及 U ML建模的优点 ,描述了电子商务系统的特点以及功能 ,用一个实例来说明 UML在电子商务系统开发中的应用。     

一种新颖的全IP综合移动通信系统

为了解决现阶段传统移动通信技术和新型移动通信技术基于全IP网络的融合和互通问题,设计了一种基于IMS的全IP综合移动通信系统.将数字集群分系统、宽带无线接入分系统和传统电话终端集成于一体,通过统一的移动交换平台,实现多种模式接入体制的融合.该系统不仅能够在IP之上提供话音和其他业务,还支持基于IP的新开发的业务,并能够同时满足正常和应急抢险通信的需要.     

TD-LTE通讯技术在移动图书馆中的服务模式研究

读者对图书馆个性化服务的要求与日俱增,而随着手机的快速普及,读者更渴望能够通过手机随时随地享受图书馆的更多服务.本文以TD-LTE通信技术与数字图书馆服务的结合体——移动图书馆为基础,探讨了以4G智能手机为载体的移动服务模式,并对未来的无线技术对图书馆的影响进行了展望.     

动态联盟项目管理体系的建立过程

为了更好地实现动态联盟项目整体进度、资源、成本的集成优化,通过对动态联盟产品开发过程的分析,提出了一种基于项目管理的多阶段、多层次的动态联盟项目组织模式。描述了一种面向协商的动态联盟项目管理体系建立过程,建立了系统的功能结构。实现了对联盟项目任务的层次分解和分布管理,为动态联盟项目管理体系的建立提供了方法和支持。     

基于灰色层次分析法的变电站通信网络状态评价

针对变电站通信网络状态的复杂性、状态难以进行精确评估的问题,采取灰色层次分析法对变电站通信网络的状态进行评估.首先构建灰色层次分析法的相关评价指标因素集及评价集,并建立相关灰类及白化权函数,再根据层次分析法计算权重,最后对变电站通信网络状态进行综合评价.实例表明:灰色层次分析法可较好地应用于变电站二次设备检修中.