Lukasiewicz逻辑系统中的广义重言式理论

将逻辑系统－／Ｗ,Ｗ,Ｗｋ中的广义重言式理论进行推广并应用到Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中,主要结果是：得到了逻辑公式集Ｆ（Ｓ）在系统中关于同余的分划;证明了在该逻辑系统中对每个无理数α而言,不存在可达α－重言式,且对每个实数α而言式不存在可达α＾＋－重言式,给出了广义重言式、广义矛盾式各类之间的关系定理。     

基于改进遗传算法的组合拱桥结构优化设计

针对基本遗传算法存在的未成熟收敛及振荡等缺点,采用自适应调整交叉及变异概率的方法,并在其中加入转基因算子,形成改进遗传算法,开发出基于改进遗传算法的组合拱桥结构优化程序;探讨了遗传算法在组合拱桥结构优化设计中的应用;数值实验表明,优化后的结构满足规范设计要求,可显著节省工程造价.     

废旧橡胶颗粒沥青混合料抗滑性能的研究

通过摆式摩擦系数仪和铺砂法分别检测了成型板式试件的摩擦系数和构造深度,对五种级配对应的摩擦系数、构造深度进行试验研究。研究认为,将橡胶颗粒添加到路面中可以改善路面的抗滑性,橡胶颗粒的掺量越多,路面的抗滑性能越好。外掺法获得的沥青混合料的抗滑性能要优于内掺法的。此外,可通过控制关键筛孔4.75的通过率来调控混合料的抗滑性能。     

浅埋双连拱隧道进洞口管棚预支护参数分析

复杂地质条件下浅埋双连拱隧道围岩压力通常是不对称的,特别是隧道围岩十分软弱时更为明显。偏压作用对于围岩的稳定性产生较大影响。采用三维弹塑性有限差分方法分析偏压双连拱隧道的管棚预支护作用。管棚效能的发挥不仅与其自身的参数设计及选择有根本关系,而且也与地层参数和隧道结构参数密不可分。针对该隧道的地质条件和管棚设计要求,对钢管环向间距、钢管直径、管棚在围岩中的剩余长度、管棚力学模型、开挖进尺长度5个方面影响因素进行分析,得出偏压双连拱隧道管棚应采用不平衡设计的结论。     

推进梧州市城乡道路客运一体化发展的建议

文章针对梧州市城乡道路交通发展现状,分析了城乡道路交通发展存在的问题,并从体制、政策、实施等方面探讨了统筹城乡道路客运一体化发展的具体策略。     

舰载POS MV数据采集与处理技术的水上定位性能

为提高水运工程复杂作业环境舰载水下声学设备的定位能力,研究了舰载POS MV系统组成单元及搭载的Applanix IN-Fusion GNSS/INS组合定位基本原理。基于POSPac MMS构建了4种POS数据后处理模式选择策略及方法流程,形成了舰载POS数据采集与处理核心技术体系。依托温岭航道疏浚工程扫测项目开展离岸35 km持续2.17 h的POS MV WaveMaster数据采集及处理工程实践。研究结果表明：1)POS MV在非星站差分情况下,其实时定位平面、高程精度均为米级,横纵摇、艏向平均精度分别为0.026°、0.029°。2)在POSPac MMS的PP-RTX和SingleBase后处理模式下,平面、高程定位精度提高至2～3 cm,横摇、艏向平均精度分别提高至0.012°、0.015°,真垂荡数据中误差稳定在0.01 m。3)POS MV可以实时获取稳定、有效的惯导数据,辅助后处理技术能够为水运工程提供准确的位置和姿态信息。     

区域港口一体化发展下港口腹地范围演变规律研究

为探究区域港口一体化发展下港口经济腹地的演变规律,以港口资源整合前后的大连港和营口港为例,运用改进的腹地烟羽模型对2018、2020年的港口腹地范围进行测算,结合Arcgis软件绘制各港口单纯与混合腹地空间分布,通过各港口腹地范围演化特征分析港口一体化发展策略。研究结果表明：港口整合后各港口综合影响力差距缩小,大连港与营口港腹地范围差距减小、混合腹地范围扩大。港口一体化发展背景下,各港口发展侧重于腹地范围的均衡协调,避免同质化竞争,实现合理分工。     

舰艇浮稳性保持与优化计算机辅助决策系统

浮稳性对于舰艇航行的安全性有重大影响。与民用船舶不同的是,舰艇还面临着在战斗中遭受损坏的危险,所以对于舰艇而言,做好浮稳性的优化和保持工作是一项重要的任务。本文详细介绍了所开发的舰艇浮稳性保持与优化计算机辅助决策系统(简称WFSMO-CADS),该系统具有较为全面的为舰艇浮稳性保持与优化工作提供辅助决策的功能,主要包括自动计算任意装载状态下的舰艇浮稳性性能指标、自动提供日常使用中舰艇浮稳性最优保持方案以及自动生成舰艇受损进水后的最优科学抗沉方案等方面的功能。     

预制梁存放过程中裂缝成因分析

针对预制梁存放时开裂的问题,运用力学知识推导公式,结合工程实例计算下降不同温度时产生的拉应力大小,并运用有限元软件ANSYS分析验证,指出预制梁存放时支承处理不当,温度骤降是导致梁体开裂的原因,并提出了处理意见.