Majority gates vs. general weighted threshold gates

In this paper we study small depth circuits that contain threshold gates (with or without weights) and parity gates. All circuits we consider are of polynomial size. We prove several results which complete the work on characterizing possible inclusions between many classes defined by small depth circuits. These results are the following:

Predicting fully plastic mode II crack growth from an asymmetric defect

Asymmetrically cracked specimens fail with considerably less ductility than symmetrically cracked ones, due to the crack progressing along a shear band into pre-damaged material. A formulation for the accumulation of damage ahead of an asymmetric crack is presented, based on strain increments following a power law relation. These results are integrated both numerically and approximately.The crack growth per unit displacement increases approximately as the logarithm of the total crack advance per inclusion spacing , and varies inversely as the critical fracture strain c. This provides a basis for predicting large-scale, fully plastic fracture from asymmetric weld defects, using small-scale laboratory specimens.

---

Résumé Les éprouvettes fissurées de manière asymétrique se rompent avec beaucoup moins de ductilité que celles qui sont fissurées de manières symétrique, en raison du fait que la fissure se développe suivant une bande de cisaillement dans un matériau préendommagé. On Présente une formulation de l'accumulation du dommage en avant d'une fissure asymétrique, en se basant sur des gradients de déformations répartis selon une loi quadratique. L'interprétation des résultats est effectuée par voie numérique et par approximation.On constate que le croissance d'une fissure par unité de déplacement est sensiblement proportionnelle au logarithme de l'avancement total de la fissure rapporté à l'espacement entre deux inclusions , et en raison inverse de la déformation critique à la rupture c. Ceci fournt une base pour prédire une rupture à plus grande échelle et en conditions tout à fait plastiques, qui résulteront de défauts de soudage asymétriques, et ce en utilisant des éprouvettes réduites de laboratoire.

     

Ultrasonic crack characterization via a constrained inversion algorithm

The Kirchhoff approximation is used to show that the time domain impulse response of an isolated flat crack can be given a simple geometrical interpretation in terms of the derivative of a projected length function. For an elliptical crack, this derivative can be obtained explicitly to yield the two edge-diffracted waves which originate from the flashpoints of the crack. An explicit coordinate invariant expression is obtained from this elliptical crack solution which relates the time difference, t, between the arrival of these edge-diffracted waves and the crack size and orientation. Previously, we have proposed that this expression, together with t measurements in different scattering directions, could be used in a regression analysis as the basis for performing a constrained inversion of crack scattering data (i.e., where we attempt to obtain the best equivalent flat elliptical crack that fits the scattering measurements). Here we will demonstrate some results of applying the proposed algorithm using noisy synthetic data. The sensitivity of the results to both, number of measurements and transducer orientation, will be discussed.     

Textures in3He-A: Magnetic deformation in a narrow slab

A variational technique is used to analyze the deformed texture of superfluid³He-A in a narrow slab subject to a perpendicular magnetic field. Specific predictions are made for the anisotropy parameters and , averaged across the width.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Improving active Mealy machine learning for protocol conformance testing

Using a well-known industrial case study from the verification literature, the bounded retransmission protocol, we show how active learning can be used to establish the correctness of protocol implementation I relative to a given reference implementation R. Using active learning, we learn a model M _R of reference implementation R, which serves as input for a model-based testing tool that checks conformance of implementation I to M _R . In addition, we also explore an alternative approach in which we learn a model M _I of implementation I, which is compared to model M _R using an equivalence checker. Our work uses a unique combination of software tools for model construction (Uppaal), active learning (LearnLib, Tomte), model-based testing (JTorX, TorXakis) and verification (CADP, MRMC). We show how these tools can be used for learning models of and revealing errors in implementations, present the new notion of a conformance oracle, and demonstrate how conformance oracles can be used to speed up conformance checking.     

Nature-Inspired Meta-Heuristics on Modern GPUs: State of the Art and Brief Survey of Selected Algorithms

Graphic processing units (GPUs) emerged recently as an exciting new hardware environment for a truly parallel implementation and execution of Nature and Bio-inspired Algorithms with excellent price-to-power ratio. In contrast to common multicore CPUs that contain up to tens of independent cores, the GPUs represent a massively parallel single-instruction multiple-data devices that can nowadays reach peak performance of hundreds and thousands of giga floating-point operations per second. Nature and Bio-inspired Algorithms implement parallel optimization strategies in which a single candidate solution, a group of candidate solutions (population), or multiple populations seek for optimal solution or set of solutions of given problem. Genetic algorithms (GA) constitute a family of traditional and very well-known nature-inspired populational meta-heuristic algorithms that have proved its usefulness on a plethora of tasks through the years. Differential evolution (DE) is another efficient populational meta-heuristic algorithm for real-parameter optimization. Particle swarm optimization (PSO) can be seen as nature-inspired multiagent method in which the interaction of simple independent agents yields intelligent collective behavior. Simulated annealing (SA) is global optimization algorithm which combines statistical mechanics and combinatorial optimization with inspiration in metallurgy. This survey provides a brief overview of the latest state-of-the-art research on the design, implementation, and applications of parallel GA, DE, PSO, and SA-based methods on the GPUs.     

Development of high‐definition aqueous polyvinylpyrrolidone photoresists for cathode ray tubes

Aqueous photoresists that are capable of higher resolutions than are currently employed by the cathode ray tube (CRT) industry were developed by combining photoactivators, which activate at shorter UV wavelengths with polyvinylpyrrolidone (PVP). Two photoactivators were synthesized: 4,4′‐diazido‐2,2′‐biphenyl disodium disulfonate (DABP), which has a maximum absorbance at 264 nm, and 4,4′‐diazido‐2,2′‐biphenylethane disodium disulfonate (DABPE), which has a maximum absorbance at 258 nm. The PVP/DABP and PVP/DABPE photoresists successfully imaged a pattern with resolution as small as 4.4 μm with photoactivator concentrations greater than 20% of the PVP concentration. Addition of silane and emulgen greatly improved the performance of the photoresists with more uniform coatings of thicknesses of up to 1.4 μm. © 2006 Wiley Periodicals, Inc. J Appl Polym Sci 102: 1637–1644, 2006     

Dynamic mechanical behavior of chlorosubstituted derivatives of poly(ethyl methacrylate) and poly(ethyl acrylate)

A freely oscillating torsional pendulum was used in the investigation of the influence of trichloroethyl, tetrachloroethyl, trichloromethoxyethyl, and trichloroethoxyethyl side groups on the molecular mobility in the glassy state and on the glass transition temperature of poly(meth)acrylates. All the polymers under study, which may be used as fire retardants, exhibit a simple relaxation behavior. While the parameters of the low-temperature and secondary relaxation process in the glassy state are not noticeably affected by the substituents used, the glass transition temperature T_g, increases with rising polarity and volume of side chains. The increase is larger in the series of polyacrylates, so that differences in the softening temperatures of polymethacrylates and polyacrylates having the same side chains decrease considerably with growing substitution.