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.     

无粘结预应力蛋形消化池的施工技术

石家庄市桥东污水处理厂有6座11500m3无粘结预应力混凝土蛋形消化池,本文介绍其非预应力钢筋、模板体系、混凝土和预应力工程等结构施工成套技术。     

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.     

Time and Temperature Factors in Construction of Rock Strength Criteria

Using the synthesis of the kinetic concept on solid strength and the Coulomb - Mohr strength theory as the base, the failure conditions taking into account the time and temperature factors are obtained.     

VN合金在大规格角钢生产中的应用研究

大规格角钢主要用于铁塔制造和建筑结构中。唐钢过去用16Mn钢生产Q345级别角钢，因供轧化学成分范围较窄，供轧率偏低。通过加入V-Fe合金及VN合金进行微合金化，设计了16Mnv(N)钢种生产角钢，使角钢综合性能有显著提高。分析比较了16Mn、16MnV及16MnV(N)角钢的性能，认为在大规格高强度角钢生产中，用VN合金进行微合金化，其效果是最佳的。     

以方位角表示的前方交会定点公式在矿井贯通测量中的应用

以简单的方位角计算公式为基础,推导出了以方位角表示的前方交会定点公式,并在该矿的贯通测量中得到了应用。     

Prediction of the energy dissipation rate in ductile crack propagation

In this paper, energy dissipation rate D vs. Δa curves in ductile fracture are predicted using a ‘conversion’ between loads, load‐point displacements and crack lengths predicted by NLEFM and those found in real ELPL propagation. The NLEFM/ELPL link was recently discovered for the DCB testpiece, and we believe it applies to other cracked geometries. The predictions for D agree with experimental results. The model permits a crack tip toughness R(Δa) which rises from J_c and saturates out when (if) steady state propagation is reached after a transient stage in which all tunnelling, crack tip necking and shear lip formation is established. J_R is always greater than the crack tip R(Δa) and continues to rise even after R(Δa) levels off. The analysis is capable of predicting the usual D vs. Δa curves in the literature which have high initial values and fall monotonically to a plateau at large Δa. It also predicts that D curves for CCT testpieces should be higher than those for SENB/CT, as found in practice. The possibility that D curves at some intermediate Δa may dip to a minimum below the levelled‐off value at large Δa is predicted and confirmed by experiment. Recently reported D curves that have smaller initial D than the D‐values after extensive propagation can also be predicted. The testpiece geometry and crack tip R(Δa) conditions required to produce these different‐shaped D vs. Δa curves are established and confirmed by comparison with experiment. The energy dissipation rate D vs. Δa is not a transferable property as it depends on geometry. The material characteristic R(Δa) may be the ‘transferable property’ for scaling problems in ELPL fracture. How it can be deduced from D vs. Δa curves (and by implication, J_R vs. Δa curves) is established.     

大规格圆钢质量分析和控制

针对湘钢棒材厂生产大规格圆钢出现的表面质量问题，重点介绍了在成品轧机后采用U形辊道和立活套替换棍道；冷床输入辊道采用镶WT合金套；增设高压水除鳞装置；中间轧件尺寸精度控制等措施，成功的解决了大规格圆钢表面擦伤、“麻面”、尺寸超差等表面质量问题，产品质量显著提高。     

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.