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.     

浅谈书籍装帧设计

“佛靠金装，人靠衣装”。封面设计是书籍装帧设计的重要内容。封面设计要体现书的内容、性质、色彩要考虑读书对象、文化层次，装帧设计给人以美的感觉。     

反向凝固法生产H90-钢-H90复合带

研究H90-钢-H90反向凝固复合过程中复合层厚度的变化规律以及复合带的组织和性能，探讨界面结合机理。结果表明：随着浸渍时间的增加，复合层的厚度变化经历了凝固生长、平衡相持和回熔3个阶段，钢带的预热温度越低，获得的最大复合层厚度越厚；H90复合层的组织为等轴晶粒，复合界面处Cu和Fe发生了扩散，而Zn未发生明显扩散，扩散层较薄，约为4μm；复合带的界面结合牢固；不同复合层厚度的复合带，其力学性能略有差异，但均达到GB5213——85所规定的F级深冲钢板的力学性能要求。     

水轮机调速器现代调节技术及选型

对目前比较先进的微机调速器的两种系统结构进行了分析，并对微机调节的控制策略和调节参数的设置及系统配置等作了介绍，并提出了对凋速器技术性能的评价标准和调速器选型时的突出问题，可为实际应用提供参考。     

给水铜管分水布置的支管缩径可行性分析

住宅给水铜管分水布置是一种技术可行、经济合理的管道布置方式。在确定了管道的设计要求后,分析了分水缩径后的流速情况,明确了分水布置方式中支管缩径的技术状况。分析表明,支管缩径是可行的。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

利用相对坐标轻松完成网格袋布局

网格袋布局管理器是java布局中最有用、最灵活、最复杂、最难掌握的一种布局管理器,实际上,如果我们明白了在布局时它利用了单元格相对坐标定位这一点,以及各个约束条件在布局中的作用,网格袋布局也会变得很轻松。     

A hybrid extended finite element/level set method for modeling phase transformations

A hybrid numerical method for modelling the evolution of sharp phase interfaces on fixed grids is presented. We focus attention on two‐dimensional solidification problems, where the temperature field evolves according to classical heat conduction in two subdomains separated by a moving freezing front. The enrichment strategies of the eXtended Finite Element Method (X‐FEM) are employed to represent the jump in the temperature gradient that governs the velocity of the phase boundary. A new approach with the X‐FEM is suggested for this class of problems whereby the partition of unity is constructed with C¹(Ω) polynomials and enriched with a C⁰(Ω) function. This approach leads to jumps in temperature gradient occurring only at the phase boundary, and is shown to significantly improve estimates for the front velocity. Temporal derivatives of the temperature field in the vicinity of the phase front are obtained with a projection that employs discontinuous enrichment. In conjunction with a finer finite difference grid, the Level Set method is used to represent the evolution of the phase interface. An iterative procedure is adopted to satisfy the constraints on the temperature field on the phase boundary. The robustness and utility of the method is demonstrated with several benchmark problems of phase transformation. Copyright © 2002 John Wiley & Sons, Ltd.     

Hybrid LES — Review and assessment

In the late eighties and up to the beginning of nineties computation of turbulent flows is mostly dominated by RANS (Reynolds Averaged Navier-Stokes Simulation) type modelling. During the last few years URANS (Unsteady RANS) and LES (Large Eddy Simulation) type of approaches have been attempted with some success. Yet, there have been many difficulties when LES is applied to practical engineering problems and to high Reynolds number flows as energy dissipating eddies become really small and mesh resolution required for a reasonably resolved LES approaches that of DNS (Direct Numerical Simulation). An alternative solution suggested was to combine RANS and LES, which in general referred to as Hybrid LES. There have been many proposals for combining RANS and LES in different ways. In this article, some of the issues involved in performing hybrid LES reported in the recent literature is briefly reviewed.     

Influence of Ni Interlayers on the Mechanical Properties of Ti6Al4V/(WC-Co) Friction Welds

Ni interlayers were introduced prior to dissimilar friction welding of Ti6Al4V base material to three cemented carbide substrates. The fracture strength of Ti6Al4V/(WC-6 wt% Co) welds were poor and were markedly improved when 20-µm thick Ni interlayers were introduced prior to dissimilar friction welding. These results were only produced when the (WC-6 wt% Co) cermet was electroplated prior to friction welding. When the Ti6Al4V alloy was electroplated prior to friction welding, fractured WC particles and cracking were observed in the (WC-Co) carbide substrate. The fracture strengths of Ti6Al4V/(WC-11 wt% Co) and Ti6Al4V/(WC-24 wt% Co) welds were not improved when 20-µm thick Ni interlayers were introduced prior to friction welding. During mechanical testing, the Ni layer retained at the dissimilar joint interface created a region of weakness.