22,610 research outputs found
Robustness of Equations Under Operational Extensions
Sound behavioral equations on open terms may become unsound after
conservative extensions of the underlying operational semantics. Providing
criteria under which such equations are preserved is extremely useful; in
particular, it can avoid the need to repeat proofs when extending the specified
language.
This paper investigates preservation of sound equations for several notions
of bisimilarity on open terms: closed-instance (ci-)bisimilarity and
formal-hypothesis (fh-)bisimilarity, both due to Robert de Simone, and
hypothesis-preserving (hp-)bisimilarity, due to Arend Rensink. For both
fh-bisimilarity and hp-bisimilarity, we prove that arbitrary sound equations on
open terms are preserved by all disjoint extensions which do not add labels. We
also define slight variations of fh- and hp-bisimilarity such that all sound
equations are preserved by arbitrary disjoint extensions. Finally, we give two
sets of syntactic criteria (on equations, resp. operational extensions) and
prove each of them to be sufficient for preserving ci-bisimilarity.Comment: In Proceedings EXPRESS'10, arXiv:1011.601
A Majorization-Minimization Approach to Design of Power Transmission Networks
We propose an optimization approach to design cost-effective electrical power
transmission networks. That is, we aim to select both the network structure and
the line conductances (line sizes) so as to optimize the trade-off between
network efficiency (low power dissipation within the transmission network) and
the cost to build the network. We begin with a convex optimization method based
on the paper ``Minimizing Effective Resistance of a Graph'' [Ghosh, Boyd \&
Saberi]. We show that this (DC) resistive network method can be adapted to the
context of AC power flow. However, that does not address the combinatorial
aspect of selecting network structure. We approach this problem as selecting a
subgraph within an over-complete network, posed as minimizing the (convex)
network power dissipation plus a non-convex cost on line conductances that
encourages sparse networks where many line conductances are set to zero. We
develop a heuristic approach to solve this non-convex optimization problem
using: (1) a continuation method to interpolate from the smooth, convex problem
to the (non-smooth, non-convex) combinatorial problem, (2) the
majorization-minimization algorithm to perform the necessary intermediate
smooth but non-convex optimization steps. Ultimately, this involves solving a
sequence of convex optimization problems in which we iteratively reweight a
linear cost on line conductances to fit the actual non-convex cost. Several
examples are presented which suggest that the overall method is a good
heuristic for network design. We also consider how to obtain sparse networks
that are still robust against failures of lines and/or generators.Comment: 8 pages, 3 figures. To appear in Proc. 49th IEEE Conference on
Decision and Control (CDC '10
Some numerical methods for solving stochastic impulse control in natural gas storage facilities
The valuation of gas storage facilities is characterized as a stochastic impulse control problem with finite horizon resulting in Hamilton-Jacobi-Bellman (HJB) equations for the value function. In this context the two catagories of solving schemes for optimal switching are discussed in a stochastic control framework. We reviewed some numerical methods which include approaches related to partial differential equations (PDEs), Markov chain approximation, nonparametric regression, quantization method and some practitioners’ methods. This paper considers optimal switching problem arising in valuation of gas storage contracts for leasing the storage facilities, and investigates the recent developments as well as their advantages and disadvantages of each scheme based on dynamic programming principle (DPP
Investigation of Air Transportation Technology at Princeton University, 1989-1990
The Air Transportation Technology Program at Princeton University proceeded along six avenues during the past year: microburst hazards to aircraft; machine-intelligent, fault tolerant flight control; computer aided heuristics for piloted flight; stochastic robustness for flight control systems; neural networks for flight control; and computer aided control system design. These topics are briefly discussed, and an annotated bibliography of publications that appeared between January 1989 and June 1990 is given
Design of Closed Loop Supply Chains
Increased concern for the environment has lead to new techniques to design products and supply chains that are both economically and ecologically feasible. This paper deals with the product - and corresponding supply chain design for a refrigerator. Literature study shows that there are many models to support product design and logistics separately, but not in an integrated way. In our research we develop quantitative modelling to support an optimal design structure of a product, i.e. modularity, repairability, recyclability, as well as the optimal locations and goods flows allocation in the logistics system. Environmental impacts are measured by energy and waste. Economic costs are modelled as linear functions of volumes with a fixed set-up component for facilities. We apply this model using real life R&D data of a Japanese consumer electronics company. The model is run for different scenarios using different parameter settings such as centralised versus decentralised logistics, alternative product designs, varying return quality and quantity, and potential environmental legislation based on producer responsibility.supply chain management;reverse logistics;facility location;network design;product design
Robust Estimators in Generalized Pareto Models
This paper deals with optimally-robust parameter estimation in generalized
Pareto distributions (GPDs). These arise naturally in many situations where one
is interested in the behavior of extreme events as motivated by the
Pickands-Balkema-de Haan extreme value theorem (PBHT). The application we have
in mind is calculation of the regulatory capital required by Basel II for a
bank to cover operational risk. In this context the tail behavior of the
underlying distribution is crucial. This is where extreme value theory enters,
suggesting to estimate these high quantiles parameterically using, e.g. GPDs.
Robust statistics in this context offers procedures bounding the influence of
single observations, so provides reliable inference in the presence of moderate
deviations from the distributional model assumptions, respectively from the
mechanisms underlying the PBHT.Comment: 26pages, 6 figure
A bi-objective genetic algorithm approach to risk mitigation in project scheduling
A problem of risk mitigation in project scheduling is formulated as a bi-objective optimization problem, where the expected makespan and the expected total cost are both to be minimized. The expected total cost is the sum of four cost components: overhead cost, activity execution cost, cost of reducing risks and penalty cost for tardiness. Risks for activities are predefined. For each risk at an activity, various levels are defined, which correspond to the results of different preventive measures. Only those risks with a probable impact on the duration of the related activity are considered here. Impacts of risks are not only accounted for through the expected makespan but are also translated into cost and thus have an impact on the expected total cost. An MIP model and a heuristic solution approach based on genetic algorithms (GAs) is proposed. The experiments conducted indicate that GAs provide a fast and effective solution approach to the problem. For smaller problems, the results obtained by the GA are very good. For larger problems, there is room for improvement
Surprising comparative properties of monetary models : results from a new model database
In this paper we investigate the comparative properties of empirically-estimated monetary models of the U.S. economy using a new database of models designed for such investigations. We focus on three representative models due to Christiano, Eichenbaum, Evans (2005), Smets and Wouters (2007) and Taylor (1993a). Although these models differ in terms of structure, estimation method, sample period, and data vintage, we find surprisingly similar economic impacts of unanticipated changes in the federal funds rate. However, optimized monetary policy rules differ across models and lack robustness. Model averaging offers an effective strategy for improving the robustness of policy rules
Operational tsunami modelling with TsunAWI – recent developments and applications
In this article, the tsunami model TsunAWI (Alfred Wegener Institute) and its application for hindcasts, inundation studies, and the operation of the tsunami scenario repository for the Indonesian tsunami early warning system are presented. TsunAWI was developed in the framework of the German-Indonesian Tsunami Early Warning System (GITEWS) and simulates all stages of a tsunami from the origin and the propagation in the ocean to the arrival at the coast and the inundation on land. It solves the non-linear shallow water equations on an unstructured finite element grid that allows to change the resolution seamlessly between a coarse grid in the deep ocean and a fine representation of coastal structures. During the GITEWS project and the following maintenance phase, TsunAWI and a framework of pre- and postprocessing routines was developed step by step to provide fast computation of enhanced model physics and to deliver high quality results
- …