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.     

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

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

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

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

单片机与微机组成的树型网络远程多机通信

本文简介当前集散控制中的几种常用通信方法，并就此进行分析，然后提出一种实用性强，结构较简单，通信可靠，功能完备，使用十分灵活方便的任意两机间可通信系统     

Alkali-metal Na Adsorption and Promoted Oxidation on Si(100)2×1 Surface

The alkali-metal Na adsorption on Si(100)2×1 surface and its promoted oxidation and Si oxidegrowth have been investigated by means of thermal desorption,work function,Auger electronspectroscopy and photoemission electron spectroscopy.The experimental data showed that therewas a new state,interface electron state,near the Fermi level after the deposition of Na atoms.It wasfound that the presence of Na always caused an increase of the oxygen initial uptake whereas thepromotion of Si oxide growth was observed only at the coverage of Na greater than 0.5 ML.A newmechanism of Na-promoted Si oxide growth is suggested in this paper.     

A numerical model for the dissolution of spherical particles in binary alloys under mixed mode control

A general numerical model is described for the dissolution kinetics of spherical particles in binary systems for any combination of first order reactions at the particle-matrix interface and long distance diffusion within the matrix. The model is applicable to both finite and infinite media and handles both complete and partial particle dissolution. It is shown that interfacial reactions can have a strong effect on the dissolution kinetics, the solute concentration at the particle-matrix interface and the solute concentration profile in the matrix.     

反向凝固法生产H90-钢-H90复合带

研究H90-钢-H90反向凝固复合过程中复合层厚度的变化规律以及复合带的组织和性能，探讨界面结合机理。结果表明：随着浸渍时间的增加，复合层的厚度变化经历了凝固生长、平衡相持和回熔3个阶段，钢带的预热温度越低，获得的最大复合层厚度越厚；H90复合层的组织为等轴晶粒，复合界面处Cu和Fe发生了扩散，而Zn未发生明显扩散，扩散层较薄，约为4μm；复合带的界面结合牢固；不同复合层厚度的复合带，其力学性能略有差异，但均达到GB5213——85所规定的F级深冲钢板的力学性能要求。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

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.     

Hybrid LES — Review and assessment

In the late eighties and up to the beginning of nineties computation of turbulent flows is mostly dominated by RANS (Reynolds Averaged Navier-Stokes Simulation) type modelling. During the last few years URANS (Unsteady RANS) and LES (Large Eddy Simulation) type of approaches have been attempted with some success. Yet, there have been many difficulties when LES is applied to practical engineering problems and to high Reynolds number flows as energy dissipating eddies become really small and mesh resolution required for a reasonably resolved LES approaches that of DNS (Direct Numerical Simulation). An alternative solution suggested was to combine RANS and LES, which in general referred to as Hybrid LES. There have been many proposals for combining RANS and LES in different ways. In this article, some of the issues involved in performing hybrid LES reported in the recent literature is briefly reviewed.