The effect of partial substitution of nb for v on austenite grain size and hardness of a tool steel

In the present work, the composition of H- 13 tool steel was modified with respect to the vanadium content to include an addition of niobium to obtain improved austenite grain size control without altering the tempering response of the steel. Optical metallography and transmission electron microscopy (TEM) observation of extraction replicas showed that the new steel had a smaller austenite grain size and a finer carbide size distribution than the vanadium steel, which indicates a higher potential toughness.     

Cold Crystallization of PLLA Studied by Simultaneous SAXS and WAXS

Summary: The cold crystallization process of initially amorphous poly(L ‐lactic acid), PLLA, with two different molecular weights, during a heating at 2 °C/min, was investigated by DSC and time‐resolved simultaneous SAXS and WAXS, using synchrotron radiation. Equatorial scans of the isotropic 2D‐SAXS patterns showed that the average Bragg long period (L_B) of PLLA samples was approximately constant with the development of cold crystallization up to a temperature that corresponded to a melt/re‐crystallization process that took place before the nominal melting peak seen by DSC. L_B values were found to be higher for the high molecular weight material. This was in accordance with the higher melting temperature observed in the high molecular weight PLLA that implied the existence of thicker lamellae. WAXS results showed that the molecular weight did not apparently affect the crystal form and the final degree of crystallinity of PLLA. The Avrami parameters from WAXS and DSC were consistent, showing that the non‐isothermal cold crystallization of the two PLLA samples corresponded mainly to a three‐dimensional growth, although an imperfect crystallization process was involved at early times. The crystallization rate of PLLA, observed both by WAXS and DSC, decreased with increasing molecular weight.

SAXS profiles of PLLA2 as a function of temperature. The inset shows the 2D‐SAXS pattern obtained at 180 °C.     

Self-assembled monolayers of a disulphide-derivatised cobalt-porphyrin on gold

A self-assembled monolayer (SAM) of a novel cobalt(II)porphyrin disulphide derivative was prepared on flat gold(1 1 1) electrode. Evidence for surface modification was provided by electrochemical reductive desorption of the monolayer and ellipsometry, consistent with a coverage of 2.5 × 10⁻¹⁰ mol cm⁻² and a thickness of 13 Å, respectively. Both results support the presence of SAMs where the molecules share an intermediate position between perpendicular and flat orientation. Scanning tunnelling microscopy have also proven the formation of CoPSS SAMs, however high-resolution images could only be obtained when the CoPSS molecules were diluted in an hexanethiol SAM. The electrocatalytic activity of the surface confined Co-porphyrin was evaluated for the oxygen reduction. Voltammetric data indicate that reaction involves two electrons consistent with the formation of hydrogen peroxide. Under similar experimental conditions the data obtained for an iron-porphyrin analogue points for a full reduction of dioxygen to water.     

XMobile: A MB-UID environment for semi-automatic generation of adaptive applications for mobile devices

Ubiquitous Computing promises seamless access to information anytime, anywhere with different and heterogeneous devices. This kind of environment imposes new challenges to software development. For example, information and user interface should be adapted according to contextual characteristics such as user, environment, and access device. In case of device adaptation, the development challenge is related to the heterogeneity of the devices, which requires software engineers to create different versions for each type of device and every platform. This paper proposes a MB-UID (model-based user interface development) approach for semi-automatic generation of adaptive applications for mobile devices. An environment, called XMobile, offers a device-independent user interface framework and a code generation tool for providing fast development of multi-platform and adaptive applications according to device and platform features. A case study is also presented to illustrate how the environment can be used for constructing an application for heterogeneous devices with different network connectivity modes.     

A sufficient condition to test identifiability of nonlinear delayed-differential models with constant delays and multi-inputs

In this paper, an original result in terms of a sufficient condition to test the identifiability of nonlinear delayed-differential models with constant delays and multi-inputs is given. The identifiability is studied for the linearized system and a criterion for linear systems with constant delays is provided, from which the identifiability of the original nonlinear system can be proved. This result is obtained by combining a classical identifiability result for nonlinear ordinary differential systems due to Grewal and Glover (1976) with the identifiability of linear delayed-differential models developed by Orlov, Belkoura, Richard, and Dambrine (2002). This paper is a generalization of Denis-Vidal, Jauberthie, and Joly-Blanchard (2006), which deals with the specific case of nonlinear delayed-differential models with two delays and a single input.     

