基于语义扩展的空间信息服务描述模型

空间信息服务是Web服务在空间信息领域的应用,其元数据信息通常采用Web服务描述语言( WSDL)规范描述。然而,WSDL规范着重描述服务元数据的语法形态而欠缺语义描述,着重描述服务的功能特性而欠缺使用细节描述,尤其缺乏针对空间信息服务的约束表达,导致空间信息服务难以使用和推广,降低了用户体验。针对这种情况,提出一种基于WSDL语义扩展的轻量级空间信息服务描述模型。该模型在WSDL规范的基础上,针对常见的空间信息服务处理数据类型,扩展其语义描述和约束定义,丰富空间信息服务的描述信息,辅助空间信息服务的使用。在模型的基础上,设计了空间信息服务的使用方法,并在空间信息服务链可视化建模平台GeoChaining中进行了实验验证,不仅提高了空间信息服务的执行成功率,还降低了空间信息服务的使用难度。     

LLC谐振变换器的扩展描述函数法建模

给出了LLC谐振变换器的等效电路,基于扩展描述函数法建立了该等效电路的小信号模型、得到了LLC变换器的稳态解及其直流电压增益特性。借助PSpice仿真软件得到了该变换器在不同开关频率和不同电路参数下输出变量对控制变量的频率特性曲线。分析了开关频率、输入电压、占空比、品质因数和负载等主要参数对频率特性的影响。所作的工作对变换器参数的优化设计、闭环控制及动态性能设计具有指导意义。     

基于扩展模糊描述逻辑的软件数值模型

表示复杂的数值关系是软件建模的难点:直接表示复杂的数值关系会导致极高的软件模型推理复杂性。提 出采用模糊函数近似表示复杂数值关系,然后将扩展模糊描述逻辑作为软件模型形式化基础的软件模型建模框架,该 框架包含3个核心问题:软件数值域模糊化、软件数值知识库构造和软件数值模型推理。在软件数值域模糊化方面提 出模糊化方法和保证充分性的近似原则;在软件数值知识库构造方面讨论在模糊概念的基础上生成截集概念、构造声 明和术语公理的步骤和过程;在软件数值模型推理方面研究算法设计优化和分割等算法实现机制。     

语义Web服务发现的服务非功能描述扩展

传统的语法级Web服务能力描述不能解决描述的异构性问题,现有的语义级方法采用的Web服务描述十分有限,虽然可以实现功能土的匹配,但无从判断匹配的服务是否能够安全有效地使用。本文在分析现有相关研究的基础土提出语义Web服务发现中服务描述的非功能扩展,在保证较高的查;位率和查全率的基础上支持服务的质量、生存能力、行为约束的描述,并提出了相应的匹配算法,显著提升了服务匹配的质量,提高了匹配的灵活性、准确性。     

软件移植工具：形式描述及实例研究

在本文中,我们提出了一个对软件移植工具的形式描述,并讨论了实现软件移植工具CTY的若干关键问题及其解决方法。     

基于ViewPoint的软件构架描述

软件构架作为系统开发的蓝图，已成为软件工程领域的热点。在软件开发实践中，许多项目更为关注的是软件构架的设计，而忽略了软件构架的描述。事实上软件构架的详细精确描述是成功开发软件的根本保证。文中以UML为构架描述语言，引用IEEE1471标准中Viewpoint的概念，提出了基于3大Viewpoint的软件构架描述方法。基于Viewpoint的软件构架描述方法有助于开发人员在大型项目开发中从更高层次把握系统构架，从而保证软件开发过程的顺利进行。     

软件连接器规范化描述研究

在分析Mehta的软件连接器分类框架的基础上,提出了一种软件连接器的规范描述方法,以期通过规范软件连接器表示,进一步实现软件连接器的标准化、构件化。     

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。     

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。     

软件运行剖面的三维描述模型

软件运行剖面在软件测试中有着重要的作用。针对被测软件有多种使用时的情况，提出了一个三维的运行剖面描述模型，并将时间变量time(t)作为输入元素描述的一部分，以反映被测实时软件的实际输入情况。     

服务创新顾问案中所采用的顾问方法整理与评估

Many consulting firms and research institutions have started providing consultancy services for service innovations. However, academic research has not kept pace with rapidly changing developments in consulting businesses. This study evaluated all known methods currently used in service innovation consulting, and analyzed the actual practices of service innovation consulting to clarify trends in service innovation. Methods are evaluated by their strategy orientation and divergence orientation, and then classified according to a proposed general service innovation consulting framework. The findings of this study indicate that the current focus of service innovation consulting is: customer needs discovery. However, an integrated service innovation methodology covering customer needs discovery, market discovery, idea generation, strategy formulation, service engineering, and simulation/pilot is urgently needed.     

Service design for intelligent parking based on theory of inventive problem solving and service blueprint

