Evolutionary Requirements for Next-Generation Dataflow-Based FPGA System Design

The use of dataflow digital signal processing system modelling
and synthesis techniques has been a fruitful research theme for many years and has yielded many powerful rapid system synthesis and optimisation capabilities. However, recent years have seen the spectrum of languages and techniques splinter in an application specific manner, resulting in an ad-hoc design process which is increasingly dependent on the particular application under development. This poses a major problem for automated toolflows attempting to provide rapid system synthesis for a wide ranges of applications. By analysing a number of dataflow FPGA implementation case studies, this paper shows that despit ethis common traits may be found in current techniques, which fall largely into three classes. Further, it exposes limitations pertaining to their ability to adapt algorith models to implementations for different operating environments and target platforms.

Convergent evolutionary processes driven by foraging opportunity in two sympatric morph pairs of Arctic charr with contrasting post-glacial origins

The expression of two or more discrete phenotypes amongst individuals within a species (morphs) provides multiple modes upon which selection can act semi-independently, and thus may be an important stage in speciation. In the present study, we compared two sympatric morph systems aiming to address hypotheses related to their evolutionary origin. Arctic charr in sympatry in Loch Tay, Scotland, exhibit one of two discrete, alternative body size phenotypes at maturity (large or small body size). Arctic charr in Loch Awe segregate into two temporally segregated spawning groups (breeding in either spring or autumn). Mitochondrial DNA restriction fragment length polymorphism analysis showed that the morph pairs in both lakes comprise separate gene pools, although segregation of the Loch Awe morphs is more subtle than that of Loch Tay. We conclude that the Loch Awe morphs diverged in situ (within the lake), whereas Loch Tay morphs most likely arose through multiple invasions by different ancestral groups that segregated before post-glacial invasion (i.e. in allopatry). Both morph pairs showed clear trophic segregation between planktonic and benthic resources (measured by stable isotope analysis) but this was significantly less distinct in Loch Tay than in Loch Awe. By contrast, both inter-morph morphological and life-history differences were more subtle in Loch Awe than in Loch Tay. The strong ecological but relatively weak morphological and life-history divergence of the in situ derived morphs compared to morphs with allopatric origins indicates a strong link between early ecological and subsequent genetic divergence of sympatric origin emerging species pairs. The emergence of parallel specialisms despite distinct genetic origins of these morph pairs suggests that the effect of available foraging opportunities may be at least as important as genetic origin in structuring sympatric divergence in post-glacial fishes with high levels of phenotypic plasticity. (c) 2012 The Linnean Society of London, Biological Journal of the Linnean Society, 2012, , .

Disjoint mixing operators

Chan and Shapiro showed that each (non-trivial) translation operator acting on the Fréchet space of entire functions endowed with the topology of locally uniform convergence supports a universal function of exponential type zero. We show the existence of d-universal functions of exponential type zero for arbitrary finite tuples of pairwise distinct translation operators. We also show that every separable infinite-dimensional Fréchet space supports an arbitrarily large finite and commuting disjoint mixing collection of operators. When this space is a Banach space, it supports an arbitrarily large finite disjoint mixing collection of C0-semigroups. We also provide an easy proof of the result of Salas that every infinite-dimensional Banach space supports arbitrarily large tuples of dual d-hypercyclic operators, and construct an example of a mixing Hilbert space operator T so that (T,T2) is not d-mixing.

Mixing operators on spaces with weak topology

We prove that a continuous linear operator T on a topological vector space X with weak topology is mixing if and only if the dual operator T' has no finite dimensional invariant subspaces. This result implies the characterization of hypercyclic operators on the space $\omega$ due to Herzog and Lemmert and implies the result of Bayart and Matheron, who proved that for any hypercyclic operator T on $\omega$, $T\oplus T$ is also hypercyclic.

On supercyclicity of operators from a supercyclic semigroup

We show that for every supercyclic strongly continuous operator
semigroup $\{T_t\}_{t\geq 0}$ acting on a complex $\F$-space, every
$T_t$ with $t>0$ is supercyclic. Moreover, the set of supercyclic
vectors of $T_t$ does not depend on the choice of $t>0$.

Cyclic behaviour of Volterra composition operators

We determine the cyclic behaviour of Volterra composition operators, which are defined as $(V_\phif)(x) =\int_0^{\phi(x)}f(t) dt$, $f ? L^p[0, 1]$, 1\leq p <\infty$,
where $?$ is a measurable self-map of [0, 1]. The cyclic behaviour of $V_\phi$ is essentially determined by the behaviour of the inducing symbol $\phi$ at 0 and at 1. As a particular result, we provide new examples of quasinilpotent supercyclic operators, which extend and complement previous ones of Hector Salas.

Hypercyclic tuples of operators on $C^n$ and $R^n$

