Representations and algorithms for finite-state bisimulations of linear discrete-time control systems

While a large amount of research over the past two decades has focused on discrete abstractions of infinite-state dynamical systems, many structural and algorithmic details of these abstractions remain unknown. To clarify the computational resources needed to perform discrete abstractions, this paper examines the algorithmic properties of an existing method for deriving finite-state systems that are bisimilar to linear discrete-time control systems. We explicitly find the structure of the finite-state system, show that it can be enormous compared to the original linear system, and give conditions to guarantee that the finite-state system is reasonably sized and efficiently computable. Though constructing the finite-state system is generally impractical, we see that special cases could be amenable to satisfiability based verification techniques. ©2009 IEEE.

Linear multiscale analysis and finite element validation of stretching and bending dominated lattice materials

The paper presents a multiscale procedure for the linear analysis of components made of lattice materials. The method allows the analysis of both pin-jointed and rigid-jointed microtruss materials with arbitrary topology of the unit cell. At the macroscopic level, the procedure enables to determine the lattice stiffness, while at the microscopic level the internal forces in the lattice elements are expressed in terms of the macroscopic strain applied to the lattice component. A numeric validation of the method is described. The procedure is completely automated and can be easily used within an optimization framework to find the optimal geometric parameters of a given lattice material. © 2011 Elsevier Ltd. All rights reserved.

The Synthesis of Arbitrary Stable Dynamics in Non-linear Neural Networks II: Feedback and Universality

We wish to construct a realization theory of stable neural networks and use this theory to model the variety of stable dynamics apparent in natural data. Such a theory should have numerous applications to constructing specific artificial neural networks with desired dynamical behavior. The networks used in this theory should have well understood dynamics yet be as diverse as possible to capture natural diversity. In this article, I describe a parameterized family of higher order, gradient-like neural networks which have known arbitrary equilibria with unstable manifolds of known specified dimension. Moreover, any system with hyperbolic dynamics is conjugate to one of these systems in a neighborhood of the equilibrium points. Prior work on how to synthesize attractors using dynamical systems theory, optimization, or direct parametric. fits to known stable systems, is either non-constructive, lacks generality, or has unspecified attracting equilibria. More specifically, We construct a parameterized family of gradient-like neural networks with a simple feedback rule which will generate equilibrium points with a set of unstable manifolds of specified dimension. Strict Lyapunov functions and nested periodic orbits are obtained for these systems and used as a method of synthesis to generate a large family of systems with the same local dynamics. This work is applied to show how one can interpolate finite sets of data, on nested periodic orbits.

Dynamic multi-partitioning for parallel finite element applications

The central product of the DRAMA (Dynamic Re-Allocation of Meshes for parallel Finite Element Applications) project is a library comprising a variety of tools for dynamic re-partitioning of unstructured Finite Element (FE) applications. The input to the DRAMA library is the computational mesh, and corresponding costs, partitioned into sub-domains. The core library functions then perform a parallel computation of a mesh re-allocation that will re-balance the costs based on the DRAMA cost model. We discuss the basic features of this cost model, which allows a general approach to load identification, modelling and imbalance minimisation. Results from crash simulations are presented which show the necessity for multi-phase/multi-constraint partitioning components

A finite volume approach to geometrically non-linear stress analysis

In this past decade finite volume (FV) methods have increasingly been used for the solution of solid mechanics problems. This contribution describes a cell vertex finite volume discretisation approach to the solution of geometrically nonlinear (GNL) problems. These problems, which may well have linear material properties, are subject to large deformation. This requires a distinct formulation, which is described in this paper together with the solution strategy for GNL problem. The competitive performance for this procedure against the conventional finite element (FE) formulation is illustrated for a three dimensional axially loaded column.

General Harris regularity criterion for non-linear Markov branching processes

We extend the Harris regularity condition for ordinary Markov branching process to a more general case of non-linear Markov branching process. A regularity criterion which is very easy to check is obtained. In particular, we prove that a super-linear Markov branching process is regular if and only if the per capita offspring mean is less than or equal to I while a sub-linear Markov branching process is regular if the per capita offspring mean is finite. The Harris regularity condition then becomes a special case of our criterion.