This study refines a structural service design stages based on the Theory of Inventive Problem Solving (TRIZ) and the service blueprint approach. This study uses the case study of intelligent parking services with the mobile application technology and vehicle license plate recognition system in a high-end shopping mall. In the problem definition stage, the research analyzes the enterprise problem. In the service resolution stage, the TRIZ contradiction analysis and the service blueprint of the parking service as it existed is depicted from the principles of problem resolution. In the solution evaluation stage, new intelligent parking mobile applications (apps) are proposed following the principles generated in the second stage. Furthermore, the failure points and waiting points in the prior service blueprint are overcome and the new service performance is significantly improved. It contributes to enriching the service design literature, and extends the range of TRIZ applications for future parking technology.     

VB过程蓝图到抽象逻辑结构图的逆向映射规则及其双向映射有效性

本文给出VB过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则和双向映射规则的一种等价图形表示。在定义概念结点与逻辑结点之间双向映射的有效性概念基础上,进一步给出双向映射的有效性定理．本文的工作为VB逻辑程序编辑引起的概念程序一致性同步更新问题的解决奠定理论基础．     

应用于Web服务合成的一种有效的Web服务发现策略

随着Web服务的流行，如何发现Web服务为研究者们提出了挑战．文中将描述Web服务的信息分为服务操作信息（OWSDL）、服务功能信息（一般属性）和服务约束信息（实例属性）．基于描述服务的三部分信息，分三步实现服务查找．第一步，基于领域本体商业规范OWSDL实现服务操作同构；第二步，基于服务概要描述的一般属性，满足服务的功能需求；第三步，应用服务匹配度模型，基于概要描述的实例属性，按需为消费者提供恰当的服务．最后，通过实例证明了该方法是一种有效的Web服务发现策略．     

基于网络信息搜索的Web Service 文本描述信息扩充方法

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从Web服务的WSDL文件中获取此类信息进行Web服务的发现或检索,调研发现,互联网上大部分Web服务的WSDL文件中普遍缺少甚至没有此类信息.为此,提出一种基于网络信息搜索的从WSDL文件之外的信息源为Web服务扩充文本描述信息的方法.从互联网上收集包含目标Web服务特征标识的相关网页,基于从网页中抽取出的信息片段,利用信息检索技术计算信息片段与目标Web服务的相关度,并选取相关度较高的文本片段为Web服务扩充文本描述信息.基于互联网上的真实数据进行的实验,其结果表明,可为约51％的互联网上的Web服务获取到相关网页,并为这些Web服务中约88％扩充文本描述信息.收集到的Web服务及其文本描述信息数据均已公开发布.     

信息服务工程与管理专业的精英式工程教育模式探讨

Under the guidance of the training tactics for the graduate, "first to guarantee the solid technology, then to expand the knowledge field of management and business", the new discipline named Information Service Engineering and Management introduces eleven courses mentioned below：, , , , , , , , , , , 9 courses of which will be first introduced in SSDUT. In the second term for the juniors, basing on the course of Project Management Method and Practice and Web Development Technology and Practice, with the orientation of project practice, focusing on the main line of students, elite engineering education is to be promoted through team development practice with whole interaction in the certain classrooms to cultivate compound talents with comprehensive knowledge of technology, management and business.     

移动环境下的服务描述和服务匹配研究

服务发现与资源定位是移动环境下进行信息共享、处理的前提,服务描述和服务匹配策略是其中的关键问题,服务的多样性、异构性以及移动环境的动态性使得这些问题更加复杂。该文提出一种支持服务多样性和异构性的服务描述模型,针对此模型设计并实现了高效的存储结构和包括精确匹配、部分匹配的服务匹配策略,实验结果表明该策略的服务匹配性能优于基于XML的XPath方式。     

基于服务关系本体的服务生成

针对服务组合过程中生成复杂业务所涉及的用户个性化、动态生成等问题,提出了一种基于服务关系本体的交互式服务生成方法.该方法从3个视点对服务的关系进行分析,构建了服务关系本体,进而在服务生成中,通过挖掘服务的动态语义,获取用户意图,结合服务关系本体以引导后继服务的匹配.该方法可以灵活地适应用户及业务提供者的需求变化,获得较优的服务匹配结果,同时还提高了服务组合的效率.最后,实现并给出了支持该方法的原型系统以及实验结果,表明了该方法的可行性与有效性.     

一种验证服务组合中消息语义匹配的方法

介绍一种服务组合模型中服务消息语义化匹配验证的方法.该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态自动机.利用有限状态自动机中服务行为可以转换为线性逻辑表达式描述的原理,使用线性逻辑的演绎方法对服务消息的匹配性可满足性进行验证.     

支持主动服务的语义描述模型

该文介绍了一种Web服务按需定制的新模式--主动服务。在主动服务模型下,现有Web服务描述语言标准WSDL[7]所提供的信息明显不足。针对这个问题,文章提出了支持主动服务的服务描述模型ASDM,并给出了具体应用实例。