Grouping Techniques for Scheduling Problems: Simpler and Faster

In this paper we describe a general grouping technique to devise faster and simpler approximation schemes for several scheduling problems. We illustrate the technique on two different scheduling problems: scheduling on unrelated parallel machines with costs and the job shop scheduling problem. The time complexity of the resulting approximation schemes is always linear in the number n of jobs, and the multiplicative constant hidden in the O(n) running time is reasonably small and independent of the error ε. Supported by Swiss National Science Foundation project 200020-109854, “Approximation Algorithms for Machine scheduling Through Theory and Experiments II”. A preliminary version of this paper appeared in the Proceedings of ESA’01.     

Directed model checking with distance-preserving abstractions

In directed model checking, the traversal of the state space is guided by an estimate of the distance from the current state to the nearest error state. This paper presents a distance-preserving abstraction for concurrent systems that allows one to compute an interesting estimate of the error distance without hitting the state explosion problem. Our experiments show a dramatic reduction both in the number of states explored by the model checker and in the total runtime.     

Magnebike: A magnetic wheeled robot with high mobility for inspecting complex‐shaped structures

This paper describes the Magnebike robot, a compact robot with two magnetic wheels in a motorbike arrangement, which is intended for inspecting the inner casing of ferromagnetic pipes with complex‐shaped structures. The locomotion concept is based on an adapted magnetic wheel unit integrating two lateral lever arms. These arms allow for slight lifting off the wheel in order to locally decrease the magnetic attraction force when passing concave edges, as well as laterally stabilizing the wheel unit. The robot has the main advantage of being compact (180 × 130 × 220 mm) and mechanically simple: it features only five active degrees of freedom (two driven wheels each equipped with an active lifter stabilizer and one steering unit). The paper presents in detail design and implementation issues that are specific to magnetic wheeled robots. Low‐level control functionalities are addressed because they are necessary to control the active system. The paper also focuses on characterizing and analyzing the implemented robot. The high mobility is shown through experimental results: the robot not only can climb vertical walls and follow circumferential paths inside pipe structures but it is also able to pass complex combinations of 90‐deg convex and concave ferromagnetic obstacles with almost any inclination regarding gravity. It requires only limited space to maneuver because turning on the spot around the rear wheel is possible. This high mobility enables the robot to access any location in the specified environment. Finally the paper analyzes the maximum payload for different types of environment complexities because this is a key feature for climbing robots and provides a security factor about the risk of falling and slipping. © 2009 Wiley Periodicals, Inc.     

Computing presentations for subgroups of polycyclic groups and of context-free groups

Algorithms for solving uniform decision problems for algebraic structures crucially depend on the chosen finite presentations for the structures under consideration. Rewriting techniques have been used very successfully to solve uniform decision problems, when the presentations considered involve finite, noetherian, and ()-confluent rewriting systems. Whenever the class of algebraic structures considered is closed under the operation of taking finitely generated substructures, then the algorithms for solving the uniform decision problems can be applied to the substructures as well. However, since these algorithms depend on the form of the presentations, this involves the task of constructing a presentation of a certain form for a substructure given a presentation of this form for the structure itself and a finite set of generating elements for the substructure.This problem, which has received a lot of attention in algebra, is here investigated from an algorithmic point of view. The structures considered are the following two classes of groups, which have been studied extensively before: the polycyclic groups and the context-free groups.Finitely generated context-free groups can be presented by finite, monadic, and -confluent string-rewriting systems. Due to their nice algorithmic properties these systems provide a way to effectively solve many decision problems for context-free groups. Since finitely generated subgroups of context-free groups are again contextfree, they can be presented in the same way. Here we describe a process that, from a finite, monadic, and -confluent string-rewriting system presenting a context-free groupG and a finite subsetU ofG, determines a presentation of this form for the subgroup U ofG that is generated byU. For finitely presented polycyclic groups we obtain an analogous result, when we use finite confluent PCP2-presentations to describe these groups.This work was performed while this author was visiting at the Fachbereich Informatik, Universität Kaiserslautern, during his sabbatical 1991/92     

