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.     

Bayes estimators for reliability measures in geometric distribution model using masked system life test data

This paper presents Bayes estimators for the reliability measures of the individual components in a multi-component systems in the presence of masked system life test data. The life time distributions of the system components are assumed to be geometric with different parameters. Two-sided Bayesian probability intervals of the parameters are also derived. Numerical simulation study is given in order to: (i) explain how one can apply the theoretical results obtained, (ii) study the influence of the sample size and masking level on the accuracy of point estimates.     

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.     

Influence of Ni Interlayers on the Mechanical Properties of Ti6Al4V/(WC-Co) Friction Welds

Ni interlayers were introduced prior to dissimilar friction welding of Ti6Al4V base material to three cemented carbide substrates. The fracture strength of Ti6Al4V/(WC-6 wt% Co) welds were poor and were markedly improved when 20-µm thick Ni interlayers were introduced prior to dissimilar friction welding. These results were only produced when the (WC-6 wt% Co) cermet was electroplated prior to friction welding. When the Ti6Al4V alloy was electroplated prior to friction welding, fractured WC particles and cracking were observed in the (WC-Co) carbide substrate. The fracture strengths of Ti6Al4V/(WC-11 wt% Co) and Ti6Al4V/(WC-24 wt% Co) welds were not improved when 20-µm thick Ni interlayers were introduced prior to friction welding. During mechanical testing, the Ni layer retained at the dissimilar joint interface created a region of weakness.     

Polarity control of GaN epilayers grown on ZnO templates

We report the successful growth of Ga-polar GaN epilayers on O-polar ZnO templates pre-deposited on c-sapphire. Prior to GaN growth, NH₃ is exposed onto the ZnO template. The polarity of the GaN layers is confirmed by etching of the surface and by conversion beam electron diffraction (CBED), while the O-polar ZnO is confirmed by CBED. It is suggested that the NH₃ pre-exposure helps form a Zn₃N₂ layer, which possesses inversion symmetry and inverts the crystal from anion polar to cation polar.     

TPS/TDC3000系统串口通讯的规划与应用

针对TPS/TDC30 0 0系统串口通讯方式、机理进行了一般性的介绍 ,对规划与应用中常见的的问题 ,根据实际工程应用经验提出了解决方案。     

Surface electronic states in metal-porous silicon-silicon structures

The character of electronic states in porous silicon (PS)-Si, Pd-PS interfaces, and/or PS bulk at the formation of the metal-PS-silicon heterostructure was studied. The energy parameters were estimated using the deep-level transient spectroscopy and capacitance-voltage characteristics at the accounting of the voltage drop distribution along the structure. The analytical expression for voltage drop distribution along dielectric layer, porous layer and space charge region in silicon was obtained by solving the equation for continuity of the electrostatic induction vector. The electronic states studied were shown to manifest the quasi-continuous sub-band in the energy gap if the porous layer was 30-nm thick. Their density increased, as the energy position was being transformed to a deeper energy level of E_v+0.81 eV at the PS layer growing to 90 nm wide.     

Linux下网络虚接口的设计与实现

网络虚接口对特殊数据包的处理起着很大的作用。文章介绍了网络虚接口的概念，在对传统的网络接口比较分析的基础上，设计和实现了一个基于量Linux的用于对发送数据包的内容进行特殊处理的网络虚接口。     

液晶显示器的接口技术及其抗干扰措施

介绍了一般LCD与MCU的接口技术及其抗干扰措施，结合最近开发的绝缘油耐压测试仪中出现的CMOS自锁现象，提出了一种在强电磁场等特殊环境下，可靠使用液晶显示器的技术方法.