Influence of initial heeling angle on ship roll motion response北大核心CSCD

[目的]系统地研究初始横倾角对随机横浪下船舶横摇运动响应的影响。[方法]以路径积分法为基础,通过数值求解控制横摇运动微分方程概率属性的Fokker-Planck方程,得到横摇运动响应的概率分布。[结果]结果显示,初始横倾角对船舶横摇运动响应谱的影响有限,但对横摇角概率分布以及横摇运动响应极值分布的影响十分明显,且会造成船舶安全性的显著恶化。[结论]路径积分法可作为研究随机海浪下船舶横摇运动特性的有效数值方法。     

体育小镇交通发展思考

体育特色小镇与体育、旅游等产业融合发展,正在成为新型城镇化的重要载体。交通运输是体育特色小镇发展重要条件,也是促进体育特色小镇繁荣的基本途径,优良的交通系统能够为小镇营造整洁的空间秩序和优美的运动康体文化环境,有效提升体育小镇发展的总体形象。本文梳理了体育特色小镇的主导功能,针对不同功能特色的体育小镇,提出了小镇交通发展的基本思路。尽管体育小镇的主导功能不同,但其交通系统都需要融入运动和康体的主题元素,也要更加注重绿色环保的交通体验,塑造美好生活导向的交通文化和交通文明。     

基于果蝇优化算法的轮廓误差控制研究

针对传统果蝇优化算法精度低、收敛慢、易陷入局部最优的问题,通过增加随机机制扩大其探测能力,并通过改变步长,提高其后期寻优精度。将改进后的算法应用于PID控制器的参数优化,并将复杂的时变信号作为优化模型的输入。对获得的PID参数的控制效果进行验证,结果表明:改进后的果蝇算法寻优速度快、精度高,其优化后的PID参数,轮廓运动控制精度高、鲁棒性好。     

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

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

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。     

山地城市建成环境对居民小汽车拥有影响研究——以贵阳市为例

为分析山地城市建成环境对居民小汽车拥有的影响，探究不同坡度下居民地形感知对小汽车拥有影响的差异，采用贵阳市中心城区不同坡度下的小区居民调研数据，引入3个观测变量来评价居民的地形感知，将结构方程模型（SEM）计算出的潜变量适配值融入Logit模型中，构建包含潜变量和显变量的SEM-Logit模型来研究主客观建成环境与小汽车拥有的关系。结果表明:坡度对小汽车拥有产生积极影响，但不同坡度下的地形感知对小汽车拥有的影响有所不同。在地形条件相对较好的环境中，当小区坡度小于8%，居民对地形感知并不强烈，并认为从小区步行到公共交通站点的距离和时间花费在其承受范围内。因此，地形感知并未对小汽车拥有造成显著影响；在小区坡度为8%~15%时，地形感知对小汽车拥有产生显著负效应。生活在该小区类型的居民，尤其是收入相对偏低的居民，更喜欢选择电动自行车出行，削弱了小汽车拥有量；当小区坡度大于15%时，小区坡度与小汽车拥有量具有正相关性。该小区类型的道路坡度大，居民出行过程中通常会经历频繁的上下坡，造成出行时间花费长，继而形成强烈的地形感知。这严重降低了居民出行选择步行或骑行的可能性，转而提升了小汽车拥有的概率。同时，在SEM-Logit模型中也证明了除地形因素外，家庭年收入、到地铁站最近距离、土地利用混合度、目的地可达性、出行态度对小汽车拥有具有较大影响。      

一类a+b型浅水波方程的爆破现象和无限传播速度研究

本文研究了一类包含了Camassa-Holm(CH)和Degasperis-Procesi(DP)方程的非线性浅水波方程.首先建立了这类方程在Sobolev空间中解的局部适定性,爆破性.其次,我们讨论了这类方程的无限传播速度:如果初始值u0(·)具有紧支集,那么方程以u0(·)为初值的局部解u(t,·)不再具有紧支集,并且它在存在区间内呈现指数衰减的性质.