深圳城市轨道交通工程盾构区间造价指标分析

城市轨道交通工程具有投资规模大,建设时间紧,专业涉及面广,工程技术复杂等特点。总结深圳市已建城市轨道交通工程的技术经济指标,针对盾构区间隧道工程,研究轨道交通工程建设标准和造价指标体系,为合理确定本地区城市轨道交通工程建设和造价标准提供科学依据。通过确定盾构区间各项主要指标,为政府投资决策提供技术支撑,以期对轨道交通高质、高效发展起到一定推动作用。     

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

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

基于主客观综合定权法的单值中智TODIM决策方法

定权问题是多属性决策问题中的核心内容,传统定权方法大多仅单方面从主观或客观角度确定权重,合理的属性权重应综合考虑专家偏好与决策数据.因此,文中以单值中智集为研究对象,设计基于熵权法和DEMATEL法的主客观综合定权法,充分考虑决策者的有限理性特点,提出基于单值中智集的TODIM决策方法.首先,分析现有记分函数的缺陷,提出一种新的记分函数,实现单值中智数的大小比较;其次,提出主客观综合定权方法,其中,运用熵权法确定客观权重,根据DEMETAL方法获得主观权重,根据线性加权法确定各属性的综合权重;再次,将TODIM方法拓展到单值中智集理论,构建了基于单值中智集的TODIM方法模型;最后,以决策者投资中小企业为决策背景进行案例分析,验证文中方法的可行性和合理性.     

我国机场货运规模体系评价及优化建议

新形势下,优化中国机场货运规模体系对中国民航高质量发展和民航强国建设具有重要现实意义。从总量规模、货运功能、整体优化水平的多视域角度可以对中国机场货运规模体系进行综合评价。分析表明:(1)目前,我国航空货运形成了"4+3+N"机场发展格局;(2)我国机场货运功能整体呈现"低水平、扁平化"发展态势;(3)我国机场货邮规模体系优化程度有待提高,与美国也存在一定发展差距。本文的政策涵义在于,中国机场货运规模体系优化要有系统性思维,结合当前发展新形势和新机遇,重点应在供需两侧、系统布局、改革协同三个维度进行顶层设计。     

预制综合管廊接头抗剪性能与等效模拟方法

预制管廊接头力学性能及设计方法研究尚属于起步阶段,理论尚不成熟,对接头受力性能的认识尚不清晰。为研究预制管廊接头的抗剪性能及影响因素,基于福建省平潭预制拼装综合管廊工程,以典型的双舱和三舱预制拼装综合管廊结构为例,采用PLAXIS 3D岩土有限元程序建立预制管廊接头精细化三维数值模型,深入分析管廊接头的抗剪性能及影响因素,并提出合理实用的管廊接头等效模拟方法。研究结果表明,不设置剪力键时接头的极限总剪力降低了11.1%,设置剪力键能够明显地改善接头的抗剪性能;接头剪切强度和剪切刚度均与预应力基本呈线性关系;采用等效界面模型可以比较合理地模拟剪力键接头的抗剪力学行为。     

基于江海联运的长江港口投资战略研究

为做好投资决策，以浙江省海港集团布局长江沿线港口为例，研判市场环境，构建评价指标体系，采用聚类分析模型寻找投资价值洼地，最终确定集团投资战略。研究结果不仅可为浙江省海港集团投资长江沿线港口提供决策支撑，也可为同类项目投资提供参考。     

基于改进TOPSIS的城市客运综合交通枢纽评价

城市客运综合交通枢纽规划方案的优劣对城市综合交通系统的建设发展具有重大影响。为了提高城市客运综合交通枢纽规划方案评价的客观性和准确性,结合城市客运综合交通枢纽客流衔接换乘的系统分析,从多维角度出发构建了城市客运综合交通枢纽规划方案评价的多层次指标体系,在遵循方案评价基本原理及城市客运综合交通枢纽特点的基础上,提出了基于改进逼近理想点排序法的评价方法,用于城市客运综合交通枢纽方案的评价,建立城市客运综合交通枢纽综合评价模型。