The hands-free telephone problem: an annotated bibliography update

Providing means for a full-duplex hands-free telephone conversation is still a research topic in many communication and signal processing laboratories around the world. More than ninety publications mainly from the last two and a half years support this statement. The reason for these activities lies in the complexity of the problem: full-duplex telephone communication without hand-sets requires electronic replicas of the loudspeaker-enclosure-microphone systems used by the communicating parties. The impulse response of such a system is typically several 100 ms long and time varying. Therefore, the replica has to be adaptive while the adaptation is controlled by speech signals. Regarding these requirements the hands-free telephone problem may currently be considered as one of the most challenging signal processing problems. This bibliography supplements a bibliography composed approximately two and a half years ago [29]. Brief summaries are given on papers published since then.     

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Journal of Automated Reasoning - The word problem for a finite set of ground identities is known to be decidable in polynomial time using congruence closure, and this is also the case if some of...     

3D-Druck für Hochvakuumanwendungen

To mark our anniversary, we are presenting articles that have been particularly appreciated by readers of our online edition once again in print. Here: 3D-Printing for High Vacuum Applications 3D printing technology has made the leap from a home-based private practice to industrial manufacturing. Due to the increasing reliability of printers and increasing material diversity, especially in the metal sector, double-digit percentage growth rates are possible in the coming years. This thesis deals with the manufacture of parts made by 3D printing for high vacuum application. Different components are printed and examined for their vacuum compatibility. As shown furthermore, conventionally made standard components can be vacuum sealed to printed parts, which enables cost-effective production of more complex components, such as e.g. a vacuum chamber allows. In addition, functional components can already be realized in the manufacturing process. The integration of a system of flow channels directly into the wall of a chamber is just one example. Thus, such a chamber can be heated during evacuation and effectively cool in later operation.     

Combination problems for commutative/monoidal theories or how algebra can help in equational unification

We study the class of theories for which solving unification problems is equivalent to solving systems of linear equations over a semiring. It encompasses important examples like the theories of Abelian monoids, idempotent Abelian monoids, and Abelian groups. This class has been introduced by the authors independently of each other as commutative theories (Baader) and monoidal theories (Nutt).We show that commutative theories and monoidal theories indeed define the same class (modulo a translation of the signature), and we prove that it is undecidable whether a given theory belongs to it. In the remainder of the paper we investigate combinations of commutative/monoidal theories with other theories. We show that finitary commutative/monoidal theories always satisfy the requirements for applying general methods developed for the combination of unification algorithms for disjoint equational theories.Then we study the adjunction of monoids of homomorphisms to commutative/monoidal theories. This is a special case of a non-disjoint combination, which has an algebraic counterpart in the corresponding semiring. By studying equations over this semiring, we identify a large subclass of commutative/monoidal theories that are of unification type zero. We also show with methods from linear algebra that unitary and finitary commutative/monoidal theories do not change their unification type when they are augmented by a finite monoid of homomor-phisms, and how algorithms for the extended theory can be obtained from algorithms for the basic theory.     

Simulation process of flexible multibody systems with non-modal model order reduction techniques

One important issue for the simulation of flexible multibody systems is the reduction of the flexible body’s degrees of freedom. In this work, nonmodal model reduction techniques for flexible multibody systems within the floating frame of reference framework are considered. While traditionally in the multibody community modal techniques in many different forms are used, here other methods from system dynamics and mathematics are in the focus. For the reduction process, finite element data and user inputs are necessary. Prior to the reduction process, the user first needs to choose boundary conditions fitting the chosen reference frame before defining the appropriate in- and outputs. In this work, four different possibilities of modeling appropriate interface points to reduce the number of inputs and outputs are presented.     

From Neweul to Neweul-M<Superscript>2</Superscript>: symbolical equations of motion for multibody system analysis and synthesis

The state-of-the-art for deriving symbolical equations of motion for multibody systems is reviewed. The fundamentals of formalisms based on Newton–Euler equations are presented and the recent development of a research software called Neweul-M² is highlighted. The modeling approach with commands and a graphical user interface are discussed as well as system analysis options, control design by export to Matlab/Simulink, and parameter optimization for system synthesis. The alternatives within the program using symbolic and numeric approaches are emphasized. A double pendulum is used to explain the program features and a vehicle benchmark model is presented as an example. Advanced applications include closed kinematic loops and flexible bodies.     

Rule cubes for causal investigations

With the complexity of modern vehicles tremendously increasing, quality engineers play a key role within today’s automotive industry. Field data analysis supports corrective actions in development, production and after sales support. We decompose the requirements and show that association rules, being a popular approach to generating explanative models, still exhibit shortcomings. Interactive rule cubes, which have been proposed recently, are a promising alternative. We extend this work by introducing a way of intuitively visualizing and meaningfully ranking them. Moreover, we present methods to interactively factorize a problem and validate hypotheses by ranking patterns based on expectations, and by browsing a cube-based network of related influences. All this is currently in use as an interactive tool for warranty data analysis in the automotive industry. A real-world case study shows how engineers successfully use it in identifying root causes of quality issues.

Using coverage to automate and improve test purpose based testing

Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one important task that influences the quality of the overall testing process: test purposes have to be formulated manually. In this paper, we present an approach that assists a test engineer with test purpose design in two ways: it allows automatic generation of coverage based test suites and can be used to automatically exercise those aspects of the system that are missed by hand-crafted test purposes. We consider coverage of Lotos specifications, and show how labeled transition systems derived from such specifications have to be extended in order to allow the application of logical coverage criteria to Lotos specifications. We then show how existing tools can be used to efficiently derive test cases and suggest how to use the coverage information to minimize test suites while generating them.