Galerkin Solution of Stochastic Beam Bending on Winkler Foundations

In this paper, the Askey-Wiener scheme and the Galerkin method are used to obtain approximate solutions to stochastic beam bending on Winkler foundation. The study addresses Euler-Bernoulli beams with uncertainty in the bending stiffness modulus and in the stiffness of the foundation. Uncertainties are represented by parameterized stochastic processes. The random behavior of beam response is modeled using the Askey-Wiener scheme. One contribution of the paper is a sketch of proof of existence and uniqueness of the solution to problems involving fourth order operators applied to random fields. From the approximate Galerkin solution, expected value and variance of beam displacement responses are derived, and compared with corresponding estimates obtained via Monte Carlo simulation. Results show very fast convergence and excellent accuracies in comparison to Monte Carlo simulation. The Askey-Wiener Galerkin scheme presented herein is shown to be a theoretically solid and numerically efficient method for the solution of stochastic problems in engineering.

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

A NEW PROOF OF OKAJI'S THEOREM FOR A CLASS OF SUM OF SQUARES OPERATORS

Let P be a linear partial differential operator with analytic coefficients. We assume that P is of the form ""sum of squares"", satisfying Hormander's bracket condition. Let q be a characteristic point; for P. We assume that q lies on a symplectic Poisson stratum of codimension two. General results of Okaji Show that P is analytic hypoelliptic at q. Hence Okaji has established the validity of Treves' conjecture in the codimension two case. Our goal here is to give a simple, self-contained proof of this fact.

Nuclear and mitochondrial DNA markers in traceability of retail beef samples

Several characteristics are important in a traceability system of animal products, such as age at slaughter, breed composition, besides information of the productive chain. In general, the certification agent records information about the animals and the system which it came from, although cannot guarantee that the slaughtering, meat processing and distribution are error proof. Besides, there is a differential price, at least at the international market, based on sex and breed composition of the animals. Genetic markers allow identification of characteristics controlled in the beef cattle traceability program, as sex and breed composition, in order to correctly identify and appraise the final product for the consumer. The hypothesis of this study was that the majority beef samples retailed in the local market originate from female with a great participation of zebu breeds. Therefore, the objective of this work was to characterize retail beef samples with DNA markers that identify cattle sex and breed composition. Within 10 beef shops localized in Pirassununga, SP, Brazil, 61 samples were collected, all were genotyped as harboring Bos taurus mitochondrial DNA and 18 were positive for the Y chromosome amplification (male). For the marker sat1711b-Msp I the frequency of the allele A was 0.278 and for the marker Lhr-Hha I the frequency of the allele T was 0.417. The results of sat1711b-Msp I and Lhr-Hha I allelic frequencies are suggestive that the proportion of indicus genome compared with the taurine genome in the market meat is smaller than the observed in the Nellore breed. The procedure described in this study identified sex and subspecies characteristics of beef meat samples, with potential application in meat products certification in special as an auxiliary tool in beef cattle traceability programs.

The effect of using mixed initiator systems on the efficiency of photopolymerization of dental resins

A study was performed in order to determine the efficiency of the simultaneous use of the photoinitiators phenylpropanedione (PPD) and camphorquinone (CQ) in the polymerization of acrylic polymers and evaluate possible mechanisms leading to synergism or antagonism. It was found that efficiencies of both initiators taken individually are higher than that of their mixture, indicating that when both dyes are used simultaneously there will be an energy transfer from the more efficient initiator (CQ) to the less efficient one (PPD). Also, there was no proof of any reaction between the amine present in the CQ formulation and the PPD excited state.

Unconstrained Finite Element for Geometrical Nonlinear Dynamics of Shells

This paper presents a positional FEM formulation to deal with geometrical nonlinear dynamics of shells. The main objective is to develop a new FEM methodology based on the minimum potential energy theorem written regarding nodal positions and generalized unconstrained vectors not displacements and rotations. These characteristics are the novelty of the present work and avoid the use of large rotation approximations. A nondimensional auxiliary coordinate system is created, and the change of configuration function is written following two independent mappings from which the strain energy function is derived. This methodology is called positional and, as far as the authors' knowledge goes, is a new procedure to approximated geometrical nonlinear structures. In this paper a proof for the linear and angular momentum conservation property of the Newmark beta algorithm is provided for total Lagrangian description. The proposed shell element is locking free for elastic stress-strain relations due to the presence of linear strain variation along the shell thickness. The curved, high-order element together with an implicit procedure to solve nonlinear equations guarantees precision in calculations. The momentum conserving, the locking free behavior, and the frame invariance of the adopted mapping are numerically confirmed by examples. Copyright (C) 2009 H. B. Coda and R. R. Paccola.

