27,057 research outputs found
Strong Equivalence of Qualitative Optimization Problems
We introduce the framework of qualitative optimization problems (or, simply, optimization problems) to represent preference theories. The formalism uses separate modules to describe the space of outcomes to be compared (the generator) and the preferences on outcomes (the selector). We consider two types of optimization problems. They differ in the way the generator, which we model by a propositional theory, is interpreted: by the standard propositional logic semantics, and by the equilibrium-model (answer-set) semantics. Under the latter interpretation of generators, optimization problems directly generalize answer-set optimization programs proposed previously. We study strong equivalence of optimization problems, which guarantees their interchangeability within any larger context. We characterize several versions of strong equivalence obtained by restricting the class of optimization problems that can be used as extensions and establish the complexity of associated reasoning tasks. Understanding strong equivalence is essential for modular representation of optimization problems and rewriting techniques to simplify them without changing their inherent properties
Finding weakly reversible realizations of chemical reaction networks using optimization
An algorithm is given in this paper for the computation of dynamically
equivalent weakly reversible realizations with the maximal number of reactions,
for chemical reaction networks (CRNs) with mass action kinetics. The original
problem statement can be traced back at least 30 years ago. The algorithm uses
standard linear and mixed integer linear programming, and it is based on
elementary graph theory and important former results on the dense realizations
of CRNs. The proposed method is also capable of determining if no dynamically
equivalent weakly reversible structure exists for a given reaction network with
a previously fixed complex set.Comment: 18 pages, 9 figure
Sensitivity analysis of oscillator models in the space of phase-response curves: Oscillators as open systems
Oscillator models are central to the study of system properties such as
entrainment or synchronization. Due to their nonlinear nature, few
system-theoretic tools exist to analyze those models. The paper develops a
sensitivity analysis for phase-response curves, a fundamental one-dimensional
phase reduction of oscillator models. The proposed theoretical and numerical
analysis tools are illustrated on several system-theoretic questions and models
arising in the biology of cellular rhythms
- …