Homogenization of hardness distribution and distortion in high pressure gas quenching

Quenching with gases rather than oil or other liquid media has the advantages of reducing the risks concerning health and environment, while simultaneously homogenizing the quenching results and minimizing distortion due to a wide range of possible process parameter variations and the pure convective heat transfer. In this contribution, a coupled solution for increasing homogenization of quenching results within high pressure gas quenching will be presented. In the first stage, an experimental test facility was set up for flow investigations and in the second stage a numerical simulation model was generated. The numerical and experimental results of the flow through the chamber were compared for several boundary conditions. Finally, after complete verification of the simulation, the model may be used to assist in parameter variation for optimization of homogeneous high pressure gas quenching.     

Secure Multi-Party Computation without Agreement

It has recently been shown that authenticated Byzantine agreement, in which more than a third of the parties are corrupted, cannot be securely realized under concurrent or parallel (stateless) composition. This result puts into question any usage of authenticated Byzantine agreement in a setting where many executions take place. In particular, this is true for the whole body of work of secure multi-party protocols in the case that a third or more of the parties are corrupted. This is because these protocols strongly rely on the extensive use of a broadcast channel, which is in turn realized using authenticated Byzantine agreement. We remark that it was accepted folklore that the use of a broadcast channel (or authenticated Byzantine agreement) is actually essential for achieving meaningful secure multi-party computation whenever a third or more of the parties are corrupted. In this paper we show that this folklore is false. We present a mild relaxation of the definition of secure computation allowing abort. Our new definition captures all the central security issues of secure computation, including privacy, correctness and independence of inputs. However, the novelty of the definition is in decoupling the issue of agreement from these issues. We then show that this relaxation suffices for achieving secure computation in a point-to-point network. That is, we show that secure multi-party computation for this definition can be achieved for any number of corrupted parties and without a broadcast channel (or trusted pre-processing phase as required for running authenticated Byzantine agreement). Furthermore, this is achieved by just replacing the broadcast channel in known protocols with a very simple and efficient echo-broadcast protocol. An important corollary of our result is the ability to obtain multi-party protocols that remain secure under composition, without assuming a broadcast channel.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

低雷诺数气液交叉流装置研究（I）——孔流液柱流动特性数值模拟

针对低雷诺数的气液交叉流气体净化过程,提出有效避免二次雾沫夹带的液柱流体力学条件。数值模拟结果表明,液柱表面随着离开孔口的距离而变化,采用公式Lb／d=2．84We^0.694能有效预测液柱的断裂行为。     

Numerical Simulation of Internal Oxidation of Steels during Annealing Treatments

This paper presents a new model for simultaneous diffusion and precipitation of chemical elements in metallic matrices, a scheme for its numerical solution, and several applications to problems of internal oxidation. The model basically stands as an extension of the classical Wagner model for internal oxidation of steels, but is more much general in that it allows for an arbitrary number of diffusing chemical elements, an arbitrary number of precipitate phases with arbitrary compositions, dependence of diffusion coefficients and solubility products upon (time-dependent) temperature, etc., thus allowing for a much broader range of applications. As a counterpart, it is generally impossible to solve the complex, non-linear equations of the model analytically, but this can be done numerically. The simple but efficient numerical scheme proposed is based on explicit 1D finite differences. Experience has shown that this scheme, in spite of its rusticity and the restrictions it imposes on the time-step, is more efficient than more elaborate strategies based on the finite-element method. The applications presented are concerned with internal oxidation of steels during annealing processes. The model and associated numerical scheme allow for evaluation of the amounts of the various oxide precipitates in the external layer of the sheet. This opens the way, through numerical parametric studies of the influence of the process parameters and the chemical composition, to the improvement of existing treatments and the development of new steel grades.     

Spin Extrusion - A New Partial Forming Technology based on 7 NC-Axes Machining

Hollow shape component approaches, applied to shafts and similar workpieces, represent a major potential for ground-breaking innovations in lightweight engineering and safety designs. Among suitable forming technologies, spin extrusion is a pioneering and particularly flexible hollow-shaping technique. All outside form elements, straight or stepped cylinders, cones or spherical rotation elements emerge just from the kinematics of tools. The inside hollow shapes, as e.g. circular cross-sections, shaft to collar connections such as spherical triangles, polygons, splines or dovetail forms are manufactured with a shaping mandrel. Spin extrusion can be applied first and foremost at dimensions that are unattainable with other techniques. The application includes hollow shafts, thick-walled cups and semi-finished tubular products that are not to be found in off-the-shelf cross-sections. In these cases the possibility for using of massive bars is connected with very high price advantages. Furthermore material-saving machining is attracting special attention for high-grade materials.The paper characterizes substantial steps of process analysis and the appliance of a new, derived from the bound method, numerical simulation method for spin extrusion process. Holistic process analysis is the prime factor for process capability. The specific application of the developed special methods of simulation, the accumulation of process data and the integrating into the Computer numerical control of spin extrusion machine is a precondition guaranteeing high-quality assurance.     

ZTC4筒形件温成形扩口数值模拟

对铸造Ti-6Al-4V筒形件温成形扩口成形工艺进行了数值模拟分析,得出了优化的工艺参数,并对凸模锥角进行了优化模拟,得出了合适的锥角。     

Numerical modeling of high-temperature corrosion processes

Numerical modeling of the diffusional transport associated with high-temperature corrosion processes is reviewed. These corrosion processes include external scale formation and internal subscale formation during oxidation, coating degradation by oxidation and substrate interdiffusion, carburization, sulfidation and nitridation. The studies that are reviewed cover such complexities as concentration-dependent diffusivities, cross-term effects in ternary alloys, and internal precipitation where several compounds of the same element may form (e.g., carbides of Cr) or several compounds exist simultaneously (e.g., carbides containing varying amounts of Ni, Cr, Fe or Mo). In addition, the studies involve a variety of boundary conditions that vary with time and temperature. Finite-difference (F-D) techniques have been applied almost exclusively to model either the solute or corrodant transport in each of these studies. Hence, the paper first reviews the use of F-D techniques to develop solutions to the diffusion equations with various boundary conditions appropriate to high-temperature corrosion processes. The bulk of the paper then reviews various F-D modeling studies of diffusional transport associated with high-temperature corrosion.     

仿生波状前缘机翼动态失速控制的数值研究

该文提出了采用波状前缘机翼改善动态失速性能的有效控制方式。通过数值求解雷诺平均N-S方程,对比研究了波状前缘机翼和传统的光滑前缘机翼在动态失速时的力学性能和流动特征,并分析了前缘形状改进和可控拍动参数的影响,探讨有效的控制途径。研究结果表明,在深失速的动态失速控制中,波状前缘翼的复杂涡系能更稳定地附着在上翼面,其力学性能明显优于光滑前缘翼,尤其在大攻角范围内优势明显。波状前缘形状改变对升力能几乎没有影响,但转轴前移、增加拍幅和频率都能提高拍动波状前缘翼的升力。