A tuple $(T_1,\dots,T_n)$ of continuous linear operators on a topological vector space $X$ is called hypercyclic if there is $x\in X$ such that the the orbit of $x$ under the action of the semigroup generated by $T_1,\dots,T_n$ is dense in $X$. This concept was introduced by N.~Feldman, who have raised 7 questions on hypercyclic tuples. We answer those 4 of them, which can be dealt with on the level of operators on finite dimensional spaces. In
particular, we prove that the minimal cardinality of a hypercyclic tuple of operators on $\C^n$ (respectively, on $\R^n$) is $n+1$ (respectively, $\frac n2+\frac{5+(-1)^n}{4}$), that there are non-diagonalizable tuples of operators on $\R^2$ which possess an orbit being neither dense nor nowhere dense and construct a hypercyclic 6-tuple of operators on $\C^3$ such that every operator commuting with each member of the tuple is non-cyclic.

Asymmetric information without common priors: an indirect evolutionary analysis of quantity competition

The common prior assumption justifies private beliefs as posterior probabilities when updating a common prior based on individual information. We dispose of the common prior assumption for a homogeneous oligopoly market with uncertain costs and firms entertaining arbitrary priors about other firms' cost-type. We show that true prior beliefs can not be evolutionarily stable when truly expected profit measures (reproductive) success.

Multiple cutout optimization in composite plates using evolutionary structural optimization

The optimization of cutouts in composite plates was investigated by implementing a procedure known as Evolutionary Structural Optimization. Perforations were introduced into a finite element mesh of the plate from which one or more cutouts of a predetermined size were evolved. In the examples presented, plates were rejected from around each evolving cutout based on a predefined rejection criterion. The Limiting ply within each plate element around the cutout was determined based on the Tsai-Hill failure criterion. Finite element plates with values below the product of the average Tsai-Hill number and a rejection criterion were subsequently removed. This process was iterated until a steady state was reached and the rejection criterion was then incremented by an evolutionary rate and the above steps repeated until the desired cutout area was achieved. Various plates with differing lay-up and loading parameters were investigated to demonstrate the generality and robustness of this optimization procedure.

Hypercyclic operators on countably dimensional spaces

According to Grivaux, the group GL(X) of invertible linear operators on a separable infinite dimensional Banach space X acts transitively on the set s (X) of countable dense linearly independent subsets of X. As a consequence, each A? s (X) is an orbit of a hypercyclic operator on X. Furthermore, every countably dimensional normed space supports a hypercyclic operator. Recently Albanese extended this result to Fréchet spaces supporting a continuous norm. We show that for a separable infinite dimensional Fréchet space X, GL(X) acts transitively on s (X) if and only if X possesses a continuous norm. We also prove that every countably dimensional metrizable locally convex space supports a hypercyclic operator.

Complex pattern of genetic structuring in the Atlantic salmon (Salmo salar L.) of the River Foyle system in northwest Ireland: disentangling the evolutionary signal from population stochasticity

Little is known about the microevolutionary processes shaping within river population genetic structure of aquatic organisms characterized by high levels of homing and spawning site fidelity. Using a microsatellite panel, we observed complex and highly significant levels of intrariver population genetic substructure and Isolation-by-Distance, in the Atlantic salmon stock of a large river system. Two evolutionary models have been considered explaining mechanisms promoting genetic substructuring in Atlantic salmon, the member-vagrant and metapopulation models. We show that both models can be simultaneously used to explain patterns and levels of population structuring within the Foyle system. We show that anthropogenic factors have had a large influence on contemporary population structure observed. In an analytical development, we found that the frequently used estimator of genetic differentiation, F-ST, routinely underestimated genetic differentiation by a factor three to four compared to the equivalent statistic Jost's D-est (Jost 2008). These statistics also showed a near-perfect correlation. Despite ongoing discussions regarding the usefulness of "adjusted" F-ST statistics, we argue that these could be useful to identify and quantify qualitative differences between populations, which are important from management and conservation perspectives as an indicator of existence of biologically significant variation among tributary populations or a warning of critical environmental damage.

Knowledge, innovation and emulation in the evolutionary thought of Bernard Mandeville

Of the early modern writers on the division of labour, Bernard Mandeville alone extended it to all aspects of human activity and emphasised its role in a cumulative process of evolution in which each generation modified and built on what had been achieved by earlier generations. This required exploration of the mechanisms through which new knowledge was developed as well as the means by which knowledge was transmitted between the generations. The present article examines Mandeville’s treatment of these mechanisms and explores their theoretical origins. It examines Mandeville’s understanding of the role of the division of labour in facilitating discovery and learning and the role of education and imitation in transmitting social knowledge. It shows that, for Mandeville, innovators were people of ordinary capacity who were alert to the opportunities and challenges of their environment. As a result of specialisation, they possessed tacit knowledge which was actualised in what they did rather than in theoretical propositions. Mandeville’s evolutionary thought influenced subsequent writers on political economy and evolutionary social thinkers. It may also have had some influence on Charles Darwin, though it is not, in itself, Darwinian. © The Author 2013. Published by Oxford University Press on behalf of the Cambridge Political Economy Society. All rights reserved.