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.     

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.     

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.