Modeling the Structure and Complexity of Engineering Routine Design Problems

This paper proposes a model to structure routine design problems as well as a model of its design complexity. The idea is that having a proper model of the structure of such problems enables understanding its complexity, and likewise, a proper understanding of its complexity enables the development of systematic approaches to solve them. The end goal is to develop computer systems capable of taking over routine design tasks based on generic and systematic solving approaches. It is proposed to structure routine design in three main states: problem class, problem instance, and problem solution. Design complexity is related to the degree of uncertainty in knowing how to move a design problem from one state to another. Axiomatic Design Theory is used as reference for understanding complexity in routine design

Bioengineering models of cell signaling

Strategies for rationally manipulating cell behavior in cell-based technologies and molecular therapeutics and understanding effects of environmental agents on physiological systems may be derived from a mechanistic understanding of underlying signaling mechanisms that regulate cell functions. Three crucial attributes of signal transduction necessitate modeling approaches for analyzing these systems: an ever-expanding plethora of signaling molecules and interactions, a highly interconnected biochemical scheme, and concurrent biophysical regulation. Because signal flow is tightly regulated with positive and negative feedbacks and is bidirectional with commands traveling both from outside-in and inside-out, dynamic models that couple biophysical and biochemical elements are required to consider information processing both during transient and steady-state conditions. Unique mathematical frameworks will be needed to obtain an integrated perspective on these complex systems, which operate over wide length and time scales. These may involve a two-level hierarchical approach wherein the overall signaling network is modeled in terms of effective "circuit" or "algorithm" modules, and then each module is correspondingly modeled with more detailed incorporation of its actual underlying biochemical/biophysical molecular interactions

Hierarchical probabilistic macromodeling for QCA circuits

With the goal of building an hierarchical design methodology for quantum-dot cellular automata (QCA) circuits, we put forward a novel, theoretically sound, method for abstracting the behavior of circuit components in QCA circuit, such as majority logic, lines, wire-taps, cross-overs, inverters, and corners, using macromodels. Recognizing that the basic operation of QCA is probabilistic in nature, we propose probabilistic macromodels for standard QCA circuit elements based on conditional probability characterization, defined over the output states given the input states. Any circuit model is constructed by chaining together the individual logic element macromodels, forming a Bayesian network, defining a joint probability distribution over the whole circuit. We demonstrate three uses for these macromodel-based circuits. First, the probabilistic macromodels allow us to model the logical function of QCA circuits at an abstract level - the "circuit" level - above the current practice of layout level in a time and space efficient manner. We show that the circuit level model is orders of magnitude faster and requires less space than layout level models, making the design and testing of large QCA circuits efficient and relegating the costly full quantum-mechanical simulation of the temporal dynamics to a later stage in the design process. Second, the probabilistic macromodels abstract crucial device level characteristics such as polarization and low-energy error state configurations at the circuit level. We demonstrate how this macromodel-based circuit level representation can be used to infer the ground state probabilities, i.e., cell polarizations, a crucial QCA parameter. This allows us to study the thermal behavior of QCA circuits at a higher level of abstraction. Third, we demonstrate the use of these macromodels for error analysis. We show that low-energy state configurations of the macromodel circuit match those of the layout level, thus allowing us to isolate weak p- oints in circuits design at the circuit level itsel

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

In silico case studies of compliant robots: AMARSI deliverable 3.3

In the deliverable 3.2 we presented how the morphological computing ap- proach can significantly facilitate the control strategy in several scenarios, e.g. quadruped locomotion, bipedal locomotion and reaching. In particular, the Kitty experimental platform is an example of the use of morphological computation to allow quadruped locomotion. In this deliverable we continue with the simulation studies on the application of the different morphological computation strategies to control a robotic system

Dynamic system characterization and design using mechanical impedance representations

Vibration testing is a critical aspect in the qualification of fieldable hardware as dynamic environments are typically design drivers. However, it is difficult to provide representative boundary conditions for component testing and the presence of an ill-matched boundary condition can alter the test outcomes. To achieve more realistic boundary conditions, test fixtures could be strategically designed such that they emulate the impedance of the next level of assembly. The body of work presented herein proposes various strategies for matching the drive point impedance of a target frequency response function (FRF) using undamped lumped parameter emulators. Two primary techniques have been developed to accomplish this impedance matching: a constrained exhaustive search algorithm and a constrained optimization algorithm. The constrained exhaustive search exploits newly identified high and low frequency limits in order to minimize the number of parameters that must be searched. The optimization algorithm provides an innovative methodology for the identification of a comprehensive and bounded design space and presents a novel implementation of particle swarm optimization that produces an optimized set of parameters for every identified physically realizable topology. This resultant emulator design space provides a basis from which low-complexity, low-cost fixtures can be constructed, thus offering an attainable path for better matching of boundary conditions and more representative vibration testing