On collaborative content distribution using multi-message gossip

We study epidemic schemes in the context of collaborative data delivery. In this context, multiple chunks of data reside at different nodes, and the challenge is to simultaneously deliver all chunks to all nodes.     

Application of a Three-dimensional Wind Driven Circulation Model to Assess the Locations of New Drinking Water Intakes in Lake Ontario

A 3D transport model is used to perform a comparative analysis of several potential drinking water intakes located along the northwest shore of Lake Ontario between Toronto and Oshawa. The model is specifically used to assess each intake under both long- and short-term transport of a potential pollutant release from the Pickering Nuclear Generating Station and potential and actual pollutant releases from local land sources respectively. A model based on a 500 m grid resolution is calibrated using data collected in the aftermath of the 1992 tritium spill at the Pickering Nuclear Generation Station and subsequently used to simulate long-term transport. A model based on a 100 m grid resolution is verified using drogue studies and used to simulate short-term transport events. Both models are used to assess pollutant levels at each of nine potential intake locations under different wind scenarios and pollutant releases. Field data for the study included water quality and flow measurements from local sewers and rivers, and estimates of pollutant levels from the local waste water treatment plants. This paper describes the model setup for both the long-term and short-term transport models, calibration using field data, long-term transport modeling, short-term transport modeling, and the comprehensive analysis approach used to evaluate the nine potential intake locations proposed. Results indicated that four intakes in particular outperformed other intake locations by maintaining bottom pollutant levels within governmental standards and warning times that exceeded 20 hours.     

Teaching-Material Design Center: An ontology-based system for customizing reusable e-materials

Use of electronic teaching materials (e-material) to support teaching is a trend. e-Material design is therefore an important issue. Currently, most e-material providers offer a package of solutions for different purposes. However, not all teachers and learners need everything from a single package. A preferable alternative is to find useful material from different packages and combine them for a particular course. Currently, most educators collect the material manually, which is time-consuming and may result in missed material. In this paper, we describe a system – the Teaching-Material Design Center, which follows the standard of Sharable Content Object Reference Model – to separate e-material for use as teaching templates and learning objects and to label the material with use of semantic metadata for searching. This system can find existing teaching templates and learning objects for e-material designers and provide a convenient environment for constructing customized e-material for different requirements. We describe the implementation and evaluation of the proposed system for a course. Our system is efficient in finding teaching templates and learning objects and shortening the e-material development process.     

A Mass Transport Model for Drying Wood under Isothermal Conditions

Mass transport in wood during drying can have different mechanisms at different periods of drying. Depending on the current moisture content (MC) and the structure of the wood, the driving forces for the mass transport are essentially different. Above the fiber saturation point (FSP), the lumens are partially saturated and the transport of liquid (free) water occurs as a consequence of capillary action. On the other hand, below the FSP, bound water within the cell walls is conveyed by diffusion, and water vapor in the lumens moves under influence of pressures gradient. Based on these considerations, a unified model is presented that takes into account the transport of the different moisture phases. Simulation of the drying of a Norway spruce sample at 50°C from about 135 to 7% MC is carried out using the finite element method (FEM). Comparison between the simulated average MC and the experimental observations obtained from X-ray computed tomography (CT) shows reasonable agreement. Possible simplifications in the model are briefly discussed as well as some aspects of the numerical implementation. Finally, the influence of absolute permeability on the average MC is studied.     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

氧浓度对近临界水中纤维素分解的影响

研究了不同初始氧浓度对纤维素在近临界水中分解的影响，实验结果表明，氧浓度显著地影响产物总碳收支平衡，液相不同组分的收率、气体的产量以及气相产物的组成，微量氧对产物总碳收支平衡影响不大，而对液相不同组分的收率有一定的影响。从实验结果可以看出，离子型反应机理在纤维素水解的第一步中起主导作用。而单糖的进一步分解是一个以自由基反应机理为主的过程。     

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.     

热力除氧器运行特性实验研究

在热力除氧器实验装置上，对研制的新型除氧器进行了稳态运行特性和动态运行特性实验，得到了除氧器的各种运行特性曲线。研究结果表明，由于对喷嘴和填料进行改进，建立起有利于除氧的传热传质条件，使所研制的除氧器具有良好的稳态及动态运行特性，除氧效果优良。     

云南省水环境状况及问题分析

根据2000年云南省主要河流水质监测评价结果，全省评价河段总长9280km中，水质为Ⅰ－Ⅲ类的河长占76．3％，总体上，云南省内各大水系水质良好，但水污染总体上正在加重，从1985－2000年，Ⅰ类河长年均减少2．3％，V类河长年均增长0．6％，废污水直接排入江河是引起污染的重要原因。水环境问题已成为社会经济可持续发展的关键问题，要切实加强水资源的保护，科学地开发利用水土资源，为了有效地改善水环境的质量，污染控制应从源头开始并采取综合治理措施。