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.     

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.     

Windows平台下的汉字输入法机制及应用

作者在Windows平台下，通过对E码汉字输入法系统实现的软件研发过程，本质地认识了Windows平台下的汉字输入法系统的实现原理及其基本方法；本文对Windows IME系统的两个主要组成部分：转换引擎和界面模块以及二者之间的交互关系进行了深入的分析，并揭示了Windows平台下整个汉字输入法系统的底层运转机制。     

台达现场总线产品在中央空调系统的应用

本文通过案例详尽论述台达DeviceNet现场总线产品在中央空调系统的工程设计技术，展示出台达DeviceNet现场总线产品的系统集成优势。     

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

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

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.     

大化肥气化装置安全系统

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

250W带功率因数校正整流电源模块的研制

功率因数校正技术越来越成为电源行业研究的热点。文中介绍了适用于雷达等设备的250W带功率因数校正整流电源模块的设计，分析了其中升压电感器设计、主开关管保护、控制电路消振、散热设计和表面贴装等关键技术，完成了实验研究，获得了满意的试验结果。