热力学相图计算技术在闪速燃烧合成氮化硅铁中的应用

将热力学相图计算技术应用于Si-Fe-O-N体系,以评估由FeSi75粉闪速燃烧合成氮化硅铁的条件和目标产物。结果表明:将闪速燃烧温度控制在1200～1500℃之间较为适宜,此时平衡态产物中除主要含有Si3N4以外,还有一定量的Fe与Si间化合物和少量稳定的SiO2存在。此计算结果与实际试验结果吻合良好。     

Validation of a Method of Determination of Apparent Diffusivity Versus Composition in Solids

A method is presented for computing the values of apparent diffusivity in solids with respect to the concentration of the diffusing substance (water or sodium chloride). This method does not require any assumption upon the mathematical relationship between diffusivity and concentration. It can be applied to experimental measurements of local concentration versus position within the solid (profiles) with relatively few measurements (circa 10) and a mathematical smoothing of the experimental data by using an artificial neural network model. The method was first validated on simulated data obtained by using a constant diffusivity value and on experimental profiles when the relation between diffusivity and concentration was given. It was then applied to original experimental moisture profiles obtained by putting gelatin gels with different initial moisture contents into contact for up to 14 days. The method was also successfully applied to five sets of experimental moisture and sodium chloride profiles taken from the literature and obtained from different food products. Apparent diffusivities calculated by our method were found in agreement with those obtained by authors using different numerical methods to compute the diffusivity values.     

Apollonius tenth problem via radius adjustment and Möbius transformations

The Apollonius Tenth Problem, as defined by Apollonius of Perga circa 200 B.C., has been useful for various applications in addition to its theoretical interest. Even though particular cases have been handled previously, a general framework for the problem has never been reported. Presented in this paper is a theory to handle the Apollonius Tenth Problem by characterizing the spatial relationship among given circles and the desired Apollonius circles. Hence, the given three circles in this paper do not make any assumption regarding on the sizes of circles and the intersection/inclusion relationship among them. The observations made provide an easy-to-code algorithm to compute any desired Apollonius circle which is computationally efficient and robust.     

多处理器系统中的数据局部性及其优化技术研究

数据局部性是多处理器系统中的重要研究方向之一。结合该领域目前国内外研究现状和我们近一阶段的研究进展，讨论了多处理器系统中的数据局部性及其优化问题。针对现有局部性度量模型存在的不足，提出了一种增强的可用于层次式并行计算机体系结构的局部性度量模型。在静态和动态局部性优化技术方面，分别探讨了基于投影分层的数据变换框架和基于瞬时访问信息的动态页迁移策略，并展开了系列相关的讨论。另外，针对利用数据局部性时必须解决的一个关键问题--存储一致性问题，进行了深入的研究，提出了以操作系统为中心的线程存储一致性模型。     

Solving thermal and phase change problems with the eXtended finite element method

 The application of the eXtended finite element method (X-FEM) to thermal problems with moving heat sources and phase boundaries is presented. Of particular interest is the ability of the method to capture the highly localized, transient solution in the vicinity of a heat source or material interface. This is effected through the use of a time-dependent basis formed from the union of traditional shape functions with a set of evolving enrichment functions. The enrichment is constructed through the partition of unity framework, so that the system of equations remains sparse and the resulting approximation is conforming. In this manner, local solutions and arbitrary discontinuities that cannot be represented by the standard shape functions are captured with the enrichment functions. A standard time-projection algorithm is employed to account for the time-dependence of the enrichment, and an iterative strategy is adopted to satisfy local interface conditions. The separation of the approximation into classical shape functions that remain fixed in time and the evolving enrichment leads to a very efficient solution strategy. The robustness and utility of the method is demonstrated with several benchmark problems involving moving heat sources and phase transformations. Received 20 May 2001 / Accepted 19 December 2001     

Use of a YAP1 overexpression cassette conferring specific resistance to cerulenin and cycloheximide as an efficient selectable marker in the yeast Saccharomyces cerevisiae.

Drug-resistance markers for yeast transformation are useful because they can be applied to strains without auxotrophic mutations. However, they are susceptible to technical difficulties, namely lower transformation efficiency and the appearance of drug-resistant mutants without the marker. To avoid these problems, we have constructed a phosphoglycerate kinase (PGK) promoter-driven YAP1 expression cassette, called PGKp-YAP1. Yeast cells containing PGKp-YAP1 were resistant to cycloheximide, a protein synthesis inhibitor, and also to cerulenin, a fatty acid synthesis inhibitor, but not to other drugs tested. The transformation efficiency of PGKp-YAP1 using cerulenin selection was comparable to that using a URA3 auxotrophic marker when low concentrations of cerulenin were used. Non-transformed drug-resistant colonies did appear on the low-concentration cerulenin plates. However, these non-transformed colonies could easily be identified, based on their cycloheximide sensitivity and/or their resistance to aureobasidin A to which the transformants were sensitive. Therefore, the dual drug resistance of PGKp-YAP1 could be used as an effective selection for PGKp-YAP1 recipient cells. The PGKp-YAP1 marker was used to disrupt the LYS2 gene and to transform an industrial yeast strain, indicating that this marker can be used for efficient and reliable gene manipulations in any Saccharomyces cerevisiae strain.     

Computing distance transformations in convex and non-convex domains

It is shown that the well known two-pass sequential local transformation algorithm for computing a distance transformation in rectangular domains may fail in some convex integer domains, but that a four-pass algorithm is sufficient in all two-dimensional convex domains. For non-convex domains the number of passes necessary is shown to be generally greater. Two propagation algorithms for computing the distance transformation are described and shown theoretically and experimentally to be computationally more efficient than the sequential local transformation algorithm in non-convex domains of complex shape. The relationship of the distance transformation in non-convex domains to some more general transformations is explored.     

可拓市场的类型与实现方式研究

根据可拓市场的概念，探讨了在不同可拓变换下可拓市场的类型及实现可拓市场的方式。这些研究为企业开拓市场提供了有效的形式化方法。     

新型微波-毫米波幅相测试系统及扩展应用

介绍了一种新型微波 毫米波幅相测试系统及其在相关测试领域中的典型应用。与传统微波幅相测试系统相比 ,该系统具有原理新颖、结构简单、扩展频段容易和使用方便等优点。本系统目前广泛应用于紧缩场电气性能检测、天线测量和RCS测量等领域中 ,频率范围为 1～ 110GHz。本测试系统已经申请国家专利 ,并通过相关部门鉴定。     

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.