Summary The paper looks at certain open problems in the theory of minimal generation of semi-algebraic sets and constructible sets in the real spectrum: problems about thet-invariant and the associatedp-invariant for separating families, and about the extension of the theory to arbitrary commutative rings. 相似文献
It is well established from experiments in premixed, laminar flames, jet-stirred reactors, flow reactors, and batch reactors that SO2 acts to catalyze hydrogen atom removal at stoichiometric and reducing conditions. However, the commonly accepted mechanism for radical removal, SO2 + H(+M) ? HOSO(+M), HOSO + H/OH ? SO2 + H2/H2O, has been challenged by recent theoretical and experimental results. Based on ab initio calculations for key reactions, we update the kinetic model for this chemistry and re-examine the mechanism of fuel/SO2 interactions. We find that the interaction of SO2 with the radical pool is more complex than previously assumed, involving HOSO and SO, as well as, at high temperatures also HSO, SH, and S. The revised mechanism with a high rate constant for H + SO2 recombination and with SO + H2O, rather than SO2 + H2, as major products of the HOSO + H reaction is in agreement with a range of experimental results from batch and flow reactors, as well as laminar flames. 相似文献
Summary A version of Cauchy's inequality is obtained which relates two matrices by an inequality in the sense of the Loewner ordering. In that ordering a symmetric idempotent matrix is dominated by the identity matrix and this fact yields a simple proof.A consequence of this matrix Cauchy inequality leads to a matrix version of the Kantorovich inequality, again in the sense of Loewner. 相似文献
Levels of recrystallization have been measured by two distinct techniques; a splat cooling assay and a new device, an optical recrystallometer, which measures the change in light transmittance through a frozen sample. Both techniques indicate the presence of recrystallization inhibitors in a grass extract and in other samples. The advantages of each method of measuring recrystallization are discussed. 相似文献
High resolution mass spectrometry is a key technology for in-depth protein characterization. High-field Fourier transform ion cyclotron resonance mass spectrometry (FT-ICR MS) enables high-level interrogation of intact proteins in the most detail to date. However, an appropriate complement of fragmentation technologies must be paired with FTMS to provide comprehensive sequence coverage, as well as characterization of sequence variants, and post-translational modifications. Here we describe the integration of front-end electron transfer dissociation (FETD) with a custom-built 21 tesla FT-ICR mass spectrometer, which yields unprecedented sequence coverage for proteins ranging from 2.8 to 29 kDa, without the need for extensive spectral averaging (e.g., ~60% sequence coverage for apo-myoglobin with four averaged acquisitions). The system is equipped with a multipole storage device separate from the ETD reaction device, which allows accumulation of multiple ETD fragment ion fills. Consequently, an optimally large product ion population is accumulated prior to transfer to the ICR cell for mass analysis, which improves mass spectral signal-to-noise ratio, dynamic range, and scan rate. We find a linear relationship between protein molecular weight and minimum number of ETD reaction fills to achieve optimum sequence coverage, thereby enabling more efficient use of instrument data acquisition time. Finally, real-time scaling of the number of ETD reactions fills during method-based acquisition is shown, and the implications for LC-MS/MS top-down analysis are discussed.