一种基于QoS约束的Web服务选择和排序模型

提出了一种基于QoS约束的Web服务选择和排序模型,在研究Web服务的三维QoS模型的基础上设计基于QoS约束的服务选择模型,进一步研究服务效能的概念和量化方法并设计基于服务效能的排序模型.该模型的原型系统已经在国家地质调查网格中得到应用,结果表明模型能够有效保障用户对服务的需求,具有很高的查准率、响应率以及较好的负载均衡能力,提高了基于面向服务架构(SOA)的网络应用的可用性.     

协同服务模型及其在电子商务中的应用

针对协同服务的结构关系和特点,研究了协同服务模型,将协同服务模型分为内部服务模型和外部服务模型,此方法中可以较好地保护协同服务的内部信息.给出了基于随机Petri网的电子商务背景下企业协同服务中几种最具有代表性的内部服务模型到外部服务模型之间的转化定理及相应的证明.将该模型分析方法应用于电子商务下单流程分析之中,数值计算结果说明了该方法的有效性.     

Web服务可靠性的阶段模型

为了更全面地分析Web服务的失效过程,提高Web服务可靠性预测的精度,提出了一种Web服务可靠性的阶段模型.描述了SOA(service-oriented architecture)下Web服务在服务发布、服务发现、服务绑定、服务组合以及服务执行等各个阶段的失效过程,并根据Web服务在不同阶段的失效过程构建各个阶段的可靠性模型,将各阶段的可靠性模型集成起来即构成了Web服务的可靠性预测模型.通过实例描述了该模型的可靠性度量方法,并将该阶段模型和传统的可靠性模型进行了比较,实验结果表明了该可靠性阶段模型是有效的,因此比传统模型更加适用于Web服务.     

一种Web服务组合的数学模型

为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.     

一种基于NuSMV模型检测的服务组合编制方法

给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性。并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器。该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险。     

一种带QoS约束的语义Web服务选择方法

为了对语义匹配产生的Web服务集进行二次选择,提出了一种带QoS约束的语义Web服务选择方法.该方法首先扩展了OWL-S模型中的QoS描述信息,提出了具有服务语义与服务质量描述能力的可扩展的OWL-SQ服务描述模型,以此作为服务质量支持与约束,然后基于决策理论和归一化算法,给出了针对OWL-SQ模型中各种非数值型和数值型质量属性的无量纲化处理方法,提出了QoS匹配矩阵构建算法及服务选择方法,以综合评价与选择最优侯选服务,通过实例测试其性能,结果表明基于OWL-SQ服务描述模型的服务选择方法,提高了服务选择的效率与查准率.     

基于BDI Agent的网格服务模型研究

随着网格技术应用的不断深入,对网格服务应用过程中的自治性、智能性等提出了较高要求.为了有效解决网格服务过程中的自治性问题,在对网格服务及智能Agent的BDI模型进行研究的基础上,提出了一种基于BDI Agent的网格服务模型.分析了模型中各模块的组成及功能,基于Agent的智能性、自治性和社会性等特点,讨论了Agent在网格服务请求处理过程中的作用.同时,利用本体语义进行网格服务的匹配,从网格服务的基本概念和整体服务能力上对匹配过程进行了说明.该模型提高了网格服务发现的准确率,同时也增强了系统的可维护性、灵活性和扩展性以及网格服务管理的自治性和容错性.最后,进一步明确了该模型的未来研究方向.     

一种基于可扩展核心式结构的Internet服务质量模型

随着 Internet技术的迅速发展 ,一系列的服务质量 (Qo S)保证体系逐渐成为人们研究的热点。文章探讨了最新的综合服务、区分服务等一系列 Qo S的体系模型 ,对每种模型的特点进行了分析比较 ,并结合网络数据流的状态对 Qo S的影响 ,提出了一种使网络具有灵活性、可扩展性、鲁棒性和较高服务质量保证的 Qo S模型。该模型综合了集中服务和区分服务 2种体系模型的优点 ,最后给出了该模型实现的算法。     

面向服务的构件软件框架及构件服务挖掘

对现有构件软件框架及构件挖掘技术进行了分析,将构件挖掘和服务挖掘统一为构件服务挖掘;为适应构件服务挖掘的需要,基于HTTP协议和XML语言提出了面向服务的构件软件框架及相关的构件服务定义和操纵语言;针对该软件框架,提出了一个通用的构件服务挖掘过程模型.该过程模型与未来对构件服务挖掘的需求相适应,为方便获取各种构件服务,以及为软件重用研究提供了新方法.     

基于本体的Web服务分类的实现

为区分网络上存在着的大量的Web服务,提出了一种有效的分类方法,利用本体的结构存储分类模型,动态生成分类结果,即服务本体文件.重点阐述了Web服务相似度的计算方式,包括服务名称相似度、输入列表相似度、输出类型相似度和服务描述相似度.通过读取服务本体的分类模型,可提高服务请求者检索服务的效率.     

