基于马氏距离的二元退化可靠性分析

为解决二元退化产品可靠性建模困难,提出了基于马氏距离(Mahalanobis distance,MD)的二元退化产品可靠性分析方法。首先引入MD,将二元退化数据降维至一元MD,并采用蒙特卡罗方法确定MD失效阈值;然后分别采用了Wiener过程的基本模型和3个具有随机参数的Wiener过程模型进行退化建模,运用贝叶斯方法进行参数估计,并通过模型验证、分位数图(quantile-quantile plot,QQ图)和改进的留一法交叉验证等模型选择方法综合判断确定最优模型。最后采用裂纹增长数据实例验证了所提方法的有效性。     

Reconsideration on Homogeneous Quadratic Riemann Boundary Value Problem

The homogeneous quadratic Riemann boundary value problem (1) with Hoelder continuous coefficients for the normal case was considered by the author in 1997. But the solutions obtained there are incomplete. Here its general method of solution is obtained.     

含氟废水处理研究与应用

本文就近年来国内对含氟废水处理研究及应用概况作了简要综述，可看出含氟废水处理的研究有了较大进展。     

冷季型草坪养护中发病原因及防护措施

从坪面养护、追施肥料、浇水、枯草层清理、杀菌剂施用、刈剪、新坪的管理等方面阐述了冷季型草坪养护中发病原因及机理。病原、感病寄主和环境条件是草坪病害发生的三个基本因素。草坪植物和病原在长期的进化过程中经过自然选择呈现一种平衡共存的状态,不少病害的发生是由于人类活动打破了这种自然生态平衡而造成的。因此,对草坪养护应达到使其有利于草坪抗病性的提高而不利于病害的发生和发展为目的。     

平果铝高压溶出过程结疤形成影响因素探索

平果铝高压溶出过程，结疤的形成是不可避免的，而且对生产带来的危害也很大。对结疤形成影响因素的研究，对于生产中结疤的治理，强化氧化铝生产具有十分重要的意义。     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

The harmonic decomposition reconstruction for the exponential radon transform

The exponential Radon transform, a generalization of the Radon transform, is defined and studied as a mapping of function spaces. It is represented in terms of Fourier transform of its domain and range, and this leads to the harmonic decomposition reconstruction. The results are similar results of Tretiak and Metz. Foundation item: Supported by the National Natural Science Foundation of China (No. 19971064), Key Project of Science and Technology of Hubei Province Education Committee. Biography: Wang Jin-ping (1963-), male, Ph.D. candidate, research direction: numberical solution of singular integral equation and integral transformation etc.     

Resource Search in Unstructured Peer-to-Peer System Based on Multiple-Tree Overlay Structure

We propose a multiple-tree overlay structure for resource discovery in unstructured P2P systems. Peers that have similar interests or hold similar type of resources will be grouped into a tree-like cluster. We exploit the heterogeneity of peers in each cluster by connecting peers with more capacities closer to the root of the tree. The capacity of a peer can be defined in different ways （e.g. higher network bandwidth, larger disk space, more data items of a certain type etc.） according to different needs of users or applications.     

On the verge of <Emphasis Type="Italic">Umdeutung</Emphasis> in Minnesota: Van Vleck and the correspondence principle. Part one

In October 1924, The Physical Review, a relatively minor journal at the time, published a remarkable two-part paper by John H. Van Vleck, working in virtual isolation at the University of Minnesota. Using Bohr’s correspondence principle and Einstein’s quantum theory of radiation along with advanced techniques from classical mechanics, Van Vleck showed that quantum formulae for emission, absorption, and dispersion of radiation merge with their classical counterparts in the limit of high quantum numbers. For modern readers Van Vleck’s paper is much easier to follow than the famous paper by Kramers and Heisenberg on dispersion theory, which covers similar terrain and is widely credited to have led directly to Heisenberg’s Umdeutung paper. This makes Van Vleck’s paper extremely valuable for the reconstruction of the genesis of matrix mechanics. It also makes it tempting to ask why Van Vleck did not take the next step and develop matrix mechanics himself. This paper was written as part of a joint project in the history of quantum physics of the Max Planck Institut für Wissenschaftsgeschichte and the Fritz-Haber-Institut in Berlin.