基于辽宁省气候条件下的沥青路面多指标设计方法环境参数研究

2017版《公路沥青路面设计规范》中对设计方法进行了大幅调整,为了加快新版规范在辽宁地区的推广应用,结合辽宁省地区的实际情况,从环境参数角度入手,具体计算了辽宁省各地区的多指标设计方法体系中涉及到的等效温度、基准温度调整系数和冻结指数,便于设计者参考。     

基于多指标体系下辽宁省高速公路沥青路面典型结构性能验算

多指标设计体系是一种与既有沥青路面设计方法区别较大的新设计体系,基于多指标沥青路面设计方法,以辽宁省高速公路沥青路面典型结构为研究对象,采用多指标设计体系中的路面结构性能预估模型,对半刚性基层疲劳、车辙性能、低温开裂等性能进行验算,进一步验证了典型结构方案在辽宁省的适用性。     

室内设计中通用设计内容与程序方法的探究

近几年我国城市建设正处于空前高速发展时期,城市中居住建筑是人类生存活动和社会生活必须的物质空间。室内设计的对象就是建筑物的内部,工作内容种类也在慢慢细化,并且范围也在逐渐扩大。室内设计也应该在原有的基础上对设计方法进行探讨和改进,文章通过调查和分析,研究了室内设计的方法,解决了室内设计中重装饰而忽略功能和用户体验等问题,并对该领域提供一些积极建议。     

采用多元化综合方法的农村公路网规模预测研究

为提高农村公路路网规模预测准确性,从农村公路影响因素识别、预测方法比选出发,构建了农村公路路网规模预测的多元化综合方法,并进行山西省十四五农村公路路网规模的预测,为农村公路网规划提供参考,推动农村公路网实现系统化合理化均衡化发展。     

基于线性加权和法的智慧交通系统评价体系构建

为了评价智慧交通系统对经济效益、社会效益、交通安全、节能减排等方面的影响,分析、判断智慧交通系统的运用状况、存在问题及可能发挥的潜力,提出了一种智慧交通系统评价方法和评价指标体系,基于层次分析法,构建了智慧交通系统评价模型,并以宁海县为例,从交通管理效率、交通安全水平、交通服务水平、能源环境影响等五个方面出发,对宁海县智慧交通系统进行评价,最终得到宁海县智慧交通建设水平处于中等偏上,为智慧交通系统的规划、建设、管理提供决策依据。     

基于分区优化的高铁车站通过能力提高方法

车站通过能力是铁路能力的一个关键制约点,本文通过降低咽喉长度对车站作业间隔时间的影响,扩大高铁车站通过能力. 分析车站分区的划分原则及方法,研究车站进路关系模型及作业间隔时间的计算方法. 以通过列车数量最大化为目标,考虑车站作业间隔时间,不同作业类型列车比例等约束条件,建立基于分区划分的车站通过能力优化模型及算法. 案例分析表明,不同作业类型列车比例及组合方式对能力的影响较大,分区划分车站咽喉区可有效减少列车作业间隔时间,提高车站通过能力.     

硬岩掘进机液压阀块设计方法

为了改善基础振动下液压阀块流道流通品质,基于有限元原理建立了基础振动下流道的仿真模型并验证了仿真模型的正确性;分析了基础振动下不同流道的布局方式,工艺孔结构参数,进出口流道长度对流道压降特性的影响;提出了基础振动下液压阀块的设计流程.研究结果表明:基础振动下U型流道压降特性最好,Z型流道最差;U型流道工艺孔长度越短,流道压降平均值和压降波动越小;Z型流道工艺孔长度为3.5倍工艺孔直径,V型流道的工艺孔长度为3倍工艺孔直径时,流道压降平均值和压降波动较小;工艺孔直径略大于进出口流道直径时,有利于减小基础振动的影响;出口流道的长度在3倍出口流道直径以上时,有利于避免流道出口处于转弯后流场的恢复区.新的设计方法能够有效减小阀块内流体压降大小,提高压力稳定性.     

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

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