求最佳配比的模拟压缩算法

研究了无放大效应的生产过程中各原料的配比问题，建立了一种模拟压缩模型，给出了求最佳配比的算法。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

Erosion rate correlations of a pipe protruded in an abrupt pipe contraction

Erosion is one of the most serious problems in various gas and liquid flow passages such as flow in pipes, pumps, turbines, compressors and many other devices. Sand presence causes loss of pipe wall thickness that can lead to pipe erosion, frequent failures and loss of expensive production time. The importance of this problem is mainly due to many related engineering applications, viz. heat exchangers. In order to reduce the frequency of such pipe erosions, caps in the form of replaceable pipes are protruded in the sudden contraction regions which are exposed to most of the serious erosion rates. In the present work, numerical investigation of the erosion of a pipe protruded in a sudden contraction is presented. The turbulent, steady, 2-D axi-symmetric flow inside an axi-symmetric abrupt contraction pipe with a pipe protrusion embedded in it was solved by steady-state time averaged conservation equations of mass and momentum along with two equation model for turbulence. Particles are tracked using Lagrangian particle tracking. An erosion model was employed to investigate the erosion phenomena for the given geometry. The influence of the different parameters such as the inlet flow velocity (3–10 m/s), the particle diameter (10–400 μm), the protruded pipe geometry (thickness T=1–5 mm and depth H=2–5 mm) and the pipe contraction ratio (Cr=0.25–0.5) on the erosion of pipe protrusion was investigated. Correlations for the influence of inlet flow velocity, depth and thickness of the protruded pipe on the erosion rate are presented.     

空泡溃灭水锤的VOF计算方法

空泡溃灭水锤是核电厂冷却循环系统中较常出现的一种严重的水锤事故。空泡的形成和溃灭是复杂的两相、瞬态过程，对于这一现象的分析是相当困难的。作者尝试着把蒸汽泡的边界看成是冷水流动的自由面，在自由面上考虑蒸汽的凝结。对于自由面的ＶＯＦ算法用了ＶＯＦ算法，取得了令人满意的结果，不仅形象地描绘了空泡的形成和溃灭的过程，而且得到了与实验相符的空泡溃灭高压和弥合速度，因此可为管道设计提供理论基础。     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

锻模型腔的电解加工技术

通过电解加工与其它常用加工方法的比较，以及电解加工应用的实例，论证了电解加工是提高锤模型腔加工水平的重要工艺手段。     

型腔体组件装配尺寸检测技术分析与运用

为解决型腔体组件装配尺寸的检测问题,以某枪型的型腔体组件为例,分析该型腔体组件的结构特点,设计组合型检测装置,实现准确检测目的.归纳总结了型腔体组件装配尺寸检测技术运用过程中检测装置的设计要领,采用设计与被测型腔体组件相匹配的组合型检测装置,有效解决了型腔体组件装配尺寸检测过程中的定位困难、操作繁琐、检测准确性差等问题.该检测技术对确保型腔体组件装配尺寸的检测稳定性、检测可操作性、检测准确性等方面具有现实的指导意义.     

Computational fluid dynamics (CFD) analysis and experimental study for toxic hazardous waste destruction in the cavity incinerator

We undertook numerical and experimental studies to develop a better incineration method for the destruction of CC1₄. A phenomenological model for the turbulent reaction of CC1₄, including a flame inhibition feature, has been successfully incorporated into a commercial code, simulating the incineration processes of this compound. The gaseous flow solution was obtained using SIMPLEST, a derivative of Patankar’s SIMPLE algorithm, with a k-ε turbulence model. A modified fast chemistry turbulent reaction model was developed to describe the flame inhibition due to the presence of CC1₄, considering the corresponding burning velocity data of these mixtures. An experiment was carried out on a 5.2 kW laboratory scale, transportable, cavity-type incinerator, which warrants a sufficient residence time and effective turbulent mixing by the formation of a strong recirculation region in a combustor. To this end, the specific configuration of the incinerator was manufactured to consist of two opposing jets and a rearward facing step. The calculated data were in close agreement with the experimental data for the concentrations of major species, such as CCI₄ and HCl, together with the temperature profiles. The experimental test gave the desired DRE of above 99.99%.     

关于狭义相对论中时空问题的讨论

狭义相对论明确指出同时性、时间和空间的测量是相对的,与物体的运动状态或与参考系的选取密切相关,并以此建立了相对论时空观.基于狭义相对论中时空概念的关联分析,讨论了解决时空问题的思路和方法,指出了＂同时性的相对性＂是理解和认识相对论时空观的基础,有利于解决大学物理教学的重难点问题.     

镦粗变形规律实例分析

本文结合实际镦粗变形工艺，把镦粗变形划分为三个阶段或状态，即锻透、压实、焊合；指出空调压实后的形态或痕迹与空洞的形状，大小，空洞与主拉形变的方向有关，坯料镦粗时仅仅考虑整体锻比是不够的，还必须注意单次压下量，并介绍了一种既能压实焊合空洞类缺陷，又能改善夹杂物分布的新型Ｖ型板镦粗工艺。