Description of the thermodynamic properties and fluid-phase behavior of aqueous solutions of linear,branched, and cyclic amines

The SAFT-γ Mie group-contribution equation of state is used to represent the fluid-phase behavior of aqueous solutions of a variety of linear, branched, and cyclic amines. New group interactions are developed in order to model the mixtures of interest, including the like and unlike interactions between alkyl primary, secondary, and tertiary amine groups (NH₂, NH, N), cyclic secondary and tertiary amine groups (cNH, cN), and cyclic methine-amine groups (cCHNH, cCHN) with water (H₂O). The group-interaction parameters are estimated from appropriate experimental thermodynamic data for pure amines and selected mixtures. By taking advantage of the group-contribution nature of the method, one can describe the fluid-phase behavior of mixtures of molecules comprising those groups over broad ranges of temperature, pressure, and composition. A number of aqueous solutions of amines are studied including linear, branched aliphatic, and cyclic amines. Liquid–liquid equilibria (LLE) bounded by lower critical solution temperatures (LCSTs) have been reported experimentally and are reproduced here with the SAFT-γ Mie approach. The main feature of the approach is the ability not only to represent accurately the experimental data employed in the parameter estimation, but also to predict the vapor–liquid, liquid–liquid, and vapor–liquid–liquid equilibria, and LCSTs with the same set of parameters. Pure compound and binary phase diagrams of diverse types of amines and their aqueous solutions are assessed in order to demonstrate the main features of the thermodynamic and fluid-phase behavior.     

危机矿山接替资源找矿勘查相关成矿理论与技术方法

简要叙述了与危机矿山接替资源深部和外围找矿有关的部分成矿理论和找矿方法技术研究进展。与危机矿山接替资源找矿勘查有关的成矿理论包括:绿岩带金矿新模式,浅成热液和斑岩铜矿的套叠模式,微细浸染型金矿深部找矿模式,铜镍硫化物深部找矿模式,金和铅锌矿共伴生模式等。相关的找矿技术包括时间域瞬变电磁法(TEM)、可控源音频大地电磁法(CSAMT)、金属矿地震方法、井中物探方法、深穿透地球化学方法、高精度磁法、高精度重力等。     

地质工程学的产生、发展与展望

在工程地质学和岩体力学的基础上发展形成了一门新的学科——地质工程学。从工程地质发展到地质工程，是从认识世界走向改造世界，是一个质的飞跃。地质工程学的产生反过来将大大推进地质学和岩石力学等学科的发展。论述了地质工程学的产生、理论与技术、最新进展以及目前存在的问题，并对其今后的发展趋势进行了展望。     

改进BP神经网络及其在西北建筑业预测中的应用

BP神经网络是分析处理复杂非线性问题的一种有效方法,是目前广泛应用的一种神经网络,已被逐渐应用于对宏观经济问题的研究中。本文有机地整合了计量经济学与BP神经网络,建立了基于因果关系理论来确定BP网络的输入变量,基于协整理论来分析BP网络系统的可靠性,基于学习率可变的动量BP算法的用于研究经济领域问题的改进BP神经网络预测模型,加强了网络模型的理论基础,提高了网络模型的质量,并将其应用于西北建筑业的预测和控制中,取得了令人满意的效果。     

实践·探索·总结·提高——四川省城乡规划设计研究院技术进步与发展历程回顾

四川省城乡规划设计研究院在规划模式、总体规划修编、城市远景轮廓规划指导性程序、城市(镇)历史文化遗存和传统风貌保护、城市风貌景观规划、城市土地使用控制规划、移民迁建规划、城市用地多因素综合分析、"空间管制与协调"规划、近期建设规划、风景名胜规划和小城镇规划共12个领域进行了积极的探索与总结,为规划业界的共同提高做出了贡献.     

考虑初始缺陷的混凝土压缩试验

以混凝土损伤理论为基础,通过进行混凝土单轴压缩试验,研究考虑初始缺陷的混凝土相关力学性能.通过对试验结果的分析,在此基础上提出较为合理的混凝土本构模型.文中混凝土损伤本构模型的建立,首先找出理想无损状态应力,即有效应力的表达式,然后根据试验结果求出损伤演化规律,最后得到最终的混凝土损伤本构方程.文中的混凝土本构模型可以较好地体现混凝土在各个阶段的受力特征.     

建筑理论在当下中国的困境

该文列举了当下中国建筑理论本身在自身固有矛盾、自身根基薄弱、建筑实践期待及其认识偏差的情况下所处的种种困境，分析了建筑理论遭遇困境的深层原因在此基础上．试图廓清建筑理论的先天局限性、历史积淀性、价值论、系统复杂性、实践性，并认为建筑理论的最终使命是内化为建筑师个体的观念和方法，确立现代主义道路后，建筑理论意识到并走出困境，建筑实践会有一个可以期待的未来     

矿山深部卸压技术研究现状及展望

随着国内外矿山进入深部开采阶段，高应力特征显现，岩爆、冲击地压等地质灾害频发，增加了深部矿产资源开采的难度。卸压技术能够有效解决矿山深部局部高应力集中并防治矿山动力地质灾害，因而受到国内外学者的广泛关注。通过梳理国内外卸压技术研究现状，归纳总结了主要卸压技术（包括水力卸压、钻孔卸压、卸压槽/卸压巷道和爆破卸压等）及常用的研究手段（相似材料模拟和数值模拟），对比分析了各类卸压技术的优缺点。结合当前金属矿山深部开采的实际需求，提出未来卸压技术理论研究的若干重要方向：（1）深化理论研究，通过经验公式来确定合理的卸压参数，从而指导生产实践；（2）相比其他卸压技术，爆破卸压的应用前景广阔，同时多种卸压方法相结合是未来深部矿山开采的有效措施；（3）数值模拟在卸压技术及参数确定方面的优势显著，未来卸压技术研究应充分了解现场复杂地质条件，结合相似模拟、数值模拟与现场试验，提出一套适用于金属矿山深部开采实际的卸压技术方案。     

命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

Performance of the most common non‐cryptographic hash functions

Non‐cryptographic hash functions (NCHFs) have an immense number of applications, ranging from compilers and databases to videogames and computer networks. Some of the most important NCHF have been used by major corporations in commercial products. This practical success demonstrates the ability of hashing systems to provide extremely efficient searches over unsorted sets. However, very little research has been devoted to the experimental evaluation of these functions. Therefore, we evaluated the most widely used NCHF using four criteria as follows: collision resistance, distribution of outputs, avalanche effect, and speed. We identified their strengths and weaknesses and found significant flaws in some cases. We also discuss our conclusions regarding general hashing considerations such as selection of the compression map. Our results should assist practitioners and engineers in making more informed choices regarding which function to use for a particular problem. Copyright © 2013 John Wiley & Sons, Ltd.