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

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

Numerical simulation of dispersed gas-liquid flows

This paper reviews the available information on numerical simulation of dispersed gas-liquid flows. Emphasis is on informing the reader about various aspects of constructing simulation models rather than giving an exhaustive literature review. The information is organised in a way so as to provide answers to the following questions: how to formulate model equations? how to select suitable algorithms and numerical techniques to solve these model equations? how to translate these into workable computer codes? how to use such codes for simulating flows in industrial equipment? Though greater emphasis is given to dispersed gas-liquid flows, the methodology can be applied to any multi-phase problem. Special features of multi-phase flow simulation over single-phase simulation are highlighted. A case of gas-liquid flow in a bubble column is presented as an illustration for the general methodology. The simulated mean flow field agrees reasonably with the experimental data. Properly validatedcfd codes thus can serve as a useful tool for design engineers of multi-phase systems. Some of the common pitfalls in using simulation codes for design are also discussed. This review is expected to give an overall idea about the present state-of-art of two-phase simulation in industrial equipment.     

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.     

Petri网在计费系统中的应用研究

本文从Petri网理论研究入手,介绍了基于Petri网的工作流,详细描述了petri网在计费系统中的应用,包括Petri中间件的总体设计和主要功能,最后针对计费系统的现状提出了如何应用Petri。     

带有局部控制因子的图割光流估计

提出一种带有局部空间项控制因子的图割光流估计算法,能判断和处理光流场的平移遮挡现象。文中分析了平移遮挡的形成机理,构造了遮挡判别公式,基于本次的正向和反向光流场,依靠遮挡判别结果调节局部空间项控制因子,建立下次的能量泛函,加强背景区域对遮挡区域的平滑作用,隔绝运动区域对遮挡区域的平滑作用,从而构造出新结构的网络流图。另外,该算法被证明可以阻断遮挡误判在各次图割优化过程间的传递,从而使逐次α-扩散移动图割光流算法具有自适应处理遮挡的能力。通过与Ground-truth光流场的实验对比,表明该算法能较好地判断与处理遮挡导致的光流场无效区域。     

遗传优化的GNNM在瓦斯涌出量预测中的应用

研究矿井瓦斯涌出量准确预测一直是煤矿安全生产中重点关注的问题。煤层瓦斯爆炸因受开发环境、矿层深度、天气等因素的影响,造成与瓦斯涌出量增大而引起的。针对传统预测模型在矿井瓦斯涌出量预测中存在建模困难、收敛速度慢、要求历史数据量大的问题,提出了一种遗传优化的灰色神经网络预测模型。模型利用灰色系统对数据量要求低的特点,将灰色系统理论与神经网络有机结合起来,建立灰色神经网络模型。并采用遗传算法对所建立模型的权值和阈值进行优化。采用模型对矿井瓦斯涌出量进行预测,实验表明,遗传优化的灰色神经网络模型,可以简化系统建模,并能提高瓦斯涌出量预测精度,有一定的实用价值。     

非致命打击武器系统内弹道模拟研究

为了实现对非致命防暴武器发射能量的调节并控制其终点效能,解决"近处不敢打,远处打不到"的问题,提出了恒量动能非致命打击武器系统这一全新理论,在选用了两相流内弹道模型的基础上,采用四阶龙格库塔法,利用MATLAB语言仿真技术进行编程测试,对改进型18.4mm防暴枪的内弹道进行数值仿真,并将模拟结果与实验结果进行分析比对,验证了内弹道模型和仿真结果的正确性,得到了发射过程中,膛内火药燃烧及燃气流动状态的变化规律,弄清了泄气孔位置、气室容积以及泄气孔半径对弹丸初速的影响规律,为非致命防暴武器的进一步发展打下了坚实的基础。     

GCC编译器中间代码层控制流扩充研究

本文首先对CFCSS(控制流检错算法)进行了介绍,对GCC编译器的运行流程进行了简要分析,再次给出了在GCC编译器中扩充CFCSS算法的具体方法,最后通过故障注入实验对扩充后的GCC进行了有效性验证。实验表明,扩充了CFCSS算法的GCC编译器所编译的程序在运行过程中具有控制流检错能力。这为我们下一步的故障定位和故障恢复提供了有力的支持,为解决星载计算机的运行故障奠定了基础。