深水铺管船的动力定位能力评估系统

为解决评估铺管船作业能力的难题,提出一种适用于评估铺管船动力定位能力的方法,开发了动力定位能力评估程序系统,并针对高海况环境条件设计了优化的辅助作业方案.采用数值计算方法对铺管船作业期间的平均二阶力、风载荷以及流载荷进行仿真计算,建立了环境载荷与动力定位系统提供的推力之间的平衡关系,给出了用于评估铺管船动力定位能力的系统模块,采用动力定位能力包络线的方式表达动力评估结果.在高海况作业中给出安全建议,即采用辅助拖轮作用于船舶适当位置以增强动力定位能力,从而降低工程作业风险.     

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.     

APCI5000电气自动化成套装置设计

电气自动化成套装置种类繁多，并广泛应用于电力系统．结合现场实际商业运行期所积累的经验，并根据市场预测以及目前工控机发展动态，提出了采用APCI5000工业控制计算机实现电气自动化成套装置设计的最佳方案．     

LaMnO3不同晶位掺杂的磁电阻效应

基于研究钙钛矿型氧化物磁电阻效应的目的,采用固相反应法制备了实验所需的单相多晶样品,主要就La位二价金属离子掺杂和稀土互掺及Mn位掺杂对LaMnO3磁电阻影响的实验结果作比较研究,发现La位稀土互掺对磁电阻的影响可以用晶格效应来解释,并明确指出La位和Mn位掺杂是提高和调制钙钛矿型锰氧化物超大磁电阻效应的一种有效途径.     

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.