Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。     

可变喷油正时及其控制方式分析

通过喷油正时对柴油机工况影响的介绍,分析了可变喷油正时在船用低速柴油机中的应用,探讨了机械式可变喷油正时和电子式可变喷油正时的原理和未来的发展方向。     

规范公路收费权转让行为的政策研究

为了增强社会公众对公路收费权转让的正确认识,使转让公路收费权融资这一新生事物在中国公路建设融资市场上发挥更重要的作用,在分析了收费权转让相关法律、政策、规范依据及国外可供借鉴经验的基础上,提出了规范公路收费权转让行为、公路收费权转让主体、公路收费权转让条件、公路收费权转让期限、公路收费权价值评估方法、公路收费权转让价格、公路收费权转让收入使用以及相关问题的政策性建议,以期实现以存量换增量,以资产换资金。     

重型半挂牵引车燃油经济性提升研究

本文旨在对某重型半挂牵引车燃油经济性的改善进行研究.首先,对后视镜进行了优化,风洞试验结果风阻系数降低了0.012.接着,利用遗传算法对传动系统参数进行优化.并通过改进电控硅油风扇的控制策略,降低了发动机附件的功率消耗,Simulink/Crusie联合仿真和转鼓试验台测试的结果:C-WTVC循环工况油耗分别降低了1....     

2011年世界船舶市场评述与未来展望

在"增长放缓、风险增大"的2011年全球经济环境下,世界航运市场受"运力投放无休、运营成本增加"的影响而表现为"低迷不振"。新船的不断交付也使世界商船队年轻化势不可挡。新船建造市场同比有所下滑,液货船和散货船表现不佳,集装箱船和海工市场表现较好,新船价格呈现小幅下调趋势。预计2012年世界船市在三大主力船型上仍不容乐观,海工市场继续有尚佳表现。     

港口物流与区域经济协同发展研究*

阐述了港口物流与区域经济的相互关系,利用灰色综合关联度模型对重庆市港口物流与区域经济之间的相关性进行实证分析,结果表明两者存在着高度的相关性;同时通过多维灰色GM(1, N)模型分析了两者之间的协调程度,得出重庆市港口物流与经济增长整体上协调,有一定的发展能力,但是两者之间同时存在某些不协同因素。最后根据分析的结果提出了相关建议以促进港口物流的发展,进而实现与区域经济的良好互动。     

收费公路资产证券化定价及发行方法研究

从数据驱动视角出发，本文探讨收费公路资产支持证券的结构化定价方法。首先，构建反 映交通量风险特征的收费公路通行收入自回归积分滑动平均模型；其次，基于瀑布式偿付结构和 到期收益率Nelson-Siegel模型计算不同等级证券发债规模与息票利率；最后结合成渝高速和渝 蓉高速现实数据进行仿真分析。研究发现，高速公路成熟期的通行收入具有尖峰厚尾特征，成长 期的通行收入更兼具显著的波动聚集效应。数据驱动的定价模型能够刻画通行收入的风险特 征，合理估计优先级的证券融资比例，比只考虑利率风险的现金流折现法更具有优势；从发行方 式来看，合并发行的融资结构显著优于单独发行。管理启示是改变以单个高速公路项目为基础 的特许经营权融资，通过绩优绩差项目的合并发行优化融资结构。     

港口对地区经济贡献度研究

阐述了港口相关经济活动的构成、界定了港口经济贡献的内涵和组成，介绍了港口经济贡献度的研究方法及指标体系．以华南地区某港为例，分析和计算了该港口对当地经济的直接、间接和波及贡献，并得出该港口对当地经济的总贡献度及其贡献度在当地经济发展中所占的比重．     

路面养护中拌和站设置和养护经济半径研究

以养护工程的经济性为研究出发点 ,以单位工程养护成本为衡量指标 ,提出了在高速公路养护施工中 ,拌和站设置点的选择和养护经济半径的确定     

欧盟环境法中的循环经济趋势谈

欧盟在先进的环保理念的支持下,在许多方面超越美国成为环境立法最发达地区。近年来欧盟循环经济的立法尤具特色。本文分析了欧盟循环经济法律发展历程及其典型制度;全面剖析了欧盟循环经济立法的特点:严格的标准、形成新的贸易壁垒、大量运用经济激励机制、生产者之责任延伸等。分析了欧盟循环经济的发展趋势及其对中国经济、贸易、法律的影响。