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.     

Development and characterization of a biocompatible OH-modified copolymer based on polyurethane

Different polyurethanes were synthesized by varying the diol as well as the diisocyanate components and chain extenders. Polyurethanes with OH-groups were obtained by photo- and thermoinitiation of the radical polymerization of hydroxy alkyl acrylates in the presence of the polyurethanes. The polymers were evaluated with respect to their biocompatibility by measuring the cell spreading, the rates of DNA- and protein synthesis and the swelling behaviour. The differences in the surfaces and the bulks between the selected basic polyurethane and the functionalized modification were determined and characterized by XPS, FTIR-ATR and ¹³C-FT-NMR-spectroscopy. The mechanical data of Tecoflex EG 60D® and Pellethane 2363–80AE® were compared with the data of the synthesized polyurethanes.     

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.     

Rheological and dielectrical characterization of melt mixed polycarbonate-multiwalled carbon nanotube composites

A series of composites of polycarbonate (PC) with 23 different contents of multiwalled carbon nanotubes (MWNT) was produced by melt mixing using the masterbatch dilution method. In dielectric measurements, AC conductivity and complex permittivity data obtained in the frequency range between 10⁻³ and 10⁷ Hz at room temperature indicated the electrical percolation threshold at about 1.0 wt%.

The dynamic mode melt rheological measurements for the same samples at eight temperatures between 170 and 280 °C showed a visible change in the frequency dependence of dynamic moduli and the absolute value of the complex viscosity |η*| particularly at low frequencies. In literature these changes are sometimes related to so called ‘percolation threshold concentration’. Applying this picture to our experimental data we have to assume that the percolation threshold is strongly dependent on the measurement temperature. It changes from about 5 to 0.5 wt% MWNT by increasing the measurement temperature from 170 to 280 °C, respectively. This temperature dependence cannot be explained by a classical liquid-solid transition but may be related to the existence of a combined nanotube-polymer network.     

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     

New aspects in cationization of lignocellulose materials. IX. Flame retardancy effect of modification with nitrogen and sulfur containing groups

Lignocellulose materials were modified with 3-chlor-2-hydroxypropyltrimethylammoniumchloride, 1,3-bis(3-chlor-2-hydroxypropyl)imidazoliumhydrogensulphate, and 2-chlorethyl-sodiumsulphonate and the flame-retardant properties of materials obtained were studied. The flame-retardant effect was proved using the limited oxygen index (LOI) method and values up to 32.8 vol % of oxygen were determined. The LOI values were higher when the modification was done without using NaOH for activation, but in that case the alkylating groups were not chemically bonded to the material. The NaOH activation was necessary to obtain material with flame-retardant properties stable against washing. No synergistic effects were observed when the material was modified with both nitrogen- and sulfur-containing groups.     

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.     

Experiments on the suspension of spheres in inclined tubes—II. Suspension by air

Data are presented on the suspension of single spheres by air, in inclined tubes ranging in diameter from 0·97 to 5·13 cm. The angle of inclination of the tubes to the horizontal axis varied from 0 to 90°. The data, which relate the pressure drop and suspending velocity to the geometric and physical parameters of the system, are compared with data generated previously using water as the suspending fluid. Dimensionless expressions are presented which correlate both sets of data for pressure drop and suspending velocity in terms of sphere/tube diameter ratio, tube diameter, density of solid and fluid and angle of inclination of the tube.     

On Floridi’s Method of Levels of Abstraction

Abstraction is arguably one of the most important methods in modern science in analysing and understanding complex phenomena. In his book The Philosophy of Information, Floridi (The philosophy of information. Oxford University Press, Oxford, 2011) presents the method of levels of abstraction as the main method of the Philosophy of Information. His discussion of abstraction as a method seems inspired by the formal methods and frameworks of computer science, in which abstraction is operationalised extensively in programming languages and design methodologies. Is it really clear what we should understand by levels of abstraction? How should they be specified? We will argue that levels of abstraction should be augmented with annotations, in order to express semantic information for them and reconcile the method of level of abstraction (LoA’s) with other approaches. We discuss the extended method when applied e.g. to the analysis of abstract machines. This will lead to an example in which the number of LoA’s is unbounded.