Automated resolution of connector architectures using constraint solving (ARCAS method)

In current software systems, connectors play an important role by encapsulating the communication and coordination logic. Since they share common patterns (elements) depending on characteristics of the connections, the elements can be predefined and reused. A method of connector implementation based on a composition of predefined elements naturally comprises two steps: resolution of the connector architecture, and creation of the actual connector code based on the architecture. However, manual resolution of a connector architecture is very difficult due to the number of factors to be considered. Thus, the challenge is to come up with an automated method, able to address all the important factors. In this paper, we present a method for automated resolution of connector architectures based on constraint solving techniques. We exploit a propositional logic with relational calculus for defining a connector theory, a constraint specification reflecting both the predefined parts and the important resolution factors, and employ a constraint solver to find a suitable connector architecture as a model of the theory. As a proof of the concept, we show how the theory can be captured in the Alloy language and resolved via the Alloy Analyzer.     

Distributed algorithms for barrier coverage using relocatable sensors

We study the barrier coverage problem using relocatable sensor nodes. We assume each sensor can sense an intruder or event inside its sensing range. Sensors are initially located at arbitrary positions on the barrier and can move along the barrier. The goal is to find final positions for sensors so that the entire barrier is covered. In recent years, the problem has been studied extensively in the centralized setting. In this paper, we study a barrier coverage problem in the distributed and discrete setting. We assume that we have n identical sensors located at grid positions on the barrier, and that each sensor repeatedly executes a Look-Compute-Move cycle: based on what it sees in its vicinity, it makes a decision on where to move, and moves to its next position. We make two strong but realistic restrictions on the capabilities of sensors: they have a constant visibility range and can move only a constant distance in every cycle. In this model, we give the first two distributed algorithms that achieve barrier coverage for a line segment barrier when there are enough nodes in the network to cover the entire barrier. Our algorithms are synchronous, and local in the sense that sensors make their decisions independently based only on what they see within their constant visibility range. One of our algorithms is oblivious whereas the other uses two bits of memory at each sensor to store the type of move made in the previous step. We show that our oblivious algorithm terminates within \(\varTheta (n^2)\) steps with the barrier fully covered, while the constant-memory algorithm is shown to take \(\varTheta (n)\) steps to terminate in the worst case. Since any algorithm in which a sensor can only move a constant distance in one step requires \(\varOmega (n)\) steps on some inputs, our second algorithm is asymptotically optimal.     

Numerical Study of a Modified Time-Stepping θ-Scheme for Incompressible Flow Simulations

In [Turek (1996). Int. J. Numer. Meth. Fluids 22, 987–1011], we had performed numerical comparisons for different time stepping schemes for the incompressible Navier–Stokes equations. In this paper, we present the numerical analysis in the context of the Navier–Stokes equations for a modified time-stepping θ-scheme which has been recently proposed by Glowinski [Glowinski (2003). In: Ciarlet, P. G., and Lions, J. L. (eds.), Handbook of Numerical Analysis, Vol. IX, North-Holland, Amsterdam, pp. 3–1176]. Like the well-known classical Fractional-Step-θ-scheme which had been introduced by Glowinski [Glowinski (1985). In Murman, E. M. and Abarbanel, S. S. (eds.), Progress and Supercomputing in Computational Fluid Dynamics, Birkh?user, Boston MA; Bristeau et al. (1987). Comput. Phys. Rep. 6, 73–187], too, and which is still one of the most popular time stepping schemes, with or without operator splitting techniques, this new scheme consists of 3 substeps with nonequidistant substepping to build one macro time step. However, in contrast to the Fractional-Step-θ-scheme, the second substep can be formulated as an extrapolation step for previously computed data only, and the two remaining substeps look like a Backward Euler step so that no expensive operator evaluations for the right hand side vector with older solutions, as for instance in the Crank–Nicolson scheme, have to be performed. This modified scheme is implicit, strongly A-stable and second order accurate, too, which promises some advantageous behavior, particularly in implicit CFD simulations for the nonstationary Navier–Stokes equations. Representative numerical results, based on the software package FEATFLOW [Turek (2000). FEATFLOW Finite element software for the incompressible Navier–Stokes equations: User Manual, Release 1.2, University of Dortmund] are obtained for typical flow problems with benchmark character which provide a fair rating of the solution schemes, particularly in long time simulations.Dedicated to David Gottlieb on the occasion of his 60th anniversary     

Wire electrical discharge machinable SiC with GNPs and GO as the electrically conducting filler

SiC based composites filled with graphene nano-platelets (GNPs) or graphene oxide (GO) prepared by rapid hot-pressing exhibit sufficient electrical conductivity for their machinability by wire electro-discharge machining (WEDM). Composites microstructure anisotropy caused by graphene alignment as a consequence of rapid hot pressing was confirmed by measuring of electrical conductivity and thermal diffusivity. Electrical conductivity increased significantly with increased weight fraction of graphene in both measured directions. Highest value of 2031 S/m was obtained for composites with 15 wt. % of GNPs in parallel direction and only 1246 S/m in perpendicular direction to aligned GNPs. Thermal diffusivity is 63.3 mm²/s in parallel and only 23.3 mm²/s in perpendicular direction. The increase of the electrical conductivity has resulted in successful WEDM. The MRR was almost doubled when the filler concentration increased from 5 wt. % GNPs/GO to 15 wt. % GNPs. At the same time, the surface roughness decreased.     

The genesis of polyaniline nanotubes

