钢／铝合金液固相复合工艺的研究

通过正交试验研究了各工艺量数以钢／铝合金液固相复合性能的影响，最佳工艺条件为铝合金液体温度７９０℃，钢板表面处理为酸洗＋钢刷＋５％的氟钛酸钾助焊剂，复合压力为３９．２ＭＰａ，组织观察表面界面脆性化合物的形成是导致结合强度降低的一个重要因素。     

复合栅控二极管新技术提取热载流子诱生的NMOS/SOI器件界面陷阱的横向分布

提出了用复合栅控二极管新技术提取MOS/SOI器件界面陷阱沿沟道横向分布的原理,给出了具体的测试步骤和方法.在此基础上,对具有体接触的NMOS/SOI器件进行了具体的测试和分析,给出了不同的累积应力时间下的界面陷阱沿沟道方向的横向分布.结果表明:随累积应力时间的增加,不仅漏端边界的界面陷阱峰值上升,而且沿沟道方向,界面陷阱从漏端不断向源端增生.     

通用串行总线(USB)数据传输模型

USB作为一种数据传输接口，了解它的通信传输机制是正确利用USB利用数据传输的基础，分层次结构对USB数据传输模型加以分析，可以使读者建立起USB体系结构、通信模型和总线事务的框架和概念，并最终对USB传输工作流程有一个清晰的认识。     

HIPS-g-MA共聚物对HIPS/PC共混物相容性、形态和拉伸性能的影响

研究了HIPS／PC共混物的相容性及HIPS－MA对HIPS（30）／PC（70）共混物的相容性、形态和拉伸性能的影响。DSC研究结果表明，HIPS／PC共混物中PS的玻璃化转变温度（Tg)不随组成而变化，而PC的Tg随其质量分数的降低逐渐向低温移动，说明HIPS／PC是部分相容体系。通过DSC、扫描电镜形态观察和拉伸性能测试结果发现，当HIPS－g-MA的含量低于7．5％时，共混物的相容性改善不明显，当其含量达到7．5％时，对共混物有明显的乳化作用，说明饱和的界面浓度在7．5％左右。HIPS－g-MA接枝共聚物在HIPS（30）／PC（70）共混物中的增容作用可能是酯交换反应原位生成的嵌段共聚物所致。     

EGS程序图形化输入平台的开发

为了使EGS能够更加方便地被工程人员使用，使用VC^ 语言开发出一套运行于Windows下的EGSWIN程序，其中包括一个图形化的输入平台，通过使用本程序，用户可以仅仅进行简单而直观的输入几何实体的工作，就可以实现区域的定义。极大的提高了EGS的使用效率。     

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     

Effectiveness of spatial representation in the formation of network communities: experimental study on community organizer

In this paper, we present and discuss Community Organizer, a system designed to support network communities. The main characteristic of Community Organizer is the use of spatial representations for the relationships among community members including the communications exchanged among these members. These spatial representations reflect the degree of closeness of interests and concerns among the members, and are intended to provide users with clues on how to form network communities. In order to investigate the effectiveness of the proposed spatial representations, we conducted experiments with two different versions of the software. One version offered meaningful spatial representations while the other version did not. The subjects who used the former software version felt a greater sense of ‘community’, enjoyed using the software more, and actively used it longer than the subjects using the latter software version (control condition). These results indicated that the proposed spatial representations are effective in supporting network community formation.     

测井数据实时采集与接口设计

介绍了一种采用改进型的ＣＬＳ３７００数控测井系统对微电阻率扫描仪数据采集与控制接口的设计及实现方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设计出通信接口，解决了微电阻率方法。基于ＣＬＳ３７００数控测井仪和ＦＭＳ仪采用８９Ｃ５１单片机设备出通信接口电路，解决了微电阻主扫描仪现现场实时处理中的瓶颈问题。     

布里奇曼法生长碲镉汞晶体的固液界面形态研究

文中综述了布里奇曼法及加速坩埚旋转技术的布里奇曼法生工碲镉汞晶体过程中固液界面形态的研究结果，简单讨论了固液界面形态对组分分布的影响，并将两种技术所得的组分分布结果进行了比较，在分析影响固液界面形态因素的基础上，认为加速坩埚旋转技术是目前改善固液界面形态的有效方法。     

Sidle的远程执行设备

Ｓｉｄｌｅ系统是运行在ＳＵＮ工作站网络上的一组实用程序，利用空闲的处理机资源进行大粒度的并行计算．同其它远程执行设备相比，它能支持程序内部并行和嵌套的远程执行，允许一个服务员机接受多个远程执行任务．本文介绍了这些特点和透明性的实现方法．