A numerical model for the dissolution of spherical particles in binary alloys under mixed mode control

A general numerical model is described for the dissolution kinetics of spherical particles in binary systems for any combination of first order reactions at the particle-matrix interface and long distance diffusion within the matrix. The model is applicable to both finite and infinite media and handles both complete and partial particle dissolution. It is shown that interfacial reactions can have a strong effect on the dissolution kinetics, the solute concentration at the particle-matrix interface and the solute concentration profile in the matrix.     

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.     

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.