Relationship between Transformation Temperature and Time-Temperature-Transformation Curves of Tetragonal-to-Monoclinic Martensitic Transformation in Zirconia-Yttria System

The tetragonal → monoclinic ( t → m ) martensitic phase transformation in ZrO₂–0.5–4 mol% Y₂O₃ proceeds during isothermal aging at various temperatures from 350 to 800 K; i.e., the transformation increases sigmoidally with aging time. The time-temperature-transformation ( T - T - T ) curves show a typical C shape, with very high rate for lower Y₂O₃-content specimens, and the rate decreases with higher Y₂O₃ content. The transformation temperature ( M _s) of the t → m transformation obtained from dilatation curves during the cooling stage coincides well with C curves above the nose temperature. The t → m transformation should occur isothermally, as suggested by a nucleation and growth mode.     

Formal verification of collaboration patterns in healthcare

We propose a computer-based framework for the formal verification of collaboration patterns in healthcare teams. In this, the patterns are constructed diagrammatically as compositions of keystones that are viewed as abstract processes. The approach provides mechanisms for ensuring that safety properties are enforced and exceptional events are handled systematically. Additionally, a fully verified, executable model is obtained as an end product, enabling a simulation of its associated collaboration scenarios.     

Drawing layered graphs with port constraints

Complex software systems are often modeled using data flow diagrams, in which nodes are connected to each other through dedicated connection points called ports. The influence a layout algorithm has on the placement of ports is determined by port constraints defined on the corresponding node.In this paper we present approaches for integrating port constraints into the layer-based approach to graph drawing pioneered by Sugiyama et al. We show how our layout algorithm, called KLay Layered, progresses from relaxed to more restricted port constraint levels as it executes, and how established algorithms for crossing minimization and edge routing can be extended to support port constraints. Compared to the previous layout algorithms supporting ports, our algorithm produces fewer edge crossings and bends and yields pleasing results.We also explain and evaluate how layout algorithms can be kept simple by using the concept of intermediate processors to structure them in a modular way. A case study integrating our layout algorithm into UC Berkeley's Ptolemy tool illustrates how KLay Layered can be integrated into Java-based applications.     

高砷铜精矿浸出液制备砷酸铜及热力学研究

高砷铜精矿浸出液中因含砷较高存在砷害问题,砷回收利用具有重要的意义。研究针对某高砷硫化铜精矿除杂后的浸出液,探讨了以砷酸铜形式综合利用砷的热力学及工艺参数。绘制了Cu-As-H2O系电位-pH图,进行了砷酸铜制备工艺过程的热力学分析,对净化后的某高砷硫化铜精矿浸出液,以氨水为中和剂,当pH=5.0~8.0,温度80~90℃时,制得了CuAs2O4、C4H6As6Cu4O16、Cu5As2O10.5H2O、Cu5As4O15.9H2O、Cu2AsO4OH.3H2O及Cu2AsO4OH 6种不同结构的砷酸铜,沉砷后溶液中砷含量为9.11~35.82 mg/L。     

Thermodynamic properties of ni nitrides and phase stability in the Ni-N system

The thermodynamics of the Ni-N system is poorly known from experiments, and there is a need of information on the stability of the various nitride phases and the Ni-N phase diagram. This kind of information has been obtained by us, by combining the few measurements available with predictions, based on recently reported regularities in bonding properties and vibrational entropy of 3d transition metal compounds. A calculated Ni-N phase diagram is presented. A certain range of homogeneity for the hexagonal nitride phase is obtained, which is comparable to that of other 3d transition metal-nitrogen systems. The question of the possible existence of a stable Ni₄N phase is examined. According to our results, Ni₄N is metastable in the Ni-N system.     

PCB设计流程的改进研究

为更好地适应集成电路产业的高速发展,针对传统的印刷电路板设计方法进行了改进,引入中心库并对其进行优化,同时在原理图设计和印刷电路板设计之间引入了一个公共数据库.实验结果表明:该方法在缩短印刷电路板的设计周期和降低设计成本方面有明显改善.     

Na0.5Bi0.5TiO3 phase relations: Thermodynamics and phase equilibria in the systems Bi2O3 – TiO2, Na2O – TiO2, and Na2O – Bi2O3 – TiO2

