442 research outputs found
Failure of interpolation in the intuitionistic logic of constant domains
This paper shows that the interpolation theorem fails in the intuitionistic
logic of constant domains. This result refutes two previously published claims
that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text
thouroughly reworked in terms of notation and style, historical notes as well
as some other minor details adde
Recommended from our members
A desiccant/steam-injected gas-turbine industrial cogeneration system
An integrated desiccant/steam-injected gas-turbine system was evaluated as an industrial cogenerator for the production of electricity and dry, heated air for product drying applications. The desiccant can be regenerated using the heated, compressed air leaving the compressor. The wet stream leaves the regenerator at a lower temperature than when it entered the desiccant regenerator, but with little loss of energy. The wet stream returns to the combustion chamber of the gas-turbine system after preheating by exchanging heat with the turbine exhaust strewn. Therefore, the desiccant is regenerated virtually energy-free. In the proposed system, the moisture-laden air exiting the desiccant is introduced into the combustion chamber of the gas-turbine power system. This paper discusses various possible design configurations, the impact of increased moisture content on the combustion process, the pressure drop across the desiccant regenerator, and the impact of these factors on the overall performance of the integrated system. A preliminary economic analysis including estimated potential energy savings when the system is used in several drying applications, and equipment and operating costs are also presented
Recommended from our members
Recovery and separation of high-value plastics from discarded household appliances
Argonne National Laboratory is conducting research to develop a cost- effective and environmentally acceptable process for the separation of high-value plastics from discarded household appliances. The process under development has separated individual high purity (greater than 99.5%) acrylonitrile-butadiene-styrene (ABS) and high- impact polystyrene (HIPS) from commingled plastics generated by appliance-shredding and metal-recovery operations. The process consists of size-reduction steps for the commingled plastics, followed by a series of gravity-separation techniques to separate plastic materials of different densities. Individual plastics of similar densities, such as ABS and HIPS, are further separated by using a chemical solution. By controlling the surface tension, the density, and the temperature of the chemical solution we are able to selectively float/separate plastics that have different surface energies. This separation technique has proven to be highly effective in recovering high-purity plastics materials from discarded household appliances. A conceptual design of a continuous process to recover high-value plastics from discarded appliances is also discussed. In addition to plastics separation research, Argonne National Laboratory is conducting research to develop cost-effective techniques for improving the mechanical properties of plastics recovered from appliances
Methanogens, sulphate and heavy metals: a complex system
Anaerobic digestion (AD) is a well-established technology used for the treatment of wastes and wastewaters with high organic content. During AD organic matter is converted stepwise to methane-containing biogasa renewable energy carrier. Methane production occurs in the last AD step and relies on methanogens, which are rather sensitive to some contaminants commonly found in wastewaters (e.g. heavy metals), or easily outcompeted by other groups of microorganisms (e.g. sulphate reducing bacteria, SRB). This review gives an overview of previous research and pilot-scale studies that shed some light on the effects of sulphate and heavy metals on methanogenesis. Despite the numerous studies on this subject, comparison is not always possible due to differences in the experimental conditions used and parameters explained. An overview of the possible benefits of methanogens and SRB co-habitation is also covered. Small amounts of sulphide produced by SRB can precipitate with metals, neutralising the negative effects of sulphide accumulation and free heavy metals on methanogenesis. Knowledge on how to untangle and balance sulphate reduction and methanogenesis is crucial to take advantage of the potential for the utilisation of biogenic sulphide as a metal detoxification agent with minimal loss in methane production in anaerobic digesters.The research was financially supported by the People Program (Marie Curie Actions) of the European Union's Seventh Framework Programme FP7/2007-2013 under REA agreement 289193
Search for Neutral Heavy Leptons Produced in Z Decays
Weak isosinglet Neutral Heavy Leptons () have been searched for using data collected by the DELPHI detector corresponding to hadronic~Z decays at LEP1. Four separate searches have been performed, for short-lived production giving monojet or acollinear jet topologies, and for long-lived giving detectable secondary vertices or calorimeter clusters. No indication of the existence of these particles has been found, leading to an upper limit for the branching ratio Z of about at 95\% confidence level for masses between 3.5 and 50 GeV/. Outside this range the limit weakens rapidly with the mass. %Special emphasis has been given to the search for monojet--like topologies. One event %has passed the selection, in agreement with the expectation from the reaction: %. The results are also interpreted in terms of limits for the single production of excited neutrinos
Measurement of inclusive production in hadronic decays
An analysis is presented of inclusive \pi^0 production in Z^0 decays measured with the DELPHI detector. At low energies, \pi^0 decays are reconstructed by \linebreak using pairs of converted photons and combinations of converted photons and photons reconstructed in the barrel electromagnetic calorimeter (HPC). At high energies (up to x_p = 2 \cdot p_{\pi}/\sqrt{s} = 0.75) the excellent granularity of the HPC is exploited to search for two-photon substructures in single showers. The inclusive differential cross section is measured as a function of energy for {q\overline q} and {b \bar b} events. The number of \pi^0's per hadronic Z^0 event is N(\pi^0)/ Z_{had}^0 = 9.2 \pm 0.2 \mbox{(stat)} \pm 1.0 \mbox{(syst)} and for {b \bar b}~events the number of \pi^0's is {\mathrm N(\pi^0)/ b \overline b} = 10.1 \pm 0.4 \mbox{(stat)} \pm 1.1 \mbox{(syst)} . The ratio of the number of \pi^0's in b \overline b events to hadronic Z^0 events is less affected by the systematic errors and is found to be 1.09 \pm 0.05 \pm 0.01. The measured \pi^0 cross sections are compared with the predictions of different parton shower models. For hadronic events, the peak position in the \mathrm \xi_p = \ln(1/x_p) distribution is \xi_p^{\star} = 3.90^{+0.24}_{-0.14}. The average number of \pi^0's from the decay of primary \mathrm B hadrons is found to be {\mathrm N} (B \rightarrow \pi^0 \, X)/\mbox{B hadron} = 2.78 \pm 0.15 \mbox{(stat)} \pm 0.60 \mbox{(syst)}
Measurement of the Quark and Gluon Fragmentation Functions in Hadronic Decays
The fragmentation functions and multiplicities in and light quark events are compared. The measured transverse and longitudinal components of the fragmentation function allow the gluon fragmentation function to be evaluated
Search for new phenomena using single photon events in the DELPHI detector at LEP
Data are presented on the reaction \epem~\into~\gamma + no other detected particle at center-of-mass energies, \sqs = 89.48 GeV, 91.26 GeV and 93.08 GeV. The cross section for this reaction is related directly to the number of light neutrino generations which couple to the \zz boson, and to several other phenomena such as excited neutrinos, the production of an invisible `X' particle, a possible magnetic moment of the tau neutrino, and neutral monojets. Based on the observed number of single photon events, the number of light neutrinos which couple to the \zz is measured to be N_\nu = 3.15 \pm 0.34. No evidence is found for anomalous production of energetic single photons, and upper limits at the 95\% confidence level are determined for excited neutrino production (BR < 4-9 \times 10^{-6}), production of an invisible `X' particle (\sigma < 0.1 pb), and the magnetic moment of the tau neutrino (< 5.2 \times 10^{-6} \mu_B). No event with the topology of a neutral monojet is found, and this corresponds to the limit \sigma < 0.044/\epsilon pb at the 95\% confidence level, where \epsilon is the unknown overall monojet detection efficiency
Measurement of the B oscillation frequency using kaons, leptons and jet charge
A measurement of the mass difference, \Delta m_d, between the two physical \mbox{B}^0_d states has been obtained from the analysis of the impact parameter distribution of a lepton emitted at large transverse momentum (p_t) relative to the jet axis and from the analysis of the flight distance distribution of secondary vertices tagged by either a high p_t lepton or an identified kaon. In the opposite hemisphere of the event, the charge of the initial quark has been evaluated using a high p_t lepton, a charged kaon or the mean jet charge. With 1.7 million hadronic Z^0 decays recorded by DELPHI between 1991 and 1993, \Delta m_d is found to be: \Delta m_d = 0.531^{+0.050}_{-0.046} ~(stat.) \pm 0.078 ~(syst.) ~ {\mathrm{ps}}^{-1} \,
- …