A direct independence proof of Buchholz's Hydra Game on finite labeled trees

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows. Received: August 23, 1994 / Revised: July 24, 1995 and May 9, 1996     

A real algorithm for the Hermitian eigenvalue decomposition

Modifying complex plane rotations, we derive a new Jacobi-type algorithm for the Hermitian eigendecomposition, which uses only real arithmetic. When the fast-scaled rotations are incorporated, the new algorithm brings a substantial reduction in computational costs. The new method has the same convergence properties and parallelism as the symmetric Jacobi algorithm. Computational test results show that it produces accurate eigenvalues and eigenvectors and achieves great reduction in computational time.The work of this author was supported in part by the National Science Foundation grant CCR-8813493 and by the University of Minnesota Army High Performance Computing Research Center contract DAAL 03-89-C-0038.The work of this author was supported in part by the University of Minnesota Army High Performance Computing Research Center contract DAAL 03-89-C-0038.     

Diffusing particles with electrostatic repulsion

Summary. We study a diffusion model of an interacting particles system with general drift and diffusion coefficients, and electrostatic inter-particles repulsion. More precisely, the finite particle system is shown to be well defined thanks to recent results on multivalued stochastic differential equations (see [2]), and then we consider the behaviour of this system when the number of particles goes to infinity (through the empirical measure process). In the particular case of affine drift and constant diffusion coefficient, we prove that a limiting measure-valued process exists and is the unique solution of a deterministic PDE. Our treatment of the convergence problem (as ) is partly similar to that of T. Chan [3] and L.C.G. Rogers - Z. Shi [5], except we consider here a more general case allowing collisions between particles, which leads to a second-order limiting PDE. Received: 5 August 1996 / In revised form: 17 October 1996     

Structural characterization of polypyrrole in the solid state by high resolution 15N NMR spectroscopy [II]

The solid-state ¹⁵N CP/MAS NMR spectra and ¹⁵N spin-lattice relaxation times (T₁) of doped and dedoped ¹⁵N-labeled polypyrroles prepared by electrochemical polymerization, have been measured by means of high-resolution solid-state ¹⁵N NMR. The ¹⁵N signal of polypyrrole consists of four peaks decomposed by line shape analysis. The four peaks obtained have been assigned to the various structures of polypyrrole. Further, the half-width of the ¹⁵N NMR spectra of polypyrroles is discussed as related to the electrical conductivity. © 1995 John Wiley & Sons, Inc.     

F／Cl比与Eu~（2＋）：BaFCl中F色心的浓度和光激励截面的关系

研究了Ｅｕ（２＋）：ＢａＦｘＣｌ２在紫外线辐照下的光激励发光。通过改变激励方式及激励光的扫描方向，给出了Ｅｕ（２＋）：ＢａＦｘＣｌ２－ｘ光激励发光过程中，两种Ｆ色心的浓度比值与光激励截面比值的测定方法。利用这种测定方法，进一步研究了两种Ｆ色心的浓度比值和光激励截面比值与Ｆ／ＣＩ比值的关系。     

Outflow refreshment angiography: A bright blood, bright static tissue technique

A new “bright blood” strategy, outflow refreshment imaging, is introduced in which a number of overlapping slices are excited in rapid succession. Flowing spins that refresh each overlapped slice portion contribute a bright signal. Additionally, static tissue in each non-overlapped slice portion also yields a bright signal. However, the flow/static contrast is comparable to that produced in inflow refreshment images, and angiograms can be generated by conventional maximum intensity projection processing. The dual ability to visualize angiograms and static tissue images is a major benefit of the strategy. Computer simulations of flow sensitivities and in vivo results are presented which compare the outflow and inflow refreshment imaging strategies.     

黄酮类天然产物13C NMR数据的计算机检索和辅助解析(Ⅱ)黄酮类天然产物的13C NMR数据规律及其在智能解析中的应用

本文通过对大量的黄酮类化合物¹³C NMR图谱的分析和研究,总结了不同类型的黄酮类化合物的¹³C NMR图谱特征及化学位移规律.对影响黄酮类化合物结构骨架上不同位置碳原子化学位移的因素进行了分析,建立了用于黄酮类天然产物¹³C NMR图谱智能解析的知识库.     

NASICON型化合物结构的NMR研究

在水热晶化合成一系列NASICON型化合物的基础上,应用固体高分辨³¹P和²⁹Si MAS NMR,研究了几种NASICON化合物的结构,观察其骨架原子P和Si在结构中的状态及分布,并解释了由于在结构中发生取代作用而引起,Si或P的化学位移的变化.