25 resultados para Lobatto formulae
em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast
Resumo:
The removal of false coincidences from measurements of coincidences between two photoelectrons and one or two ions formed in molecular double photoionization is described. False coincidences arise by several mechanisms; experimental procedures and mathematical formulae required to remove all the different false coincidence contributions are described. Sample spectra taken of the double photoionization of carbon dioxide are presented to illustrate the method of false coincidence subtraction.
Resumo:
We propose a recursive method of pricing an information good in a network of holders and demanders of this good. The prices are determined via a unique equilibrium outcome in a sequence of bilateral bargaining games that are played by connected agents. If the information is an homogenous, non-depreciating good without network effects we derive explicit formulae which elucidate the role of the link pattern among the players. Particularly, we find out that the equilibrium price is intimately related to the existence of cycles in the network: It is zero if a cycle covers the trading pair and it is proportional to the direct and indirect utility that the good generates otherwise.
Resumo:
A semi-phenomenological molecular model is presented, which is capable of describing with the use of analytical formulae, the wideband dielectric(1) and far-infrared spectra of ordinary and heavy water. In the model the vector of a dipole moment is presented as a sum of two components. The absolute value of the first one is constant; the second one changes harmonically with time. The key aspect of this work is consideration of FIR spectra due to the second component. In the context of the modified hybrid model presented in the work, reorientation of the dipoles in the rectangular potential well is considered, as a result of which the librational (near 700 cm (-1)) and translational (near 200 cm (-1)) absorption bands and the microwave Debye relaxation spectrum arise. It is shown that the time-dependent part of a dipole moment contributes most to the translational band, the relevant mechanism is taken to be stretching vibration of the H-bonded molecules. Previous linear-response molecular models were unsuccessful in describing this band (in heavy water) in terms of the complex dielectric permittivity. The spatial and time scales characteristic of water are estimated. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
The electron impact ionization cross sections of hydrogen-like molybdenum ions were measured with an electron beam ion trap at the electron energies of 49.4, 64.4 and 79.6 keV The results are 2.82(22) x 10(-23), 3.13(29) x 10(-23) and 3.23(51) x 10(-23) cm(2), respectively. These results are compared with the experimental results measured previously. The agreement with the results obtained with, scaling formulae is also discussed.
Resumo:
Recently, several belief negotiation models have been introduced to deal with the problem of belief merging. A negotiation model usually consists of two functions: a negotiation function and a weakening function. A negotiation function is defined to choose the weakest sources and these sources will weaken their point of view using a weakening function. However, the currently available belief negotiation models are based on classical logic, which makes them difficult to define weakening functions. In this paper, we define a prioritized belief negotiation model in the framework of possibilistic logic. The priority between formulae provides us with important information to decide which beliefs should be discarded. The problem of merging uncertain information from different sources is then solved by two steps. First, beliefs in the original knowledge bases will be weakened to resolve inconsistencies among them. This step is based on a prioritized belief negotiation model. Second, the knowledge bases obtained by the first step are combined using a conjunctive operator which may have a reinforcement effect in possibilistic logic.
Resumo:
In the IEEE 802.11 MAC layer protocol, there are different trade-off points between the number of nodes competing for the medium and the network capacity provided to them. There is also a trade-off between the wireless channel condition during the transmission period and the energy consumption of the nodes. Current approaches at modeling energy consumption in 802.11 based networks do not consider the influence of the channel condition on all types of frames (control and data) in the WLAN. Nor do they consider the effect on the different MAC and PHY schemes that can occur in 802.11 networks. In this paper, we investigate energy consumption corresponding to the number of competing nodes in IEEE 802.11's MAC and PHY layers in error-prone wireless channel conditions, and present a new energy consumption model. Analysis of the power consumed by each type of MAC and PHY over different bit error rates shows that the parameters in these layers play a critical role in determining the overall energy consumption of the ad-hoc network. The goal of this research is not only to compare the energy consumption using exact formulae in saturated IEEE 802.11-based DCF networks under varying numbers of competing nodes, but also, as the results show, to demonstrate that channel errors have a significant impact on the energy consumption.
Resumo:
In many domains when we have several competing classifiers available we want to synthesize them or some of them to get a more accurate classifier by a combination function. In this paper we propose a ‘class-indifferent’ method for combining classifier decisions represented by evidential structures called triplet and quartet, using Dempster's rule of combination. This method is unique in that it distinguishes important elements from the trivial ones in representing classifier decisions, makes use of more information than others in calculating the support for class labels and provides a practical way to apply the theoretically appealing Dempster–Shafer theory of evidence to the problem of ensemble learning. We present a formalism for modelling classifier decisions as triplet mass functions and we establish a range of formulae for combining these mass functions in order to arrive at a consensus decision. In addition we carry out a comparative study with the alternatives of simplet and dichotomous structure and also compare two combination methods, Dempster's rule and majority voting, over the UCI benchmark data, to demonstrate the advantage our approach offers. (A continuation of the work in this area that was published in IEEE Trans on KDE, and conferences)
Resumo:
Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms, and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidence of formulae which are not axioms, and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given, and it is then necessary to find an assignment of incidence which will reproduce these probabilities. We show that this task of assigning incidences can be viewed as a tree searching problem, and two techniques for performing this research are discussed. One of these is a new proposal involving a depth first search, while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficiency and the significance of their results are discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus.
Resumo:
A new chemical model of the circumstellar envelope surrounding the carbon-rich star IRC+10216 is developed that includes carbon-containing molecules with up to 23 carbon atoms. The model consists of 3851 reactions involving 407 gas-phase species. Sizeable abundances of a variety of large molecules - including carbon clusters, unsaturated hydrocarbons and cyanopolyynes - have been calculated. Negative molecular ions of chemical formulae C-n(-) and CnH- (7 less than or equal to n less than or equal to 23) exist in considerable abundance, with peak concentrations at distances from the central star somewhat greater than their neutral counterparts. The negative ions might be detected in radio emission, or even in the optical absorption of background field stars. The calculated radial distributions of the carbon-chain CnH radicals are looked at carefully and compared with interferometric observations.
Resumo:
The satisfiability problem is known to be NP-Complete; therefore, there should be relatively small problem instances that take a very long time to solve. However, most of the smaller benchmarks that were once thought challenging, especially the satisfiable ones, can be processed quickly by modern SAT-solvers. We describe and make available a generator that produces both unsatisfiable and, more significantly, satisfiable formulae that take longer to solve than any others known. At the two most recent international SAT Competitions, the smallest unsolved benchmarks were created by this generator. We analyze the results of all solvers in the most recent competition when applied to these benchmarks and also present our own more focused experiments.
Resumo:
This work analyzes the relationship between large food webs describing potential feeding relations between species and smaller sub-webs thereof describing relations actually realized in local communities of various sizes. Special attention is given to the relationships between patterns of phylogenetic correlations encountered in large webs and sub-webs. Based on the current theory of food-web topology as implemented in the matching model, it is shown that food webs are scale invariant in the following sense: given a large web described by the model, a smaller, randomly sampled sub-web thereof is described by the model as well. A stochastic analysis of model steady states reveals that such a change in scale goes along with a re-normalization of model parameters. Explicit formulae for the renormalized parameters are derived. Thus, the topology of food webs at all scales follows the same patterns, and these can be revealed by data and models referring to the local scale alone. As a by-product of the theory, a fast algorithm is derived which yields sample food webs from the exact steady state of the matching model for a high-dimensional trophic niche space in finite time. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
We discuss the properties of the lifetime or the time-delay matrix Q(E) for multichannel scattering, which is related to the scattering matrix S(E) by Q = i?S(dS†/dE). For two overlapping resonances occurring at energies E with widths G(? = 1, 2), with an energy-independent background, only two eigenvalues of Q(E) are proved to be different from zero and to show typical avoided-crossing behaviour. These eigenvalues are expressible in terms of the four resonance parameters (E , G) and a parameter representing the strength of the interaction of the resonances. An example of the strong and weak interaction in an overlapping double resonance is presented for the positronium negative ion. When more than two resonances overlap (? = 1, ..., N), no simple representation of each eigenvalue has been found. However, the formula for the trace of the Q-matrix leads to the expression d(E) = -?arctan[(G/2)/(E - E)] + d(E) for the eigenphase sum d(E) and the background eigenphase sum d(E), in agreement with the known form of the state density. The formulae presented in this paper are useful in a parameter fitting of overlapping resonances. © 2006 IOP Publishing Ltd.
Resumo:
The problem of the 'hole-boring' (HB)-type of radiation pressure acceleration of ions by circularly polarized laser pulses interacting with overdense plasmas is considered in the regime where the dimensionless scaling parameter I/rho c(3) becomes large. In this regime a non-relativistic treatment of the 'HB' problem is no longer adequate. A new set of fully relativistic formulae for the mean ion energy and 'HB' velocity is derived and validated against one-dimensional particle-in-cell simulations. It is also found that the finite acceleration time of the ions results in large energy spreads in the accelerated ion beam even under the highly idealized conditions of constant laser intensity and uniform mass density.
Resumo:
In this preliminary case study, we investigate how inconsistency in a network intrusion detection rule set can be measured. To achieve this, we first examine the structure of these rules which incorporate regular expression (Regex) pattern matching. We then identify primitive elements in these rules in order to translate the rules into their (equivalent) logical forms and to establish connections between them. Additional rules from background knowledge are also introduced to make the correlations among rules more explicit. Finally, we measure the degree of inconsistency in formulae of such a rule set (using the Scoring function, Shapley inconsistency values and Blame measure for prioritized knowledge) and compare the informativeness of these measures. We conclude that such measures are useful for the network intrusion domain assuming that incorporating domain knowledge for correlation of rules is feasible.