铸铁热分析用试样新型激冷剂的实验研究

从冷却曲线上相变段倾角最小原则出发，研究了新型激冷剂的配比与热分析法检测铸铁成分精度的关系，实验结果表明，能使相变段倾角最小的成分配比，也能提高对铸铁成分的热分析和检测精度。     

聚四氢呋喃及其下游产品的开发应用

本文论述了聚四氢呋喃技术进展、氨纶弹性纤维发展现状和国内外聚四氢呋喃产能和需求。     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

西北地区节水灌溉市场与技术需求

西部开发需要大量的生态用水，从节水灌溉设备市场分析，节水灌溉专用泵阀、新型输水管材、高效低能喷微灌设备及材料的需求量很大，技术需求与亟待研究开发的关键技术和设备也很多。从西北地区水资源状况与需求看，节水灌溉市场有很大潜力。     

浅谈抽水蓄能电站的特点及其优越性

本文介绍了国外抽水蓄能电站的发展过程与现状，修建抽水蓄能电站的八大优点。为了改善我省电力系统的运行条件，提出了在我省修建抽水蓄能电站的四点建议。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

连续蒸煮器内洗涤结合器外扩散洗涤的应用

连续蒸煮器内洗涤结合器外扩散洗涤，具有洗涤时间长、洗涤效率高、提取黑液浓度高、浆层厚度均匀、浆层结构组织和浓度一致等特点，运行可靠，易于自动化控制，实现了洗涤用水的封闭循环。     

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.     

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.