关于Smarandache可乘函数的均值研究

本文的主要目的是利用初等方法研究Smarandache可乘函数在简单数集中的均值性质,并给出一个有趣的渐近公式。     

Analysis of an algorithm for solution of conditional optimization problems with linear-fractional objective functions over permutations

A method is considered to solve a conditional optimization problem with a linear-fractional objective function over permutations. The performance of sub algorithms to solve this problem is evaluated. The practical efficiency of the algorithm is analyzed by conducting numerical experiments. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 133–146, July–August 2007.     

Measuring consistency in TTL-based caches

We propose a general modeling framework to evaluate the performance of cache consistency algorithms. In addition to the usual hit rate, we introduce the hit^* rate as a consistency measure, which captures the fraction of non-stale downloads from the cache. We apply these ideas to the analysis of the fixed TTL consistency algorithm in the presence of network delays. The hit and hit^* rates are evaluated when requests and updates are modeled by renewal processes. Classical results on the renewal function lead to various bounds.     

18臂机械井径与磁法井径组合测井仪原理及应用

文章主要介绍了18臂机械井径与磁法井径组合测井仪的仪器结构、主要技术特性、测量原理及测井资料在油田中的应用。通过对测井资料的分析，阐述了该仪器在套损检测、补贴效果检查、射孔工程作业效果评价等方面的应用，为油田套管分析提供了可靠的保证。     

A new stereological principle for test lines in three-dimensional space

A new principle is presented to generate isotropic uniform random (IUR) test lines hitting a geometric structure in three-dimensional space (3D). The principle therefore concerns the estimation of surface area, volume, membrane thickness, etc., of arbitrary structures with piecewise smooth boundary. The principle states that a point-sampled test line on an isotropic plane through a fixed point in 3D is effectively an invariant test line in 3D. Particular attention is devoted to the stereology of particles, where an alternative to the surfactor method is obtained to estimate surface area. An interesting case arises when the particle is convex. The methods are illustrated with synthetic examples.     

静态球对称时空中的标量场辐射

采用多项式函数代替乌龟坐标的方法,给出静态球对称时空中黑洞事件视界和宇宙视界区域内标量场方程的解,并对事件视界附近势垒的性质进行了讨论。发现对带电量不同的时空,标量场辐射的形式亦有所不同;势垒随宇宙学常数的减小而变窄、变高。     

锚索锚杆联合支护在破碎顶板中的应用

结合工程工作面概况，就锚索和锚杆补强加固支护参数的选择进行了介绍，并指出锚索、锚杆的联合支护，保证了顶板的完整性，有效地控制了巷道的变形。     

Cycle detection using a stack

We present an algorithm for detecting periodicity in sequences produced by repeated application of a given function. Our algorithm uses logarithmic memory with high probability, runs in linear time, and is guaranteed to stop within the second loop through the cycle. We also present a partitioning technique that offers a time/memory tradeoff. Our algorithm is especially well suited for sequences where the cycle length is typically small compared to the length of the acyclic prefix.     

Measurement of the coolant flow rate using correlation of temperature fluctuations

The transit time of the coolant, and thus its velocity, has been measured using the temperature fluctuation at the outlet of a reactor core. An impulse response function estimation is introduced, which substitutes the widely used cross-correlation measurement technique. It is shown in theory and practice that the time delay estimation is improved when using the impulse response function instead of the cross-correlation function in parameter estimation. Extremely low velocities (down to 2 cm/sec) have been measured in a natural circulation regime in a research reactor.     

大化肥气化装置安全系统

对大化肥气化装置的安全系统的作用、硬件组成、信号的处理以及顺序控制和安全联锁进行了介绍，并详细描述了气化炉的开、停车及吹扫顺序的过程以及安全联锁的功能。