Expert systems and finite element structural analysis - a review

Finite element analysis of many engineering systems is practised more as an art than as a science . It involves high level expertise (analytical as well as heuristic) regarding problem modelling (e .g. problem specification,13; choosing the appropriate type of elements etc .), optical mesh design for achieving the specified accuracy (e .g . initial mesh selection, adaptive mesh refinement), selection of the appropriate type of analysis and solution13; routines and, finally, diagnosis of the finite element solutions . Very often such expertise is highly dispersed and is not available at a single place with a single expert. The design of an expert system, such that the necessary expertise is available to a novice to perform the same job even in the absence of trained experts, becomes an attractive proposition. 13; In this paper, the areas of finite element structural analysis which require experience and decision-making capabilities are explored . A simple expert system, with a feasible knowledge base for problem modelling, optimal mesh design, type of analysis and solution routines, and diagnosis, is outlined. Several efforts in these directions, reported in the open literature, are also reviewed in this paper

Positional information, positional error, and read-out precision in morphogenesis: a mathematical framework

The concept of positional information is central to our understanding of how cells in a multicellular structure determine their developmental fates. Nevertheless, positional information has neither been defined mathematically nor quantified in a principled way. Here we provide an information-theoretic definition in the context of developmental gene expression patterns and examine which features of expression patterns increase or decrease positional information. We connect positional information with the concept of positional error and develop tools to directly measure information and error from experimental data. We illustrate our framework for the case of gap gene expression patterns in the early Drosophila embryo and show how information that is distributed among only four genes is sufficient to determine developmental fates with single cell resolution. Our approach can be generalized to a variety of different model systems; procedures and examples are discussed in detail

TreatJS: Higher-Order Contracts for JavaScript

TreatJS is a language embedded, higher-order contract system for JavaScript which enforces contracts by run-time monitoring. Beyond providing the standard abstractions for building higher-order contracts (base, function, and object contracts), TreatJS's novel contributions are its guarantee of non-interfering contract execution, its systematic approach to blame assignment, its support for contracts in the style of union and intersection types, and its notion of a parameterized contract scope, which is the building block for composable run-time generated contracts that generalize dependent function contracts. TreatJS is implemented as a library so that all aspects of a contract can be specified using the full JavaScript language. The library relies on JavaScript proxies to guarantee full interposition for contracts. It further exploits JavaScript's reflective features to run contracts in a sandbox environment, which guarantees that the execution of contract code does not modify the application state. No source code transformation or change in the JavaScript run-time system is required. The impact of contracts on execution speed is evaluated using the Google Octane benchmark.Comment: Technical Repor

Distributed video coding for wireless video sensor networks: a review of the state-of-the-art architectures

Distributed video coding (DVC) is a relatively new video coding architecture originated from two fundamental theorems namely, Slepian–Wolf and Wyner–Ziv. Recent research developments have made DVC attractive for applications in the emerging domain of wireless video sensor networks (WVSNs). This paper reviews the state-of-the-art DVC architectures with a focus on understanding their opportunities and gaps in addressing the operational requirements and application needs of WVSNs

Swim-like motion of bodies immersed in an ideal fluid

The connection between swimming and control theory is attracting increasing attention in the recent literature. Starting from an idea of Alberto Bressan [A. Bressan, Discrete Contin. Dyn. Syst. 20 (2008) 1\u201335]. we study the system of a planar body whose position and shape are described by a finite number of parameters, and is immersed in a 2-dimensional ideal and incompressible fluid in terms of gauge field on the space of shapes. We focus on a class of deformations measure preserving which are diffeomeorphisms whose existence is ensured by the Riemann Mapping Theorem. After making the first order expansion for small deformations, we face a crucial problem: the presence of possible non vanishing initial impulse. If the body starts with zero initial impulse we recover the results present in literature (Marsden, Munnier and oths). If instead the body starts with an initial impulse different from zero, the swimmer can self-propel in almost any direction if it can undergo shape changes without any bound on their velocity. This interesting observation, together with the analysis of the controllability of this system, seems innovative. Mathematics Subject Classification. 74F10, 74L15, 76B99, 76Z10. Received June 14, 2016. Accepted March 18, 2017. 1. Introduction In this work we are interested in studying the self-propulsion of a deformable body in a fluid. This kind of systems is attracting an increasing interest in recent literature. Many authors focus on two different type of fluids. Some of them consider swimming at micro scale in a Stokes fluid [2,4\u20136,27,35,40], because in this regime the inertial terms can be neglected and the hydrodynamic equations are linear. Others are interested in bodies immersed in an ideal incompressible fluid [8,18,23,30,33] and also in this case the hydrodynamic equations turn out to be linear. We deal with the last case, in particular we study a deformable body -typically a swimmer or a fish- immersed in an ideal and irrotational fluid. This special case has an interesting geometric nature and there is an attractive mathematical framework for it. We exploit this intrinsically geometrical structure of the problem inspired by [32,39,40], in which they interpret the system in terms of gauge field on the space of shapes. The choice of taking into account the inertia can apparently lead to a more complex system, but neglecting the viscosity the hydrodynamic equations are still linear, and this fact makes the system more manageable. The same fluid regime and existence of solutions of these hydrodynamic equations has been studied in [18] regarding the motion of rigid bodies

The incompressible navier-stokes equations in vacuum

We are concerned with the existence and uniqueness issue for the inhomogeneous incompressible Navier-Stokes equations supplemented with H^1 initial velocity and only bounded nonnegative density. In contrast with all the previous works on that topics, we do not require regularity or positive lower bound for the initial density, or compatibility conditions for the initial velocity, and still obtain unique solutions. Those solutions are global in the two-dimensional case for general data, and in the three-dimensional case if the velocity satisfies a suitable scaling invariant smallness condition. As a straightforward application, we provide a complete answer to Lions' question in [25], page 34, concerning the evolution of a drop of incompressible viscous fluid in the vacuum