Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

冲击式采掘机械工作机构的研究

目前我国多数采掘机械的工作原理是使岩体产生的压、剪破坏,而冲击式采掘机械则是通过冲击波的传递,在岩体表面产生拉应力,从而使岩体发生拉伸破坏,这里给出了冲击式采掘机械截齿的安装角及冲程的设计方法及计算公式。     

Driver detection and recognition of lineside signals and signs at different approach speeds

A study was carried out using simulation to investigate driver responses to lineside signals and signs at various approach speeds. The objectives of the study were: (1) to find out whether train speed would significantly affect signal/sign reading; (2) to examine at which point certain types of signs or signals could be detected or recognised, and (3) to determine a speed cut-off level above which certain types of signs or signals are no longer recognisable or detectable. Fifty-seven train drivers from 12 Train Operating Companies in the UK participated in the trials. Twenty different types of lineside signs and ten types of signals were tested under six different approach speeds ranging from 100 to 350 km/h (62–218 mph). Driver performance measures were ‘time remaining to the signal/sign’ at the point of detection or recognition, and reading error rate. The results showed a significant influence of train speed on driver responses to lineside signals/signs and demonstrated a non-linear relationship between driver responses to signals/signs and approach speed. This has been used to estimate a maximum approach speed limit within which a specific signal or sign can be correctly detected or recognised. The findings and implications of the study are discussed in the paper.     

Transporters in the neurohypophysial neuroendocrine system, with special reference to vesicular glutamate transporters (BNPI and DNPI): a review.

Recent advances in gene technology have helped to identify novel proteins and allowed study of their distribution and functions in the mammalian brain. One class of these proteins is that of transporters, which exist in plasma and organellar membranes of neurons and other cells to move substances selectively across membranes. These transporters can be categorized further into subclasses by their structural property, substrate selectivity, and site of action. Some of them have been identified in the hypothalamus, which is the only brain site where a neural signal is converted to a humoral one, namely, a hormone for a target organ. This unique neural mechanism has long attracted attention as the neuroendocrine system, part of which has been extensively studied as the hypothalamic-neurohypophysial system involved in secretion of vasopressin and oxytocin. However, transporters in this system have been less well studied. A morphological examination of novel transporters would give us cues to a better understanding of the neuronal organization and function of the system. In this review, we first summarize recent findings on expression of transporter gene and immunoreactivity in the hypothalamus. In the second part, we explain our observations on two vesicular glutamate (inorganic phosphate) transporters (BNPI and DNPI) in the supraoptic and paraventricular nuclei and neurohypophysis. Further study of these and other transporters will provide a basis on which to reevaluate the organization and function of the hypothalamic-neurohypophysial system.     

Trypsin Inhibitor Activity In Vitro Digestibility and Sensory Quality of Meat-Like Yuba Products as Affected by Processing

ABSTRACT: :
Soybeans ( Glycine max ) were soaked and ground to obtain soymilk. The soymilk was cooked in an open tank and held at 85 to 90 deg;C. Yuba films were picked up in 20 min intervals and dried for 20 min. Yuba films were soaked in chicken-flavor solutions (25% and 35%), and baking soda (BS) solutions (0%, 1%, 2%, and 3% BS), and cooked at 100 °C for 30 min, 60 min, and 90 min. TIA decreased (p < 0.05) with the increase of heating time and BS concentration. In vitro protein digestibility (IVPD) decreased with heating time and BS concentration (p < 0.05). Sensory characteristics were affected by flavor concentration. By using 0% BS, 25% of the chicken flavor concentration, and a short heating time method, meat-like products with low TIA, high IVPD, and good sensory characteristics were obtained.     

应用德国PAR88挤出机生产PVC异型材的工艺研究

从控制PVC异型材挤出机的工艺参数的角度，分析并论述了挤出机工艺参数对PVC异型材低温落锤性能的影响。     

用快切装置替代备自投装置提高厂用电安全可靠性

指出目前厂用电切换装置存在的不足，分析了快切装置的基本原理以及厂用电事故下的成功快切对电厂安全生产的意义，说明了在厂用电切换中尽快应用快切装置的必要性。     

Scheduling railway traffic at a construction site

We consider the problem of rescheduling trains in the case where one track of a railway section consisting of two tracks in opposing directions is closed due to construction activities. After presenting an appropriate model for this situation we derive a polynomial algorithm for the subproblem of finding an optimal schedule with minimal latenesss if the subsequences of trains for both directions outside the construction site are fixed. Based on this algorithm we propose a local search procedure for the general problem of finding good schedules and report test results for some real world instances. Received: December 8, 1999 / Accepted: May 2, 2001     

8Li次级束的产生

在北京串列加速器次级束流线上通过2 H(7Li,8Li) 1H逆运动学反应产生了用于核天体物理研究的8Li次级束。准直后的次级束纯度达到 80 %以上 ,对于 44MeV的7Li强度约为 3 0s- 1·pnA- 1,可以用来进行逆几何转移反应的实验测量。     

泥沙的“旋浮”

阐述了螺旋管流中泥沙“旋浮”的机理，运动轨迹、含沙量分布、挟沙力及能耗诸方面的理论分析与试验结果，并讨论了它与悬浮的关系，为工程应用提供可靠的依据。