ERCM与数据库设计

本文介绍了一种实用的数据库设计方法，它以实体分析法为理论基础，通过对我们日常使用的表进行聚集和归类，完成数据库的逻辑设计，所设计的数据库满足ＢＮＯＦ范式。同时该方法可操作性较强，本文还介绍了自行设计的ＥＲＣＭ数据库辅助设计工具。     

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.     

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

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

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.     

FE Simulation for Internal Inversion of Aluminium Alloy Tube

1 Introduction A double-walled invertube is difficult to fabricate other than applying inversion process. Such kind of invertube can be used as impact energy absorbing element in transport vehicles, like aircrafts and automobiles. Reddy T Y[1] did the analysis of Internal inversion and calculated the inversion load. Reid[2] et al. examined nosing and internal inversion of cold drawn steel tube by the finite element package ABAQUS. Recently, Rosa P A[3] et al. investigated Internal invers…     

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.     

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.