The lead-free piezoelectric material sodium bismuth titanate (NBT, Na_0.5Bi_0.5TiO₃) has attracted considerable attention owing to its promising dielectric, piezoelectric, and electrical properties. However, the literature on the binary subsystems is contradictory and there are only limited data for the ternary system. The present work surveys all of the reports of the binary subsystems Bi₂O₃ – TiO₂ and Na₂O – TiO₂ and synthesizes these data into inclusive revised versions. The compatibilities for the ternary system Na₂O – Bi₂O₃ – TiO₂ were determined experimentally, thus enabling the construction of a complete isothermal section at 800 °C. The compatibilities associated with the problematic binary subsystem Na₂O – Bi₂O₃, which experiences extreme volatilisation, were determined through the generation of the absent standard-state thermodynamic functions for the relevant binary and ternary phases, thus providing a full suite of thermodynamic data for this system. The thermodynamic stability diagrams for Na₂O, Bi₂O₃, and TiO₂ thus were calculated. The isothermal section also addresses the contradictions in the literature concerning the formation of solid solutions of Bi₁₂TiO_20-x / Bi_12-xTi_1+xO_20+0.5x, pyrochlore (Bi₂Ti₂O₇ / Na_wBi_2-xTi_2-yO_7-z), BTO (Bi₄Ti₃O₁₂ / Na_xBi₄Ti₃O_12+0.5x), and NBT (Na_0.5Bi_0.5TiO₃ / Bi_1±xNa_xTiO_3.5±x). Further, it was observed that the congruent melting point of NBT, which was determined to be 1225 °C, was preceded by the onset of gradual structural destabilization at 940 °C. Also, the NBT rhombohedral → tetragonal phase transformation was observed at an onset temperature of ∼250 °C. The present work thus provides platform data for the fabrication and reactivities of materials in the ternary system Na₂O – Bi₂O₃· TiO₂ and its binary subsystems.     

Evaluation of form data using computational geometric techniques—Part I: Circularity error

The present work deals with evaluation of form error from the measured profiles obtained using a form tester, namely roundness/cylindricity measuring instrument. In Part I, details of circularity evaluation are presented. Due to eccentricity in component setting and radius-suppression inherent in the measurement, circularity error has to be evaluated with reference to a limacon. A computational geometry-based algorithm is proposed for establishing minimum circumscribed, maximum inscribed and minimum zone limacons. A new type of control hull for directly constructing equi-angular diagrams and a new procedure for updating are introduced. Validation has been done with bench-mark data set and corresponding results available in the literature. Being geometry-based algorithm, it is simple to follow and each iteration can be visualized and interpreted geometrically. On comparison with simplex search method, the proposed algorithm is found to be computationally efficient in terms of accuracy and time taken. The proposed methods can be easily implemented in computer-aided roundness measuring instruments. Extension of this work for evaluation of cylindricity error has been dealt in Part II.     

Design criteria for high-temperature steels strengthened with vanadium nitride

Fe-8-12Cr ferritomartensitic steels are widely used in the power generation, petrochemical and nuclear industries where they are subject to high operating temperatures and stresses. Resistance to creep deformation is therefore a critical materials property. One method of providing creep resistance is to precipitate a fine homogeneous distribution of vanadium nitride (VN) particles in the matrix. Maximizing this precipitation hardening effect requires a high nitrogen content, but this could cause gas bubble formation during conventional fabrication processes. It is therefore necessary to determine how much N can be added without encountering such problems. Phase stability calculations, using Thermo-Calc, were carried out to find high-N compositions to optimize the fraction of VN and the fabrication route for obtaining fine particles. Several experimental compositions, including nine high-nitrogen alloys, were fabricated as ingots; out of these, two exhibited porosity Thermo-Calc predicts that, in all of the high-nitrogen alloys, nitrogen gas is a stable phase around the solidus temperature. It is evident that porosity cannot simply be predicted from the presence of the gas phase on the equilibrium diagram. However, detailed analysis of the equilibrium phases predicted in these alloys, including their variation with composition, allowed a porosity criterion to be obtained. This criterion links porosity formation to the nature of the liquid-to-solid transformation. Further calculations were carried out to predict the dependence of gas phase evolution on both composition and pressure. Thermodynamic calculations are a valuable tool for the design of these industrially important alloys. Input from experimental data has enabled the refinement of the initial design criteria such that it should now be possible to propose compositions with high VN hardening but without the risk of porosity. This paper was presented at the International Symposium on User Aspects of Phase Diagrams, Materials Solutions Conference and Exposition. Columbus, Ohio, 18–20 October, 2004.     

NEW METHODS FOR CALCULATING ACTIVITIES OF COMPONENTS FROM PHASE DIAGRAMS IN BINARY PERITECTIC SYSTEMS

ＮＥＷＭＥＴＨＯＤＳＦＯＲＣＡＬＣＵＬＡＴＩＮＧＡＣＴＩＶＩＴＩＥＳＯＦＣＯＭＰＯＮＥＮＴＳＦＲＯＭＰＨＡＳＥＤＩＡＧＲＡＭＳＩＮＢＩＮＡＲＹＰＥＲＩＴＥＣＴＩＣＳＹＳＴＥＭＳ①ＺｈａｎｇＹｏｎｇｊｕｎＨｕｎａｎＳｕｐｅｒｉｏｒＴｅｃｈＭａｔｅｒｉ...