932 resultados para Classical logic


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In a U(1)(*)-noncommutative gauge field theory we extend the Seiberg-Witten map to include the (gauge-invariance-violating) external current and formulate-to the first order in the noncommutative parameter-gauge-covariant classical field equations. We find solutions to these equations in the vacuum and in an external magnetic field, when the 4-current is a static electric charge of a finite size a, restricted from below by the elementary length. We impose extra boundary conditions, which we use to rule out all singularities, 1/r included, from the solutions. The static charge proves to be a magnetic dipole, with its magnetic moment being inversely proportional to its size a. The external magnetic field modifies the long-range Coulomb field and some electromagnetic form factors. We also analyze the ambiguity in the Seiberg-Witten map and show that at least to the order studied here it is equivalent to the ambiguity of adding a homogeneous solution to the current-conservation equation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider a model of classical noncommutative particle in an external electromagnetic field. For this model, we prove the existence of generalized gauge transformations. Classical dynamics in Hamiltonian and Lagrangian form is discussed; in particular, the motion in the constant magnetic field is studied in detail. (C) 2010 American Institute of Physics. [doi: 10.1063/1.3299296]

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study the structural phase transitions in confined systems of strongly interacting particles. We consider infinite quasi-one-dimensional systems with different pairwise repulsive interactions in the presence of an external confinement following a power law. Within the framework of Landau's theory, we find the necessary conditions to observe continuous transitions and demonstrate that the only allowed continuous transition is between the single-and the double-chain configurations and that it only takes place when the confinement is parabolic. We determine analytically the behavior of the system at the transition point and calculate the critical exponents. Furthermore, we perform Monte Carlo simulations and find a perfect agreement between theory and numerics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, employing the Ito stochastic Schrodinger equation, we extend Bell's beable interpretation of quantum mechanics to encompass dissipation, decoherence, and the quantum-to-classical transition through quantum trajectories. For a particular choice of the source of stochasticity, the one leading to a dissipative Lindblad-type correction to the Hamiltonian dynamics, we find that the diffusive terms in Nelsons stochastic trajectories are naturally incorporated into Bohm's causal dynamics, yielding a unified Bohm-Nelson theory. In particular, by analyzing the interference between quantum trajectories, we clearly identify the decoherence time, as estimated from the quantum formalism. We also observe the quantum-to-classical transition in the convergence of the infinite ensemble of quantum trajectories to their classical counterparts. Finally, we show that our extended beables circumvent the problems in Bohm's causal dynamics regarding stationary states in quantum mechanics.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We obtain the exact nonequilibrium work generating function (NEWGF) for a small system consisting of a massive Brownian particle connected to internal and external springs. The external work is provided to the system for a finite-time interval. The Jarzynski equality, obtained in this case directly from the NEWGF, is shown to be valid for the present model, in an exact way regardless of the rate of external work.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Despite modern weed control practices, weeds continue to be a threat to agricultural production. Considering the variability of weeds, a classification methodology for the risk of infestation in agricultural zones using fuzzy logic is proposed. The inputs for the classification are attributes extracted from estimated maps for weed seed production and weed coverage using kriging and map analysis and from the percentage of surface infested by grass weeds, in order to account for the presence of weed species with a high rate of development and proliferation. The output for the classification predicts the risk of infestation of regions of the field for the next crop. The risk classification methodology described in this paper integrates analysis techniques which may help to reduce costs and improve weed control practices. Results for the risk classification of the infestation in a maize crop field are presented. To illustrate the effectiveness of the proposed system, the risk of infestation over the entire field is checked against the yield loss map estimated by kriging and also with the average yield loss estimated from a hyperbolic model.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A large number of initiatives in cities in Brazil - including slum clearance and upgrading - have been undertaken over the years in an effort to ameliorate the problems arising from informal occupation; unfortunately, however, little is known about the related performance outcomes. Careful appraisal of the results of such initiatives is thus called for, covering evaluations of dwellers` perceptions of the upgraded environments. Among the available evaluation methods, post-occupancy evaluation (POE) is commonly employed, although it fails adequately to reflect prevailing subjective concepts of quality. The present paper contains the partial findings of a research exercise aimed at developing an original method, using fuzzy logic, for urban environmental quality evaluation in informally occupied areas on the basis of combining quantitative indicators and dweller perception. It combines POE with fuzzy logic in order to develop tools that can better model the uncertain information that emerges from that kind of study. This paper aims to introduce an uncertainty measure used in order to identify the strengths and weaknesses of slum upgrading projects. The results show that it is possible to quantify certainty degrees in the findings and to define if additional information is needed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An efficient expert system for the power transformer condition assessment is presented in this paper. Through the application of Duval`s triangle and the method of the gas ratios a first assessment of the transformer condition is obtained in the form of a dissolved gas analysis (DGA) diagnosis according IEC 60599. As a second step, a knowledge mining procedure is performed, by conducting surveys whose results are fed into a first Type-2 Fuzzy Logic System (T2-FLS), in order to initially evaluate the condition of the equipment taking only the results of dissolved gas analysis into account. The output of this first T2-FLS is used as the input of a second T2-FLS, which additionally weighs up the condition of the paper-oil system. The output of this last T2-FLS is given in terms of words easily understandable by the maintenance personnel. The proposed assessing methodology has been validated for several cases of transformers in service. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments. (C) 2007 Elsevier B.V. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks. (c) 2007 Elsevier Inc. All rights reserved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Fungal entomopathogens have been used more frequently than other types of pathogens for classical biological control. Among 136 programs using different groups of arthropod pathogens, 49.3% have introduced fungal pathogens (including both the traditional fungi and microsporidia). The most commonly introduced species was Metarhizium anisopliae (Metschnikoff) Sorokin, with 13 introductions, followed by Entomophaga maimaiga Humber, Shimazu & Soper, which was released seven times. The majority of introduction programs have focused on controlling invasive species of insects or mites (70.7%) rather than on native hosts (29.4%). Almost half of the introductions of traditional fungi targeted species of Hemiptera and 75% of the microsporidia introduced have been introduced against lepidopteran species. The United States was the country where most introductions of fungi took place (n = 24). From 1993 to 2007, no arthropod pathogens were released in the US due to the rigorous regulatory structure, but in 2008 two species of microsporidia were introduced against the gypsy moth, Lymantria dispar (L.). Establishment of entomopathogenic fungi in programs introducing traditional fungi was 32.1% and establishment was 50.0% for programs introducing microsporidia. In some programs, releases have resulted in permanent successful establishment with no non-target effects. In summary, classical biological control using fungal entomopathogens can provide a successful and environmentally friendly avenue for controlling arthropod pests, including the increasing numbers of invasive non-native species.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Bulk milk was collected from 100 farms throughout the year and analysed after storage for either 24, 48 or 72 h, using flow cytometry. The total bacterial counts obtained by two methods - flow cytometry and standard plate count were compared and the conversion relationship between them was assessed: the results showed no effect of the age of the samples relationship between these two methods.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The frequency of opportunistic fungal infection has increased drastically, mainly in patients who are immunocompromised due to organ transplant, leukemia or HIV infection. In spite of this, only a few classes of drugs with a limited array of targets, are available for antifungal therapy. Therefore, more specific and less toxic drugs with new molecular targets is desirable for the treatment of fungal infections. In this context, searching for differences between mitochondrial mammalian hosts and fungi in the classical and alternative components of the mitochondrial respiratory chain may provide new potential therapeutic targets for this purpose.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.