激光热源形成过程的定量描述

研究了热传导方程的通解，进而提出激光热源形成的微观机理和热源形成过程的三个理论计算式。对激光热效应的应用具有指导意义。     

The TDCPR Management Mode of Engineering Equipment

The Three Gorges Project is a very large project,and its structure is very complex.Interna-tional advanced engineering equipment is broadly used.The state of equipment running directly influ-ences project building qualities and limited time.According to the factud conditions of the Three Gor-ges Project,the characteristics of engineering equipment are analyzed.At the same time ,some theories about equipment management are induced ,and the TDCPR management mode of engineering equip-ment of the Three Gorges Project is put forwared in order to gain the aim of managing and using equip-ment well and speeding up the project construction.     

抗氧剂于有机PTC热敏导电材料性能的稳定作用研究

探讨了抗氧剂在聚乙烯 乙烯 醋酸乙烯酯共聚物 炭黑 (PE EVA CB)体系中的作用。结果表明 ,在体系中加入抗氧剂可以提高材料体系的结构稳定性 ,从而可以在一定程度上改善材料的热电稳定性。当在体系中加入 2 .0 %(w)的抗氧剂时可收到良好效果。     

划分IC缺陷团的聚类算法

大量实验表明了在集成电路（IC）制造过程中形成中的缺陷团之间具有很强的相关性，然而现用于划分缺陷团的方法均忽略了缺陷之间的相关性。因此，得到了缺陷分布规律不能有效地反映缺陷在圆片上的分布，为了提高IC成品率和可靠性仿真和设计的精度，提高缺陷分布模型的准确性，该文提出了划分缺陷团的聚类算法，该方法依据缺陷形成的动力学基础，充分考虑了缺陷团之间的相关性，实验证明该算法用于划分IC的缺陷团是十分有效的。     

On Deciding Readiness and Failure Equivalences for Processes

In this paper, we study the complexity of deciding readiness and failure equivalences for finite state processes and recursively defined processes specified by normed context-free grammars (CFGs) in Greibach normal form (GNF). The results are as follows: (1) Readiness and failure equivalences for processes specified by normed GNF CFGs are both undecidable. For this class of processes, the regularity problem with respect to failure or readiness equivalence is also undecidable. Moreover, all these undecidability results hold even for locally unary processes. In the unary case, these problems become decidable. In fact, they are Π^p₂-complete, We also show that with respect to bisimulation equivalence, the regularity for processes specified by normed GNF CFGs is NL-complete. (2) Readiness and failure equivalences for finite state processes are PSPACE-complete. This holds even for locally unary finite state processes. These two equivalences are co-NP-complete for unary finite state processes. Further, for acyclic finite state processes, readiness and failure equivalences are co-NP-complete and they are NL-complete in the unary case. (3) For finite tree processes, we show that finite trace, readiness, and failure equivalences are all L-complete. Further, the results remain true for the unary case. Our results provide a complete characterization of the computational complexity of deciding readiness and failure equivalences for several important classes of processes.     

令牌多环网性能—可靠性综合评价

网络的性能与可靠性已分别得到广泛的研究,然而,怎样分析具有容错机制的环网的性能仍属有待开拓的研究领域,本文提出了一种分析具有自修复机制的多环网络系统的方法,并给出了报文传输时间分布的拉氏变换式,平均等待时间及平均队列长度公式,分析结果可用于评估故障与修复过程对实时令牌环网的实时响应特性的影响,对基于LAN的分布式实时系统设计具有指导意义。     

国外离子束系统（IBS）发展概况

综述了国外离子束刻蚀和沉积系统的研究进展，指出了离子束系统在半导体技术研究，开发和生产中的重要性。     

连铸铝镇静钢的钢水准备

在连铸生产铝镇静钢时,水口絮流一直是困扰工程技术人员的一个难题.从絮流的原因入手,分析了Al2O3生成的控制.并介绍了几种钢水钙化的方法,从中比较出用复合造渣材料来解决浇铸铝镇静钢的优点.     

The feature-based posterior crown design in a dental CAD/CAM system

This paper presents a newly developed CAD approach for a quick and accurate design of a dental posterior prosthesis. The approach arises from the basic idea that every human tooth has its own specific features. Based upon the features of the standard posterior tooth, the initial data containing the defined feature points are firstly acquired from the scanned points of the standard tooth. The standard prosthetic profile is thereby formulated using the bicubic Nurbs surface fitting technique. This profile has the two functions of possessing the same features with the patient’s missing posterior tooth, and the adjustability with the feature points and the defined B-spline profile feature curves. For the purpose of the adjustment of the established model, the global and occlusal feature curves are proposed considering the individual patient’s original information. According to these curves, the corresponding standard prosthetic profile is locally adjusted to meet the fit of the global size and occlusal surface. Finally, a close and continuous profile of a posterior crown is generated. Using this design, a posterior prosthesis is successfully manufactured in the computer-aided machining process.     

斯伦贝谢Scanner家族新成员—R_t Scanner简介

本文详细介绍了斯伦贝谢公司最近推出来的测井仪器—Scanner家族的三分量感应测井仪R_t Scanner。该仪器可以同时测量纵向和横向电阻率以及地层倾角和方位角的信息。同时还能够得到标准的阵列感应成像测井剖面。在薄层和低阻油层解释以及储层各向异性分析中显示了独到的优势,文中给出了一个油田应用实例,最后介绍了R_t Scanner的仪器规格。