任意公理系统的依赖基

形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出 了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导 背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。     

降阻剂聚集形态与降阻性能研究北大核心

为明确滑溜水压裂液降阻剂宏观降阻性能的微观控制机制,利用环境扫描电镜对不同类型的聚合物降阻剂形成的聚集体结构进行大量微观表征,结合体系降阻性能测试,从聚合物分子聚集态层次揭示浓度对不同降阻剂体系降阻性能作用的微观机理。研究发现,滑溜水降阻剂在极低浓度下聚集形成丝状结构,随着降阻剂浓度的不断提高,这些丝线状结构逐渐缠结连接形成骨架,最终围成多层次的“蛛网状”聚集体网络结构。同时不同类型的滑溜水降阻剂所形成的网络结构又具有各自的特点,其中以乳液型和悬浮液型降阻剂网络结构最为完整,而粉剂型降阻剂由于溶解速度较慢,形成聚集体网络结构分布不均,网络强度普遍不高。降阻剂浓度对降阻剂聚集状态影响极大,在低浓度条件下,3种降阻剂形成的网络结构平均骨架厚度约为0.1~0.3μm。随着降阻剂浓度的增大,体系网眼形状由不规则逐渐转变为多边形,部分降阻剂可形成强度较高、稳定性较好的圆形网络支撑结构,网眼尺寸减小,骨架厚度增加。当降阻剂浓度增加为0.05%时,骨架厚度可达0.3~0.9μm,网络结构强度显著提高。滑溜水降阻剂形成的聚集体网络结构会对体系降阻性能产生重要影响,降阻剂加量与体系降阻性能之间并非表现出简单的线性关系,只有在合适浓度下形成的适中尺寸的聚集体网络结构才能与体系中的水分子紧密作用,稳定溶液流动状态,减少湍流脉动,降低湍流流动过程中的能量耗散,最终实现高效降阻的效果。     

锂离子电池负极材料钛系嵌入化合物的研究进展

二硫化钛、二氧化钛、钛酸锂等化合物嵌锂电位较高、比容量高、结构稳定,用作锂离子电池负极材料具有安全可靠、循环寿命长、成本低廉等优势。对该类高性能负极材料的晶体结构、嵌锂机理、电化学性能、制备方法和应用研究等进行了综述。     

钢厂用热轧带钢工程主传动电机结构特点

主要阐述了钢厂用一热轧带钢的主传动电机结构特点,并且结合国内电机制造厂现有的设计水平和生产能力,对大型热轧带钢主传动电机的内部架构进行简单分析。     

四分之一波长夹心式压电超声换能器的设计研究

阐述了四分之一波长夹心式压电超声换能器的结构特点,对其机电振动特性进行了理论分析,得出纵向振动下换能器的机电等效电路图,给出了频率方程,并设计出一个换能器.使用有限元仿真软件ANSYS对换能器进行模态分析,结果显示其纵向振动时的同有频率与理论值十分接近,验证了理论推导的正确性.     

抗性负载的余弦形复合变幅杆设计及动力学特性研究

为了解决简单形状变幅杆有时无法满足实际工程应用需要的问题,运用变幅杆纵向振动等效四端网络的方法,推导出质量抗性负载的余弦形复合变幅杆频率方程和放大系数一般公式;同时讨论负载变化对变幅杆性能的影响.依据理论通式设计了一个变幅杆,应用有限元软件ANSYS对其进行模态分析和谐响应分析,结果表明:其共振频率和放大系数与设计理论值吻合较好,从而验证了设计的合理性,为超声复合变幅杆和工具的设计和应用提供了一定的理论依据.     

采用运输算法的实时汽车调度

多步调度模型的效力依赖于实施产量最大化及品位控制目标的实时调度算法的能力。提出实时调度的一种运输算法，给出它的推导、开发及验证。这个算法是按照使每个电铲线路的累计产量与目标的偏差最小的原则来确定贫铲；按照使汽车与电铲的总等待时间为最少的原则给贫铲分配汽车的。还探讨了该调度系统对电铲及汽车故障的反应能力。本算法使产量有大幅度的增长，而且即使在电铲故障的情况下，也能使各种矿石品位的运行平均值仍接近目标。     

概念格最简子直接分解概念及算法研究

1引言 概念格(Concept Lattice)首先由德国的教授Wille R于1982年提出[1],它是根据二元关系提出的一种概念层次结构,是数据分析和规则提取的一种有效工具.作为概念分析的一种形式化工具,概念格已经广泛地应用于软件工程,知识工程等领域.     

新型乳化酸选择性酸化技术

常规酸化过程中，酸液优先进入含水饱和度高的孔道，常使含水孔道增大，而对含油孔道酸化效果较差，因此，设计了一种新型选择性乳化酸体系，使酸液能够优先进入含油饱和度高的层段并对其改造。新型选择性乳化酸体系进入储集层与水相遇时黏度增大，而与原油相遇时黏度降低；岩心流动实验表明，经该酸液体系酸化后，含油岩心渗透率平均提高96．1％，而含水岩心渗透率仅提高10．1％。实验表明，新型乳化酸对储集层岩心具有良好的缓速性能和保护储集层性能。经青海尕斯库勒油田3口井应用，取得了良好的应用效果，新型乳化酸改造后平均单井日增油8．5t，含水率下降3．5％。室内研究和现场应用效果表明，新型乳化酸体系对储集层具有良好的选择性酸化改造功能。图4表6参14     

时效时间对隔板材料SAF 2507性能和组织的影响

为了分析时效处理时间对SAF 2507双相不锈钢力学性能和显微组织的影响,研究了SAF2507双相不锈钢经不同热处理(固溶处理、固溶处理+350℃时效处理)后的力学性能和显微组织。结果表明:1070℃固溶处理的不锈钢具有良好的力学性能,冲击功平均值在230 J以上,组织为典型α相和γ相相间分布的条状组织;SAF 2507双相不锈钢经固溶处理后进行350℃时效处理时,随着时效时间的延长,不锈钢的组织由两相组织逐渐转变为多相组织,并且析出相逐渐增多、冲击功下降。