岩石工程力学特性参数测定装置设计

岩石工程力学特性参数测定装置实现了对试验载荷的恒速率加载 ,可对压模的吃深和试验载荷进行连续记录 ,记录的数据可实时显示及处理 ,且动态显示试验岩石的特性曲线 (试验载荷—轴向应变 )。该装置体积小、可移动性强 ,且能一机多用。文章详细阐述该装置机械结构、电路和系统软件的设计等     

堤身的数据采集及断面设计的几点建议

针对堤防设计的基础资料采集和设计优化，提出了一些合理性建议。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

提高综合勘测实力开拓岩土工程市场

随着西北勘测设计研究院（以下简称西北院）勘测总队所承担的黄河龙￣青段、白龙江流域等河段前期综合勘测工作的相继结束，拥有２０００多名职工的勘测队伍面临着何去何从的重大选择。在此转折关头，勘测总队面对现实，审时度势，抓住机遇，开拓前进，及时转轨变型，制定了本单位发展的战略和方向，使勘测总队由单一勘测业务转变为集勘测与岩土工程施工为一身的新型综合队伍。几年来，经过全体职工的奋发努力，缍获得了１９９５年￣     

多判据模糊决策在工程爆破中的应用

本文介绍了多判据模糊决策的数学模型。该模型可广泛地用于工程爆破中的爆破方案比较,以及爆破试验中的最优爆破参数的决策。该模型的应用将有利于工程爆破试验及设计的计算机程序设计。     

轮式工程机械的行驶平稳性

根据振动理论建立了振动力学模型,并用等效刚度方法分析研究了弹性悬挂轮式工程机械行驶平稳性和振动特性。     

Design and characterisation of a close-concentric annular reactor for kinetic studies at high temperatures

A novel annular reactor for kinetic studies at high temperature and flow conditions has been designed to keep eccentricity tolerances below 10%. In a previous work, we have shown that it is very important to keep such low eccentricity values in order to collect reliable kinetic data from this type of reactors. As proposed in this study, a modified reactor with the use of a spacer could guarantee an annular duct with low levels of eccentricity. Manufacturing tolerances or deformation effects giving rise to eccentricity can be significantly minimised when using this apparatus. The reactor has been both experimentally and theoretically characterised. Carbon monoxide oxidation was used as a model reaction under mass-transfer limited conditions revealing an eccentricity of ∼5%. With such small eccentricity levels, a concentric annular form can be assumed in the reactor analysis. Simple 1D or 2D models can therefore be inexpensively used in the evaluation of the kinetic data. Also, prior to the design of the annular reactor, a numerical investigation was carried out to clarify the effects of eccentricity, physical properties of the carrier gas and the annular aspect ratio on mass-transfer limitations. Contrary to expectations, a considerable increase in the fuel mass-diffusivity by carrier gas substitution did not change the mass-transfer rates for cases when eccentricity and aspect ratios were high.     

地下硐室锚喷支护堵漏防渗处理实践

本文简要地介绍了我国几个地下矿在锚喷网联合支护的硐室工程中堵漏防渗处理所取得的良好效果，可供类似矿山参考。     

CASE与MIS的开发

本文介绍ＣＡＳＥ技术的基本思想与构成，ＣＡＳＥ工具在ＭＩＳ开发中的作用，概要介绍国内流行的ＣＡＳＥ产品并对其作出评述。     

土钉支护结构水平位移安全监控模型研究

国内现行规范、标准是以极限变形值作为土钉支护结构水平位移安全监测报警值 ,但没有反映工程进度影响 ,不便指导工程实践。提出“过程控制”概念 ,以反正切函数为基本形式 ,基于历史经验建立“安全时程曲线”控制模型 ,要求施工过程中实测水平位移始终处在“安全时程曲线”之下 ,以确保最终变形在某一适当的阈值之内 ,已有实测结果可以为施工方案调整提供依据。通过实际案例 ,检验模型的可行性 ,表明过程控制模型较极限变形策略更具可操作性