An efficient evolutionary multi-objective framework for MEMS design optimisation: validation, comparison and analysis

The application of multi objective evolutionary algorithms (MOEA) in the design optimisation of microelectromechanical systems (MEMS) is of particular interest in this research. MOEA is a class of soft computing techniques of biologically inspired stochastic algorithms, which have proved to outperform their conventional counterparts in many design optimisation tasks. MEMS designers can utilise a variety of multi-disciplinary design tools that explore a complex design search space, however, still follow the traditional trial and error approaches. The paper proposes a novel framework, which couples both modelling and analysis tools to the most referenced MOEAs (NSGA-II and MOGA-II). The framework is validated and evaluated through a number of case studies of increasing complexity. The research presented in this paper unprecedentedly attempts to compare the performances of the mentioned algorithms in the application domain. The comparative study shows significant insights into the behaviour of both of the algorithms in the design optimisation of MEMS. The paper provides extended discussions and analysis of the results showing, overall, that MOGA-II outperforms NSGA-II, for the selected case studies.     

ℋ-theories, fragments of HA and PA-normality

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that T ⁱ ∈ range(ℋ) iff T ⁱ = ℋ(T). As a corollary, no fragment of HA extending iΠ ₁ belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. Received: 15 August 1999 / Published online: 3 October 2001     

Provably recursive functions of constructive and relatively constructive theories

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative translation combined with a variant of Friedman’s translation. For the second group, we use Avigad’s forcing method.     

Landau damping in a dipolar Bose–Fermi mixture in the Bose–Einstein condensation(BEC) limit

By using a mean-field approximation which describes the coupled oscillations of condensate and noncondensate atoms in the collisionless regime, Landau damping in a dilute dipolar Bose–Fermi mixture in the BEC limit where Fermi superfluid is treated as tightly bounded molecules, is investigated. In the case of a uniform quasi-two-dimensional(2D)case, the results for the Landau damping due to the Bose–Fermi interaction are obtained at low and high temperatures. It is shown that at low temperatures, the Landau damping rate is exponentially suppressed. By increasing the strength of dipolar interaction, and the energy of boson quasiparticles, Landau damping is suppressed over a broader temperature range.     

Selective extraction of clonazepam from human plasma and urine samples by molecularly imprinted polymeric beads

A molecularly imprinted polymer (MIP) based on free‐radical polymerization was prepared with 1‐(N,N‐biscarboxymethyl)amino‐3‐allylglycerol and N,N‐dimethylacrylamide as functional monomers, N,N‐methylene diacrylamide as the cross‐linker, copper ion‐clonazepam as the template and 2,2‐azobis(2‐methylbutyronitrile) as the initiator. The imprinted polymer was characterized by Fourier transform infrared spectroscopy, elemental analysis, thermogravimetric analysis, and SEM. The MIP of agglomerated microparticles with multipores was used for SPE. The imprinted polymer sorbent was selective for clonazepam. The optimum pH and sorption capacity were 5 and 0.18 mg/g at 20°C, respectively. The profile of the drug uptake by the sorbent reflects good accessibility of the active sites in the imprinted polymer sorbent. The MIP‐SPE was the most feasible technique for the extraction of clonazepam with a high recovery from human plasma and urine samples.     

Preservation theorems for bounded formulas

In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each of these properties. These results provide simple proofs for some known results in the model theory of the bounded arithmetic theories like CPV and PV₁. We use the mentioned results to obtain some independence results in the context of intuitionistic bounded arithmetic. We show that, if the intuitionistic theory of polynomial induction on strict formulas proves decidability of formulas, then P=NP. We also prove that, if the mentioned intuitionistic theory proves , then P=NP.     

Preservation theorems for Kripke models

There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds A^α and B^α of them, A^α is a subset of B^α and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of A. We characterize theories that are preserved under taking submodels and also those that are preserved under taking extensions as universal and existential theories, respectively. We also study the notion elementary submodel defined in the same style and give some results concerning this notion. In particular, we prove that the relation between each two corresponding worlds of finite Kripke models A ≤ B is elementary extension (in the classical sense) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)