851 resultados para Variable precision logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We report the analysis of a uniform sample of 31 light curves of the nova-like variable UU Aqr with eclipse-mapping techniques. The data were combined to derive eclipse maps of the average steady-light component, the long-term brightness changes, and the low- and high-frequency flickering components. The long-term variability responsible for the ""low-brightness`` and ""high-brightness`` states is explained in terms of the response of a viscous disk to changes of 20%-50% in the mass transfer rate from the donor star. Low- and high-frequency flickering maps are dominated by emission from two asymmetric arcs reminiscent of those seen in the outbursting dwarf nova IP Peg, and they are similarly interpreted as manifestations of a tidally induced spiral shock wave in the outer regions of a large accretion disk. The asymmetric arcs are also seen in the map of the steady light aside from the broad brightness distribution of a roughly steady-state disk. The arcs account for 25% of the steady-light flux and are a long-lasting feature in the accretion disk of UU Aqr. We infer an opening angle of 10 degrees +/- 3 degrees for the spiral arcs. The results suggest that the flickering in UU Aqr is caused by turbulence generated after the collision of disk gas with the density-enhanced spiral wave in the accretion disk.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We show that the significantly different effective temperatures (T(eff)) achieved by the luminous blue variable AG Carinae during the consecutive visual minima of 1985-1990 (T(eff) similar or equal to 22,800 K) and 2000-2001 (T(eff) similar or equal to 17,000 K) place the star on different sides of the bistability limit, which occurs in line-driven stellar winds around T(eff) similar to 21,000 K. Decisive evidence is provided by huge changes in the optical depth of the Lyman continuum in the inner wind as T(eff) changes during the S Dor cycle. These changes cause different Fe ionization structures in the inner wind. The bistability mechanism is also related to the different wind parameters during visual minima: the wind terminal velocity was 2-3 times higher and the mass-loss rate roughly two times smaller in 1985-1990 than in 2000-2003. We obtain a projected rotational velocity of 220 +/- 50 km s(-1) during 1985-1990 which, combined with the high luminosity (L(star) = 1.5 x 10(6) L(circle dot)), puts AG Car extremely close to the Eddington limit modified by rotation (Omega Gamma limit): for an inclination angle of 90 degrees, Gamma(Omega) greater than or similar to 1.0 for M(circle dot) less than or similar to 60. Based on evolutionary models and mass budget, we obtain an initial mass of similar to 100 M(circle dot) and a current mass of similar to 60-70 M(circle dot) for AG Car. Therefore, AG Car is close to, if not at, the Omega Gamma limit during visual minimum. Assuming M = 70 M(circle dot), we find that Gamma(Omega) decreases from 0.93 to 0.72 as AG Car expands toward visual maximum, suggesting that the star is not above the Eddington limit during maximum phases.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