Efficient Non-Linear Idealisations of Aircraft Fuselage Panels in Compression

Aircraft fuselages are complex assemblies of thousands of components and as a result simulation models are highly idealised. In the typical design process, a coarse FE model is used to determine loads within the structure. The size of the model and number of load cases necessitates that only linear static behaviour is considered. This paper reports on the development of a modelling approach to increase the accuracy of the global model, accounting for variations in stiffness due to non-linear structural behaviour. The strategy is based on representing a fuselage sub-section with a single non-linear element. Large portions of fuselage structure are represented by connecting these non-linear elements together to form a framework. The non-linear models are very efficient, reducing computational time significantly

325GHz Single Layer Sub-Millimeter Wave FSS Based Split Ring Linear to Circular Polarisation Convertor

A single layer, frequency selective surface based, sub-millimeter wave transmission polarizer is presented that converts incident slant linear 45° polarization into circular polarization upon transmission. The polarization convertor consists of a 30 mm diameter 10 thick silicon reinforced metalized screen containing 2700 resonator cells and perforated with nested split ring slot apertures. The screen was designed and optimized using CST Microwave Studio and predictions were validated experimentally by transmission measurements over the 250-365 GHz frequency range. This frequency range is used for remote environmental monitoring and 325 GHz represents a molecular emission line for H2O. The results obtained show good agreement between measured and modeled predictions. The measured 3 dB axial ratio bandwidth was 11.75%, measured minimum Axial Ratio was 0.19 dB and the measured insertion loss of the single layer screen was 3.38 dB

Sub-mm wet etched linear to circular polarization fss based polarization converters

This communication investigates the potential for fabrication of micromachined silicon sub-millimeter wave periodic arrays of freestanding slot frequency selective surfaces (FSS) using wet etch KOH technology. The vehicle for this is an FSS for generating circularly polarized signals from an incident linearly polarized signal at normal incidence to the structure. Principal issues and fabrication processes involved from the initial design of the core FSS structures to be made and tested through to their final testing are addressed. Measured and simulated results for crossed and ring slot element shapes in single and double layer polarization convertor structures are presented for sub-mm wave operation. It is shown that 3 dB axial ratio (AR) bandwidths of 21% can be achieved with the one layer perforated screen design and that the rate of change is lower than the double layer structures. An insertion loss of 1.1 dB can be achieved for the split circular ring double layer periodic array. These results are shown to be compatible with the more specialized fabrication equipment dry reactive ion etching approach previously used for the construction of this type of structure. © 2011 IEEE.

Non-linear finite-element analysis of punching capacities of steel-concrete bridge deck slabs

Punching failure is the common failure mode in concrete bridge deck slabs when these structural components are subjected to local patch loads, such as tyre loads. Past research has shown that reinforced concrete slabs in girder–slab type bridges have a load-carrying capacity far greater than the ultimate static loads predicted by traditional design methods, because of the presence of compressive membrane action. However, due to the instability problems from punching failure, it is difficult to predict ultimate capacities accurately in numerical analyses. In order to overcome the instability problems, this paper establishes an efficient non-linear finite-element analysis using the commercial finite-element package Abaqus. In the non-linear finite-element analysis, stabilisation methods were adopted and failure criteria were established to predict the ultimate punching behaviour of deck slabs in composite steel–concrete bridges. The proposed non-linear finite-element analysis predictions showed a good correlation on punching capacities with experimental tests.

A simple non-linear global-local finite element methodology for composite structures

A simple non-linear global-local finite element methodology is presented. A global coarse model, using 2-D shell elements, is solved non-linearly and the displacements and rotations around a region of interest are applied, as displacement boundary conditions, to a refined local 3-D model using Kirchhoff plate assumptions. The global elements' shape functions are used to interpolate between nodes. The local model is then solved non-linearly with an incremental scheme independent of that used for the global model.