Aniline has been oxidized with ammonium peroxydisulfate in 0.4 M acetic acid. Protons are produced in the course of oxidation and the pH decreases as the reaction proceeds. The oxidation had two subsequent phases: (1) the oxidation of the neutral aniline molecules and the initially produced low-molecular weight aniline oligomers at low acidity, followed by (2) the oxidation of the anilinium cation after the acidity became higher. The two phases of oxidation gave different products, aniline oligomers with mixed ortho- and para-coupling of aniline molecules, and polyaniline nanotubes, respectively.The aniline oligomers are produced at first at low acidity, pH > 4, some of them as rod-like crystals. The molecular weight of the oligomers has been assessed by gel-permeation chromatography to be of several thousands. The 2-3 wt.% content of sulfur in deprotonated samples suggests that the oxidation products are partly sulfonated. The oxidation of ortho-coupled anilines combined with intramolecular cyclization produces phenazine units or their blocks, as indicated by FTIR spectra. A high-molecular weight polyaniline is produced at pH < 2. The protonation of the intermediate pernigraniline form of polyaniline is a prerequisite for the polymerization.The nano-sized oligomer crystallites serve as starting templates for the nucleation of PANI nanotubes. Further growth of nanotubes proceeds by the self-organization of the phenazine units or their blocks located at the ends of the PANI chains. Polyaniline nanotubes have a typical outer diameter of 100-200 nm, with a wall thickness of 50-100 nm, an inner diameter of 0-100 nm, and a length extending to several micrometres.     

Pyrolysis of brown coal under different process conditions

Pyrolysis tests were performed under laboratory conditions, simulating possible processes in the burning of brown coal mines. These tests focused on gaseous products of thermal decomposition of coal and how their concentrations changed depending on pyrolysis temperature. Results obtained can help to quantify the contributions of particular gases to overall explosiveness of a gaseous mixture and can explain the process of explosive gas release during conflagration.     

Anionic polymerization of acrylates. XIV. Synthesis of MMA/acrylate block copolymers initiated with ester-enolate/tert-alkoxide complex

Diblock copolymers of methyl methacrylate (MMA) with 2-ethylhexyl, butyl, ethyl or tert-butyl acrylate (EtHA, BuA, EtA, t-BuA) have been prepared by the ligated anionic polymerization initiated with methyl 2-lithioisobutyrate (MIB-Li) in the presence of an excess of Li tert-butoxide (t-BuOLi) in toluene/THF mixture at −60 or −78 °C. The copolymers, prepared at −60 °C, show MWD with a hint of bimodality, indicating partial deactivation of the living PMMA upon addition of acrylic monomer. At −78 °C, the extent of this deactivation is distinctly lower, the formed block copolymers, in particular, poly(MMA-b-EtHA), have unimodal MWD and exhibit tails only in the lower-molecular-weight region. Poly(MMA-b-EtHA)s were extracted with acetonitrile dissolving PMMA; very small parts of the crude products dissolved, whereas prevailing parts remained as solids documenting thus formation of block copolymer in a high yield. Surprisingly, the highest amount of self terminated PMMA was found in block copolymerization of MMA with t-BuA at both the temperatures, the products of which had clearly bimodal MWDs. This finding is shortly discussed on the basis of relatively slow propagation of t-BuA in comparison with EtHA, BuA and EtA.     

Rationalized Load and Lifetime of Brittle Materials

The design and testing of structural parts from materials which exhibit subcritical crack growth can be improved by introducing auxiliary quantities into the classical concepts of fracture mechanics. The equivalent static stress, equivalent loading time, standardized loading time, and standardized lifetime, as well as the decrease in lifetime and residual lifetime, are defined, with examples of their application.     

Development and characterisation of a Y2Ti2O7-based glass-ceramic as a potential oxidation protective coating for titanium suboxide (TiOx)

A silica-based glass-ceramic, with Y₂Ti₂O₇ as the major crystalline phase, is designed, characterised and tested as an oxidation-protective coating for a titanium suboxide (TiO_x) thermoelectric material at temperatures of up to 600 °C. The optimised sinter-crystallisation treatment temperatures are found to be 1300 °C and 855 °C for a duration of 30 min, and this treatment leads to a glass-ceramic with cubic Y₂Ti₂O₇ and CaAl₂Si₂O₈ as crystalline phases. An increase of ~270 °C in the dilatometric softening temperature is observed after devitrification of the parent glass, thus further extending its working temperature range.Excellent adhesion of the glass-ceramic coating to the thermoelectric material is maintained after exposure to a temperature of 600 °C for 120 h under oxidising conditions, thus confirming the effectiveness of the T1 glass-ceramic in protecting the TiO_x material.     

Design of Lu2O3-reinforced Cf/SiC-ZrB2-ZrC ultra-high temperature ceramic matrix composites: Wetting and interfacial reactivity by ZrSi2 based alloys

The wettability and infiltration of molten ZrSi₂ and ZrSi₂-Lu₂O₃ alloys into C_f/SiC and B₄C-infiltrated C_f/SiC composites were investigated to understand the interfacial interactions that occur during the development of C_f/SiC-ZrC and C_f/SiC-ZrB₂-ZrC-Lu₂O₃ materials. A significant evaporation of Si from the liquid affected the wetting behaviour of the alloy when tested in a vacuum at 1670 °C. The better wetting and spreading of the alloy over the surface was observed for the composites with lower overall porosity (12 %). On the other hand, the formation of an outer dense layer, followed up by the uniform infiltrated region up to ～ 1 mm was observed for the C_f/SiC with higher porosity (21 %). The infiltrated alloy reacted with SiC matrix to form ZrC or with B₄C-infiltrated SiC matrix to form ZrB₂-ZrC-SiC. The Lu₂O₃ particles were not wetted by the melt, and were pushed away of the reaction zone by the solidification front.