语义Web服务组合综述

语义Web服务的目标是,利用语义Web技术将Web服务的静态描述和动态行为与功能有机地结合起来,解决Web服务的自动发现、组合和执行等问题。语义Web服务组合是服务资源重用的一种重要方式,也是语义Web服务研究领域的一个重要内容,它以现有的语义Web服务资源为基础,通过服务组合为基于Internet的大规模复杂应用提供新的、更多的可用资源。首先对语义Web服务相关的基本概念进行归纳和总结,概述语义Web服务组合的研究内容和目标,然后根据语义Web服务组合中使用的方法学对其进行分类并分析这些方法的实现过程和特点,最后总结全文,指出下一步的研究方向。     

普通话测试语音信息库的设计与实现

每年的国家普通话测试,都留下普通话测试的相关信息。为了有效利用这些信息,建立了普通话测试语音信息库,实现了信息录入、信息查询、数据统计、权限管理等多种功能。为了实现最小到音节的录音语料查询,信息库利用HTK进行音频文件的自动切分处理。普通话测试语音信息库可方便地用于包括测试录音语料在内的各种资料的调用和各种关联数据的统计。     

战略网络形成动因之制造模式篇

本研究目的在于探究战略网络生成中制造模式的推动作用。文章首先分析了制造模式在技术经济范式变迁中扮演的角色,总结出制造模式与技术经济范式之间的关系,接着运用数学抽象和哲学思辨的方法,提炼出人类历史上三次制造模式对技术经济范式的价值实现函数。基于该函数研究发现:精益生产中目的在于充分调动人的主观能动性,以实现人的解放的复合机制——现场管理、劳工关系管理和知识管理等体系是制造模式未来的发展方向;战略网络的演进服务于制造模式的价值实现功能,它的生成是为了弥补制造模式柔性不足的缺陷。     

持续审计(CA)研究综述

持续审计(Continuous Auditing,CA)是目前计算机辅助审计领域中的一个研究前沿问题.本文对CA的研究进行了分析、比较和展望.首先分析了CA的内涵.然后,对CA的相关研究进行了分类:(1)技术实现方法,分成嵌入式和分离式两种;(2)理论分析;(3)应用于CA的关键技术,并根据该分类对CA的研究分别进行了分析.最后,总结了本文的工作,并对将来CA的研究做了展望.     

代理服务器的设计与实现

该文深入分析计算机网络领域的代理服务器的基本工作原理和功能,从代理数据转发功能着手对比分析了各种实现技术,根据选择性分析结果提出了IP层及以上的代理服务器的实现模型,实现了基于Winsock控件的代理服务器。     

A constructive approach to minimal realization problem of 2D systems

Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the minimal Roesser model realization problem for a class of 2D systems which does not belong to the clarified categories. As one of the main results, a constructive realization procedure is first proposed. Based on the proposed procedure, sufficient conditions and explicit construction for minimal realizations of the considered 2D systems are shown. In addition, possible variations and applications of the obtained results are discussed and illustrative examples are presented.     

A -based optimal finite-word-length controller design

A novel optimal Finite Word Length (FWL) controller design is proposed in the framework of μ theory. A computationally tractable close-loop stability measure with FWL implementation considerations of the controller is derived based on the μ theory, and the optimal FWL controller realizations are obtained by solving the resulting optimal FWL realization problem using linear matrix inequality techniques.     

Disciplined autonomy: How business analytics complements customer involvement for digital innovation

The rise of big data and the fluid boundaries of digital products are driving companies to use business analytics (BA) to power their customer involvement. The complementarity view offers unique competence to generate value from BA because capability complementarity is less likely to be replicated or imitated. Unlike prior studies on BA-enabled value realization, our research investigates the interactions of BA and customer involvement capabilities using the complementarity view. We tested our model using data collected from 317 IT companies in China. Our results suggest that BA value realization requires both a top-down mechanism in which BA skills provide global guidance for alignment with a company’s goals and a bottom-up mechanism in which BA culture empowers local autonomy for adaptation to ever-changing needs. Our BA-complemented mechanisms provide research and practice with a way to concurrently use BA and customer involvement capabilities to address the duality of digital innovation. We further suggest that BA skills are necessary but insufficient for digital innovation because BA culture demonstrates a stronger effect in complementing organizations’ existing capabilities than BA skills do.     

分数阶系统的最优Oustaloup数字实现算法

控制系统通常无法用确定的解析表达式表达,所以需要利用滤波器来近似数字实现分数阶微积分.为此,提出一种新的分数阶系统数字实现算法--最优Oustaloup数字实现算法,通过最优算法寻找滤波器最优参数,在频率段内实现分数阶系统模型的高拟合精度.实例仿真结果表明,该算法在频率响应中的幅频特性及相频特性均优于Oustaloup及其改进算法.     

Invariant image reconstruction from irregular samples and hexagonal grid splines

We present an algorithm for the reconstruction of images from irregularly placed samples, using linear splines with control points on a hexagonal grid. Several spline approximations are computed for different transformations of the control point grid (e.g. translations and rotations). These approximations are then merged together after compensation of the transformations, yielding a high-quality invariant image reconstruction. Evaluations show that the use of hexagonal grids of the “invariance by integration” principle improves reconstruction quality. An application to image coding is also presented.