不能移动封隔器管柱变形受力分析——封隔器管柱受力分析系统讨论之五

不能移动封隔器管柱是油气井封隔器完井的一种常见类型 ,在井内压力、温度、流体 (井内压力、温度、流体简称井内条件 ,下同 )发生变化时 ,不能移动封隔器管柱受力分析是保证井下安全和完井作业成功的关键 ,同时该管柱受力分析与自由移动封隔器管柱受力分析有很大的差别。文中对不能移动封隔器管柱变形受力的有关问题进行了分析、推导和讨论 ,并给出了算例。     

Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

低温下液体饱和蒸气压的测试

着重介绍了静态法测试低温下（－１００～５０℃）液体饱和蒸气压的原理及方法，给出了低温下液体全氟三乙胺饱和蒸气压的测试结果，并进行了讨论。     

Losses of volatile compounds during fermentation

The ability of fermentative CO₂ to blow off the volatile compounds that are synthesized during fermentation has been studied. Model solutions simulating a fermenting must were purged at different CO₂ flow rates and temperatures, and the amount of volatile compounds blown off by the stream of CO₂ was recorded by high-resolution gas chromatography. Data showed that under normal fermenting conditions, fatty acid ethyl esters and some fusel alcohol acetates are blown off the solution at a high rate. The maximum loss rate was observed for ethyl decanoate. The purging speed is doubled when temperature increases from 17 °C to 27 °C. Losses can be interpreted by a linear model and are a function of the compound and the flow rate of CO₂. These models allow us to reconstruct the volatile synthesis vs time functions through graphic calculus and to estimate the proportion of volatile material retained, hydrolysed and purged. Synthesis takes place during the tumultuous period of fermentation together with CO₂ production that blows off the volatile material. Hydrolysis takes place in the last stages of fermentation. In a 10-1 open fermenter, up to 80% of volatile material can be blown off while an average of 10% is retained. Residual esterase activity accounts for about 20% of the total amount of ester synthesized.     

An improved watershed algorithm based on efficient computation of shortest paths

The present paper describes a new algorithm to calculate the watershed transform through rain simulation of greyscale digital images by means of pixel arrowing. The efficiency of this method is based on limiting the necessary neighbouring operations to compute the transform to the outmost, and in the total number of scannings performed over the whole image. The experiments demonstrate that the proposed algorithm is able to significantly reduce the running time of the fastest known algorithm without involving any loss of efficiency.     

Input-output finite-time stability of time-varying linear singular systems

This paper studies the input-output finite-time stabilization problem for time-varying linear singular systems. The output and the input refer to the controlled output and the disturbance input,respectively.Two classes of disturbance inputs are considered,which belong to L-two and L-infinity.Sufficient conditions are firstly provided which guarantee the input-output finite-time stability.Based on this,state feedback controllers are designed such that the resultant closed-loop systems are input-output finite-time stable.The conditions are presented in terms of differential linear matrix inequalities.Finally,an example is presented to show the validity of the proposed results.     

面向软件动态演化的需求建模及其模型规范化

针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。     

Deterministic secure quantum communication without unitary operation based on high-dimensional entanglement swapping

By analysis of the basic properties of entanglement swapping of high-dimensional Bell states,a universal and general deterministic secure quantum communication(DSQC)protocol is proposed,in which unitary operation is not required.By making use of the results of high-dimensional Bell measurement,the sender and the receiver can encode and decode the message respectively by performing the modular addition and subtraction.Two mutually complementary bases are constructed;and according to the property of mutual complement,a method for checking security of the high-dimensional quantum channel is put forward.Some common attack strategies are analyzed,and the corresponding error rates are calculated.Then the upper bound of the threshold of error rate is deduced.     

会议电视系统及应用

为了组建一个完整的电视会议系统,在介绍了会议电视的定义、组成和几种组网方式之后,通过具体案例的方案设计,以解决在实际应用中组建会议电视系统会遇到的一些情况和如何组建的问题。