Radio-frequency spectroscopy of (6)Li p-wave molecules: Towards photoemission spectroscopy of a p-wave superfluid

We study rf spectroscopy of a lithium gas with the goal to explore the possibilities for photoemission spectroscopy of a strongly interacting p-wave Fermi gas. Radio-frequency spectra of quasibound p-wave molecules and of free atoms in the vicinity of the p-wave Feshbach resonance located at 159.15G are presented. The spectra are free of detrimental final-state effects. The observed relative magnetic-field shifts of the molecular and atomic resonances confirm earlier measurements realized with direct rf association. Furthermore, evidence of molecule production by adiabatically ramping the magnetic field is observed. Finally, we propose the use of a one-dimensional optical lattice to study anisotropic superfluid gaps as most direct proof of p-wave superfluidity.

On the asymptotic enumeration of accessible automata

We simplify the known formula for the asymptotic estimate of the number of deterministic and accessible automata with n states over a k-letter alphabet. The proof relies on the theory of Lagrange inversion applied in the context of generalized binomial series.

In situ infrared (FTIR) study of the mechanism of the borohydride oxidation reaction

Early reports stated that Au was a catalyst of choice for the BOR because it would yield a near complete faradaic efficiency. However, it has recently been suggested that gold could yield to some extent the heterogeneous hydrolysis of BH(4)(-),therefore lowering the electron count per BH(4)(-), especially at low potential. Actually, the blur will exist regarding the BOR mechanism on Au as long as no physical proof regarding the reaction intermediates is not put forward. In that frame, in situ physical techniques like FTIR exhibit some interest to study the BOR. Consequently, in situ infrared reflectance spectroscopy measurements (SPAIRS technique) have been performed in 1 M NaOH/1 M NaBH(4) on a gold electrode with the aim to detect the intermediate species. We monitored several bands in B-H ((nu) over bar similar to 1180,1080 and 972 cm(-1)) and B-O bond regions ((nu) over bar =1325 and similar to 1425cm(-1)), which appear sequentially as a function of the electrode polarization. These absorption bands are assigned to BH(3), BH(2) and BO(2)(-) species. At the light of the experimental results, possible initial elementary steps of the BOR on gold electrode have been proposed and discussed according to the relevant literature data.

Development of new rapid prototyping process

Purpose - The purpose of this paper is to identify the key elements of a new rapid prototyping process, which involves layer-by-layer deposition of liquid-state material and at the same time using an ultraviolet line source to cure the deposited material. This paper reports studies about the behaviour of filaments, deposition accuracy, filaments interaction and functional feasibility of system. Additionally, the author describes the process which has been proposed, the equipment that has been used for these studies and the material which was developed in this application. Design/methodology/approach - The research has been separated into three study areas in accordance with their goals. In the first, both the behaviour of filament and deposition accuracy was studied. The design of the experiment is described with focus on four response factors (bead width, filament quality, deposition accuracy and deposition continuity) along with function of three control factors (deposition height, deposition velocity and extrusion velocity). The author also studied the interaction between filaments as a function of bead centre distance. In addition, two test samples were prepared to serve as a proof of the methodology and to verify the functional feasibility of the process which has been studied. Findings - The results show that the proposed process is functionally feasible, and that it is possible to identify the main effects of control factors over response factors. That analysis is used to predict the condition of process as a function of the parameters which control the process. Also identified were distances of centre beads which result in a specific behaviour. The types of interaction between filaments were analysed and sorted into: union, separation and indeterminate. At the end, the functional feasibility of process was proved whereby two test parts could be built. Originality/value - This paper proposes a new rapid prototyping process and also presents test studies related to this proposition. The author has focused on the filament behaviour, deposition accuracy, interaction between filaments and studied the functional feasibility of process to provide new information about this process, which at the same time is useful to the development of other rapid prototyping processes.

Lack of magnetoacoustic emission in iron with 6.5% silicon

