Natural dyestuff of luteolin was isolated and used to dye wool fabric in this paper. Ethanol extraction and high-speed countercurrent chromatography (HSCCC) were used to extract and purify the luteolin from the peanut shell, and the structure of the isolated luteolin was characterized with FTIR techniques. The interaction between dyestuff and fiber was preliminarily discussed through thermodynamic study and supramolecular structure simulation to explain the intrinsic reasons why the color fastness was low when luteolin was applied to dyeing wool fabric. The extraction condition and purification parameter were as follows: 65% ethanol, ratio of material to liquid 1:20, 80˚C, 3 h, chloroform-methanol-water (4/3/2, V/V), 800 rmp/min, 2.0 Mkpa, 0.5 mL/ min and 280 nm. The results of dyeing thermodynamics showed that the sorption isotherm of luteolin on wool fabric was consistent with Nernst model and similar to the disperse dyestuff. With molecular simulation, luteolin and glycin composed 8 stable complexes whose Laplacian values all were greater than 0, which suggested typical hydrogen bonds existing. The complex with three hydrogen bonds was proved the most stable. Both studies on thermodynamics and supramolecular simulation revealed that luteolin on wool fabric mainly depended on the weak hydrogen bonds interaction that determined the low dyefastness.

As modern complex computer systems become increasingly sophisticated and data-intensive, people have long recognized the importance of precisely and unambiguously specifying them with formal methods. This paper advocates the use of Object-Z, a formal specification language, in the description of complex systems. Object-Z is an extension to the Z language to facilitate specification in an object-oriented style. First, we informally describe the syntax and semantics of Object-Z, highlighting those features that facilitate decomposing a large system into a collection of underlying objects and thus separating concerns. Then, we demonstrate the use of Object-Z by presenting a case study of a petrol supply system, illustrating how the system runs by communicating the constituent objects. Finally, we discuss several issues we encountered in this exercise, which may serve as feedback to the development of Object-Z.

Remote sensing image interpretation is one of the commonly methods to extract saline-alkali land. But it can only extract saline-alkali land of unused land, can not divide the types of slightly saline-alkali land, moderately saline-alkali land and severely saline-alkali land. On the basis of remote sensing image interpretation of 2010, the paper calculated the relationship between saline-alkali land degrees and the normalized difference vegetation index (NDVI), elevation, soil type, groundwater, river, urban expansion. Use AHP and Delphi to assign weights, calculate values, and overlay the layers, then concluded the degrees of saline-alkali land.