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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

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

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

大跨度钢—混凝土组合箱梁施工技术

上海长江隧桥工程105m钢—混凝土组合箱梁是目前国内最大的组合结构连续箱梁，采用梁场预制，大型浮吊海上长距离运输、架设的先进施工技术。简要介绍施工工艺流程及关键施工技术。     

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

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

货车下心盘检测存在的问题及建议

1 问题的提出 近期,丰台车辆段部分检修车间反映,配装有尼龙磨耗盘的下心盘在投入运用的前几个段修期就较多地出现了直径磨耗过限问题.2009年3月,在专门用检测样板对新进货的转8G型转向架下心盘抽测时,发现新品下心盘与段修检测样板不符的现象大量存在.     

高铁大跨度混合梁斜拉桥钢-混结合段受力特性分析

为研究高速铁路大跨度混合梁斜拉桥钢-混结合段受力与传力特性,以主跨672 m的安九铁路鳊鱼洲长江大桥为背景,采用ANSYS软件建立主梁钢-混结合段有限元模型,分析其在最不利工况下的受力特点及变形特性,以及钢-混结合段长度对其受力性能的影响规律.结果表明:在最不利负弯矩工况作用下,边箱顶板与承压板焊接处存在应力集中及一定...     

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

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

关于变电站GOOSE通信方案的研究

IEC61850的特点是建立分层的体系结构、统一对象模型和抽象通信服务接口等,实现面向通用对象的变电站事件（GOOSE）报文通信是IEC61850通信的一种方式,它解决了对实时性和可靠性要求很高的数据传榆．文中详细研究了GOOSE报文通信方式及其流程,这对实现GOOSE通信提供了一种可行性方法,最后,给出了GOOSE通信实体结构图,包括了GOOSE通信的一整套通信流程．结合GOOSE报文的发送和接收,讨论了基于Linux操作系统上的通信,详细描述了Linux网络设备驱动程序．     

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

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

弹性工作制和动态停车收费组合策略研究

提出弹性工作制与动态停车收费的组合管理策略,探究组合策略下,出行分布的变化机理及动态停车收费费率的制定,以达到缓解通勤拥堵的目的. 构建双层规划模型建立动态停车收费费率的制定与多用户出行选择的相互作用关系,基于灵敏度分析的下降算法求解. 仿真模拟出不同弹性工作制规模时,均衡状态下多用户出行分布模式和优化的动态收费费率. 结果表明,组合策略能促使弹性与非弹性员工错峰出行,有效分散交通流,与单一策略相比,缓解路网拥堵的效果更好.研究成果为交通管理优化策略的制定提供了新思路.