pH sensitive phosphate crosslinked films of starch-carboxymethyl cellulose

This work aims to develop hydrogel films of starch and carboxymethyl cellulose (CMC) crosslinked with sodium trimetaphosphate (STMP) and to characterize some of their properties. Starch and STMP (S/T), starch and CMC (S/C), and mixed (S/T/C) films were prepared by casting. The degree of substitution, morphology, swelling degree, FTIR, mechanical properties, and sorption isotherms were studied. Reticulated samples (S/T and S/T/C) showed the same degree of substitution (0.050 ± 0.001). All films presented homogeneous morphology, but the mixed film showed greater roughness. Crosslinking increased the swelling capacity of the mixed hydrogel at pH 7, although it remained decreased concerning the S/T hydrogel. However, this property was sensitive to pH variations. The mixed film (S/T/C) showed greater mechanical resistance. The casting process was efficient to produce hydrogel films of starch/CMC crosslinked with STMP and the general results demonstrated the advantages of the mixed hydrogel.     

Specification-driven model transformation testing

Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and sometimes, there is a gap between the properties exhibited by the generated input models and those considered by the transformations. Recently, we proposed a formal specification language for the declarative formulation of transformation properties (by means of invariants, pre-, and postconditions) from which we generated partial oracle functions used for transformation testing. Here, we extend the usage of our specification language for the automated generation of input test models by SAT solving. The testing process becomes more intentional because the generated models ensure a certain coverage of the transformation requirements. Moreover, we use the same specification to consistently derive both the input test models and the oracle functions. A set of experiments is presented, aimed at measuring the efficacy of our technique.     

A novel technique for producing metallic microjets and microdrops

A new technique for producing steady metallic jets is proposed. It allows the production of supercritical jets with Weber numbers well below unity, which entails important technological advantages over existing techniques. The metallic liquid is injected through a micrometer converging nozzle located inside a gas stream. Both the liquid jet and the coflowing gas current cross an orifice located in front of the nozzle. The gas stream stabilizes the jet by sweeping away the capillary waves growing on the free surface. In this way, one can steadily produce microjets with a kinetic energy much lower than the interfacial energy, a possibility that has been predicted theoretically (Gañán-Calvo in Phys Rev E 78:026304, 2008). Experiments were conducted with mercury to assess the performance of the new technique. The experimental results agreed remarkably well with the predictions calculated from the convective/absolute instability transition of the jet. The jet breakup mechanism did not correspond to classical Rayleigh instability, but to the growth of surface waves over a capillary column which ends at a fixed location. The results were compared with those obtained with the well-established flow focusing method to show that the new technique considerably favors the jet’s stability.     

The Green language type system

A programming language that considers basic values and classes as objects brings more opportunities of code reuse and it is easier to use than a language that does not support this feature. However, popular statically typed object-oriented languages do not consider classes as first-class objects because this concept is difficult to integrate with static type checking. They also do not consider basic values as objects for sake of efficiency. This article presents the Green language type system which supports classes as classless objects and offers a mechanism to treat basic values as objects. The result is a reasonably simple type system which is statically typed and easy to implement. It simplifies several other language mechanisms and prevents any infinite regression of metaclasses.     

Design Optimization of Composite Prosthetic Tubes Using GA-ANN Algorithm Considering Tsai-Wu Failure Criteria

The investigation of possible failures in composite materials is a matter of very great importance, and the Tsai-Wu criterion is an effective criterion for analyzing those flaws in anisotropic materials and defining whether the material at a given load will or will not suffer structural failure. In this study, an optimization procedure is proposed to minimize the maximum value of Tsai-Wu of laminated composite tubes subject to axial loading. Artificial neural networks and genetic algorithms are chosen as optimization tools. The results of this study show that the developed algorithm converges faster. Then, the maximum Tsai-Wu value is used as the objective function and the fiber orientations are the constraints in the optimization process. The results yielded by them are compared and discussed. Optimal results are compared with respect to the usual initial design. The design approach is recommended for structures where composites are the key load-carrying members such as orthopedic prosthesis.     

Rietveld analysis of CaCu<Subscript>3</Subscript>Ti<Subscript>4</Subscript>O<Subscript>12</Subscript> thin films obtained by RF-sputtering

Calcium copper titanate, CaCu₃Ti₄O₁₂, CCTO, thin films with polycrystalline nature have been deposited by RF sputtering on Pt/Ti/SiO₂/Si (100) substrates at a room temperature followed by annealing at 600 °C for 2 h in a conventional furnace. The crystalline structure and the surface morphology of the films were markedly affected by the growth conditions. Rietveld analysis reveal a CCTO film with 100 % pure perovskite belonging to a space group Im3 and pseudo-cubic structure. The XPS spectroscopy reveal that the in a reducing N₂ atmosphere a lower Cu/Ca and Ti/Ca ratio were detected, while the O₂ treatment led to an excess of Cu, due to Cu segregation of the surface forming copper oxide crystals. The film present frequency -independent dielectric properties in the temperature range evaluated, which is similar to those properties obtained in single-crystal or epitaxial thin films. The room temperature dielectric constant of the 600-nm-thick CCTO films annealed at 600 °C at 1 kHz was found to be 70. The leakage current of the MFS capacitor structure was governed by the Schottky barrier conduction mechanism and the leakage current density was lower than 10^?7 A/cm² at a 1.0 V. The current–voltage measurements on MFS capacitors established good switching characteristics.     

A non-intrusive estimation for high-quality Internet TV services

This paper presents a non-intrusive estimator for Internet TV services based on streaming technology. Analyzing the video packets received by the client application, the estimator is capable of selecting the most suitable encoding bitrate for the available bandwidth in the end-to-end path. The estimator has been integrated in a real client/server architecture and evaluated with different network traffic situations. The results of the performed evaluation have revealed the stability and adaptation speed as the best qualities of our proposal.     

Interactive smart battery storage for a PV and wind hybrid energy management control based on conservative power theory

This paper presents interactive smart battery-based storage (BBS) for wind generator (WG) and photovoltaic (PV) systems. The BBS is composed of an asymmetric cascaded H-bridge multilevel inverter (ACMI) with staircase modulation. The structure is parallel to the WG and PV systems, allowing the ACMI to have a reduction in power losses compared to the usual solution for storage connected at the DC-link of the converter for WG or PV systems. Moreover, the BBS is embedded with a decision algorithm running real-time energy costs, plus a battery state-of-charge manager and power quality capabilities, making the described system in this paper very interactive, smart and multifunctional. The paper describes how BBS interacts with the WG and PV and how its performance is improved. Experimental results are presented showing the efficacy of this BBS for renewable energy applications.