���׸ߵ����ѷ��ݻ�����ԭʼ�������㷽��̽��

本文把与井简直接连通的大裂缝及井筒定义为“裂缝—井筒系统”,通过气体状态方程的变换和续流总量的计算,探索出井底大裂缝的容积及其储量的计算方法。     

CLP(ℜ) and some electrical engineering problems

The Constraint Logic Programming Scheme defines a class of languages designed for programming with constraints using a logic programming approach. These languages are soundly based on a unified framework of formal semantics. In particular, as an instance of this scheme with real arithmetic constraints, the CLP() language facilitates and encourages a concise and declarative style of programming for problems involving a mix of numeric and non-numeric computation.In this paper we illustrate the practical applicability of CLP() with examples of programs to solve electrical engineering problems. This field is particularly rich in problems that are complex and largely numeric, enabling us to demonstrate a number of the unique features of CLP(). A detailed look at some of the more important programming techniques highlights the ability of CLP() to support well-known, powerful techniques from constraint programming. Our thesis is that CLP() is an embodiment of these techniques in a language that is more general, elegant and versatile than the earlier languages, and yet is practical.An earlier version of this paper appeared in the proceedings of the 4th International Conference on Logic Programming, Melbourne, May 1987. Much of this work was carried out while the authors were at Monash University, Melbourne, Australia.     

Rapid software integration using structured methods

In this paper we discuss an approach to organizing the integration of 110,000 lines of C, SQL, Assembler, and microcode distributed over a network of 36 processors of four types so that it could be accomplished in six months. The software runs on a test system architecture consisting of a LAN-based workstation group and a set of VME-based embedded processors. By using structured methodology, parallelism in the integration process was achieved. The necessary stub tools were identified and developed before integration began. The principles followed and experiences of integrating the system are discussed.     

Mold-filling characteristics of AZ91 magnesium alloy in the low-pressure expendable pattern casting process

The magnesium (Mg) alloy low-pressure expendable pattern casting (EPC) process is a newly developed casting technique combining the advantages of both EPC and low-pressure casting. In this article, metal filling and the effect of the flow quantity of inert gas on the filling rate in the low-pressure EPC process are investigated. The results showed that the molten Mg alloy filled the mold cavity with a convex front laminar flow and the metal-filling rate increased significantly with increasing flow quantity when flow quantity was below a critical value. However, once the flow quantity exceeded a critical value, the filling rate increased slightly. The influence of the flow quantity of inert gas on melt-filling rate reveals that the mold fill is controlled by flow quantity for a lower filling rate, and, subsequently, controlled by the evaporation of polystyrene and the evaporation products for higher metal velocity. Meanwhile, the experimental results showed that the melt-filling rate significantly affected the flow profile, and the filling procedure for the Mg alloy in the low-pressure EPC process. A slower melt-filling rate could lead to misrun defects, whereas a higher filling rate results in folds, blisters, and porosity. The optimized filling rate with Mg alloy casting is 140 to 170 mm/s in low-pressure EPC.     

凝固过程中的颗粒推斥

颗粒推斥是材料在固液相变过程中的基础问题之一，界面自由能的传统理论难以解释在金属基复合材料制备过程中的颗粒推斥现象，作者提出了固液界面前沿的流体流动是颗粒推斥的主要原因之一，并给出颗粒滚动及颗粒速度两种作用机制，推导出颗粒推斥条件判据，并以实验验证流体流动的作用机制及颗粒推斥理论判据。     

INVESTIGATION OF THE USE OF LASER-DOPPLER VELOCIMETRY IN TWO-PHASE BUBBLY FLOWS

Understanding the dynamic phenomena of viability loss of shear sensitive cells and bubble breakage and coalescence within airlift reactors requires knowledge of local, liquid-phase hydrodynamics. The laser-Doppler velocimeter (LDV) is a non-invasive instrument which may be used to obtain this information. Experimental procedures and software were developed to detect and measure Doppler bursts in two-phase flow in a split-cylinder airlift reactor. Off-line analysis of the data indicated a detection rate approximately one order of magnitude greater than that observed using an available commercial frequency tracker. Approximately 400 to 500 observations are needed for the ensemble mean to characterize the local mean velocity to within ±5% for a superficial gas velocity of 10.4 cm/s, the highest superficial gas velocity used in these studies. The limitations, prospects, and signal-processing options for LDV in this application are also discussed     

Development of the meshless finite volume particle method with exact and efficient calculation of interparticle area

The Finite Volume Particle Method (FVPM) is a meshless method based on a definition of interparticle area which is closely analogous to cell face area in the classical finite volume method. In previous work, the interparticle area has been computed by numerical integration, which is a source of error and is extremely expensive. We show that if the particle weight or kernel function is defined as a discontinuous top-hat function, the particle interaction vectors may be evaluated exactly and efficiently. The new formulation reduces overall computational time by a factor between 6.4 and 8.2. In numerical experiments on a viscous flow with an analytical solution, the method converges under all conditions. Significantly, in contrast with standard FVPM and SPH, error depends on particle size but not on particle overlap (as long as the computational domain is completely covered by particles). The new method is shown to be superior to standard FVPM for shock tube flow and inviscid steady transonic flow. In benchmarking on a viscous multiphase flow application, FVPM with exact interparticle area is shown to be competitive with a mesh-based volume-of-fluid solver in terms of computational time required to resolve the structure of an interface.     

Managing knowledge on communication and information flow in global software projects

Communication is a key success factor of distributed software projects. Poor communication has been identified as a main obstacle to successful collaboration. Global projects are especially endangered by information gaps between collaborating sites. Different communication styles, technical equipment, and missing awareness of each other can cause severe problems. Knowledge about actual and desired channels, paths, and modes of communication is required for improving communication in a globally distributed project. However, many project participants know little about communication and information flow in their projects. In this contribution, we focus on knowledge about communication and information flow. It is acquired by modelling on‐going and desired flows of information, including documented and non‐documented channels of information flow. We analyzed a distributed software project from the information flow perspective. Based on the findings, we developed specific techniques to improve information flow in distributed software development according to the FLOW Method. In a second distributed project, we evaluated one of the techniques. We found the FLOW mapping technique to be suitable for effectively spreading knowledge about communication and information flow in global software projects.     

硼在玉米中的分布特征及化学形态的研究

对施硼肥和不施硼肥的土壤上种植的玉米中硼的分布及化学形态进行了研究 ,结果表明 ,靠近根部的玉米叶子中含硼最多 ,中部和上部叶子中含硼量依次递减 ,玉米种子中的含硼量低于叶子中的含硼量。通过研究不同溶剂对玉米叶子和种子中硼的浸提能力 ,探明了以 10 %醋酸浸提下来的硼最多 ,其次是用 0 .0 1mol/LEDTA浸提下来的硼 ,用水浸提下来的硼的含量最少。