A characterization of the \Sigma_1-definable functions of KP\omega + (uniform\; AC)

The subject of this paper is a characterization of the -definable set functions of Kripke-Platek set theory with infinity and a uniform version of axiom of choice: . This class of functions is shown to coincide with the collection of set functionals of type 1 primitive recursive in a given choice functional and . This goal is achieved by a G?del Dialectica-style functional interpretation of and a computability proof for the involved functionals. Received October 9, 1996     

加权增量卡尔曼滤波法在ICP－AES中的应用

卡尔曼滤波法用于ＩＣＰ－ＡＥＳ分析时，在白色噪音情况下能给出准确的分析结果，当试样的某些组分未知时，测量噪音将不是白色的，分析结果将不准确。本文提出了一种加权增量卡尔曼滤波法来解决这个问题。     

基团共轭效应研究Ⅱ：^13C核磁共振的化学位移与取代基的共轭效应强度

引言在定量和定性研究有机化合物的结构与性质的关系中,最广泛使用的是Hammett等所提出的σ_m、σ_p等取代基常数以及基团的诱导(场)效应和共轭效应常数。在建立基团的共轭效应常数方面,人们做了大量的工作,但多数工作是基于对基团的Hammett常数σ的人为分解上,建立的模型和分解方式(系数因子)不同,则得到不同的结果。另一方面纯理论计算工作大多引入较多参数,使计算复杂和使用不便。作者曾在建立表征诱导效应大小的     

微通道板增益疲劳机理研究

微通道板的增益疲劳是微通道板的主要问题之一，本文分析了微通道板的表面结构模型，同通道板活性表面上碱金属的逸出和碳的增加是导致微通道板的增益疲劳的主要原因，另外，探讨碱金属逸出的机理和碳污染的来源，介绍延长微通道板工作寿命的有效方法。     

The Modified Group Expansions for Construction of Solutions to the BBGKY Hierarchy

A solution to the BBGKY hierarchy for nonequilibrium distribution functions is obtained within modified boundary conditions. The boundary conditions take into account explicitly both the nonequilibrium one-particle distribution function as well as local conservation laws. As a result, modified group expansions are proposed. On the basis of these expansions, a generalized kinetic equation for hard spheres and a generalized Bogolubov–Lenard–Balescu kinetic equation for a dense electron gas are derived within the polarization approximation.     

Electron transfer reactions of nickel(III) and nickel(IV) complexes

This review narrates the electron transfer reactions of various nickel(III) and nickel(IV) complexes reported during the period 1981 until today. The reactions have been categorized mainly with respect to the type of nickel complexes. The reactivity of nickel(III) complexes of macrocycles, 2,2′-bipyridyl and 1,10-phenanthroline, peptides and oxime–imine, and of nickel(IV) complexes derived from oxime–imine, oxime and miscellaneous ligands with various organic and inorganic electron donors have been included. Kinetic and mechanistic features associated with such interactions have been duly analyzed. The relevance of Marcus cross-relation equations in the delineation of the electron transfer paths has also been critically discussed.     

反光板(合作目标)反射率测量仪

本文介绍了反光板（合作目标）反射率测量仪的研制。仪器采用对称双光路比较测量法，给定两束相等光通量的光束，分别作为参考光束和测试光束，并用分束器实现原光路取样，从而解决了合作目标反光板入射光线与反射光线重合不能用常规测试方法来检测的难题。由于采用对称双光路的方法，入射光通量是相对恒定的，不受外界因素影响，从而使反射率测量仪达到精度高、重复性好和环境要求低的设计要求。     

Topological order in the phase diagram for high-temperature superconductors with point defects

Applying a Lindemann like criterion obtained previously by Kierfeld et al. [J. Kierfeld, T. Nattermann, T. Hwa, Phys. Rev. B 55 (1997) 626], we estimate the magnetic field and temperature for a high-T_c superconductor, at which a topologically ordered vortex glass phase becomes unstable with respect to a disorder-induced formation of dislocations. The employed criterion is shown to be equivalent to a conventional phenomenological Lindemann criterion including the values for the numerical factors, i.e., for the Lindemann number. The positional correlation length of the topologically ordered vortex glass is calculated.     

Synthesis of benzofurans via Pd-catalyzed oxidative cyclization of 2-allylphenols

Substituted 2-methylbenzofurans were obtained from 2-allylphenols via Pd²⁺-catalyzed oxidative cyclization using Cu(OAc)₂–LiCl as a reoxidant and wet DMF as a solvent.