Modal Logics of Topological Relations

Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal logic of time intervals based on the Allen relations, we introduce a family of modal logics equipped with eight modal operators that are interpreted by the Egenhofer-Franzosa (or RCC8) relations between regions in topological spaces such as the real plane. We investigate the expressive power and computational complexity of logics obtained in this way. It turns out that our modal logics have the same expressive power as the two-variable fragment of first-order logic, but are exponentially less succinct. The complexity ranges from (undecidable and) recursively enumerable to highly undecidable, where the recursively enumerable logics are obtained by considering substructures of structures induced by topological spaces. As our undecidability results also capture logics based on the real line, they improve upon undecidability results for interval temporal logics by Halpern and Shoham. We also analyze modal logics based on the five RCC5 relations, with similar results regarding the expressive power, but weaker results regarding the complexity

Measurement of the fraction of t-tbar production via gluon-gluon fusion in p-pbar collisions at sqrt(s)=1.96 TeV

We present a measurement of the ratio of t-tbar production cross section via gluon-gluon fusion to the total t-tbar production cross section in p-pbar collisions at sqrt{s}=1.96 TeV at the Tevatron. Using a data sample with an integrated luminosity of 955/pb recorded by the CDF II detector at Fermilab, we select events based on the t-tbar decay to lepton+jets. Using an artificial neural network technique we discriminate between t-tbar events produced via q-qbar annihilation and gluon-gluon fusion, and find Cf=(gg->ttbar)/(pp->ttbar)<0.33 at the 68% confidence level. This result is combined with a previous measurement to obtain the most precise measurement of this quantity, Cf=0.07+0.15-0.07.Comment: submitted to Phys. Rev.

Measurement of Resonance Parameters of Orbitally Excited Narrow B^0 Mesons

We report a measurement of resonance parameters of the orbitally excited (L=1) narrow B^0 mesons in decays to B^{(*)+}\pi^- using 1.7/fb of data collected by the CDF II detector at the Fermilab Tevatron. The mass and width of the B^{*0}_2 state are measured to be m(B^{*0}_2) = 5740.2^{+1.7}_{-1.8}(stat.) ^{+0.9}_{-0.8}(syst.) MeV/c^2 and \Gamma(B^{*0}_2) = 22.7^{+3.8}_{-3.2}(stat.) ^{+3.2}_{-10.2}(syst.) MeV/c^2. The mass difference between the B^{*0}_2 and B^0_1 states is measured to be 14.9^{+2.2}_{-2.5}(stat.) ^{+1.2}_{-1.4}(syst.) MeV/c^2, resulting in a B^0_1 mass of 5725.3^{+1.6}_{-2.2}(stat.) ^{+1.4}_{-1.5}(syst.) MeV/c^2. This is currently the most precise measurement of the masses of these states and the first measurement of the B^{*0}_2 width.Comment: 7 pages, 1 figure, 1 table. Submitted to Phys.Rev.Let

Search for lepton flavor violating decays of a heavy neutral particle in p-pbar collisions at root(s)=1.8 TeV

We report on a search for a high mass, narrow width particle that decays directly to e+mu, e+tau, or mu+tau. We use approximately 110 pb^-1 of data collected with the Collider Detector at Fermilab from 1992 to 1995. No evidence of lepton flavor violating decays is found. Limits are set on the production and decay of sneutrinos with R-parity violating interactions.Comment: Figure 2 fixed. Reference 4 fixed. Minor changes to tex

Current conservation in two-dimensional AC-transport

The electric current conservation in a two-dimensional quantum wire under a time dependent field is investigated. Such a conservation is obtained as the global density of states contribution to the emittance is balanced by the contribution due to the internal charge response inside the sample. However when the global partial density of states is approximately calculated using scattering matrix only, correction terms are needed to obtain precise current conservation. We have derived these corrections analytically using a specific two-dimensional system. We found that when the incident energy $E$ is near the first subband, our result reduces to the one-dimensional result. As $E$ approaches to the $n$-th subband with $n>1$, the correction term diverges. This explains the systematic deviation to precise current conservation observed in a previous numerical calculation.Comment: 12 pages Latex, submitted to Phys. Rev.

CRADA Final Report for NFE-08-01826: Development and application of processing and processcontrol for nano-composite materials for lithium ion batteries