The phenomenon of magnetoacoustic emission (MAE) has been ascribed usually to one of two origins: either (1) motion of non-180 degrees domain walls or (2) creation or annihilation of domains. In this paper, we present strong evidence for the argument that the only origin for MAE is motion of non-180 degrees domain walls. The proof is evident as a result of measurements of zero MAE for a wide range of stress in the isotropic zero magnetostrictive polycrystalline alloy of iron with 6.5% silicon. We also explain why it was that the alternative origin was proposed and how the data in that same experiment can be reinterpreted to be consistent with the non-180 degrees wall motion origin. (C) 2008 Elsevier B.V. All rights reserved.

Analysis of a Reconfigurable Bandpass Circular Patch Filter

This paper presents an analysis of a reconfigurable patch filter based on a triple-mode circular patch resonator with four radial slots. The analysis has been carried out thanks to the development of a new theoretical approach of the tunable patch filter based on the coupling matrix. The coefficients of the coupling matrix related to the tunable behavior have been identified and some rules for their evolution have been derived. For a proof-of-concept, a bandpass filter has been designed with a continuous tunability obtained with varactors connected across the slots. State-of-the-art results have been obtained, with a frequency tuning range of 27% from 1.95 to 2.43 GHz and a change in fractional bandwidth from 8.5% to 31.5% for the respective frequencies. In the entire tuning range, the return loss is better than 10 dB and the maximum insertion loss is 2 dB. Due to the newly developed coupling matrix, measurements, simulations, and theory showed great agreement.

The AdapLib Library for Execution of Adaptive Devices: Architecture and Use

In this paper it is presented the theoretical background, the architecture (using the ""4+1"" model), and the use of the library for execution of adaptive devices, AdapLib. This library was created seeking to be accurate to the adaptive devices theory, and to allow its easy extension considering the specific details of solutions that employ this kind of device. As an example, it is presented a case study in which the library was used to create a proof of concept to monitor and diagnose problems in an online news portal.

Relationship between occurrence of Panama disease in banana trees of cv. Nanicao and nutrients in soil and leaves

Relationship between occurrence of Panama disease in banana trees of cv. Nanicao and nutrients in soil and leaves The objective of the present work was to verify if the incited symptoms in banana trees cv. Nanicao, belonging to the subgroup Cavendish, in Vale do Ribeira, are related to levels of nutrients in soil and leaves. Sixteen areas in Vale do Ribeira were selected, one half with symptomatic plants and the other with healthy plants. In those areas the third leaf of five plants and the soil near those plants were collected, at depths from 0 to 20 cm and from 20 to 40 cm. At both depths of the sampled soil, levels of Ca, Mg, PO(4)(-3), S and cationic exchange capacity (CEC) were significantly different among the areas, and the low values of these elements were present in the areas containing symptomatic plants. At both depths, Mg, Al and H in relation to CEC were significantly different among the areas, and the low values of Mg and high of Al and H were present in the areas with symptomatic plants. The N, K and S in the leaves were significantly different among the areas. These elements showed low values in the areas containing symptomatic plants. Despite the fact that some amounts of macronutrients of the soil and of the leaves are present only in the areas containing plants of Nanicao with symptoms similar to fusariosis, proof of a possible occurrence of race of the pathogen should be looked for in Vale do Ribeira.

Citrus Sudden Death Is Transmitted by Graft-Inoculation and Natural Transmission Is Prevented by Individual Insect-Proof Cages

Citrus sudden death (CSD) transmission was studied by graft-inoculation and under natural conditions. Young sweet orange trees on Rangpur rootstock were used as indicator plants. They were examined regularly for one or two characteristic markers of CSD: (i) presence of a yellow-stained layer of thickened bark on the Rangpur rootstock, and (ii) infection with the CSD-associated marafivirus. Based on these two markers, transmission of CSD was obtained, not only when budwood for graft-inoculation was taken from symptomatic, sweet orange trees on Rangpur, but also when the budwood sources were asymptomatic sweet orange trees on Cleopatra mandarin, indicating that the latter trees are symptomless carriers of the CSD agent. For natural transmission, 80 young indicator plants were planted within a citrus plot severely affected by CSD. Individual insect-proof cages were built around 40 indicator plants, and the other 40 indicator plants remained uncaged. Only two of the 40 caged indicator plants were affected by CSD, whereas 17 uncaged indicator plants showed CSD symptoms and were infected with the marafivirus. An additional 12 uncaged indicator plants became severely affected with citrus variegated chlorosis and were removed. These results strongly suggest that under natural conditions, CSD is transmitted by an aerial vector, such as an insect, and that the cages protected the trees against infection by the vector.