新型客机座舱环境下的旅客登机效率研究

通过优化旅客登机序列可以有效地缩短登机时间，减少航班过站时间.登机效率的提高可通过调整座舱结构，增加过道通过能力来实现，如安装可侧向滑动的Side-slip 座椅来增加过道宽度，进而减少登机冲突.本文研究Side-slip座椅提高登机的效率.在掌握旅客登机行为以及与登机环境相互作用的基础上，建立考虑旅客异质性的元胞自动机旅客登机仿真模型；以行人流动态特性分析为基础，开展登机时间与登机影响因素间的敏感性分析；对新型座椅的有效性进行比较评价.结果表明，Side-slip座椅可大幅提高登机效率，同时可吸收行李分布变化、非熟练操作等不确定因素对登机时间稳定性的干扰.     

浅谈通航环境信息在海图上的表示

通航环境是影响船舶航行安全的诸多因素之一,海图是描述通航环境信息的重要载体。本文将结合海图工作实际,从通航环境对船舶航行的影响、海图的重要性、目前通航信息在发布等方面存在的问题及建议等浅谈通航环境信息在海图上的表示。     

多元协同演绎在一阶逻辑ATP中的应用

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

路面低温变色复配物的制备及热色特性

为提升路面冬季运营安全，实现路面低温动态预警，开展了路面低温变色复配物的制备及热色特性的研究。考虑变色温度、变色色差，确定了低温变色复配物各组成材料；通过改变各组分用量，讨论了其对变色复配物热色特性的影响规律；基于加权优序法优选出变色复配物的最优组成比例；在此基础上，通过差示扫描量热法和红外光谱试验揭示了变色复配物的显色机制，并将变色复配物应用于变色标线的制备中，体现出了良好的变色性能与耐久性，验证了变色复配物在道路工程应用的可行性。研究结果表明：显色剂种类决定变色色差，溶剂种类决定变色温度，随着显色剂用量的增加，变色复配物的变色色差和变色温度均减小，随着溶剂用量的增加，变色复配物的变色色差先增加后减小，变色温度升高；通过加权优序法确定隐色剂、显色剂、溶剂的最佳质量比为1∶1∶20；变色复配物的热变色行为是由温度主导的结晶紫内酯与正癸醇之间的相互竞争引起的，低温时结晶紫内酯争夺得到更多的双酚A使体系有色，高温时正癸醇俘获较多的双酚A使体系无色，通过室外耐候耐久试验、磨耗试验、耐污试验证明了变色标线具有良好的变色效果和耐久性。     

新建下穿隧道对既有隧道影响的可拓学分析

为了探讨新建隧道下穿既有隧道时对既有隧道的静力影响程度,应用可拓学物元理论,考虑新建下穿隧道与既有隧道间的相互关系,建立了考虑既有隧道洞径、新建隧道洞径、两隧道净距、围岩级别以及既有隧道埋深的静力影响程度评价模型,并将该模型得到的工程实例评价结果与实际结果进行了比较.结果表明,所建立的模型能够满足实际工程需要,可用于对下穿隧道对既有隧道静力影响程度的定性分析和定量评价.      

任意形状三元阵水下目标被动定位研究

针对传统三元阵安装布放要求较高,且只能给出目标二维位置信息的问题,提出了一种基于矢量水听器的任意形状三元阵三维定位算法,采用一个矢量水听器和两个声压水听器组成阵列,利用矢量水听器给出的信息解算目标方位角,推导了任意形状三元阵条件下目标俯仰角和距离的计算公式,从而实现了对目标三维位置信息的获取．消声水池的实验结果表明：新方法能够对声源目标准确定位,在环境噪声干扰下表现出较好的性能,具有一定的工程应用价值．     

磷石膏还原分解过程的热力学模拟

针对高硫煤还原分解磷石膏的反应复杂性,采用FactSage 6.1计算软件对其化学热力学平衡反应进行计算,并与相同条件下的磷石膏分解反应试验结果进行了比较.结果表明高硫煤还原分解磷石膏的主要产物为CaO,CaS,SO2等.综合分析表明温度是影响高硫煤还原分解磷石膏产物组成及含量的重要因素且在1 100℃时分解效果较好,可作为最佳温度的选择标准.计算结果虽与试验结果在确定组分含量上存有一定差异但产物组成及变化趋势相近,表明化学热力学平衡分析方法可作为磷石膏分解反应特性研究的指导性手段.     

元胞自动机交通流模型研究现状

交通流理论研究是以建立能够描述实际交通一般特性的交通流模型,从而揭示交通流的基本规律。在非线性科学和复杂性科学的推动下,元胞自动机模型成为研究交通流的一种新的交通流动力学模型。介绍元胞自动机交通流模型的产生与发展,分析用于道路交通、城市路网和轨道交通中的几种经典的元胞自动机交通流模型,并对今后可能的研究趋势进行展望。     

基于熵权模糊物元的客货混跑天窗模式优化

以客货混跑线路为背景,针对天窗模式的特点,从需求性、适应性、经济性、环境影响性、运作性5个要素层15个评价指标出发,建立模糊物元模型,并引入熵理论确定各指标的熵权。通过计算各模糊物元与标准模糊物元之间的欧式贴近度值,对各方案进行优劣排序,从而得到最优方案。该评价模型能有效避免评价标准不确定性、主观臆断性带来的影响,从评价结果看来,该评价方法具有科学性、合理性。