This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system. The modeling environment is created using the generic modeling environment (GME), a meta programmabl...
详细信息
This paper presents a component oriented modeling environment for building hybrid dynamic models of physical system. The modeling environment is created using the generic modeling environment (GME), a meta programmable visual modeling application developed at the Institute for software Integrated systems (ISIS). The core of the modeling language itself is a hybrid extension of the bond graph modeling language. The advantages of an object-oriented approach to physical system modeling combined with the advanced features of GME for managing model complexity are illustrated by building a library of hydraulic system components. A simulation model can be automatically generated from the physical system model using a model translator. As an example application we use the component library to build the model of a coupled multi-tank system with controlled and autonomous hybrid behaviors, and illustrate this with a simulation example
Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As computational complexity increases with the n...
详细信息
Fault diagnosis of coupled mobile robots requires a large number of measurements to be communicated either between the robots or from the robots to a central diagnoser. As computational complexity increases with the number of measurements, centralized algorithms become inefficient. This paper presents a distributed approach for qualitative fault diagnosis of coupled mobile robots. The approach is based on a bond graph modeling framework which incorporates local and distributed control algorithms, multiple sensor types, and both actuator and sensor faults. Relative measurement orderings are introduced to discriminate faults by exploiting the temporal order of the measurement deviations. This increases the discriminatory power of a set of measurements and results in a more efficient qualitative diagnosis algorithm. Distributed diagnosers are designed and applied to coupled mobile robots. Experimental results for a system consisting of two robots pushing a box demonstrate the improvement in both discriminatory power of the measurements and efficiency of the distributed diagnosis approach
As the Unified Modeling language (UML) and modeldriven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes sy...
详细信息
As the Unified Modeling language (UML) and modeldriven development (MDD) become increasingly common in industry, many developers are faced with the difficult task of understanding how an existing UML model realizes system requirements. Essentially, developers are required to understand the structure and behavior of UML models that they may have not created. Understanding these relationships is non-trivial, because the interactions in the model are not readily apparent. Commonly, the only means to elicit these relationships is visual inspection and guided simulation. This paper describes an alternative approach termed REVU (Requirements Visualization of UML), a process for visualizing functional requirements in terms of behavioral interactions in a UML model. We illustrate the use of this process with the visualization of scenarios for an adaptive light control system.
Over the last few years, grid technologies have progressed towards a service-oriented paradigm that enables a new way of service provisioning based on utility computing models. Users consume these services based on th...
详细信息
Over the last few years, grid technologies have progressed towards a service-oriented paradigm that enables a new way of service provisioning based on utility computing models. Users consume these services based on their QoS (quality of service) requirements. In such “pay-per-use” grids, workflow execution cost must be considered during scheduling based on users' QoS constraints. In this paper, we propose a budget constraint based scheduling, which minimizes execution time while meeting a specified budget for delivering results. A new type of genetic algorithm is developed to solve the scheduling optimization problem and we test the scheduling algorithm in a simulated grid testbed.
In this study, a novel approach is used to identify nondominated solutions to multiobjective optimization problems. The method is composed of a Particle Swarm Optimizer (PSO) coupled with a neural network. The PSO is ...
详细信息
In this study, a novel approach is used to identify nondominated solutions to multiobjective optimization problems. The method is composed of a Particle Swarm Optimizer (PSO) coupled with a neural network. The PSO is used to find an initial set of nondominated solutions. These nondominated solutions are then used to construct a general regression neural network that generates a considerably larger set of nondominated solutions. Our neural network enhancement process is demonstrated on a test suite of six instances of bi-criteria semidesirable facility location problems. Results show that the set of nondominated solutions developed by the neural network is, on average, 25 times larger than the initial set found by PSO, and in many instances dominate those identified by PSO. The method developed within is straightforward and general and is a new alternative to multiobjective optimization with decision variables in continuous space.
We propose a new method, called closed multidimensional sequential pattern mining, for mining multidimensional sequential patterns. The new method is an integration of closed sequential pattern mining and closed items...
详细信息
We propose a new method, called closed multidimensional sequential pattern mining, for mining multidimensional sequential patterns. The new method is an integration of closed sequential pattern mining and closed itemset pattern mining. Based on this method, we show that (1) the number of complete closed multidimensional sequential patterns is not larger than the number of complete multidimensional sequential patterns (2) the set of complete closed multidimensional sequential patterns covers the complete resulting set of multidimensional sequential patterns. In addition, mining using closed itemset pattern mining on multidimensional information would mine only multidimensional information associated with mined closed sequential patterns, and mining using closed sequential pattern mining on sequences would mine only sequences associated with mined closed itemset patterns
When transacting and interacting through open computer networks, traditional methods used in the physical world for establishing trust can no longer be used. Creating virtual network substitutes with which people, org...
详细信息
The change in the softwaresystems is inevitable if the system is to remain useful. The change in business requirements sometimes is such that the old and new requirements have to be met simultaneously, i.e. old and n...
详细信息
The change in the softwaresystems is inevitable if the system is to remain useful. The change in business requirements sometimes is such that the old and new requirements have to be met simultaneously, i.e. old and new business rules are needed to exist concurrently. Accommodating more than one rule in the existing entities, leads to the change in the operational system, which involves risk. The evolution in the system impacts the business rules as well as the data model of the system. The evolution step incorporating the change in business rule requires changes to be carried out in the application architecture in terms of addition or modification of process as well as data components and also the alterations in the relationships among the components. The evolution problem of coexistence of business rules can be considered as incremental change to the existing architectural design of the system to nullify the risk of change to the software. In this paper we propose the framework, where temporal aspects of process as well as data components and concurrent validity of multiple business rules, with multiple versions of the components can be effectively implemented. The framework supports evolution without disturbing existing architecture and functionality. This framework is consistent in application to systems irrespective of the design methodology followed for the same.
An algorithm for time division multiple access (TDMA) is found to be applicable in converting existing distributed algorithms into a model that is consistent with sensor networks. Such a TDMA service needs to be self-...
详细信息
暂无评论