Chiu and Seman (1971) studied the head loss of flows transporting sediment in circular and square pipes with spiraling motion.

邱和思门(1971)研究了在圆管和方形管中输沙时具有螺旋运动的水流的水头损失问题。

And on the basis of the relationship between semanteme and knowledge structure, we advance the concept and the measure of 'seman-nows'.

并且根据语义与知识结构的关系，提出了‘义息’概念及测度。

This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.

本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。