有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误

Web应用服务器的可扩展管理模型及其实现

Web应用服务器是为事务性web应用提供一系列运行时服务的分布式系统。它既要管理多种不同类型的资源，又要集成以往成熟的网络管理协议和系统，因此，如何统一有效地管理Web应用服务器的资源、应用和服务成为实现web应用服务的一个难点。为此，本文基于JMX(Java~(TM) Management Extensions)技术，提出了一种可扩展管理模型，该模型具有较好的灵活性和开放性，可扩展能力强。同时，本文还给出了实现该模型的若干关键技术包括可扩展管理内核的实现技术、资源远程管理技术、服务可扩展管理技术。目前该模型已在我们研制的Web应用服务器 WebFrame2．O中成功实现。

Experimental investigation on TBAB clathrate hydrate slurry flows in a horizontal tube: Forced convective heat transfer behaviors

Tetra-n-butyl-ammonium bromide (TBAB) clathrate hydrate slurry (CHS) is one kind of secondary refrigerants, which is promising to be applied into air-conditioning or latent-heat transportation systems as a thermal storage or cold carrying medium for energy saving. It is a solid-liquid two phase mixture which is easy to produce and has high latent heat and good fluidity. In this paper, the heat transfer characteristics of TBAB slurry were investigated in a horizontal stainless steel tube under different solid mass fractions and flow velocities with constant heat flux. One velocity region of weakened heat transfer was found. Moreover, TBAB CHS was treated as a kind of Bingham fluids, and the influences of the solid particles, flow velocity and types of flow on the forced convective heat transfer coefficients of TBAB CHS were investigated. At last, criterial correlations of Nusselt number for laminar and turbulent flows in the form of power function were summarized, and the error with experimental results was within 20%.

Study on the hydrolysis/precipitation behavior of Keggin Al-13 and Al-30 polymers in polyaluminum solutions

The hydrolysis/precipitation behaviors of Al3+, Al-13 and Al-30 under conditions typical for flocculation in water treatment were investigated by studying the particulates' size development, charge characteristics, chemical species and speciation transformation of coagulant hydrolysis precipitates. The optimal pH conditions for hydrolysis precipitates formation for AlCl3, PAC(A113) and PAC(A130) were 6.5-7.5, 8.5-9.5, and 7.5-9.5, respectively. The precipitates' formation rate increased with the increase in dosage, and the relative rates were AlCl3 >> PAC(A130) > PACA113. The precipitates' size increased when the dosage increased from 50 mu M to 200 mu M, but it decreased when the dosage increased to 800 AM. The Zeta potential of coagulant hydrolysis precipitates decreased with the increase in pH for the three coagulants. The isoelectric points of the freshly formed precipitates for AlCl3, PAC(A113) and PAC(A130) were 7.3, 9.6 and 9.2, respectively. The Zeta potentials of AlCl3 hydrolysis precipitates were lower than those of PAC(A113) and PAC(A130) when pH > 5.0. The Zeta potential of PAC(A130) hydrolysis precipitates was higher than that of PACA113 at the acidic side, but lower at the alkaline side. The dosage had no obvious effect on the Zeta potential of hydrolysis precipitates under fixed pH conditions. The increase in Zeta potential with the increase in dosage under uncontrolled pH conditions was due to the pH depression caused by coagulant addition. Al-Ferron research indicated that the hydrolysis precipitates of AlCl3 were composed of amorphous AI(OH)3 precipitates, but those of PACA113 and PACA130 were composed of aggregates of Al-13 and Al-30, respectively. Al3+ was the most un-stable species in coagulants, and its hydrolysis was remarkably influenced by solution pH. Al-13 and Al-30 species were very stable, and solution pH and aging had little effect on the chemical species of their hydrolysis products. The research method involving coagulant hydrolysis precipitates based on Al-Ferron reaction kinetics was studied in detail. The Al species classification based on complex reaction kinetic of hydrolysis precipitates and Ferron reagent was different from that measured in a conventional coagulant assay using the Al--Ferron method. The chemical composition of Al-a, Al-b and Al-c depended on coagulant and solution pH. The Al-b measured in the current case was different from Keggin Al-13, and the high Alb content in the AlCl3 hydrolysis precipitates could not used as testimony that most of the Al3+ Was converted to highly charged Al-13 species during AlCl3 coagulation.

Corrosion inhibition of carbon steel in tetra-n-butylammonium bromide aqueous solution by benzotriazole and Na3PO4