immunodeficiency (CVID), the most common symptomatic primary immunodeficiency in adulthood. Different authors report high prevalences of autoimmune diseases in CVID, and several mechanisms have been proposed to explain this apparent paradox. Genetic predisposition, under current surveillance, innate and adaptive immunity deficiencies leading to persistent/recurrent infections, variable degrees of immune dysregulation, and possible failure in central and peripheral mechanisms of tolerance induction or maintenance may all contribute to increased autoimmunity. Conclusions Data on the clinical/immunological profile of affected patients and treatment are available mostly concerning autoimmune cytopenias, the most common autoimmune diseases in CVID. Treatment is based on conventional alternatives, in association with short experience with new agents, including rituximab and infliximab. Benefits of early immunoglobulin substitutive treatment and hypothetical premature predictors of autoimmunity are discussed as potential improvements to CVID patients` follow-up.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Common variable immunodeficiency (CVID) is a primary immunodeficiency characterized by hypogammaglobulinemia and recurrent infections. Herein we addressed the role of unfolded protein response (UPR) in the pathogenesis of the disease. Augmented unspliced X-box binding protein 1 (XBP-1) mRNA concurrent with co-localization of IgM and BiP/GRP78 were found in one CVID patient. At confocal microscopy analysis this patient`s cells were enlarged and failed to present the typical surface distribution of IgM, which accumulated within an abnormally expanded endoplasmic reticulum. Sequencing did not reveal any mutation on XBP-1, neither on IRE-1 alpha that could potentially prevent the splicing to occur. Analysis of spliced XBP-1, IRE-1 alpha and BiP messages after LPS or Brefeldin A treatment showed that, unlike healthy controls that respond to these endoplasmic reticulum (ER) stressors by presenting waves of transcription of these three genes, this patient`s cells presented lower rates of transcription, not reaching the same level of response of healthy subjects even after 48 h of ER stress. Treatment with DMSO rescued IgM and IgG secretion as well as the expression of spliced XBP-1. Our findings associate diminished splicing of XBP-1 mRNA with accumulation of IgM within the ER and lower rates of chaperone transcription, therefore providing a mechanism to explain the observed hypogammaglobulinemia. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Common Variable Immunodeficiency (CVID) is a primary immunodeficiency disease characterized by defective immunoglobulin production and often associated with autoimmunity. We used flow cytometry to analyze CD4(+)CD25(HIGH)FOXP3(+) T regulatory (Treg) cells and ask whether perturbations in their frequency in peripheral blood could underlie the high incidence of autoimmune disorders in CVID patients. In this study, we report for the first time that CVID patients with autoimmune disease have a significantly reduced frequency of CD4(+)CD25(HIGH)FOXP3(+) cells in their peripheral blood accompanied by a decreased intensity of FOXP3 expression. Notably, although CVID patients in whom autoimmunity was not diagnosed had a reduced frequency of CD4(+)CD25(HIGH)FOXP3(+) cells, FOXP3 expression levels did not differ from those in healthy controls. In conclusion, these data suggest compromised homeostasis of CD4(+)CD25(HIGH)FOXP3(+) cells in a subset of CVID patients with autoimmunity, and may implicate Treg cells in pathological mechanisms of CVID. (C) 2009 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The problem of projecting multidimensional data into lower dimensions has been pursued by many researchers due to its potential application to data analyses of various kinds. This paper presents a novel multidimensional projection technique based on least square approximations. The approximations compute the coordinates of a set of projected points based on the coordinates of a reduced number of control points with defined geometry. We name the technique Least Square Projections ( LSP). From an initial projection of the control points, LSP defines the positioning of their neighboring points through a numerical solution that aims at preserving a similarity relationship between the points given by a metric in mD. In order to perform the projection, a small number of distance calculations are necessary, and no repositioning of the points is required to obtain a final solution with satisfactory precision. The results show the capability of the technique to form groups of points by degree of similarity in 2D. We illustrate that capability through its application to mapping collections of textual documents from varied sources, a strategic yet difficult application. LSP is faster and more accurate than other existing high-quality methods, particularly where it was mostly tested, that is, for mapping text sets.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we consider an initial value problem for a class of generalized ODEs, also known as Kurzweil equations, and we prove the existence of a local semidynamical system there. Under certain perturbation conditions, we also show that this class of generalized ODEs admits a discontinuous semiflow which we shall refer to as an impulsive semidynamical system. As a consequence, we obtain LaSalle`s invariance principle for such a class of generalized ODEs. Due to the importance of LaSalle`s invariance principle in studying stability of differential systems, we include an application to autonomous ordinary differential systems with impulse action at variable times. (C) 2011 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

One pair of reactants, Cu(hfac)(2) = M and the hinge-flexible radical ligand 5-(3-N-tert-butyl-N-aminoxylphenyl)pyrimidine (3PPN = L), yields a diverse set of five coordination complexes: a cyclic loop M(2)L(1) dimer; a 1:1 cocrystal between an M(2)L(2) loop and an ML(2) fragment; a ID chain of M(2)L(2) loops linked by M; two 2D M(3)L(2) networks of (M-L)(n) chains crosslinked by M with different repeat length pitches; a 3D M(3)L(2) network of M(2)L(2) loops cross-linking (M-L)(n)-type chains with connectivity different from those in the 2D networks. Most of the higher dimensional complexes exhibit reversible, temperature-dependent spin-state conversion of high-temperature paramagnetic states to lower magnetic moment states having antiferromagnetic exchange within Cu-ON bonds upon cooling, with accompanying bond contraction. The 3D complex also exhibited antiferromagnetic exchange between Cu(II) ions linked in chains through pyrimidine rings.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We perform an analysis of the electroweak precision observables in the Lee-Wick Standard Model. The most stringent restrictions come from the S and T parameters that receive important tree level and one loop contributions. In general the model predicts a large positive S and a negative T. To reproduce the electroweak data, if all the Lee-Wick masses are of the same order, the Lee-Wick scale is of order 5 TeV. We show that it is possible to find some regions in the parameter space with a fermionic state as light as 2.4-3.5 TeV, at the price of rising all the other masses to be larger than 5-8 TeV. To obtain a light Higgs with such heavy resonances a fine-tuning of order a few per cent, at least, is needed. We also propose a simple extension of the model including a fourth generation of Standard Model fermions with their Lee-Wick partners. We show that in this case it is possible to pass the electroweak constraints with Lee-Wick fermionic masses of order 0.4-1.5 TeV and Lee-Wick gauge masses of order 3 TeV.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Citrus canker is a serious disease caused by Xanthomonas citri subsp. citri bacteria, which infects citrus plants (Citrus spp.) leading to a large economic loss in citrus production worldwide. In Brazil citrus canker control is done by an official eradication campaign, therefore early detection of such disease is important to prevent greater economic losses. However, detection is difficult and so far it has been done by visual inspection of each tree. Suspicious leaves from citrus plants in the field are sent to the laboratory to confirm the infection by laboratory analysis, which is a time consuming. Our goal was to develop a new optical technique to detect and diagnose citrus canker in citrus plants with a portable field spectrometer unit. In this paper, we review two experiments on laser induced fluorescence spectroscopy (LIF) applied to detect citrus canker. We also present new data to show that the length of time a leaf has been detached is an important variable in our studies. Our results show that LIF has the potential to be applied to citrus plants.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A novel global optimization method based on an Augmented Lagrangian framework is introduced for continuous constrained nonlinear optimization problems. At each outer iteration k the method requires the epsilon(k)-global minimization of the Augmented Lagrangian with simple constraints, where epsilon(k) -> epsilon. Global convergence to an epsilon-global minimizer of the original problem is proved. The subproblems are solved using the alpha BB method. Numerical experiments are presented.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a variable time step, fully adaptive in space, hybrid method for the accurate simulation of incompressible two-phase flows in the presence of surface tension in two dimensions. The method is based on the hybrid level set/front-tracking approach proposed in [H. D. Ceniceros and A. M. Roma, J. Comput. Phys., 205, 391400, 2005]. Geometric, interfacial quantities are computed from front-tracking via the immersed-boundary setting while the signed distance (level set) function, which is evaluated fast and to machine precision, is used as a fluid indicator. The surface tension force is obtained by employing the mixed Eulerian/Lagrangian representation introduced in [S. Shin, S. I. Abdel-Khalik, V. Daru and D. Juric, J. Comput. Phys., 203, 493-516, 2005] whose success for greatly reducing parasitic currents has been demonstrated. The use of our accurate fluid indicator together with effective Lagrangian marker control enhance this parasitic current reduction by several orders of magnitude. To resolve accurately and efficiently sharp gradients and salient flow features we employ dynamic, adaptive mesh refinements. This spatial adaption is used in concert with a dynamic control of the distribution of the Lagrangian nodes along the fluid interface and a variable time step, linearly implicit time integration scheme. We present numerical examples designed to test the capabilities and performance of the proposed approach as well as three applications: the long-time evolution of a fluid interface undergoing Rayleigh-Taylor instability, an example of bubble ascending dynamics, and a drop impacting on a free interface whose dynamics we compare with both existing numerical and experimental data.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.