超导／半导兼容材料的制作及性能分析

介绍了几种结构合理的超导／半导兼容材料的制作技术及其测试结果，重点讨论了超导体（ＹＢＣＯ）与半导体（Ｓｉ，ＣａＡｓ）间缓冲层的选取，并对这几种复合材料的性能作了较详细的分析。     

Dynamic analysis of the NPP pressure sensor system

The aim of the work was to develop on-line methods of control and diagnostics of pressure sensors at a NPP. The analysis was carried out along two lines:

1. i) The detection system including the sensor itself was modeled theoretically to obtain and study its transfer function, and to establish correspondence between the spectral characteristics of the pressure signal.

2. ii) The numerical processing of the signal using the AR technique to reconstruct the transfer function and evaluate the system's response, to a step impulse, as well as the spectral analysis. The hydraulic model presented indicate that the spectral lines observed at 10 Hz are due to longitu-dinal oscillations of water in the system branches, while the response time of the detection system is effectively the time of signal retardation in the porous ceramic diaphragms of the δ-cell of the sensor itself.

     

A scheduling decision aid in glass fiber manufacturing

A decision aid for scheduling production in glass fiber manufacturing industry is described. The methodology combines a linear programming (LP) optimization model with a heuristic model. The LP model determines production goals; the heuristic model then uses the LP output to incorporate system-specific constraints in developing processing sequences.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

温度,压力对漂移室气体增益的影响

研究了温度及气体压力对漂移室（工作于正比区）气体放大倍数的影响，温度和气体压力的变化范围分别是５￣４０℃及９０￣１０５ｋＰａ。用实验数据拟合得到了函数关系并测量了几种饱和度下函数中的参数值。     

用熔融还原的方法从浸钒渣中提镓——碳饱和情况下的熔融还原过程

用通用旋转组合设计的方法得到了浸钒渣在饱和碳的熔融还原过程中镓的还原提取率与温度,时间及CaO的加入量关系的非线性数学模型。用非线性优化的方法并综合考虑Fe,Mn的回收,得到了最优的工艺条件及结果;用Langmuir—Knudsen方程推算了镓在铁液中的理论挥发量与时间的关系,与由本模型得到的关系式是一致的。     

Fe—Ga—O系平衡测定

在钼丝炉内氩气保护下，利用固体电解质定氧探头测定了含镓１．８７％～６．２１％范围内Ｆｅ－Ｇａ－Ｏ三元系平衡时的氧活度，通过处理得到镓在铁液中的标准溶解自由能等热力学参数与温度的关系。     

The Stability of Rare Earth-Iron-Nitrides Sm_2(Fe,M)_(17)N_y,Permanent Magnets

The effects of the partial substitution of element M(M=Cr,V,Mn,x=0.05;Zr,Ga,x=0.017;Si,x=0.15;Co,x=0.10)for Fe in samarium-iron-nitride Sm_2(Fe_(1-x)M_x)_(17)N_y compounds on their stabilitiesand Curie temperatures have been studied.It is found that Co,Ga can raise the Curie temperature of thecompounds.The initial decomposition temperatures cannot be raised significantly by all the studied elementsexcept Co.The result contradicts the formation enthalpy consideration.The final decomposition tempera-tures can be raised by all of the substitution elements.The effects of atmospheres on their decomposition be-havior were also studied.The results show that oxidation is the major reason for magnetic deterioration ofthe powder heated in air.Compared with nitrogen atmosphere,argon or vacuum helps to delay the decompo-sition of the compounds.     

羧酸酯稀土对聚氯乙烯的热老化稳定作用研究

用热烘法研究了羧酸酯稀土对聚氯乙烯的热老化稳定作用。利用紫外／可见光谱分析跟踪共轭双键在热老化过程中的变化，比较ＣＥＲＥＳ，有机锡及两者的复合稳定剂的热老化稳定性能，发现ＣＥＲＥＳ与有机锡的稳定性能相当，复合稳定剂具有协同效应。