一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

外汇汇率时间序列静态属性的抽取

为了能够使用现有的数据挖掘技术(例如粗糙集)对外汇汇率时间序列进行数据挖掘,必须从外汇汇率时间序列数据中抽取决定时间序列行为发展趋势的静态属性.针对外汇汇率时间序列的特殊性,给出了时间序列静态属性抽取技术的几个关键步骤,完成了从外汇汇率时间序列中抽取出静态属性,最后利用这些静态属性组成的数据库,实现了对外汇汇率时间序列比较准确的预测.     

基于易损性能分析的山店江大桥高墩抗震评估技术研究

以汝郴高速公路山店江大桥1号高墩为工程背景,通过对钢筋混凝土截面的弯矩-曲率分析确定高墩的损伤指标,利用midas/civil软件进行非线性时程分析,得到该桥墩的理论易损性曲线,并讨论壁厚和基础约束刚度2个参数对桥墩易损曲线的影响。研究成果可为预测结构的抗震性能、结构的抗震设计、加固和维修提供参考。     

柴油机曲轴静力学有限元分析

在对495Q柴油机曲轴进行实体三维建模基础上,采用有限元分析方法,研究了整体曲轴的变形和应力状态,并分别分析了不同圆角大小和曲柄厚度对曲轴应力应变的影响,为柴油机的改进设计提供有价值的理论依据。     

智利挂车市场:面向更高质量的产品

智利位于遥远的南美洲,由于受到国际贸易的影响,智利在2020年的总体经济表现并不理想. 2019年年底,智利面临着严重的社会和经济危机,2020年新冠肺炎疫情的流行又加剧了这一危机.智利的经济从2020年第四季度才开始逐步复苏,如今智利的议会正在讨论一些国家的改革措施,智利的社会与经济情况正在稳定. 不过即便如此,得益...     

酸碱和冻融双重腐蚀下混凝土力学效应的试验研究

在酸碱和冻融双重腐蚀条件下,进行了混凝土室内模拟试验。通过对混凝土的表面腐蚀现象、单轴抗压强度以及应力—应变关系的探讨和分析,结果表明:强酸和强碱均对混凝土具有明显的腐蚀性;酸碱和冻融循环腐蚀在不同时期分别占据主导作用,双重腐蚀加速了混凝土力学性能的劣化。同时,对酸碱和冻融腐蚀的机理进行了分析。本文的研究对混凝土在复杂环境条件下的设计和工程应用具有重要参考价值。     

环氧沥青混凝土抗疲劳层对柔性基层长寿命沥青混凝土路面结构的影响

开发了一种适用于道路工程的新型环氧沥青, 基于拉伸试验、黏度试验和荧光显微技术评价了其抗拉强度、断裂伸长率、黏度随时间增长规律和微观固化机理; 设计了AC-13C环氧沥青混凝土, 评价了其路用性能和疲劳特性, 分析了普通沥青混凝土、SBS改性沥青混凝土与环氧沥青混凝土作为抗疲劳层材料对柔性基层长寿命沥青混凝土路面结构厚度与疲劳寿命的影响。试验结果表明: 开发的环氧沥青抗拉强度为2.47 MPa, 断裂伸长率为2.65, 满足环氧沥青抗拉强度不小于1.5MPa、断裂伸长率不小于2的技术要求; 环氧沥青黏度增长到1Pa·s的时间为54min, 54min后, 黏度迅速增大, 因此, 施工时环氧沥青混凝土的拌和、运输与摊铺总时间应控制在54min内; 根据环氧沥青混凝土疲劳方程反推出当其疲劳寿命为10亿次时的疲劳应变极限为333με; 相对于普通沥青混凝土和SBS改性沥青混凝土, 环氧沥青混凝土抗疲劳层路面结构的疲劳寿命分别增大了2.92×10⁵、4.39×10³倍, 沥青层厚度分别减小了18、10cm; 环氧沥青的微观固化机理为环氧树脂与固化剂在沥青中逐渐从点到线、由线到网形成交联的三维网状结构。     

基于累积前景理论的物流配送干扰管理问题研究

在实际物流配送中,客户时间窗的变化经常导致配送方案的改变,而对其他客户满意度造成的影响.为此,提出累积前景理论,建立了价值函数和概率权重的乘积来衡量客户的满意度,并运用干扰管理的思想,设计了扰动最小的干扰策略和扰动恢复模型.同时,提出一种改进的自适应蚁群算法,改进了蚂蚁状态转移规则和蚂蚁的信息素更新方式,并用模拟退火算...     

第三轨供电系统中受流器与第三轨的接触压力及其对受流性能的影响分析

介绍了第三轨受流器的结构原理。分析比较了弹簧式和气压式受流器与第三轨接触压力调节方式的特点。基于电接触基本理论详细的阐述了受流滑板与第三轨接触区的导电机理。接触区域的导电电路由无数微小的电阻及电容并联而成,接触压力通过影响微小电阻、电容的数量比例,进而影响接触面上的导电能力和磨损性能。标称静态接触压力的设计值接近或等于"法向压应力临界值"时,导电能力和磨损特性取得均衡。     

大城市中小学周边地区交通拥堵问题分析与解决策略

交通拥堵已经成为我国大城市的一种社会问题,它与每一个人都息息相关,如何更好地处理这种问题,使其减少对人们出行的影响,成为值得每一个人思考的问题。针对大中型城市中的交通拥堵其中的一种现象进行深入的剖析,系统介绍交通拥堵的成因,有针对性地提出如何改善中小学周边地区交通拥堵现象的一些观点和做法。