CIMS装配和拆卸生产线的可靠性分析

本文对ＣＩＭＳ装配线和拆卸线的可靠性问题进行研究。文中分析了它们的运行状况，求出了两种生产线的稳态可用度，并用一个例子加以说明。     

A bidding decision index for construction contractors

Results from applying the model on a sample of contractors, the majority of whom were international and operating in Egypt, reinforces the credibility of the developed methodology, claim the authors.     

基于STEP的零件加工工艺计划模型

为了满足ＣＩＭＳ环境下工艺系统与其它系统集成的需要，建立了标准工艺计划模型具十分重要的意义。本文描述了一个基于ＳＴＥＰ的零件加工工艺计划模型，介绍了建立这一模型的关键技术，给出了参照ＳＴＥＰ建立工艺计划模型的方法。     

转炉炼钢静态模型的初步探讨

根据转炉炼钢的物理化学反应机理，从质量平衡和能量平衡的计算出发，通过小参数变动，导出了增量式静态模型中矿石方程和供氧方程的系数。所得结论与新日铁资料基本相符。同时，还进行了炉料和产物的计算，分析了改变废钢比对生产的影响。     

Prediction of liquid–liquid phase diagrams of aqueous salt+PEG systems using a thermodynamic model

In this study a thermodynamic model for the phase behavior of aqueous salt+polymer solutions is developed. The model is based on the solution theory of Hill, which included scaling laws for the polymer molecular mass dependence and Pitzer–Debye–Hückel theory. This model was tested for systems composed of two different molecular mass of polyethylene glycols (PEG) and five different inorganic salts. All the model parameters were determined from independent measurements. The agreement between the experimental and predicted phase diagrams by this model is good.     

An investigation of water-gas transport processes in the gas-diffusion-layer of a PEM fuel cell by a multiphase multiple-relaxation-time lattice Boltzmann model

In order to study water-gas transport processes in the gas-diffusion-layer (GDL) of a proton exchange membrane (PEM) fuel cell system, a multiphase, multiple-relaxation-time lattice Boltzmann model is presented in this work. The model is based on the mean-field diffuse interface theory and can handle the multiphase flows with large density ratios and various viscosities. By using the standard bounce back boundary condition and an approximate average scheme for the non-slip and wetting boundary walls, respectively, detailed liquid-gas transportation in the GDL, in which exact boundary condition is difficult to be implemented, can be simulated. Unlike most of lattice Boltzmann methods based on the Bhatnagar–Gross–Krook collision operator, the present model shows a viscosity-independent velocity field, which is very important in simulating multiphase flows where various viscosities coexist. We validate our model by simulating a static droplet on a wetting wall and compare with theoretical predictions. Then, we simulate a water-gas flow in the GDL of a PEM fuel cell and investigate the saturation-dependent transport properties under different conditions. The results are shown to be qualitatively consistent with the previous numerical and theoretical works.     

Barrier layer effect of tantalum on the electromigration in sputtered copper films on hydrogen silsesguioxane and SiO2

As IC devices scale down to the submicron level, the resistance-capacitance (RC) time delays are the limitation to circuit speed. A solution is to use low dielectric constant materials and low resistivity materials. In this work, the influence of underlying barrier Ta on the electromigration (EM) of Cu on hydrogen silsesquioxane (HSQ) and SiO₂ substrates was investigated. The presence of a Ta barrier not only improves the adhesion between Cu and dielectrics, but also enhances the crystallinity of Cu film and improves the Cu electromigration resistance. The activation energy obtained suggests a grain boundary migration mechanism and the current exponent calculated indicates the Joule heating effect.     

Coalgebra morphisms subsume open maps

We relate two abstract notions of bisimulation, induced by open maps and by coalgebra morphisms, respectively. We show that open maps correspond to coalgebra morphisms for a suitable chosen endofunctor in a category of many sorted sets. This demonstrates that the notion of open-maps bisimilarity is of essentially coalgebraic nature. A central role in our development is played by a category of presheaves, which we show as corresponding to the subcategory of consistent coalgebras with lax cohomomorphisms.