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-Ⅱ.     

关于线性NDDE振动性的代数判据（Ⅰ）

本文给一阶线性自治中立型方程一切解振动的充要条件，这些条件仅依赖于系统的参数，从而对自治系统彻底解决了［１］中提出的问题１２     

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.     

The Response of Debris-Flow Events to Solar Proton Flares （Ⅰ）

By analyzing the observation data from Dongchuan Debris Flow Observation and Research Station and historical data from year 1965 to 1990 gotten from National Astronomical Ob-servatories/Yunnan Observatory,the responding of debris flow in Jiangjia Ravine to Solar Proton Flare is studied. The following conclusion can be drawn. Solar Proton Flare,as one of most im-portant astronomical factors,affects the activity of debris flow in Yunnan. Generally,from 1965 to1990,the more active Solar Pro-ton Flare is,the greater the probability of high frequency and large runoff of debris flow is. On the contrary,the less active Solar Pro-ton Flare is,the greater the probability of low frequency,small runoff,and low sediment transport of debris flow is.     

Bang bang control of unified chaotic system

The unified chaotic system contains the Lorenz system and the Chen system as two dual systems at the two extremes of its parameter spectrum. This paper presents the design of bang bang controller for unified system and multitude of numerical experiments under various control parameters. Numerical experiments meet the theoretic proof perfectly and convincingly demonstrated the controller can be effectively used for unified systems with uncertainty of the equilibrium points. The method enriches the applications of chaotic control. Foundation item: Supported by the National Natural Science Foundation of China(50209012) Biography: Deng Xiao-ming (1980-), male, Master candidate, research direction: chaos control.     

感应加热钢包炉电磁与结构优化

感应加热钢包炉是国外新发展的一种二次精炼及加热设备，具有高效、低能耗、无污染的特点，本文在感应加热钢包炉电磁与结构分析工作的基础上，用电磁场数值模拟方法对感应加热钢包炉的电磁设计和包壳结构进行优化。     

表面活性剂对TAPP Soret带的影响

本文研究了在不同pH值下吐温—80.Tritonx—100.SLS三种表面活性剂四—(对-三甲铵苯基)卟啉Soret带的影响。