Sizing Structures and Predicting Weight of a Spacecraft

EZDESIT is a computer program for choosing the sizes of structural components and predicting the weight of a spacecraft, aircraft, or other vehicle. In designing a vehicle, EZDESIT is used in conjunction with a finite-element structural- analysis program: Each structural component is sized within EZDESIT to withstand the loads expected to be encountered during operation, then the weights of all the structural finite elements are added to obtain the structural weight of the vehicle. The sizing of the structural components elements also alters the stiffness properties of the finiteelement model. The finite-element analysis and structural component sizing are iterated until the weight of the vehicle converges to a prescribed iterative difference

Modelling and Analysis of Vibrations in a UAV Helicopter with a Vision System

The analysis of the nature and damping of unwanted vibrations on Unmanned Aerial Vehicle (UAV) helicopters are important tasks when images from on‐board vision systems are to be obtained. In this article, the authors model a UAV system, generate a range of vibrations originating in the main rotor and design a control methodology in order to damp these vibrations. The UAV is modelled using VehicleSim, the vibrations that appear on the fuselage are analysed to study their effects on the on‐board vision system by using Simmechanics software. Following this, the authors present a control method based on an Adaptive Neuro‐Fuzzy Inference System (ANFIS) to achieve satisfactory damping results over the vision system on board

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

The order parameter-entropy relation in some universal classes: experimental evidence

The asymptotic behaviour near phase transitions can be suitably characterized by the scaling of $\Delta s/Q^2$ with $\epsilon=1-T/T_c$, where $\Delta s$ is the excess entropy and $Q$ is the order parameter. As $\Delta s$ is obtained by integration of the experimental excess specific heat of the transition $\Delta c$, it displays little experimental noise so that the curve $\log(\Delta s/Q^2)$ versus $\log\epsilon$ is better constrained than, say, $\log\Delta c$ versus $\log\epsilon$. The behaviour of $\Delta s/Q^2$ for different universality classes is presented and compared. In all cases, it clearly deviates from being a constant. The determination of this function can then be an effective method to distinguish asymptotic critical behaviour. For comparison, experimental data for three very different systems, Rb2CoF4, Rb2ZnCl4 and SrTiO3, are analysed under this approach. In SrTiO3, the function $\Delta s/Q^2$ does not deviate within experimental resolution from a straight line so that, although Q can be fitted with a non mean-field exponent, the data can be explained by a classical Landau mean-field behaviour. In contrast, the behaviour of $\Delta s/Q^2$ for the antiferromagnetic transition in Rb2CoF4 and the normal-incommensurate phase transition in Rb2ZCl4 is fully consistent with the asymptotic critical behaviour of the universality class corresponding to each case. This analysis supports, therefore, the claim that incommensurate phase transitions in general, and the A$_2$BX$_4$ compounds in particular, in contrast with most structural phase transitions, have critical regions large enough to be observable.Comment: 13 pp. 9 ff. 2 tab. RevTeX. Submitted to J. Phys.: Cond. Matte

Regulatory nodD1 and nodD2 genes of Rhizobium tropici strain CIAT 899 and their roles in the early stages of molecular signaling and host-legume nodulation.

