The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.     

填料萃取塔液泛速度的计算

介绍了三种有代表性的填料萃取塔的液泛速度计算公式，并通过它们用于三种典型的液-液实验体系和两种不同填料的计算结果的比较，对这些公式的适用范围进行了讨论。     

An equation of state for 1,1-difluroethane (HFC 152a)

An equation of state for 1,1-difluoroethane (HFC 152a, CH₃CHF₂) has been developed on the basis of reliable experimental data including PVT, liquid C_p, and saturated-liquid-density data measured by our group. It is a non-dimensionalized virial equation whose functional form is the same as that originally developed for 1,1,1,2-tetrafluoroethane (HFC 134a) in our group. The effective range is for pressures up to 15 MPa, temperatures from 230 to 450 K, and densities to 1000 kg m⁻³. The equation represents reliable PVT measurements within ± 1% in pressure for the superheated vapour and supercritical fluid, while within ±0.5% in density for the compressed liquid. In addition, it should be noted that the equation represents the other essential thermodynamic properties including vapour pressures, saturated-liquid/ vapour densities, isobaric/isochoric specific heats and sound velocity in both the liquid and gaseous phase of HFC 152a.     

Rule-based supervisory control of a two-link flexible manipulator

In this paper, we propose a two level hierarchical control strategy to achieve accurate end-point position of a planar two-link flexible manipulator. The upper level consists of a feedforward rule-based supervisory controller that incorporates fuzzy logic, whereas the lower level consists of conventional controllers that combine shaft position-endpoint acceleration feedback for disturbance rejection properties and shaping of the (joint) actuator inputs to minimize the energy transferred to the flexible modes during commanded movements. The effectiveness of this hierarchical control strategy is verified by experimental results for various movements of the links, in various configurations. In particular, we illustrate how the hierarchical intelligent control strategy performs better than conventional control techniques for endpoint position control in the presence of flexure effects.     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

Impact of uncertainties on estimations of heat pump cycle performance

Sensitivity analysis is used to show how uncertainties in basic factors, such as heat transfer, pressure drop, compressor efficiency, and thermophysical properties, influence the result of heat pump cycle performance estimations. By comparing the results of this analysis with uncertainty levels of estimations and experimental determinations, it is established to what extent improvements in accuracy are needed. The investigation was carried out for several different applications and, as working fluids, both pure substances and non-azeotropic mixtures were examined. It was found that evaporation heat transfer and compressor efficiency are two areas where improvements are needed. It is also shown that estimates using very accurate, substance-specific, equations of state differ from those using more general types by up to 1 % for COP and 2% for capacity.     

基于Patel-Teja状态方程的统一粘度模型(Ⅱ)应用于油气藏流体粘度的预测

基于(I)报根据pVT和Tμp图形的相似性和Patel-Teja状态方程建立的预测纯流体气、液相粘度的统一模型,通过引入常规的状态方程参数的混合规则,将其应用于二元轻烃混合物共计1894个数据点及模拟天然气高压粘度的预测,平均相对误差分别为13.78%和16.75%;应用于油藏原油和天然气高压粘度的预测,结果优于现有的有关油气藏流体粘度模型.     

Cooperative Effect Radiation Loss of Optical Pump Solid Laser

1 Introduction For increasing the output energy of laser, the pumping power must be enhanced. But the cooperative effect will arise and cause spontaneous radiation light in laser medium sample when the pumping power is high e- nough without the resonator. The spontaneous radiation light is coherent light between laser and fluorescent. It will compete the upper energy level population with ex- cited radiation, and the loss increase. In solid laser medium, such as Nd∶YAG, the Nd ion densityi…     

Quasi-static and dynamic crushing behaviors of aluminum and steel tubes with a cutout

Tubular members are commonly used as an energy absorber in engineering structures and many such members have a cutout. In this study, the crushing behaviors of tubes with a cutout are characterized and the effects of cutout on the energy absorption capabilities of these tubes are quantified. Systematic parametric studies were carried out to study the effect of material properties, including yield and ultimate strength of material, strain rate effect, location of cutout, tube length and impact speed on the crushing behaviors and energy absorption capacity of aluminum and steel tubes. First, a numerical model was constructed with a commercial explicit finite element code. It will be first proven that the numerical simulation can produce sufficiently accurate results in an economic manner. Subsequently, the crushing behavior of aluminum and steel tubes with a cutout was experimentally characterized and their energy absorption capacity was evaluated in terms of mean crushing force, peak crushing force and specific energy absorption (SEA). Tubes of various lengths with a cutout located at different locations, subject to both quasi-static and dynamic impact loadings were considered. For steel tubes, the numerical simulation investigated the influence of the strain rate effect and variation in strain hardening ratio of the material. Empirical equations describing the mean and peak crushing forces of aluminum and steel tubes with a cutout were developed using linear and nonlinear regression methods applied to the results obtained from the numerical and experimental studies.     

Water activity of multicomponent mixture of solutes and non-solutes

An equation has been derived to calculate the water activity (A_w) of multicomponent mixtures of solutes and non‐solutes. The equation is based on a previous Caurie adsorption equation and it depends on the number of component ingredients and the initial moisture contents of the ingredients in the mixture. Solute and non‐solute/water interaction effects in solution were identified as playing important roles in determining accurate equilibrium A_ws of the aqueous mixtures. The new equation allows for interaction effects in mixed solution/suspensions and has been tested on model foods (the data was taken from the literature) containing up to five solutes and non‐solute components. The equation displays a high degree of accuracy. Unlike the Ross equation, which applies only approximately to mixtures of dilute solutions, the new equation applies to mixtures at all solution concentrations and to wet solids.