The corrosion inhibition behavior of benzotriazole, Na3PO4 and their mixture on carbon steel in 20 wt.% (0.628 mol l(-1)) tetra-n-butylammonium bromide aerated aqueous solution was investigated by weight-loss test, potentiodynamic polarization measurement, electrochemical impedance spectroscopy and scanning electron microscope/energy dispersive X-ray techniques. The inhibition action of BTA or SP or inhibitors mixture on the corrosion of carbon steel is mainly due to the inhibition of anodic process of corrosion. The results revealed that inhibitors mixtures have shown synergistic effects at lower concentration of inhibitors. At 2 g l(-1) BTA and 2 g l(-1) SP showed optimum enhanced inhibition compared with their individual effects.

On the acid-base stability of Keggin Al-13 and Al-30 polymers in polyaluminum coagulants

The acid-base stabilities of Al-13 and Al-30 in polyaluminum coagulants during aging and after dosing into water were studied systematically using batch and flow-through acid-base titration experiments. The acid decomposition rates of both Al-13 and Al-30 increase rapidly with the decrease in solution pH. The acid decompositions of Al-13 and Al-30 with respect to H+ concentration are composed of two parallel first-order and second-order reactions, and the reaction orders are 1.169 and 1.005, respectively. The acid decomposition rates of Al-13 and Al-30 increase slightly when the temperature increases from 20 to ca. 35 A degrees C, but decrease when the temperature increases further. Al-30 is more stable than Al-13 in acidic solution, and the stability difference increases as the pH decreases. Al-30 is more possible to become the dominant species in polyaluminum coagulants than Al-13. The acid catalyzed decomposition and followed by recrystallization to form bayerite is one of the main processes that are responsible for the decrease of Al-13 and Al-30 in polyaluminum coagulants during storage. The deprotonation and polymerization of Al-13 and Al-30 depend on solution pH. The hydrolysis products are positively charged, and consist mainly of repeated Al-13 and Al-30 units rather than amorphous Al(OH)(3) precipitates. Al-30 is less stable than Al-13 upon alkaline hydrolysis. Al-13 is stable at pH < 5.9, while Al-30 lose one proton at the pH 4.6-5.75. Al-13 and Al-30 lose respective 5 and 10 protons and form [Al-13] (n) and [Al-30] (n) clusters within the pH region of 5.9-6.25 and 5.75-6.65, respectively. This indicates that Al-30 is easier to aggregate than Al-13 at the acidic side, but [Al-13] (n) is much easier to convert to Alsol-gel than [Al-30] (n) . Al-30 possesses better characteristics than Al-13 when used as coagulant because the hydrolysis products of Al-30 possess higher charges than that of Al-13, and [Al-30] (n) clusters exist within a wider pH range.

Hydrate dissociation conditions for gas mixtures containing carbon dioxide, hydrogen, hydrogen sulfide, nitrogen, and hydrocarbons using SAFT

A new method, a molecular thermodynamic model based on statistical mechanics, is employed to predict the hydrate dissociation conditions for binary gas mixtures with carbon dioxide, hydrogen, hydrogen sulfide, nitrogen, and hydrocarbons in the presence of aqueous solutions. The statistical associating fluid theory (SAFT) equation of state is employed to characterize the vapor and liquid phases and the statistical model of van der Waals and Platteeuw for the hydrate phase. The predictions of the proposed model were found to be in satisfactory to excellent agreement with the experimental data.

Control mechanisms for gas hydrate production by depressurization in different scale hydrate reservoirs

The methane hydrate was formed in a pressure vessel 38 mm in id and 500 mm in length. Experimental works on gas production from the hydrate-bearing core by depressurization to 0.1, 0.93, and 1.93 MPa have been carried out. The hydrate reservoir simulator TOUGH-Fx/Hydrate was used to simulate the experimental gas production behavior, and the intrinsic hydration dissociation constant (K-0) fitted for the experimental data was on the order of 104 mol m(-2) Pa-1 s(-1), which was one order lower than that of the bulk hydrate dissociation. The sensitivity analyses based on the simulator have been carried out, and the results suggested that the hydrate dissociation kinetics had a great effect on the gas production behavior for the laboratory-scale hydrate-bearing core. However for a field-scale hydrate reservoir, the flow ability dominated the gas production behavior and the effect of hydrate dissociation kinetics on the gas production behavior could be neglected.