基于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.     

Iterative finite element model of nonlinear viscoplastic analyses for blended granular porous media

The iterative finite element model, in which an element is used to represent a single particle, is generated to analyze the global behavior of multiple-material aggregates of materially nonlinear viscoplastic particles. The generalized Maxwell model is used to define four types of specific nonlinear viscoplastic materials, which are the elasto visco-plastic matter with linear viscosity, the plasto visco-plastic material with linear viscosity, the elasto visco-plastic media with nonlinear viscosity, and the plasto visco-plastic media with nonlinear viscosity. The theory and relevant penalty iterative algorithm are developed to analyze the four representative mixed granular systems consisting of materially nonlinear viscous particles. To verify precision of stress calculation, solutions of an axis-symmetric radial flow problem are compared with results of the literature and they are in a great agreement. The results present here provide significant insight into the fundamental behavior of granular media under compaction conditions, including prediction of the overall aggregates stress-strain response.     

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.     

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.     

Perceived risk for influenza in veterans with spinal cord injuries and disorders.

Objective: Guided by the extended parallel process model (EPPM), the objective was to assess control processes dominant in influenza behavior decisions. Design: Cross-sectional survey. Results: Response rate was 31% (n=968). Regarding influenza risk, 59% were in danger control. Those in fear control were more likely to report influenza infection (p=.000). In the nonvaccinated, those in fear control were more likely to indicate not knowing where to get the vaccine (p=.016) and that it was unavailable (p=.027), and those in danger control believed they did not need it (p=.023). Zero critical values were more likely to indicate that no health provider recommended the shot (p=.002). Conclusions: Most perceived efficacy to be stronger than threat related to influenza; according to the EPPM, they are aware of their risk but recognize their ability to avert it. For those in danger control, messages should focus on increasing perceptions of severity and susceptibility to positively affect behavior change. For those in fear control, messages should focus on efficacy only. With a critical value of zero, no threat is induced, and a high-threat/high-efficacy approach should be taken. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A frame-based knowledge representation model and its mapping to nested relations

The first part of this paper introduces the basic constructs of a frame representation model and gives a formal definition for them. Subsequently the nested relational model (NF²) is described as an extension of the classical relational model to support relation-valued attributes. In the second part of this paper both models are compared with each other and a mapping of frame representation structures to NF² structures is specified. The structural similarities between frames and NF² relations are made clear and it is shown that their main difference is due to the type polymorphism introduced by the concept hierarchy of the frame model. This causes type collisions to occur in the strictly typed NF² model when frames are directly mapped to NF² structures. Two solutions to this problem are suggested and compared. The paper concludes with a reformulation of query operations of the frame model in terms of NF² algebra operations.