A unified critical state model for geomaterials with an application to tunnelling

This paper is prepared in honour of Professor E.T. Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author's research career in geomechanics and geotechnical engineering. As a result, we have picked a topic that reflects two key research areas in which Professor E.T. Brown has made seminal contributions over a long and distinguished career. These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown's influence, the first author has also been conducting research in these two areas over many years. In particular, this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.     

聚合物熔体的非等温平板收缩流动的数值模拟

用有限元法模拟了Carreau流体在4：1平板收缩口模中的非等温挤出流动，采用3节点的三角形单元对速度、压力和温度进行等阶插值，运用特殊的罚函数处理流体的不可压缩条件，解决了压力场的数值振荡问题，并用改进的Newton迭代法对非线性方程进行求解，成功地计算了Carreau流体在平板收缩流动中的速度、压力、粘度以及应力的分布，同时得到温度场的分布，计算的应力分布与实验的结果及Renardy的分析结构相符。     

Topology optimization of trusses using genetic algorithm,force method and graph theory

In this article size/topology optimization of trusses is performed using a genetic algorithm (GA), the force method and some concepts of graph theory. One of the main difficulties with optimization with a GA is that the parameters involved are not completely known and the number of operations needed is often quite high. Application of some concepts of the force method, together with theory of graphs, make the generation of a suitable initial population well‐matched with critical paths for the transformation of internal forces feasible. In the process of optimization generated topologically unstable trusses are identified without any matrix manipulation and highly penalized. Identifying a suitable range for the cross‐section of each member for the ground structure in the list of profiles, the length of the substrings representing the cross‐sectional design variables are reduced. Using a contraction algorithm, the length of the strings is further reduced and a GA is performed in a smaller domain of design space. The above process is accompanied by efficient methods for selection, and by using a suitable penalty function in order to reduce the number of numerical operations and to increase the speed of the optimization toward a global optimum. The efficiency of the present method is illustrated using some examples, and compared to those of previous studies. Copyright © 2003 John Wiley & Sons, Ltd.     

永升城基础大体积混凝土施工的裂缝预控

基础大体积混凝土施工的裂缝控制 ,从分析产生裂缝的原因来阐述 ,将冷缝作为结构性裂缝来预控     

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

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

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.     

Maximal contractions in Boolean algebras

In the present paper,the concepts of deductive element and maximal contraction are introduced in Boolean algebras,and corresponding theories of consistency and maximal contractions are studied.An algorithm principle is proposed to compute all maximal contractions for a consistent set with respect to its refutation in Boolean algebras.It is pointed out that the quotient algebra of the first-order language with respect to its provable equivalence relation constitutes a Boolean algebra,and hence the computation of R-contractions for closed formulas in first-order languages can be converted into the one in Boolean algebras proposed in this paper.Furthermore,the concept of basic element is introduced in Boolean algebras,which contributes to the definitions of clause and Horn clause transplanted from logic to a special type of Boolean algebras generated by basic elements.It is also pointed out that the computation of R-contractions for clauses in the classical propositional logic can be converted into the one in Boolean algebras generated by basic elements proposed in this paper.     

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.     

ZL105合金悬浮铸造工艺研究

对ZL105合金悬浮剂的制备、加入量、加入方式、加入温度及熔化时间等悬浮铸造工艺进行了初步探讨。结果表明,ZL105合金采用恳浮铸造简单易行,而且对减小体收缩、细化晶粒组织、降低壁厚对晶粒组织的敏感性以及提高针孔度级别有明显效果。