Nodulation and symbiotic nitrogen fixation are mediated by several genes, both of the host legume and of the bacterium. The rhizobial regulatory nodD gene plays a critical role, orchestrating the transcription of the other nodulation genes. Rhizobium tropici strain CIAT 899 is an effective symbiont of several legumes?with an emphasis on common bean (Phaseolus vulgaris)?and is unusual in carrying multiple copies of nodD, the roles of which remain to be elucidated. Results: Phenotypes, Nod factors and gene expression of nodD1 and nodD2 mutants of CIAT 899 were compared with those of the wild type strain, both in the presence and in the absence of the nod-gene-inducing molecules apigenin and salt (NaCl). Differences between the wild type and mutants were observed in swimming motility and IAA (indole acetic acid) synthesis. In the presence of both apigenin and salt, large numbers of Nod factors were detected in CIAT 899, with fewer detected in the mutants. nodC expression was lower in both mutants; differences in nodD1 and nodD2 expression were observed between the wild type and the mutants, with variation according to the inducing molecule, and with a major role of apigenin with nodD1 and of salt with nodD2. In the nodD1 mutant, nodulation was markedly reduced in common bean and abolished in leucaena (Leucaena leucocephala) and siratro (Macroptilium atropurpureum), whereas a mutation in nodD2 reduced nodulation in common bean, but not in the other two legumes. Conclusion: Our proposed model considers that full nodulation of common bean by R. tropici requires both nodD1 and nodD2, whereas, in other legume species that might represent the original host, nodD1 plays the major role. In general, nodD2 is an activator of nod-gene transcription, but, in specific conditions, it can slightly repress nodD1. nodD1 and nodD2 play other roles beyond nodulation, such as swimming motility and IAA synthesis

Coassembly and coupling of SK2 channels and mGlu5 receptors

Group I metabotropic glutamate (mGlu) receptors regulate hippocampal CA1 pyramidal neuron excitability via Ca(2+) wave-dependent activation of small-conductance Ca(2+)-activated K(+) (SK) channels. Here, we show that mGlu5 receptors and SK2 channels coassemble in heterologous coexpression systems and in rat brain. Further, in cotransfected cells or rat primary hippocampal neurons, mGlu5 receptor stimulation activated apamin-sensitive SK2-mediated K(+) currents. In addition, coexpression of mGlu5 receptors and SK2 channels promoted plasma membrane targeting of both proteins and correlated with increased mGlu5 receptor function that was unexpectedly blocked by apamin. These results demonstrate a reciprocal functional interaction between mGlu5 receptors and SK2 channels that reflects their molecular coassembly

A modal theorem-preserving translation of a class of three-valued logics of incomplete information

International audienceThere are several three-valued logical systems that form a scattered landscape, even if all reasonable connectives in three-valued logics can be derived from a few of them. Most papers on this subject neglect the issue of the relevance of such logics in relation with the intended meaning of the third truth-value. Here, we focus on the case where the third truth-value means unknown, as suggested by Kleene. Under such an understanding, we show that any truth-qualified formula in a large range of three-valued logics can be translated into KD as a modal formula of depth 1, with modalities in front of literals only, while preserving all tautologies and inference rules of the original three-valued logic. This simple information logic is a two-tiered classical propositional logic with simple semantics in terms of epistemic states understood as subsets of classical interpretations. We study in particular the translations of Kleene, Gödel, ᴌukasiewicz and Nelson logics. We show that Priest’s logic of paradox, closely connected to Kleene’s, can also be translated into our modal setting, simply by exchanging the modalities possible and necessary. Our work enables the precise expressive power of three-valued logics to be laid bare for the purpose of uncertainty management

Outbreak of common midwife toad virus in alpine newts (Mesotriton alpestris cyreni) and common midwife toads (Alytes obstetricans) in Northern Spain: A comparative pathological study of an emerging ranavirus

This report describes the isolation and characterisation of the common midwife toad virus (CMTV) from juvenile alpine newts (Mesotriton alpestris cyreni) and common midwife toad (CMT) tadpoles (Alytes obstetricans) in the Picos de Europa National Park in Northern Spain in August 2008. A comparative pathological and immunohistochemical study was carried out using anti-CMTV polyclonal serum. In the kidneys, glomeruli had the most severe histological lesions in CMT tadpoles, while both glomeruli and renal tubular epithelial cells exhibited foci of necrosis in juvenile alpine newts. Viral antigens were detected by immunohistochemical labelling mainly in the kidneys of CMT tadpoles and in ganglia of juvenile alpine newts. This is the first report of ranavirus infection in the alpine newt, the second known species to be affected by CMTV in the past 2 years