On graph reasoning

In this paper, we study the (positive) graph relational calculus. The basis for this calculus was introduced by Curtis and Lowe in 1996 and some variants, motivated by their applications to semantics of programs and foundations of mathematics, appear scattered in the literature. No proper treatment of these ideas as a logical system seems to have been presented. Here, we give a formal presentation of the system, with precise formulation of syntax, semantics, and derivation rules. We show that the set of rules is sound and complete for the valid inclusions, and prove a finite model result as well as decidability. We also prove that the graph relational language has the same expressive power as a first-order positive fragment (both languages define the same binary relations), so our calculus may be regarded as a notational variant of the positive existential first-order logic of binary relations. The graph calculus, however, has a playful aspect, with rules easy to grasp and use. This opens a wide range of applications which we illustrate by applying our calculus to the positive relational calculus (whose set of valid inclusions is not finitely axiomatizable), obtaining an algorithm for deciding the valid inclusions and equalities of the latter.     

Microstructure of Reaction Zone Formed During Diffusion Bonding of TiAl with Ni/Al Multilayer

In this article, the characterization of the interfacial structure of diffusion bonding a TiAl alloy is presented. The joining surfaces were modified by Ni/Al reactive multilayer deposition as an alternative approach to conventional diffusion bonding. TiAl substrates were coated with alternated Ni and Al nanolayers. The nanolayers were deposited by dc magnetron sputtering with 14 nm of period (bilayer thickness). Joining experiments were performed at 900 °C for 30 and 60 min with a pressure of 5 MPa. Cross sections of the joints were prepared for characterization of their interfaces by scanning electron microscopy (SEM), transmission electron microscopy (TEM), scanning transmission electron microscopy (STEM), high resolution TEM (HRTEM), energy dispersive x-ray spectroscopy (EDS), and electron backscatter diffraction (EBSD). Several intermetallic compounds form at the interface, assuring the bonding of the TiAl. The interface can be divided into three distinct zones: zone 1 exhibits elongated nanograins, very small equiaxed grains are observed in zone 2, while zone 3 has larger equiaxed grains. EBSD analysis reveals that zone 1 corresponds to the intermetallic Al₂NiTi and AlNiTi, and zones 2 and 3 to NiAl.     

Liquid chromatographic determination of caffeine and adrenergic stimulants in food supplements sold in Brazilian e-commerce for weight loss and physical fitness

Methyl-xanthines and adrenergic stimulants, such as caffeine and synephrine, are commonly added to food supplements due to their stimulating and thermogenic effects. In addition, the abusive consumption of food supplements with ergogenic and aesthetic purposes has been observed worldwide. This work describes the study of caffeine, p-synephrine, hordenine, octopamine, tyramine, ephedrine and salicin as stimulants in dietary supplements marketed in Brazil for weight loss and physical fitness claims. A total of 94 different products were acquired from 30 Brazilian websites. Thus, the sampling of marketed supplements was performed in virtual commerce (e-commerce) with claims of weight loss, appetite reduction, fat burning and metabolism acceleration. The developed analytical method involved the separation of the stimulants by HPLC with diode array detection (HPLC-DAD) by using a gradient elution of flow rate (0.7–2.5 ml min^?1) and mobile phase composition (0.1% H₃PO₄/methanol). The validated method was applied to the study of 46 dietary supplements. Caffeine, p-synephrine and ephedrine were found to be present as stimulants in 52% of the studied samples marketed as encapsulated or bulk forms. Caffeine was found to be present in concentrations that represent doses from 25.0 to 1476.7 mg day^–1. Synephrine was found in concentrations that represent doses from 59.1 to 127.0 mg day^–1. Ephedrine was found to be associated with caffeine in one formulation at a concentration representing a 26.1 mg day^–1 dosage.