10484972
Identification of initial rotor position of a micro-PMSM
This paper presents a method to identify initial rotor position of a PMSM (permanent magnet synchronous motor). The method applies a fuzzy phase controller (FPC) to control rotor position of a PMSM. In steady state, the FPC output is used to identify the absolute rotor position. The FPC is selected because of the non-linear plant behavior. The results demonstrate that the method can identify the initial rotor position exactly without moving rotor significantly from its initial position.
14774281
A Composition-Oriented Approach for Business Process Formal Design
Traditional approaches to designing business processes are often inadequate for complicated, distributed, and collaborated settings. However since network technologies have become widespread, an increasing number of business processes exhibit these properties. Therefore a new approach is needed. To this end, we describe the motivation, conceptualization, and analysis of a composition-oriented business process design method. The key advance of our method is that it uses process algebra pi-calculus as its formal basis and builds a complex process by composing simple structured process control modules to reduce the complexity of business process design as well as let several designers collaborate the design of a complex process. To make business process more clear, we also provide way of separating exception processing logic from normal process control logic and provide scooping mechanisms to minimize the detrimental effects of unplanned contingencies by ways of composition
14510404
Model replication: transformations to address model scalability
2 SUMMARY In Model-Driven Engineering, it is often desirable to evaluate different design alternatives as they relate to scalability issues of the modeled system. A typical approach to address scalability is model replication, which starts by creating base models that capture the key entities as model elements and their relationships as model connections. A collection of base models can be adorned with necessary information to characterize a specific scalability concern as it relates to how the base modeling elements are replicated and connected together. In current modeling practice, such model replication is usually accomplished by scaling the base model manually. This is a time-consuming process that represents a source of error, especially when there are deep interactions between model components. As an alternative to the manual process, this paper presents the idea of automated model replication through a model transformation process that expands the number of elements from the base model and makes the correct connections among the generated modeling elements. The paper motivates the need for model replication through case studies taken from models supporting different domains.
37283725
Business Process-Oriented Software Architecture for Supporting Business Process Change
As a business process is essential in running an enterprise, this paper aims toward improving software architecture by extracting business-relevant semantics from business logic and transforming them as important elements that need to be molded and represented in software architecture. This allows for the development of a business process-oriented software architecture (BPOSA) that can support smoother business process change. The paper introduces the structure of BPOSA and its work mode. Then it describes the steps involved in designing a process-oriented software system, and provides analysis and design methods of extending process-relevant attributes for application in business operations.
16418111
Levels of Independence in Aspect-Oriented Modeling
We are investigating the application of aspect-oriented principles as an aid toward improving the capabilities of domain-specific modeling. The approach, in general, provides transformations by weaving modeling aspects into a base model. The modeling aspects provide variation points within the model and can be used to drive the synthesis of the model into different artifacts. In this brief position paper, we describe how our current and future work improves the capabilities offered in a model-based tool. We highlight several levels of independence that make the approach applicable to numerous modeling situations.
3219801
Aspect mining from a modelling perspective
Aspect mining aims at identifying, analysing, and refactoring crosscutting concerns throughout a legacy system for the purpose of improving software modularisation. This paper presents our investigation into raising the benefits of aspect mining to high level domain-specific models. A key contribution is the capability to identify crosscutting concerns early in development, which will assist in the modularisation of a design through aspects, before proceeding to the implementation level. Furthermore, our experience has led us to believe that aspects are easier to identify at the modelling level, because much of the accidental complexities of implementation concerns are not present in the corresponding modelling abstractions.
5747108
Robust Bundle Adjustment for Structure from Motion
Structure from motion (SFM) is the problem of reconstructing the geometry of a scene from a stream of images. In this problem, the geometry of the scene must be inferred from images, along with the camera pose parameters. Bundle adjustment (BA) is a refinement method used to improve SFM solutions. It consists in simultaneously improving a set of initial estimates for all parameters (structure and camera pose) by minimizing a global cost function. It is generally considered to be highly accurate, and so is typically used as a last refinement step in most current SFM methods. Unfortunately, estimating the pose of the camera from a stream of images is an ill-conditioned problem. We thus propose a BA adjustment formulation which does not involve solving for the camera orientations. We tested this approach on several real world models. The numerical results obtained show that this approach is much less affected by noise than traditional BA.
23448401
An Improved Fuzzy Image Enhancement Algorithm
An effective method for fuzzy image enhancement was presented by Russo, which was controlled by tuning of one parameter. The fixed parameter was used for the entire image resulting in over blurring or sharpening of image features in some parts of the image. On the basis of these, in this paper, we applied Russo's algorithm on different kinds of noise and proposed an efficient method to obtain the parameter values adaptively. Firstly, each pixel went through a phase of smoothing and then followed by a phase of combining smoothing and sharpening; Secondly, to effectively enhance image, each pixel local feature was adaptively assigned different parameter values by evaluating pixel local features through a fuzzy membership function; Finally, compared with Russopsilas method and other methods, experimental results indicated that the proposed method could achieve better performance than traditional methods for the enhancement of images corrupted with impulse and Gaussian noise.
27770469
Optimizing the Selection of Partners in Collaborative Operation Networks
Through the situation today it is necessary that small and medium sized enterprises collaborate in so-called collaborative operation network. In the center of interest is the development of a virtual enterprise model which is based on small collaborative cells in so-called operation centers. Thus, the concentration on the core competences is supported and the market power is increased by the help of the collaborative operation networks. The automated selection of the partners is the major problems in virtual enterprises. In the paper, a method for choosing the most capable operation centers for every order is designed. The selected operation centers fulfill the tasks of a value chain particularly well. Within the approach, the problem will be solved by Ant Colony Optimization in combination with the Analytical Hierarchy Process.
11814255
Core role-based access control: efficient implementations by transformations
This paper describes a transformational method applied to the core component of role-based access control (RBAC), to derive efficient implementations from a specification based on the ANSI standard for RBAC. The method is based on the idea of incrementally maintaining the result of expensive set operations, where a new method is described and used for systematically deriving incrementalization rules. We calculate precise complexities for three variants of efficient implementations as well as for a straightforward implementation based on the specification. We describe successful prototypes and experiments for the efficient implementations and for automatically generating efficient implementations from straightforward implementations.
18478421
An Efficient Approach for Service Process Reconfiguration in SOA with End-to-End QoS Constraints
Using SOA, service processes can be composed statically or dynamically using services provided by different service providers. Some services may become faulty at runtime and cause the service process to violate the end-to-end quality of service (QoS) constraint. We propose an efficient approach for replacing faulty services to ensure that the reconfigured service process still meets the original end-to-end QoS constraint. We use an iterative algorithm to identify reconfiguration regions that have a small number of services, some faulty and some healthy, in order to have more service selection options. By reconfiguring services in these selected regions rather than the whole service process, the computational complexity is significantly reduced. Simulation study has shown that our approach is efficient as most service processes can be repaired by replacing only a small number of services.