Oak Ridge National Laboratory and A123 Systems, Inc. collaborated on this project to develop a better understanding, quality control procedures, and safety testing for A123 System’s nanocomposite separator (NCS) technology which is a cell based patented technology and separator. NCS demonstrated excellent performance. x3450 prismatic cells were shown to survive &gt;8000 cycles (1C/2C rate) at room temperature with greater than 80% capacity retention with only NCS present as an alternative to conventional polyolefin. However, for a successful commercialization, the coating conditions required to provide consistent and reliable product had not been optimized and QC techniques for being able to remove defective material before incorporation into a cell had not been developed. The work outlined in this report addresses these latter two points. First, experiments were conducted to understand temperature profiles during the different drying stages of the NCS coating when applied to both anode and cathode. One of the more interesting discoveries of this study was the observation of the large temperature decrease experienced by the wet coating between the end of the infrared (IR) drying stage and the beginning of the exposure to the convection drying oven. This is not a desirable situation as the temperature gradient could have a deleterious effect on coating quality. Based on this and other experimental data a radiative transfer model was developed for IR heating that also included a mass transfer module for drying. This will prove invaluable for battery coating optimization especially where IR drying is being employed. A stress model was also developed that predicts that under certain drying conditions tensile stresses are formed in the coating which could lead to cracking that is sometimes observed after drying is complete. Prediction of under what conditions these stresses form is vital to improving coating quality. In addition to understanding the drying process other parameters such as slurry quality and equipment optimization were examined. Removal of particles and gels by filtering, control of viscosity by %solids and mixing adjustments, removal of trapped gas in the slurry and modification of coater speed and slot die gap were all found to be important for producing uniform and flaw-free coatings. Second, an in-line Hi-Pot testing method has been developed specifically for NCS that will enable detection of coating flaws that could lead to soft or hard electrical shorts within the cell. In this way flawed material can be rejected before incorporation into the cell thus greatly reducing the amount of scrap that is generated. Improved battery safety is an extremely important benefit of NCS. Evaluation of battery safety is usually accomplished by conducting a variety of tests including nail penetration, hot box, over charge, etc. For these tests entire batteries must be built but the resultant temperature and voltage responses reveal little about the breakdown mechanism. In this report is described a pinch test which is used to evaluate NCS quality at various stages including coated anode and cathode as well as assembled cell. Coupled with post-microscopic examination of the damaged ‘pinch point’ test data can assist in the coating optimization from an improved end-use standpoint. As a result of this work two invention disclosures, one for optimizing drying methodology and the other for an in-line system for flaw detection, have been filed. In addition, 2 papers are being written for submission to peer-reviewed journals

Sorption and fractionation of dissolved organic matter and associated phosphorus in agricultural soil

Molibility of dissolved organic matter (DOM) strongly affects the export of nitrogen (N) and phosphorus (P) from oils to surface waters. To study the sorption an mobility of dissolved organic C and P (DOC, DOP) in soil, the pH-dependent sorption of DOM to samples from Ap, EB, and Bt horizons from a Danish agircultural Humic Hapludult was investigated and a kinetic model applicable in field-scale model tested. Sorption experiments of 1 to 72 h duration were conducted at two pH levels (pH 5.0 and 7.0) and six initial DOC concentrtions (0-4.7 mmol L-1). Most sorption/desorption occurred during the first few hours. Dissolved organic carbon and DOP sorption decreased strongly with increased pH and desorption dominated at pH 7, especially for DOC. Due to fractionation during DOM sorption/desorption at DOC concentrations up to 2 mmol L-1, the solution fraction of DOM was enriched in P indicating preferred leaching of DOP. The kinetics of sorption was expressed as a function of how far the solution DOC or DOP concentrations deviate from "equilibrium". The model was able to simulate the kinetics of DOC and DOP sorption/desorption at all concentrations investigated and at both pH levels making it useful for incorporation in field-scale models for quantifying DOC and DOP dynamics

Search for Long-Lived Massive Charged Particles in 1.96 TeV \bar{p}p} Collisions

16 pages, 2 figures; Revision to fix PDF errors on some displays/printersWe performed a signature-based search for long-lived charged massive particles (CHAMPs) produced in 1.0 $\rm{fb}^{-1}$ of $\bar{p}p$ collisions at $\sqrt{s}=1.96$ TeV, collected with the CDF II detector using a high transverse-momentum ($p_T$) muon trigger. The search used time-of-flight to isolate slowly moving, high-$p_T$ particles. One event passed our selection cuts with an expected background of $1.9 \pm 0.2$ events. We set an upper bound on the production cross section, and, interpreting this result within the context of a stable scalar top quark model, set a lower limit on the particle mass of 249 GeV/$c^2$ at 95% C.L.We performed a signature-based search for long-lived charged massive particles produced in 1.0  fb-1 of pp̅ collisions at √s=1.96  TeV, collected with the CDF II detector using a high transverse-momentum (pT) muon trigger. The search used time of flight to isolate slowly moving, high-pT particles. One event passed our selection cuts with an expected background of 1.9±0.2 events. We set an upper bound on the production cross section and, interpreting this result within the context of a stable scalar top-quark model, set a lower limit on the particle mass of 249  GeV/c2 at 95% C.L.Peer reviewe

Search for WW and WZ production in lepton plus jets final state at CDF

submitted to Phys. Rev. D (RC)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Top Quark Mass Measurement in the Lepton plus Jets Channel Using a Modified Matrix Element Method

46 pages, 16 figures. Edited in response to referee comments and resubmitted to Phys. Rev. DWe 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.We report a measurement of the top quark mass, mt, obtained from pp̅ collisions at √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, where the matrix element is modified by using effective propagators to take into account assumptions on event kinematics. Our event likelihood is a function of mt and a parameter JES (jet energy scale) 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 mt=172.7±1.8(stat+JES)±1.2(syst)  GeV/c2.Peer reviewe