Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

Use of inverse gas chromatography to quantify interactions in amine cured epoxy resins

Flory–Huggins interaction parameters, λ, were determined for a series of probes in an amine cured epoxy resin matrix (433–493 K) and its precursors (324–363 K) by inverse gas chromatography (IGC). Hildebrand–Scatchard theory was combined with Flory–Huggins theory in order to estimate infinte dilution solubility parameters (δ₂) for the matrix and its precursors at 298 K. It was shown that the value of the solubility parameter for the cured resin matrix lies between those of its precursors. Compared to the majority of published work, an unusual aspect of this application of IGC is that solubility parameters have been determined when the stationery phases are (i) small molecules and (ii) a highly crosslinked polymer. Moreover, all possible attempts have been made to ensure equilibrium conditions between probe and stationary phase, and compensation for asymmetry of peak profile has been applied in determining δ₂. The solubility parameters estimated by IGC are in good agreement with those calculated by other methods.     

不锈钢绕带容器环板与绕带端头的焊接

本文通过焊接试验对奥氏体不锈钢绕带容器环板与绕带焊接工艺进行了研究分析,并得出了合理的焊接方法和工艺参数。     

采取具体措施 发挥教研室的职能作用

本文就如何发挥高校教研室的职能作用记述了本教研室所采取的具体方法和措施。     

Combined shape and sizing optimization of truss structures

 In this paper, an evolutionary optimization method is presented for weight minimum problem of a 3-dimensional truss structure in terms of nodal coordinates and element cross-sectional areas. The structure is subject to stress, local buckling and displacement constraints. Two types of design variables with different natures are optimized separately: (1) a fully stressed design (FSD) and scaling techniques are applied to sizing variables and (2) the evolutionary node shift method is applied to shape variables. Alternating procedure is utilized to couple the two types of variables and to combine the results. The optimum solution is achieved gradually from the initial configuration design. Two typical truss structures are examined to illustrate the validity of the method. Received: 22 October 2001 / Accepted: 04 June 2002 This research work is supported by the National Natural Science Foundation of China under the guarantees no. 10072050 and 10172072, respectively.     

Rhizobium trifolii capsular polysaccharide: a novel biopolymer with striking physical properties

The physical properties of the capsular polysaccharide of Rhizobium Trifolii (CPS) were investigated. Viscosity measurements provided information about the hydrodynamic volume of single coils, the perturbation of solvent flow and the shear-thinning behaviour of concentrated solutions. Changes in chain geometry and the development of an intermolecular network as a function of temperature were monitored using the techniques of optical rotation and dynamic oscillation. Finally, analysis of calorimetric thermograms elucidated the type of interactions between CPS and the bacterial levan. Overall, the Rhizobium polysaccharide was found to form thermally-reversible gels at an extremely low 'minimum critical gelling concentration' (c_o∼ 0.35gl^-1). At temperatures above the gel melting point (∼ 48°C), however, the compact polymer coils entangled at comparatively high concentrations (about 60 times higher than c_o). In the presence of a highly branched levan, the thermal stability of ordered CPS structures increased as a consequence of thermodynamic incompatibility between the two polymers.     

Discrete Modeling and Suggested Measurement of Heat Transfer in Gas-Solids Flows

This article presents a two-dimensional transient model for gas-solids flow and heat transfer through pipes using the coupled Computational Fluid Dynamics and Discrete Element Method approach. Numerical simulations have been conducted to examine the modification of fluid thermal structure due to the presence of particles in a pneumatic transport pipeline. Modeled results have demonstrated the key role of transversal motion of rebounding particles in the pipe cross section in altering fluid temperature. Further implementation of this modeling technique in air-drying processes is discussed and possible experimental methods for the measurement of in situ particle and fluid motion and temperature profile are cited.     

A New Variable Diffusion Drying Model for the Second Falling Rate Period of Paddy Dried in a Rapid Bin Dryer

The objectives of this article is to propose a new drying model for the second falling rate period known as the variable diffusion controlled period that follows after the first falling rate period and to propose a new method to determine the second critical moisture content that separates these two periods. Experimental work on paddy drying at minimum fluidization velocity was carried out in a rapid bin dryer. The effects of operating temperatures (60-120°C) and bed depths (2-6 cm) on the paddy drying characteristics were investigated. It was found that the normalized drying rate of paddy was proportional to the normalized moisture content in the first falling rate period but in the second falling rate period, the normalized drying rate of the material varies exponentially with the normalized moisture content. The different relationship between the normalized drying rate and the normalized moisture content in the first and second falling rate periods indicate that two different mechanism of moisture transport are at work. The new exponential model of the second falling rate period and the linear model of the first falling rate period were found to fit the experimental data very well. Derivation from variable diffusion equation shows that the linear model is the result of constant diffusion coefficient whereas the new exponential model is the result of linear diffusion coefficient. This also implies that the first falling rate period is a constant diffusion controlled period and the second falling rate period is a variable diffusion controlled period. In addition, drying kinetics data of a drying process that fits the exponential model over a very slow drying period will show that the drying process is under the effect of a linear diffusion coefficient. It was also found that the proposed new method to determine the second critical moisture content that distinguishes between the first and second falling rate periods by using a sudden change in the value of the drying rate gradient to a much lower value at that point is more rigorous and yet simpler than the method of determining the specific location of the receding drying boundary since it is based on the behavior of the actual drying kinetic data.