Een keerpunt in de produktie: De ontwikkeling van de voorraad - de bouwopgave 1949-2009

Architectur

Correspondence estimation in image pairs

This article provides an overview of current techniques for dense geometric correspondence estimation. We will first formally define geometric correspondence and investigate the different types of image pairs. Then we briefly look at the classic approaches to correspondence estimation, at their feasibility and flaws for simultaneous dense estimation. We will focus on the Bayesian approach, which is suited very well for this task and for which several promising algorithms have recently been developed. After having a look at the future of the Bayesian approaches, we conclude with a discussion

Direct gradient projection method with transformation of variables technique for structural topology optimization

This paper proposes an efficient and reliable topology optimization method that can obtain a black and white solution with a low objective function value within a few tens of iterations. First of all, a transformation of variables technique is adopted to eliminate the constraints on the design variables. After that, the optimization problem is considered as aiming at the minimum compliance in the space of design variables which is supposed to be solved by iterative method. Based on the idea of the original gradient projection method, the direct gradient projection method (DGP) is proposed. By projecting the negative gradient of objective function directly onto the hypersurface of the constraint, the most promising search direction from the current position is obtained in the vector space spanned by the gradients of objective and constraint functions. In order to get a balance between efficiency and reliability, the step size is constrained in a rational range via a scheme for step size modification. Moreover, a grey elements suppression technique is proposed to lead the optimization to a black and white solution at the end of the process. Finally, the performance of the proposed method is demonstrated by three numerical examples including both 2D and 3D problems in comparison with the typical SIMP method using the optimality criteria algorithm.Architectural Engineering +TechnologyArchitecture and The Built Environmen

A Convex Approximation of the Relaxed Binaural Beamfomring Optimization Problem

The recently proposed relaxed binaural beamforming (RBB) optimization problem provides a flexible tradeoff between noise suppression and binaural-cue preservation of the sound sources in the acoustic scene. It minimizes the output noise power, under the constraints, which guarantee that the target remains unchanged after processing and the binaural-cue distortions of the acoustic sources will be less than a user-defined threshold. However, the RBB problem is a computationally demanding non convex optimization problem. The only existing suboptimal method which approximately solves the RBB is a successive convex optimization (SCO) method which, typically, requires to solve multiple convex optimization problems per frequency bin, in order to converge. Convergence is achieved when all constraints of the RBB optimization problem are satisfied. In this paper, we propose a semidefinite convex relaxation (SDCR) of the RBB optimization problem. The proposed suboptimal SDCR method solves a single convex optimization problem per frequency bin, resulting in a much lower computational complexity than the SCO method. Unlike the SCO method, the SDCR method does not guarantee user-controlled upper-bounded binaural-cue distortions. To tackle this problem, we also propose a suboptimal hybrid method that combines the SDCR and SCO methods. Instrumental measures combined with a listening test show that the SDCR and hybrid methods achieve significantly lower computational complexity than the SCO method, and in most cases better tradeoff between predicted intelligibility and binaural-cue preservation than the SCO method.Circuits and System

A Low-Cost Robust Distributed Linearly Constrained Beamformer for Wireless Acoustic Sensor Networks with Arbitrary Topology

We propose a new robust distributed linearly constrained beamformer which utilizes a set of linear equality constraints to reduce the cross power spectral density matrix to a block-diagonal form. The proposed beamformer has a convenient objective function for use in arbitrary distributed network topologies while having identical performance to a centralized implementation. Moreover, the new optimization problem is robust to relative acoustic transfer function (RATF) estimation errors and to target activity detection (TAD) errors. Two variants of the proposed beamformer are presented and evaluated in the context of multi-microphone speech enhancement in a wireless acoustic sensor network, and are compared with other state-of-the-art distributed beamformers in terms of communication costs and robustness to RATF estimation errors and TAD errors.Circuits and System

A coinductive treatment of infinitary term rewriting and equational reasoning

Engineering, Systems and ServicesTechnology, Policy and Managemen