zinc is the first modelling language which supports solver and technique independence. this means that a high level conceptual model can be automatically mapped into an appropriate low level design model for a specific solver or technique. to date, zinc uses three different techniques to solve a model: constraint programming (cp), local search (ls), and mixed integer programming (mip). in this ...

In electrical impedance tomography (EIT) two-dimensional models continue to be applied despite their known inability to provide correct reconstruction. In this paper, a reconstruction algorithm that assumes a translationally invariant conductivity distribution is described. A more precise forward solver is obtained by taking off-slice currents into consideration. An appropriate sensitivity matr...

Flexible flapping wings have garnered a large amount of attention within the micro aerial vehicle (MAV) community: a critical component of MAV flight is the coupling of aerodynamics and structural dynamics. This paper presents a computational framework for simulating shell-like wing structures flapping in incompressible flow at low Reynolds numbers in both hover and forward flight. The framewor...

The tensorial Bernstein basis for multivariate polynomials in n variables has a number 3n of functions for degree 2. Consequently, computing the representation of a multivariate polynomial in the tensorial Bernstein basis is an exponential time algorithm, which makes tensorial Bernstein-based solvers impractical for systems with more than n= 6 or 7 variables. This article describes a polytope (...

We present a hybrid method to numerically solve the inverse acoustic soundsoft obstacle scattering problem in R3, given the far-field pattern for one incident direction. This method combines ideas of both iterative and decomposition methods, inheriting advantages of each of them, such as getting good reconstructions and not needing a forward solver at each step. A related Newton method is prese...

The electromagnetic scattering properties of identical parallel dielectric cylinders configured to closely match a desired response are investigated. Spatial arrangements obtained using a computationally efficient gradient-based optimizer and finite difference forward solver are aperiodic and nonintuitive. We find good agreement between calculations and experiments performed at 37.5 GHz and sug...

We design a partially aperiodic, vertically-aligned silicon nanowire array that maximizes photovoltaic absorption. The optimal structure is obtained using a random walk algorithm with transfer matrix method based electromagnetic forward solver. The optimal, aperiodic structure exhibits a 2.35 times enhancement in ultimate efficiency compared to its periodic counterpart. The spectral behavior mi...

This paper presents an upgrade to the built-in response matrix based solver implemented in Serpent 2 Monte Carlo code aiming improve fission source convergence when obtaining forward solution k -eigenvalue criticality problems. The functional expansion tallies are introduced attempt accuracy of cell-wise form factors that feed solver, replacing current mesh-based approach. reconstruct binning s...