Reversible Anion‐Driven Switching of an Organic 2D Crystal at a Solid–Liquid Interface

Ionic self‐assembly of charged molecular building blocks relies on the interplay between long‐range electrostatic forces and short‐range, often cooperative, supramolecular interactions, yet has been seldom studied in two dimensions at the solid–liquid interface. Here, we demonstrate anion‐driven switching of two‐dimensional (2D) crystal structure at the Au(111)/octanoic acid interface. Using scanning tunneling microscopy (STM), three organic salts with identical polyaromatic cation (PQPC₆⁺) but different anions (perchlorate, anthraquinonedisulfonate, benzenesulfonate) are shown to form distinct, highly ordered self‐assembled structures. Reversible switching of the supramolecular arrangement is demonstrated by in situ exchange of the anion on the pre‐formed adlayer, by changing the concentration ratio between the incoming and outgoing anion. Density functional theory (DFT) calculations reveal that perchlorate is highly mobile in the adlayer, and corroborate why this anion is only resolved transiently in STM. Surprisingly, the templating effect of the anion persists even where it does not become part of the adlayer 2D fabric, which we ascribe to differences in stabilization of cation conformations by the anion. Our results provide important insight into the structuring of mixed anion–cation adlayers. This is essential in the design of tectons for ionic self‐assembled superstructures and biomimetic adaptive materials and valuable also to understand adsorbate–adsorbate interactions in heterogeneous catalysis.     

A non-autonomous optimal control model of renewable energy production under the aspect of fluctuating supply and learning by doing

Given the constantly raising world-wide energy demand and the accompanying increase in greenhouse gas emissions that pushes the progression of climate change, the possibly most important task in future is to find a carbon-low energy supply that finds the right balance between sustainability and energy security. For renewable energy generation, however, especially the second aspect turns out to be difficult as the supply of renewable sources underlies strong volatility. Further on, investment costs for new technologies are so high that competitiveness with conventional energy forms is hard to achieve. To address this issue, we analyze in this paper a non-autonomous optimal control model considering the optimal composition of a portfolio that consists of fossil and renewable energy and which is used to cover the energy demand of a small country. While fossil energy is assumed to be constantly available, the supply of the renewable resource fluctuates seasonally. We further on include learning effects for the renewable energy technology, which will underline the importance of considering the whole life span of such a technology for long-term energy planning decisions.     

Probabilistic calibration of discrete element simulations using the sequential quasi-Monte Carlo filter

The calibration of discrete element method (DEM) simulations is typically accomplished in a trial-and-error manner. It generally lacks objectivity and is filled with uncertainties. To deal with these issues, the sequential quasi-Monte Carlo (SQMC) filter is employed as a novel approach to calibrating the DEM models of granular materials. Within the sequential Bayesian framework, the posterior probability density functions (PDFs) of micromechanical parameters, conditioned to the experimentally obtained stress–strain behavior of granular soils, are approximated by independent model trajectories. In this work, two different contact laws are employed in DEM simulations and a granular soil specimen is modeled as polydisperse packing using various numbers of spherical grains. Knowing the evolution of physical states of the material, the proposed probabilistic calibration method can recursively update the posterior PDFs in a five-dimensional parameter space based on the Bayes’ rule. Both the identified parameters and posterior PDFs are analyzed to understand the effect of grain configuration and loading conditions. Numerical predictions using parameter sets with the highest posterior probabilities agree well with the experimental results. The advantage of the SQMC filter lies in the estimation of posterior PDFs, from which the robustness of the selected contact laws, the uncertainties of the micromechanical parameters and their interactions are all analyzed. The micro–macro correlations, which are byproducts of the probabilistic calibration, are extracted to provide insights into the multiscale mechanics of dense granular materials.