145,102 research outputs found
"Going back to our roots": second generation biocomputing
Researchers in the field of biocomputing have, for many years, successfully
"harvested and exploited" the natural world for inspiration in developing
systems that are robust, adaptable and capable of generating novel and even
"creative" solutions to human-defined problems. However, in this position paper
we argue that the time has now come for a reassessment of how we exploit
biology to generate new computational systems. Previous solutions (the "first
generation" of biocomputing techniques), whilst reasonably effective, are crude
analogues of actual biological systems. We believe that a new, inherently
inter-disciplinary approach is needed for the development of the emerging
"second generation" of bio-inspired methods. This new modus operandi will
require much closer interaction between the engineering and life sciences
communities, as well as a bidirectional flow of concepts, applications and
expertise. We support our argument by examining, in this new light, three
existing areas of biocomputing (genetic programming, artificial immune systems
and evolvable hardware), as well as an emerging area (natural genetic
engineering) which may provide useful pointers as to the way forward.Comment: Submitted to the International Journal of Unconventional Computin
The Configurable SAT Solver Challenge (CSSC)
It is well known that different solution strategies work well for different
types of instances of hard combinatorial problems. As a consequence, most
solvers for the propositional satisfiability problem (SAT) expose parameters
that allow them to be customized to a particular family of instances. In the
international SAT competition series, these parameters are ignored: solvers are
run using a single default parameter setting (supplied by the authors) for all
benchmark instances in a given track. While this competition format rewards
solvers with robust default settings, it does not reflect the situation faced
by a practitioner who only cares about performance on one particular
application and can invest some time into tuning solver parameters for this
application. The new Configurable SAT Solver Competition (CSSC) compares
solvers in this latter setting, scoring each solver by the performance it
achieved after a fully automated configuration step. This article describes the
CSSC in more detail, and reports the results obtained in its two instantiations
so far, CSSC 2013 and 2014
Piezo-electromechanical smart materials with distributed arrays of piezoelectric transducers: Current and upcoming applications
This review paper intends to gather and organize a series of works which discuss the possibility of exploiting the mechanical properties of distributed arrays of piezoelectric transducers. The concept can be described as follows: on every structural member one can uniformly distribute an array of piezoelectric transducers whose electric terminals are to be connected to a suitably optimized electric waveguide. If the aim of such a modification is identified to be the suppression of mechanical vibrations then the optimal electric waveguide is identified to be the 'electric analog' of the considered structural member. The obtained electromechanical systems were called PEM (PiezoElectroMechanical) structures. The authors especially focus on the role played by Lagrange methods in the design of these analog circuits and in the study of PEM structures and we suggest some possible research developments in the conception of new devices, in their study and in their technological application. Other potential uses of PEMs, such as Structural Health Monitoring and Energy Harvesting, are described as well. PEM structures can be regarded as a particular kind of smart materials, i.e. materials especially designed and engineered to show a specific andwell-defined response to external excitations: for this reason, the authors try to find connection between PEM beams and plates and some micromorphic materials whose properties as carriers of waves have been studied recently. Finally, this paper aims to establish some links among some concepts which are used in different cultural groups, as smart structure, metamaterial and functional structural modifications, showing how appropriate would be to avoid the use of different names for similar concepts. © 2015 - IOS Press and the authors
Hidden attractors in fundamental problems and engineering models
Recently a concept of self-excited and hidden attractors was suggested: an
attractor is called a self-excited attractor if its basin of attraction
overlaps with neighborhood of an equilibrium, otherwise it is called a hidden
attractor. For example, hidden attractors are attractors in systems with no
equilibria or with only one stable equilibrium (a special case of
multistability and coexistence of attractors). While coexisting self-excited
attractors can be found using the standard computational procedure, there is no
standard way of predicting the existence or coexistence of hidden attractors in
a system. In this plenary survey lecture the concept of self-excited and hidden
attractors is discussed, and various corresponding examples of self-excited and
hidden attractors are considered
Indicating Asynchronous Array Multipliers
Multiplication is an important arithmetic operation that is frequently
encountered in microprocessing and digital signal processing applications, and
multiplication is physically realized using a multiplier. This paper discusses
the physical implementation of many indicating asynchronous array multipliers,
which are inherently elastic and modular and are robust to timing, process and
parametric variations. We consider the physical realization of many indicating
asynchronous array multipliers using a 32/28nm CMOS technology. The
weak-indication array multipliers comprise strong-indication or weak-indication
full adders, and strong-indication 2-input AND functions to realize the partial
products. The multipliers were synthesized in a semi-custom ASIC design style
using standard library cells including a custom-designed 2-input C-element. 4x4
and 8x8 multiplication operations were considered for the physical
implementations. The 4-phase return-to-zero (RTZ) and the 4-phase return-to-one
(RTO) handshake protocols were utilized for data communication, and the
delay-insensitive dual-rail code was used for data encoding. Among several
weak-indication array multipliers, a weak-indication array multiplier utilizing
a biased weak-indication full adder and the strong-indication 2-input AND
function is found to have reduced cycle time and power-cycle time product with
respect to RTZ and RTO handshaking for 4x4 and 8x8 multiplications. Further,
the 4-phase RTO handshaking is found to be preferable to the 4-phase RTZ
handshaking for achieving enhanced optimizations of the design metrics.Comment: arXiv admin note: text overlap with arXiv:1903.0943
A two-step hybrid approach for modeling the nonlinear dynamic response of piezoelectric energy harvesters
An effective hybrid computational framework is described here in order to assess the nonlinear dynamic response of piezoelectric energy harvesting devices. The proposed strategy basically consists of two steps. First, fully coupled multiphysics finite element (FE) analyses are performed to evaluate the nonlinear static response of the device. An enhanced reduced-order model is then derived, where the global dynamic response is formulated in the state-space using lumped coefficients enriched with the information derived from the FE simulations. The electromechanical response of piezoelectric beams under forced vibrations is studied by means of the proposed approach, which is also validated by comparing numerical predictions with some experimental results. Such numerical and experimental investigations have been carried out with the main aim of studying the influence of material and geometrical parameters on the global nonlinear response. The advantage of the presented approach is that the overall computational and experimental efforts are significantly reduced while preserving a satisfactory accuracy in the assessment of the global behavior
- …