Optimal Sensor Networks for Area Monitoring Using Rotating and Beam Sensors

We consider the problem of monitoring the Euclidean plane using rotating sensors with detection sectors and beam sensors. We assume that intruders can appear anywhere at any time and move arbitrarily fast, and may have full knowledge of the sensor network. We require that such intruders be detected within a finite amount of time. We give an optimal network for this problem consisting of a combination of rotating sensors of angle 0 and beam sensors that uses the minimum number of both types of sensors. We show a trade-off between the density of beam sensors needed and the angle of the detection sector of the rotating sensors. Secondly, we give a family of sensor networks using only rotating sensors for the same problem, that demonstrate a trade-off between the detection time and the density of rotating sensors used. We show that the density of rotating sensors required in this case can be significantly reduced by increasing the angle of detection sectors. Finally, we show that our results on the infinite plane can be used to derive sensor networks that monitor some finite regions using a density of sensors that is asymptotically the same, or close to that of the infinite plane case.     

Regeneration of platinum-metal-based catalysts with carboxyphosphines as extractants

Separation of platinum-metal-based homogeneous catalysts was achieved by their conversion to complexes of functionalized phosphines of the general formulae R_3-n P[(CH₂) _x CO₂H)] _n , R = Me, Et, Ph,n = 1, 2, 3,x = 1, 2, and [(HO₂CCH₂)PCH₂]₂, followed by extraction of the complexes into aqueous phase. This approach to regeneration of platinum metals from reaction mixtures after carrying out homogeneously catalyzed reactions was demonstrated on 11 examples of various types of reactions with Ru, Rh, Pd, Os, Ir and Pt compounds as catalysts.     

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.     

A formal model of composing components: the TLA+ approach

In this paper, a method for writing composable TLA⁺ specifications that conform to the formal model called Masaccio is introduced. Specifications are organized in TLA⁺ modules that correspond to Masaccio components by means of a trace-based semantics. Hierarchical TLA⁺ specifications are built from atomic component specifications by parallel and serial composition that can be arbitrary nested. While the rule of parallel composition is a variation of the classical joint-action composition, the authors do not know about a reuse method for the TLA⁺ that systematically employs the presented kind of a serial composition. By combining these two composition rules and assuming only the noninterleaving synchronous mode of an execution, the concurrent, sequential, and timed compositionality is achieved.     

Cross-property connections for copper–graphite composites

Copper–graphite composite materials in the range of 0–10 vol% of carbon phase were prepared from the mixture of copper and graphite powders by hot isostatic pressing. The microstructure, mechanical (tensile strength, elongation to fracture) and physical (electrical and thermal conductivity) properties of composite samples were investigated, and the cross-property connections were calculated. It was shown that electrical and thermal conductivity cross-property (Lorenz number) is almost constant and increases only slightly (no more than 10 % increase was observed). This implies that in the investigated composition range the Lorenz number of a copper–graphite composite system behaves according to Franz–Wiedemann law for pure metals at constant temperature. On the contrary, the conductivity to tensile strength cross-property connections showed significant linear increase (over 200 % in the investigated composition range) for both electrical conductivity and thermal conductivity of composite materials. The cross-property connections of conductivity to the elongation to fracture exhibit a nonlinear dependence on the volume fraction of graphite.     

Effect of enzymatic degradation of chitosan in polyhydroxybutyrate/chitosan/calcium phosphate composites on in vitro osteoblast response

Polyhydroxybutyrate/chitosan/calcium phosphate composites are interesting biomaterials for utilization in regenerative medicine and they may by applied in reconstruction of deeper subchondral defects. Insufficient informations were found in recent papers about the influence of lysozyme degradation of chitosan in calcium phosphate/chitosan based composites on in vitro cytotoxicity and proliferation activity of osteoblasts. The effect of enzymatic chitosan degradation on osteoblasts proliferation was studied on composite films in which the porosity of origin 3D scaffolds was eliminated and the surface texture was modified. The significantly enhanced proliferation activity with faster population growth of osteoblasts were found on enzymatically degraded biopolymer composite films with α-tricalcium phosphate and nanohydroxyapatite. No cytotoxicity of composite films prepared from lysozyme degraded scaffolds containing a large fraction of low molecular weight chitosans (LMWC), was revealed after 10 days of cultivation. Contrary to above in the higher cytotoxicity origin untreated nanohydroxyapatite films and porous composite scaffolds. The results showed that the synergistic effect of surface distribution, morphology of nanohydroxyapatite particles, microtopography and the presence of LMWC due to chitosan degradation in composite films were responsible for compensation of the cytotoxicity of nanohydroxyapatite composite films or porous composite scaffolds.     

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical real-time systems, e. g., in the avionics and automotive fields. Starting with the initial works of Chen, Mok, Puschner, Shaw, and others in the mid and late 1980s, WCET analysis turned into a well-established and vibrant field of research and development in academia and industry. The increasing number and diversity of hardware and software platforms and the ongoing rapid technological advancement became drivers for the development of a wide array of distinct methods and tools for WCET analysis. The precision, generality, and efficiency of these methods and tools depend much on the expressiveness and usability of the annotation languages that are used to describe feasible and infeasible program paths. In this article we survey the annotation languages which we consider formative for the field. By investigating and comparing their individual strengths and limitations with respect to a set of pivotal criteria, we provide a coherent overview of the state of the art. Identifying open issues, we encourage further research. This way, our approach is orthogonal and complementary to a recent approach of Wilhelm et al. who provide a thorough survey of WCET analysis methods and tools that have been developed and used in academia and industry.     

Aerodynamic optimization via multi-objective micro-genetic algorithm with range adaptation,knowledge-based reinitialization,crowding and ε-dominance

In this study, an optimization of the airfoil of a sailplane is carried out by a recently developed multi-objective genetic algorithm based on microevolution, containing crowding, range adaptation, knowledge-based reinitialization and ε-dominance. Its efficiency was tested on a set of test problems. The results are encouraging, suggesting that very small populations can be used effectively to solve real-world multi-objective optimization problems in many cases of interest.     

Plastic strain-controlled short crack growth and fatigue life

Constant plastic strain-controlled and constant stress-controlled tests were performed on smooth and lightly notched specimens machined from a massive forging of 42CrMo4 steel. Comparison of the fatigue life curves plotted as function of the plastic strain amplitude and stress amplitude shows a decisive role of plastic strain amplitude. Crack initiation and the kinetics of short crack growth were studied in constant plastic strain amplitude loading and the relation between the crack growth coefficient and plastic strain amplitude was established. This is equivalent to the Coffin–Manson law and shows that the Coffin–Manson law can be interpreted in terms of short crack growth.