Hierarchical micro-nanostructured albite-based glass-ceramic for high dielectric strength insulators

A novel glass-ceramic material based on albite type Na-rich feldspar has been synthesized by conventional ceramic process. High crystallinity, >94%?Vol.% is obtained by fast sintering which allows energy saving processing. Albite is the main crystalline phase and tetragonal SiO₂ is a secondary phase. Electrical properties were examined by complex impedance, DC measurements, and dielectric breakdown test. Dielectric characterization shows a non-Debye type dielectric behavior with low dielectric constant, 4.6 at 1?MHz, low dielectric losses, (～10^?3 at 1?MHz, and a large dielectric strength, ～60?kV/mm), that it is the largest value reported in ceramic insulators. Those dielectric properties are attained by the low glassy phase content in the samples and their unique micro-nanostructure. All these properties make this novel material a very promising candidate in the market of ceramic electrical insulator, highlighting for high-voltage applications.     

Thermo-physical properties of as deposited and aged thermal barrier coatings (TBC) for gas turbines: State-of-the art and advanced TBCs

In the perspective of fuelling the future generations of gas turbines by hydrogen rich syngas, the evaluation of the effect of a higher water vapour content into the flue gases on the TBC used, or potentially usable, is a need. For this purpose YPSZ APS TBC with two different microstructures have been exposed for 500?h at different temperatures in the range 1000?°C–1250?°C either in air and air +20% vol. H₂O. The comparison between the different testing conditions has been performed in terms of sintering kinetics and phase stability, as evaluated by thermal diffusivity measurements and Synchrotron X-Rays diffraction, respectively. Furthermore the characterisation of thermal properties of two innovative TBCs (GZO-YPSZ and YAG) potentially able to withstand the CMAS attack and erosive environments, respectively, has been carried out.No clear evidence of a different behaviour of TBC has been observed, at least in the considered aging time and temperature range.     

Classification of Reconfigurable Parallel Mechanisms

Russian Engineering Research - The theoretically possible reconfigurable parallel mechanisms are classified, in terms of the layout of guides on the base. Formulas are derived for the...     

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Programming and Computer Software - In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the...     

Preparation of highly crystalline titanium-based ceramic microfibers from polymer precursor blend by needle-less electrospinning

The aim of the present contribution is to study the influence of the post-spinning heat - treatment of single TiO₂/PVP precursor fibers on the properties and morphology of the final titanium-based microfibers. The post-spinning treatment conditions were: calcination in air at 450–600?°C and pyrolysis in argon at 1000–1700?°C. Calcination resulted in a production of anatase-rich and pure rutile fibers. The use of an alternative sintering method, the low-temperature plasma treatment, led to the crystallization of the composite Magnéli phases/polymer fibers. As a result of the same one precursor, pyrolysis at 1000?°C, the Carbon/TiO₂ composite fibers were obtained. Rising the treatment temperature in inert atmosphere led to the formation of the titanium carbide fibers. The formation process and all the obtained products were characterized by differential scanning calorimetry accompanied with thermogravimetric analysis (DSC/TGA), scanning and transmission electron microscopy (SEM, TEM), X-ray diffraction (XRD), and image analysis techniques.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Electrodynamics of Inhomogeneous 2D Periodic Media

Journal of Communications Technology and Electronics - A new method is proposed to represent electromagnetic field in inhomogeneous 2D periodic medium (PM) as a discrete set of amplitude vectors...     

Distribution of Magnetic Flux in a Ferromagnetic Material in the Presence of a Nonferromagnetic Gap in the Composite Circuit

Russian Journal of Nondestructive Testing - Comparative analysis of the distribution of magnetic-induction vector components over the volume of a bulk homogeneous sample of 40Kh steel has been...     

The organization of biological sequences into constrained and unconstrained parts determines fundamental properties of genotype–phenotype maps

Biological information is stored in DNA, RNA and protein sequences, which can be understood as genotypes that are translated into phenotypes. The properties of genotype–phenotype (GP) maps have been studied in great detail for RNA secondary structure. These include a highly biased distribution of genotypes per phenotype, negative correlation of genotypic robustness and evolvability, positive correlation of phenotypic robustness and evolvability, shape-space covering, and a roughly logarithmic scaling of phenotypic robustness with phenotypic frequency. More recently similar properties have been discovered in other GP maps, suggesting that they may be fundamental to biological GP maps, in general, rather than specific to the RNA secondary structure map. Here we propose that the above properties arise from the fundamental organization of biological information into ‘constrained'' and ‘unconstrained'' sequences, in the broadest possible sense. As ‘constrained'' we describe sequences that affect the phenotype more immediately, and are therefore more sensitive to mutations, such as, e.g. protein-coding DNA or the stems in RNA secondary structure. ‘Unconstrained'' sequences, on the other hand, can mutate more freely without affecting the phenotype, such as, e.g. intronic or intergenic DNA or the loops in RNA secondary structure. To test our hypothesis we consider a highly simplified GP map that has genotypes with ‘coding'' and ‘non-coding'' parts. We term this the Fibonacci GP map, as it is equivalent to the Fibonacci code in information theory. Despite its simplicity the Fibonacci GP map exhibits all the above properties of much more complex and biologically realistic GP maps. These properties are therefore likely to be fundamental to many biological GP maps.