体操训赛管理方略之我见

体操的训赛管理工作能否达到预期目标,取决于管理的策略。对此进行了探讨,梳理出“十一规”方略,即：把握规律、精细规划、吃透规则、熟悉规程、狠抓规格、建立规范、严定规矩、巧善规避、勇于规谏、锐意规新、展现规模。     

工科数学教学改革探讨

工科数学教学既要教思想、教方法，又要教做人；既面向全体学生、面向大多数，又要面向两头；要引导学生转变学习观念；同时应加强针对性，注重启发性，提高积极性等，以达到提高学生素质、培养学生能力的目的．     

跳远技术分析及教学方法

目的：通过对跳远的技术分析及教学方法的研究,使运动员能够快速获得正确的助跑、踏跳、腾空和落地的运动基本知识。通过对助跑的技术分析,使运动员能够快速掌握确定助跑距离及助跑的形成;通过对踏跳的技术分析,使运动员能够正确掌握起跳腿、起跳脚、踏跳板的配合及胯、膝、踝的伸展,充分施展踏跳时的爆发力,掌握踏跳时的起跳角度和水平速度;通过对腾空的技术分析,使运动员能够正确掌握摆动腿、起跳腿、躯干和手臂的角度、部位、空中高度及其用力方法和运行轨迹;通过对落地的技术分析,使运动员能够正确掌握最佳落地姿势从而提高落地动作的效率。     

增强高校网络德育实效性的立体考察

提高高校网络德育的实效性是一项综合性工程,需要开设网络德育课、创新网站德育内容以充分吸引大学生的注意力、创新德育教育手段和途径、建立开放式的互联德育立体网络、加强网络德育队伍的建设、建立和完善网络文化建设,特别是校园网络文化建设的维护机制、引导和鼓励大学生参加实践和加强制度建设,最终形成促进网络德育生态发展的机制。     

《周易》道德修养思想研究

《周易》是最早论述道德修养的著作。从顽强进取，自强不息，谦虚谨慎，勤俭节约，关心民众，以民为本，任人为贤，识贤用贤几方面进行论述。     

萨特的《存在主义是一种人道主义》论析

"存在"就是人的存在;"本质"就是人的社会概念。存在主义认为"存在先于本质",也就是说人要成为人,成为一个全面完整的人,首先要从认识自我开始,认识社会,积极入世,担当责任,成为本质意义上的人。存在主义立意为人在一个恶劣的社会处境中指出为人之道和入世之道,教导人如何存在,如何为人。存在主义鼓励人乐观向上,自在自为,从存在出发,找到自己,积极入世,实现自我的价值,成为真正的人;从我做起,承担责任,超越自我,以人道主义精神为宗旨,创造社会,开创人类和谐的社会生活。     

上饶城市化发展对策探析

＂十二五＂是欠发达地区城市化发展的关键时期。城市化是衡量一个地区经济和社会发展的重要标志,是实现跨越式发展的重要依托。作为中部地区城市化率相对偏低、区位优势明显、发展潜能巨大的上饶,必须认清城市化的发展特征和存在问题,坚持三层级、多元化、市场化、规模化、个性化、可持续发展原则;创新民本发动机制、能人回流机制、要素集聚机制、土地流转机制、人口选择机制、职业培训机制、同化平等机制、专心进城机制;加强领导、组织落实,创新制度、突破瓶颈,集中力量、加大投入,多元融资、加快进程,三级构架、逐级推进,办好园区、增强后盾,加快城市化进程,实现跨越式发展。     

浅谈如何上好新课

上好新课的关键是:一要敢于承担,乐于承担新课,增强对新开课程的兴趣;二要深入钻研教材,认真备好每一堂课,努力实现教学与德育的结合;三要向老教师学习,不断总结教学经验,提高教学艺术;四要重视课后辅导答疑这个环节,做到因材施教,补充课堂教学的不足     

浅谈基于工作过程系统化的《SQL数据库》教学情境设计

基于工作过程系统化的课程源于真实，但应高于真实，不仅仅要将经验技能传授给学生，更重要的是将探知规律的方法传授给学生．在教学过程中引导、培养学生知识迁移的思维能力，使之通过举一反三能够触类旁通，掌握解决问题的通用技法。     

在VB中使用Excel对象的分析

分析了一个在VB中调用Excel对象，实现用VB编程，把原始数据、中间数据及结果都写入Excel文件来求线性方程组解的实例，同时介绍了VB调用Excel，VB把数据写入到Excel中的单元格并对单元格的内容进行格式控制、数值计算，把计算结果从Excel传送回VB的实现方法。