基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

Web服务失效处理的反射中间件技术应用与实现

为提高服务有效性,在Web服务的客户方和服务器方配置反射层,捕捉到导致服务失效的各种状态和参数,有针对性地从服务内部动态调整服务运行状态和配置。依据服务失效类型,给出客户方和服务器方反射层的处理方法和工作过程,并借助于分层混合专家网络(HME)作为服务失效的检测方案,基于极大似然的HME学习策略可以对高维、非线性和强耦合的状态空间进行学习和辨识。通过实验和数据分析,表明了基于HME网络的反射中间件可以高效地对服务失效进行检测和处理。     

医院图书馆的个性化信息服务

阐述了图书馆个性化信息服务的内涵,探讨了医院图书馆提供个性化服务中存在问题,提出了搞好个性化服务的具体措施。     

论数字图书馆的个性化信息服务

介绍了数字图书馆个性化信息服务及系统功能,分析了数字图书馆个性化信息服务的模式,提出了数字图书馆个性化信息服务实现的途径与措施。     

面向学生的个性化智能型教学平台的构成和应用

本文结合“电大在线”教学平台和作者开发的个性化智能学习服务系统,依据现代教学设计理论和学习理论建立了面向学生的个性化智能教学平台的组成模块,分析了各模块的特点,并设计教学平台,支持面向学生的个性化教学。     

基于面向对象技术的生态系统服务功能价值计算方法

依托数据库技术和面向对象(object oriented,OO)计算机技术,对生态系统服务功能及价值评估模型进行抽象分析.采用直接市场法等新的生态服务功能价值评估方法,选用改进的综合自然植被净第一生产力评估模型作为计算模型,并将评价模型用计算机语言表达,建立了计算机评估程序,设计出基于对象的生态系统服务功能评估流程,最终实现了简便的、可以批量进行生态价值计算的自动评估系统.通过对铜川市城郊区不同植被第一生产力的计算,证明这种计算结果是可靠的,因而该计算机评估方法是可行的.     

仪器设备维修服务运行体系的设计

介绍了“以校园网络为依托,以实现报修过程的便捷化、维修过程的高效化、维修管理的科学化为出发点,以实现仪器设备维修服务运行体系向网络延伸为展开点,以为现有实验资源效用最大化的实现提供保障为目标点”所设计的仪器设备维修服务运行体系所涉及的系统设计思想、架构组成、相关版块的功能及实现方法。     

Immune Algorithm for Selecting Optimum Services in Web Services Composition

0 IntroductionInha rveec eenmte yregaerds a,sa t ghreo Iwnitnegrn neut mdbeverel oofps W aetb a S fearsvtic reast e( .W TSshe)Webis nowevolving into a distributed device of computationfroma collection of information resources[1]. But individualWeb services usually cannot satisfy some customers’require-ments ,so we always needtointegrate existingservices to cre-ate newvalue-added composed services .The process model underlying a composite identifies thefunctionalities required by the servic…     

高校图书馆个性化信息服务的实现策略

指出个性化信息服务是当前图书馆提高服务水平和用户满意度的重要方面。分析了个性化信息、个性化信息服务等概念的内涵。并从高校开展个性化信息服务的必要性出发。探讨了实现高校图书馆个性化信息服务的策略。     

军事信息系统服务资源分配并行优化方法

针对如何提高面向服务军事信息系统中任务工作流执行的时效性和成功概率, 提出了服务资源分配的并行优化方法. 首先给出了服务资源分配的系统框架, 在分析服务并行执行数目、 任务成功率、任务完成时间及服务执行代价之间关系的基础上, 建立了服务并行优化的目标规划数学模型, 并提出了一种求解该模型的改进粒子群算法(DPSO). 该算法通过引入粒子细微扰动、优化粒子飞行边界及粒子优胜劣汰等扩大搜索范围,提高获得最优解的概率. 实验结果表明服务分配的并行优化及其DPSO 求解算法是提高任务工作流执行成功率和时效性的有效方法.