排序方式: 共有46条查询结果,搜索用时 31 毫秒
11.
12.
13.
Xiaohui Zhao Chengfei Liu Wasim Sadiq Marek Kowalkiewicz Sira Yongchareon 《World Wide Web》2011,14(1):27-52
Web service and business process technologies are widely adopted to facilitate business automation and collaboration. Given
the complexity of business processes, it is a sought-after feature to show a business process with different views to cater
for the diverse interests, authority levels, etc., of different users. Aiming to implement such flexible process views in
the Web service environment, this paper presents a novel framework named FlexView to support view abstraction and concretisation
of WS-BPEL processes. In the FlexView framework, a rigorous view model is proposed to specify the dependency and correlation
between structural components of process views with emphasis on the characteristics of WS-BPEL, and a set of rules are defined
to guarantee the structural consistency between process views during transformations. A set of algorithms are developed to
shift the abstraction and concretisation operations to the operational level. A prototype is also implemented for the proof-of-concept
purpose. 相似文献
14.
Hebertt Sira‐Ramírez 《Asian journal of control》2003,5(4):467-475
In this article, we attempt a reapproachment between sliding mode control of linear systems and classical control through the possibilities of evading state measurements and circumventing the use of asymptotic state observers in the sliding surface synthesis. This is shown to be possible thanks to the use of integral state reconstructors combined with iterated integral output error compensation. The proposed scheme is also robust with respect to unmatched perturbation inputs. A connection between sliding modes and classical analog Δ‐modulators, and their natural generalization, is also brought to attention as a tool for the realization of integral reconstructor based sliding mode control schemes. 相似文献
15.
16.
One of the major problems within the software testing area is how to get a suitable set of cases to test a software system.
This set should assure maximum effectiveness with the least possible number of test cases. There are now numerous testing
techniques available for generating test cases. However, many are never used, and just a few are used over and over again.
Testers have little (if any) information about the available techniques, their usefulness and, generally, how suited they
are to the project at hand upon, which to base their decision on which testing techniques to use. This paper presents the
results of developing and evaluating an artefact (specifically, a characterisation schema) to assist with testing technique
selection. When instantiated for a variety of techniques, the schema provides developers with a catalogue containing enough
information for them to select the best suited techniques for a given project. This assures that the decisions they make are
based on objective knowledge of the techniques rather than perceptions, suppositions and assumptions. 相似文献
17.
Rémi Bertin Sascha Hunold Arnaud Legrand Corinne Touati 《Journal of Parallel and Distributed Computing》2014
Large scale distributed systems typically comprise hundreds to millions of entities (applications, users, companies, universities) that have only a partial view of resources (computers, communication links). How to fairly and efficiently share such resources between entities in a distributed way has thus become a critical question. 相似文献
18.
Hebertt Sira‐Ramírez 《Asian journal of control》2000,2(1):1-9
A passivity based controller, in suitable combination with the flatness property of the system, is proposed for the effective feedback equilibrium to equilibrium regulation, via planned trajectory tracking, of the angular position in a permanent magnet (PM) stepper motor. The control scheme is shown to be easily modifiable as to include traditional proportional‐integral‐derivative (PID) feedback control actions which efficiently account for unmodeled load torque perturbations. 相似文献
19.
Carlos Aguilar‐Ibanez Hebertt Sira‐Ramirez Miguel S. Suarez‐Castanon Ruben Garrido 《Asian journal of control》2019,21(3):1293-1306
This work proposes a robust controller to solve the trajectory‐tracking control problem of planar vertical take‐off and landing (PVTOL) aircraft under crosswind. The controller combines input–output feedback linearization and active disturbance rejection control techniques. The former linearizes the PVTOL dynamics and the latter actively estimates and compensates for the crosswind effects. Numerical simulations assess the effectiveness of the proposed approach. 相似文献
20.