892 resultados para B formal method
Resumo:
The need for paying with mobile devices has urged the development of payment systems for mobile electronic commerce. In this paper we have considered two important abuses in electronic payments systems for detection. The fraud, which is an intentional deception accomplished to secure an unfair gain, and an intrusion which are any set of actions that attempt to compromise the integrity, confidentiality or availability of a resource. Most of the available fraud and intrusion detection systems for e-payments are specific to the systems where they have been incorporated. This paper proposes a generic model called as Activity-Event-Symptoms(AES) model for detecting fraud and intrusion attacks which appears during payment process in the mobile commerce environment. The AES model is designed to identify the symptoms of fraud and intrusions by observing various events/transactions occurs during mobile commerce activity. The symptoms identification is followed by computing the suspicion factors for event attributes, and the certainty factor for a fraud and intrusion is generated using these suspicion factors. We have tested the proposed system by conducting various case studies, on the in-house established mobile commerce environment over wired and wire-less networks test bed.
Resumo:
Non-standard finite difference methods (NSFDM) introduced by Mickens [Non-standard Finite Difference Models of Differential Equations, World Scientific, Singapore, 1994] are interesting alternatives to the traditional finite difference and finite volume methods. When applied to linear hyperbolic conservation laws, these methods reproduce exact solutions. In this paper, the NSFDM is first extended to hyperbolic systems of conservation laws, by a novel utilization of the decoupled equations using characteristic variables. In the second part of this paper, the NSFDM is studied for its efficacy in application to nonlinear scalar hyperbolic conservation laws. The original NSFDMs introduced by Mickens (1994) were not in conservation form, which is an important feature in capturing discontinuities at the right locations. Mickens [Construction and analysis of a non-standard finite difference scheme for the Burgers–Fisher equations, Journal of Sound and Vibration 257 (4) (2002) 791–797] recently introduced a NSFDM in conservative form. This method captures the shock waves exactly, without any numerical dissipation. In this paper, this algorithm is tested for the case of expansion waves with sonic points and is found to generate unphysical expansion shocks. As a remedy to this defect, we use the strategy of composite schemes [R. Liska, B. Wendroff, Composite schemes for conservation laws, SIAM Journal of Numerical Analysis 35 (6) (1998) 2250–2271] in which the accurate NSFDM is used as the basic scheme and localized relaxation NSFDM is used as the supporting scheme which acts like a filter. Relaxation schemes introduced by Jin and Xin [The relaxation schemes for systems of conservation laws in arbitrary space dimensions, Communications in Pure and Applied Mathematics 48 (1995) 235–276] are based on relaxation systems which replace the nonlinear hyperbolic conservation laws by a semi-linear system with a stiff relaxation term. The relaxation parameter (λ) is chosen locally on the three point stencil of grid which makes the proposed method more efficient. This composite scheme overcomes the problem of unphysical expansion shocks and captures the shock waves with an accuracy better than the upwind relaxation scheme, as demonstrated by the test cases, together with comparisons with popular numerical methods like Roe scheme and ENO schemes.
Resumo:
We describe the synthesis and structure of Barium sulfate nanoparticles by precipitation method in the presence of water soluble inorganic stabilizing agent, sodium hexametaphosphate, (NaPO3)(6). The structural parameters were refined by the Rietveld refinement method using powder X-ray diffraction data. Barium sulfate nanoparticles were crystallized in the orthorhombic structure with space group Pbnm (No. 62) having the lattice parameters a = 7.215(1) (angstrom), b = 8.949(1) (angstrom) and c = 5.501 (1) (angstrom) respectively. Transmission electron microscopy study reveals that the nanoparticles are size range, 30-50 nm. Fourier transform infrared spectra showed distinct absorption due to the SO42- moiety at 1115 and 1084 cm(-1) indicating formation of barium sulfate nanoparticles free from the phosphate group from the stabilizer used in the synthesis. (C) 2009 Elsevier Ltd. All rights reserved.
The partition of unity finite element method for elastic wave propagation in Reissner-Mindlin plates
Resumo:
This paper reports a numerical method for modelling the elastic wave propagation in plates. The method is based on the partition of unity approach, in which the approximate spectral properties of the infinite dimensional system are embedded within the space of a conventional finite element method through a consistent technique of waveform enrichment. The technique is general, such that it can be applied to the Lagrangian family of finite elements with specific waveform enrichment schemes, depending on the dominant modes of wave propagation in the physical system. A four-noded element for the Reissner-indlin plate is derived in this paper, which is free of shear locking. Such a locking-free property is achieved by removing the transverse displacement degrees of freedom from the element nodal variables and by recovering the same through a line integral and a weak constraint in the frequency domain. As a result, the frequency-dependent stiffness matrix and the mass matrix are obtained, which capture the higher frequency response with even coarse meshes, accurately. The steps involved in the numerical implementation of such element are discussed in details. Numerical studies on the performance of the proposed element are reported by considering a number of cases, which show very good accuracy and low computational cost. Copyright (C)006 John Wiley & Sons, Ltd.
Resumo:
Dansylcadaverine, a cationic fluorescent probe binds to bacterial lipopolysaccharide and lipid A, and is displaced competitively by other compounds which possess affinity toward endotoxins. The binding parameters of dansylcadaverine for lipid A were determined by Scatchard analysis to be two apparently equivalent sites with apparent dissociation constants (Kd) ranging between 16 μM to 26 μM, while that obtained for core glycolipid from Salmonella minnesota Re595 yielded a Kd of 22 μM to 28 μM with three binding sites. The Kd of polymyxin B for lipid A was computed from dansylcadaverine displacement by the method of Horovitz and Levitzki (Horovitz, A., and Levitzki, A. (1987) Proc. Natl. Acad. Sci. USA 84, 6654–6658). The applicability of this method for analyzing fluorescence data was validated by comparing the Kds of melittin for lipid A obtained by direct Scatchard analysis, and by the Horovitz-Levitzki method. The displacement of dansylcadaverine from lipid A by polymyxin B was distinctly biphasic with Kds for polymyxin B-lipid A interactions corresponding to 0.4 μM and 1.5 μM, probably resulting as a consequence of lipid A being a mixture of mono- and di-phosphoryl species. This was not observed with core glycolipid, for which the Kd for polymyxin was estimated to range from 1.1 μM to 5.8 μM. The use of dansylcadaverine as a displacement probe offers a novel and convenient method of quantitating the interactions of a wide variety of substances with lipid A.
Resumo:
We present a search for associated production of the standard model (SM) Higgs boson and a $Z$ boson where the $Z$ boson decays to two leptons and the Higgs decays to a pair of $b$ quarks in $p\bar{p}$ collisions at the Fermilab Tevatron. We use event probabilities based on SM matrix elements to construct a likelihood function of the Higgs content of the data sample. In a CDF data sample corresponding to an integrated luminosity of 2.7 fb$^{-1}$ we see no evidence of a Higgs boson with a mass between 100 GeV$/c^2$ and 150 GeV$/c^2$. We set 95% confidence level (C.L.) upper limits on the cross-section for $ZH$ production as a function of the Higgs boson mass $m_H$; the limit is 8.2 times the SM prediction at $m_H = 115$ GeV$/c^2$.
Resumo:
A precision measurement of the top quark mass m_t is obtained using a sample of ttbar events from ppbar collisions at the Fermilab Tevatron with the CDF II detector. Selected events require an electron or muon, large missing transverse energy, and exactly four high-energy jets, at least one of which is tagged as coming from a b quark. A likelihood is calculated using a matrix element method with quasi-Monte Carlo integration taking into account finite detector resolution and jet mass effects. The event likelihood is a function of m_t and a parameter DJES to calibrate the jet energy scale /in situ/. Using a total of 1087 events, a value of m_t = 173.0 +/- 1.2 GeV/c^2 is measured.
Resumo:
We report a measurement of the top quark mass, m_t, obtained from ppbar collisions at sqrt(s) = 1.96 TeV at the Fermilab Tevatron using the CDF II detector. We analyze a sample corresponding to an integrated luminosity of 1.9 fb^-1. We select events with an electron or muon, large missing transverse energy, and exactly four high-energy jets in the central region of the detector, at least one of which is tagged as coming from a b quark. We calculate a signal likelihood using a matrix element integration method, with effective propagators to take into account assumptions on event kinematics. Our event likelihood is a function of m_t and a parameter JES that determines /in situ/ the calibration of the jet energies. We use a neural network discriminant to distinguish signal from background events. We also apply a cut on the peak value of each event likelihood curve to reduce the contribution of background and badly reconstructed events. Using the 318 events that pass all selection criteria, we find m_t = 172.7 +/- 1.8 (stat. + JES) +/- 1.2 (syst.) GeV/c^2.
Resumo:
In recent years a large number of investigators have devoted their efforts to the study of flow and heat transfer in rarefied gases, using the BGK [1] model or the Boltzmann kinetic equation. The velocity moment method which is based on an expansion of the distribution function as a series of orthogonal polynomials in velocity space, has been applied to the linearized problem of shear flow and heat transfer by Mott-Smith [2] and Wang Chang and Uhlenbeck [3]. Gross, Jackson and Ziering [4] have improved greatly upon this technique by expressing the distribution function in terms of half-range functions and it is this feature which leads to the rapid convergence of the method. The full-range moments method [4] has been modified by Bhatnagar [5] and then applied to plane Couette flow using the B-G-K model. Bhatnagar and Srivastava [6] have also studied the heat transfer in plane Couette flow using the linearized B-G-K equation. On the other hand, the half-range moments method has been applied by Gross and Ziering [7] to heat transfer between parallel plates using Boltzmann equation for hard sphere molecules and by Ziering [83 to shear and heat flow using Maxwell molecular model. Along different lines, a moment method has been applied by Lees and Liu [9] to heat transfer in Couette flow using Maxwell's transfer equation rather than the Boltzmann equation for distribution function. An iteration method has been developed by Willis [10] to apply it to non-linear heat transfer problems using the B-G-K model, with the zeroth iteration being taken as the solution of the collisionless kinetic equation. Krook [11] has also used the moment method to formulate the equivalent continuum equations and has pointed out that if the effects of molecular collisions are described by the B-G-K model, exact numerical solutions of many rarefied gas-dynamic problems can be obtained. Recently, these numerical solutions have been obtained by Anderson [12] for the non-linear heat transfer in Couette flow,
Resumo:
Using solid oxide galvanic cells of the type: MnO + Gd2O3 + GdMnO3/O-2/Ni + NiO and Mn3O4 + GdMnO3 + GdMn2O5/O-2/air the equilibrium oxygen pressure for the following reactions :MnO + 1/2Gd(2)O(3) + 1/4O(2) = GdMnO3 1/3Mn(3)O(4) + GdMnO3 + 1/3O(2) = GdMn2O5 was determined in the temperature range from 1073 to 1450 K. From the determined equilibrium oxygen partial pressure the corresponding G i b b s free energy change for these reactions was derived: Delta G(f,GdMnO3)(0) (+/- 425J) 132721(+/ - 2240) +51.91(+/ - 0.81)T Delta G(f,GdMn2O5)(0)(+/- 670J) 121858(+/ - 6176) + 79.52(+/ - 4.83)T From these data, standard G i b b s energies, enthalpies and entropies of formation of GdMnO3 and GdMn2O5 from component oxides and from the elements are derived. Thermodynamic data tables for the two ternary phases are compiled from 298.15 to 1400 K.
Resumo:
A short but uneventful formal synthesis of perhydrogephyrotoxin 3 from readily available tricyclo[5.2.1.0(2,6)]decane derivative 8 via the intermediacy of the cis-hydroindanone 13 is reported. This work constitutes further demonstration of the carbocycle-heterocycle equivalency theme in the synthesis of alkaloids.
Resumo:
We report a method for the deposition of thin films and thick coatings of metal oxides through the liquid medium, involving the micro waveirradiation of a solution of a metal-organic complex in a suitable dielectric solvent. The process is a combination of sol-gel and dip-coating methods, wherein coatings can be obtained on nonconducting and semiconducting substrates, within a few minutes. Thin films of nanostructured ZnO (wurtzite) have been obtained on Si(100), glass and polymer substrates, the nanostructure determined by process parameters The coatings are strongly adherent and uniform over 15 mm x 15 mm, the growth rate similar to 0.25 mu m/min Coatings of nanocrystalline Fe2O3 and Ga2O3 have also been obtained The method is scalable to larger substrates, and is promising as a low temperature technique for coating dielectric substrates, including flexible polymers. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Gd2O3:Eu3+ (0.5-8.0 mol%) nanophosphors have been prepared by low temperature solution combustion method using metal nitrates as oxidizers and oxalyl dihydrazide (ODH) as a fuel. The phosphors are well characterized by powder X-ray diffraction (PXRD), scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FT-IR) and photoluminescence (PL) techniques. PXRD patterns of as-formed and calcined (800 degrees C, 3 h) Gd2O3 powders exhibit monoclinic phase with mean crystallite sizes ranging from 20 to 50 nm. Eu3+ doping changes the structure from monoclinic to mixed phase of monoclinic and cubic. SEM micrographs shows the products are foamy, agglomerated and fluffy in nature due to the large amount of gases liberated during combustion reaction. Upon 254 nm excitation the photoluminescence of the Gd2O3:Eu3+ particles show red emission at 611 nm corresponding to D-5(0)-> F-7(2) transition. It is observed that PL intensity increases with calcination temperature. This might be attributed to better crystallization and eliminates the defects, which serve as centers of non-radiative relaxation for nanomaterials. It is observed that the optical energy gap (E-g) is widened with increase Eu3+ content. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
A method has been suggested to accurately determine the DBTT of diffusion aluminide bond coats. Micro-tensile testing of free-standing coating samples has been carried out. The DBTT was determined based on the variation of plastic strain-to-fracture with temperature. The positive features of this method over the previously reported techniques are highlighted. (C) 2010 Elsevier B.V. All rights reserved.