4,724 research outputs found
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains
In this paper we look into the problem of planning over hybrid domains, where
change can be both discrete and instantaneous, or continuous over time. In
addition, it is required that each state on the trajectory induced by the
execution of plans complies with a given set of global constraints. We approach
the computation of plans for such domains as the problem of searching over a
deterministic state model. In this model, some of the successor states are
obtained by solving numerically the so-called initial value problem over a set
of ordinary differential equations (ODE) given by the current plan prefix.
These equations hold over time intervals whose duration is determined
dynamically, according to whether zero crossing events take place for a set of
invariant conditions. The resulting planner, FS+, incorporates these features
together with effective heuristic guidance. FS+ does not impose any of the
syntactic restrictions on process effects often found on the existing
literature on Hybrid Planning. A key concept of our approach is that a clear
separation is struck between planning and simulation time steps. The former is
the time allowed to observe the evolution of a given dynamical system before
committing to a future course of action, whilst the later is part of the model
of the environment. FS+ is shown to be a robust planner over a diverse set of
hybrid domains, taken from the existing literature on hybrid planning and
systems.Comment: 17 page
Economic and environmental strategies for process design
This paper first addresses the definition of various objectives involved in eco-efficient processes, taking simultaneously into account ecological and economic considerations. The environmental aspect at the preliminary design phase of chemical processes is quantified by using a set of metrics or indicators following the guidelines of sustainability concepts proposed by . The resulting multiobjective problem is solved by a genetic algorithm following an improved variant of the so-called NSGA II algorithm. A key point for evaluating environmental burdens is the use of the package ARIANEâą, a decision support tool dedicated to the management of plants utilities (steam, electricity, hot water, etc.) and pollutants (CO2, SO2, NO, etc.), implemented here both to compute the primary energy requirements of the process and to quantify its pollutant emissions. The well-known benchmark process for hydrodealkylation (HDA) of toluene to produce benzene, revisited here in a multiobjective optimization way, is used to illustrate the approach for finding eco-friendly and cost-effective designs. Preliminary biobjective studies are carried out for eliminating redundant environmental objectives. The trade-off between economic and environmental objectives is illustrated through Pareto curves. In order to aid decision making among the various alternatives that can be generated after this step, a synthetic evaluation method, based on the so-called Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) (), has been first used. Another simple procedure named FUCA has also been implemented and shown its efficiency vs. TOPSIS. Two scenarios are studied; in the former, the goal is to find the best trade-off between economic and ecological aspects while the latter case aims at defining the best compromise between economic and more strict environmental impact
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models
This is the post-print version of the Article - Copyright @ 2011 ElsevierThe extended finite state machine (EFSM) is a modelling approach that has been used to represent a wide range of systems. When testing from an EFSM, it is normal to use a test criterion such as transition coverage. Such test criteria are often expressed in terms of transition paths (TPs) through an EFSM. Despite the popularity of EFSMs, testing from an EFSM is difficult for two main reasons: path feasibility and path input sequence generation. The path feasibility problem concerns generating paths that are feasible whereas the path input sequence generation problem is to find an input sequence that can traverse a feasible path. While search-based approaches have been used in test automation, there has been relatively little work that uses them when testing from an EFSM. In this paper, we propose an integrated search-based approach to automate testing from an EFSM. The approach has two phases, the aim of the first phase being to produce a feasible TP (FTP) while the second phase searches for an input sequence to trigger this TP. The first phase uses a Genetic Algorithm whose fitness function is a TP feasibility metric based on dataflow dependence. The second phase uses a Genetic Algorithm whose fitness function is based on a combination of a branch distance function and approach level. Experimental results using five EFSMs found the first phase to be effective in generating FTPs with a success rate of approximately 96.6%. Furthermore, the proposed input sequence generator could trigger all the generated feasible TPs (success rate = 100%). The results derived from the experiment demonstrate that the proposed approach is effective in automating testing from an EFSM
On the flexibility of an eco-industrial park (EIP) for managing industrial water
In a recent paper, a generic model, based on a multiobjective optimization procedure, for water supply system for a single company and for an eco-industrial park was proposed and illustrated by a park involving three companies A, B and C. The best configuration was identified by simultaneously minimizing the fresh water flow rate, the regenerated water flow rate and the number of connections in the eco-industrial park. The question is now to know what the maximal increase/decrease in pollutant flow rates is, so that the eco-industrial park remains feasible, economically profitable and environmentally friendly. A preliminary study shows that the park can accept an increase of pollutant flow rates of 29% in company A, 12% in company B and only 1% in company C; beyond these limits the industrial symbiosis becomes not feasible. The proposed configuration is not flexible with a very limited number of connections. Indeed, the solution implemented for conferring some flexibility to this network is to increase the number of connections within the park. However, connections have a cost, so the increase of their number needs to remain moderate. The number of connections is augmented until the symbiosis becomes unfeasible, or until the gain for each company to participate to the park becomes lower than a given threshold. Several cases are studied by increasing the pollutant flow rates under two different scenarios: 1) in only one company, 2) in two or three companies simultaneously
Quantisation, Representation and Reduction; How Should We Interpret the Quantum Hamiltonian Constraints of Canonical Gravity?
Hamiltonian constraints feature in the canonical formulation of general
relativity. Unlike typical constraints they cannot be associated with a
reduction procedure leading to a non-trivial reduced phase space and this means
the physical interpretation of their quantum analogues is ambiguous. In
particular, can we assume that `quantisation commutes with reduction' and treat
the promotion of these constraints to operators annihilating the wave function,
according to a Dirac type procedure, as leading to a Hilbert space equivalent
to that reached by quantisation of the problematic reduced space? If not, how
should we interpret Hamiltonian constraints quantum mechanically? And on what
basis do we assert that quantisation and reduction commute anyway? These
questions will be refined and explored in the context of modern approaches to
the quantisation of canonical general relativity.Comment: 18 Page
School performance in Australia: is there a role for quasi-markets?
Recent changes to the organisation of Australia's education system have raised the possibility of implementing wide-ranging market reforms. In this article we discuss the scope for introducing reforms similar to the United Kingdom's 'quasi-market' model. We discuss the role of school league tables in providing signals and incentives in a quasi-market. Specifically, we compare a range of unadjusted and model-based league tables of primary school performance in Queensland's public education system. These comparisons indicate that model-based tables which account for socio-economic status and student intake quality vary significantly from the unadjusted tables
Spatio-Temporal Context in Agent-Based Meeting Scheduling
Meeting scheduling is a common task for organizations of all sizes. It involves searching for a time and place when and where all the participants can meet. However, scheduling a meeting is generally difficult in that it attempts to satisfy the preferences of all participants. Negotiation tends to be an iterative and time consuming task. Proxy agents can handle the negotiation on behalf of the individuals without sacrificing their privacy or overlooking their preferences. This thesis examines the implications of formalizing meeting scheduling as a spatiotemporal negotiation problem. The âChildren in the Rectangular Forestâ (CRF) canonical model is applied to meeting scheduling. By formalizing meeting scheduling within the CRF model, a generalized problem emerges that establishes a clear relationship with other spatiotemporal distributed scheduling problems. The thesis also examines the implications of the proposed formalization to meeting scheduling negotiations. A protocol for meeting location selection is presented and evaluated using simulations
Optimisation of Mobile Communication Networks - OMCO NET
The mini conference âOptimisation of Mobile Communication Networksâ focuses on advanced methods for search and optimisation applied to wireless communication networks. It is sponsored by Research & Enterprise Fund Southampton Solent University.
The conference strives to widen knowledge on advanced search methods capable of optimisation of wireless communications networks. The aim is to provide a forum for exchange of recent knowledge, new ideas and trends in this progressive and challenging area. The conference will popularise new successful approaches on resolving hard tasks such as minimisation of transmit power, cooperative and optimal routing
- âŠ