Genetic parameter estimates for buffalo milk yield, milk quality and mozzarella production and Bayesian inference analysis of their relationships

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Gibbs’ free energies of formation of Cu2Ln2O5 (Ln = Tb, Dy, Er, Yb) compounds

The standard Gibbs' free energies of formation of compounds of type Cu2L%05 (Ln = Tb,Dy,Er,Yb) were measured using the solid state cell in the temperature range of 970 to 1323 K For formation of Cu2L?O5 compounds from their binary component oxides according to the reaction 2 CUO (s) + L%03 (s) -, Cu,,L%05 (s),the Gibbs' free energy changes can be represented by the following equations:AGO = 13 080 - 13.70 'I" (+80) J mol-' (Ln = Tb)AGq = 11 480 - 13.51 T (260) J mol-I (Ln = Dy)AGO = 10 750 - 13.99 T (260) J mol-I (Ln = Er)AGO = 9 920 - 13.90 T (260) J mol-' (Ln = Yb) Since formation of the compounds is endothermic, the compounds become thermodynamically unstable with respect to their component oxides below 955 K for Cu2Tb205, 850 K for Cu2Dy205, 768 K for Cu2Er205 and 714 K for Cu2Yb2OS When the oxygen partial pressure over Cu2L%05 is lowered, they decompose according to the scheme, 2 CU,L%O, (s) -r 2 L%03 (s) +2 cu20 (s) + 02(g)The equilibrium chemical potentials of oxygen corresponding to the dissociation reactions are computed from the emf data and auxiliary information on Cu20 and CuO. The computed decomposition temperatures at an oxygen partial pressure of 5.0 x ld Pa are compared with those obtained directly from combined thermogravimetric (TGA) and differential thermal analyses (DTA).The free energy, enthalpy and entropy of formation of Cu2Ln205 compounds show systematic variation with the ionic radius of the trivalent lanthanide ion. The trends obtained in this study are compared with information available in the literature. The staZbility of Cu2Ln205 compounds increases with the decrease in ionic radii of the ~ n ion~. +

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deterioration—Part I : Modeling methodology and strategy

This paper aims to develop the methodology and strategy for concurrent finite element modeling of civil infrastructures at the different scale levels for the purposes of analyses of structural deteriorating. The modeling strategy and method were investigated to develop the concurrent multi-scale model of structural behavior (CMSM-of-SB) in which the global structural behavior and nonlinear damage features of local details in a large complicated structure could be concurrently analyzed in order to meet the needs of structural-state evaluation as well as structural deteriorating. In the proposed method, the “large-scale” modeling is adopted for the global structure with linear responses between stress and strain and the “small-scale” modeling is available for nonlinear damage analyses of the local welded details. A longitudinal truss in steel bridge decks was selected as a case to study how a CMSM-of-SB was developed. The reduced-scale specimen of the longitudinal truss was studied in the laboratory to measure its dynamic and static behavior in global truss and local welded details, while the multi-scale models using constraint equations and substructuring were developed for numerical simulation. The comparison of dynamic and static response between the calculated results by different models indicated that the proposed multi-scale model was found to be the most efficient and accurate. The verification of the model with results from the tested truss under the specific loading showed that, responses at the material scale in the vicinity of local details as well as structural global behaviors could be obtained and fit well with the measured results. The proposed concurrent multi-scale modeling strategy and implementation procedures were applied to Runyang cable-stayed bridge (RYCB) and the CMSM-of-SB of the bridge deck system was accordingly constructed as a practical application.

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deteriorating—Part II : Model updating and verification

This paper is a continuation of the paper titled “Concurrent multi-scale modeling of civil infrastructure for analyses on structural deteriorating—Part I: Modeling methodology and strategy” with the emphasis on model updating and verification for the developed concurrent multi-scale model. The sensitivity-based parameter updating method was applied and some important issues such as selection of reference data and model parameters, and model updating procedures on the multi-scale model were investigated based on the sensitivity analysis of the selected model parameters. The experimental modal data as well as static response in terms of component nominal stresses and hot-spot stresses at the concerned locations were used for dynamic response- and static response-oriented model updating, respectively. The updated multi-scale model was further verified to act as the baseline model which is assumed to be finite-element model closest to the real situation of the structure available for the subsequent arbitrary numerical simulation. The comparison of dynamic and static responses between the calculated results by the final model and measured data indicated the updating and verification methods applied in this paper are reliable and accurate for the multi-scale model of frame-like structure. The general procedures of multi-scale model updating and verification were finally proposed for nonlinear physical-based modeling of large civil infrastructure, and it was applied to the model verification of a long-span bridge as an actual engineering practice of the proposed procedures.

Integrating hardware and software information flow analyses

Security-critical communications devices must be evaluated to the highest possible standards before they can be deployed. This process includes tracing potential information flow through the device's electronic circuitry, for each of the device's operating modes. Increasingly, however, security functionality is being entrusted to embedded software running on microprocessors within such devices, so new strategies are needed for integrating information flow analyses of embedded program code with hardware analyses. Here we show how standard compiler principles can augment high-integrity security evaluations to allow seamless tracing of information flow through both the hardware and software of embedded systems. This is done by unifying input/output statements in embedded program execution paths with the hardware pins they access, and by associating significant software states with corresponding operating modes of the surrounding electronic circuitry.

Numerical analyses of crack spacing due to shrinkage in reinforced concrete slabs

Shrinkage cracking is commonly observed in concrete flat structures such as highway pavements, slabs, and bridge decks. Crack spacing due to shrinkage has received considerable attention for many years [1-3]. However, some aspects concerning the mechanism of crack spacing still remain un-clear. Though it is well known that the interval of the cracks generally falls with a range, no satisfactory explanation has been put forward as to why the minimum spacing exists.