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.     

HamleDT: Harmonized multi-language dependency treebank

We present HamleDT—a HArmonized Multi-LanguagE Dependency Treebank. HamleDT is a compilation of existing dependency treebanks (or dependency conversions of other treebanks), transformed so that they all conform to the same annotation style. In the present article, we provide a thorough investigation and discussion of a number of phenomena that are comparable across languages, though their annotation in treebanks often differs. We claim that transformation procedures can be designed to automatically identify most such phenomena and convert them to a unified annotation style. This unification is beneficial both to comparative corpus linguistics and to machine learning of syntactic parsing.     

Statistical prediction of fracture parameters of concrete and implications for choice of testing standard

This article shows how the fracture energy of concrete, as well as other fracture parameters such as the effective length of the fracture process zone, critical crack-tip opening displacement and the fracture toughness, can be approximately predicted from the standard compression strength, maximum aggregate size, water-cement ratio, and aggregate type (river or crushed). A database, consisting of 238 test data, is extracted from the literature and tabulated, and approximate mean prediction formulae calibrated by this very large data set are developed. A distinction is made between (a) the fracture energy, G_f, corresponding to the area under the initial tangent of the softening stress-separation curve of cohesive crack model, which governs the maximum loads of structures and is obtained by the size effect method (SEM) or related methods (Jenq-Shah two-parameter method and Karihaloo's effective crack model, ECM) and (b) the fracture energy, G_F, corresponding to the area under the complete stress-separation curve, which governs large postpeak deflections of structures and is obtained by the work-of-fracture method (WFM) proposed for concrete by Hillerborg. The coefficients of variation of the errors in the prediction formulae compared to the test data are calculated; they are 17.8% for G_f and 29.9% for G_F, the latter being 1.67 times higher than the former. Although the errors of the prediction formulae taking into account the differences among different concretes doubtless contribute significantly to the high values of these coefficients of variation, there is no reason for a bias of the statistics in favor of G_f or G_F. Thus, the statistics indicate that the fracture energy based on the measurements in the maximum load region is much less uncertain than that based on the measurement of the tail of the postpeak load-deflection curve. While both G_f and G_F are needed for accurate structural analysis, it follows that if the testing standard should measure, for the sake of simplicity, only one of these two fracture energies, then G_f is preferable.     

Synthesis and properties of YBa2Cu3O7-δ – Y2Ba4CuWO10.8 superconducting composites

YBa₂Cu₃O_7-δ (YBCO) is a well-known high-temperature superconductor. However, its critical current density and thus maximum trapped magnetic field can be improved significantly by introducing the secondary phases (artificial pinning centers). In this contribution, we successfully prepared YBCO single-grain bulks with Y₂Ba₄CuWO_10.8 phase serving as a source of pinning centers. This phase was prepared by solid-state reaction and further refined by milling. In the next step single-grain YBCO bulks with homogeneously distributed Y₂Ba₄CuWO_10.8 were prepared by top-seeded melt growth. Precursors as well as the final product were characterized by XRD, SEM and EDS. The phase composition of YBCO bulks containing Y₂Ba₄CuWO_10.8 was analyzed using Rietveld analysis. Thermal stability of YBCO bulk was studied by STA. Furthermore, PPMS was used to study electrical resistivity and critical current density. Bulk superconducting properties such as levitation force and trapped field ability were also measured.     

Formation of nanostructured epoxy networks containing polyhedral oligomeric silsesquioxane (POSS) blocks

Nanostructured epoxy networks, based on DGEBA and poly(oxypropylene)diamine (Jeffamine D), containing nano-sized inorganic blocks, polyhedral oligomeric silsesquioxanes (POSS), were investigated. The POSS were incorporated in the network as crosslinks or as pendant units by using octa- or monoepoxy-POSS monomers, respectively, as well as diepoxides with pendant POSS. The authors focused on investigating the relationship between the network formation process and the final product properties. The reactivity of the epoxy-functional POSS monomers, the hybrid systems' time of gelation, the gel fractions and the phase structure of the networks were determined using ¹H or ¹³C NMR spectroscopy, chemorheology experiments, sol-gel analysis and transmission electron microscopy (TEM).All the POSS epoxides tested show a reduced reactivity if compared to their respective model compounds due to sterical crowding in the neighborhood of their functional groups and due to reduced epoxy group mobility. The incorporation of pendant POSS into networks of the type DGEBA-Jeffamine D-monoepoxy-POSS hence took place only in the late reaction stage. Together with the high tendency of these POSS to aggregation, the kinetics favors the formation of small nano-phase-separated POSS domains, which act as physical crosslinks due to their covalent bonds to the organic matrix. At POSS loadings higher than 70%, topological constraint by POSS leads to a strongly reduced elastic chain mobility, thus additionally strongly reinforcing the networks. The network build-up and gelation of the octaepoxy-POSS-Jeffamine D system were slow compared to the reference DGEBA-Jeffamine D network due to a low octaepoxy-POSS reactivity and due to its strong tendency to cyclization reactions with primary amines. The topology of the amino groups is shown to be very important. In contrast to monoepoxy-POSS, the octaepoxy-POSS becomes dispersed as oligomeric junctions (purely chemical crosslinks) of the network in the cured product. The octaepoxide's reinforcing effect is small and is given only by its high functionality and not by its inorganic nature. The functionality effect is reduced by the mentioned cyclizations.     

Acid-catalyzed decomposition of stable 1-(2,1-benzisothiazol-3-yl)-3-phenyltriazenes

The acid-catalyzed decomposition of unusually stable 1-(2,1-benzisothiazol-3-yl)-3-phenyltriazenes in either aqueous perchloric acid or an aqueous mixture of perchloric and acetic acid was studied under pseudo-first order reaction conditions at 25 °C. Different products were obtained according to substitution on nitrogen N-3. For a triazene carrying hydrogen, the corresponding 3-amino-2,1-benzisothiazole and benzenediazonium salts were formed whereas in the case of substitution by an alkyl group (methyl and n-butyl) the 2,1-benzisothiazole-3-diazonium salt and N-alkylaniline were obtained. The observed rate constant (k_obs) of the acid-catalyzed decomposition increased, initially, nonlinearly with increasing concentration of acid. Subsequently, k_obs decreased slightly and at high acid concentration, increased steeply once again. An A-S_E2 mechanism in which protonation of the triazene nitrogen proceeds simultaneously with cleavage of the N–N bond is proposed. Tautomerism of 1-(2,1-benzisothiazol-3-yl)-3-phenyltriazene was investigated using ¹H NMR spectroscopy.     

Fault-Tolerant Formation Driving Mechanism Designed for Heterogeneous MAVs-UGVs Groups

A fault-tolerant method for stabilization and navigation of 3D heterogeneous formations is proposed in this paper. The presented Model Predictive Control (MPC) based approach enables to deploy compact formations of closely cooperating autonomous aerial and ground robots in surveillance scenarios without the necessity of a precise external localization. Instead, the proposed method relies on a top-view visual relative localization provided by the micro aerial vehicles flying above the ground robots and on a simple yet stable visual based navigation using images from an onboard monocular camera. The MPC based schema together with a fault detection and recovery mechanism provide a robust solution applicable in complex environments with static and dynamic obstacles. The core of the proposed leader-follower based formation driving method consists in a representation of the entire 3D formation as a convex hull projected along a desired path that has to be followed by the group. Such an approach provides non-collision solution and respects requirements of the direct visibility between the team members. The uninterrupted visibility is crucial for the employed top-view localization and therefore for the stabilization of the group. The proposed formation driving method and the fault recovery mechanisms are verified by simulations and hardware experiments presented in the paper.     

Spectroscopic characterization of 1,5-diphenyl-3,7-dihydroxy-1,5-diazacyclooctane — (8C ring compound) formed in N,N-diglycidylanaline/aniline curing systems

Summary A NMR and infrared analysis of the cyclic product formed by the reaction of N,N-diglycidylaniline with aniline confirms the structure of an eight-membered ring (I). The conformational structure of this compound is discussed.     

Evaluation of applicability of 2D iron core model for two-limb configuration of GOLEM tokamak

This paper presents evaluation of applicability of 2D iron core model for highly non-axisymmetric two limb configuration of GOLEM tokamak (former CASTOR). Presented results explain the long-term discrepancy between measured magnitudes of external poloidal field and those calculated by air-core approach on this tokamak. The model has been applied to two poloidal planes at different toroidal angles in the vacuum vessel region and has shown that close to central column of the transformer, it is possible to correct for 3D effects by variation of chosen dimensions of axisymmetric iron core model. Satisfactory agreement of the 2D model results with the measured distribution of B_R field component was achieved.