不分明化拓扑中F-滤子与网的若干性质

本文在[1]的不分明化拓扑新定义基础上,给出了不分明化滤子的定义,并且用逻辑的语义方法讨论了它的若干性质;之后讨论了子网和网的关系;最后给出了不分明化超滤子与超网的定义,同时用逻辑的语义方法证明了超滤子的极限点集与附贴集的等价关系．     

落实司机权益,万顺叫车深耕合规化建设

今年以来,网约车行业监管政策逐步升级不断细化,目标直指网约车司机权益保障.11月30日,交通运输部等八部门联合印发《关于加强交通运输新业态从业人员权益保障工作的意见》(以下简称《意见》)提出,要求各大网约车平台完善平台和从业人员利益分配机制,推动平台抽成的透明化建设,支持从业人员参加社会保险,保障从业人员获得合理休息,...     

数据库技术在船舶破舱稳定性计算中的应用

船舶破舱稳定性的计算会随着船舶类型、舱位、人数、碰撞位置不同而不同,目前尚未建立一个统一的计算模型来实现船舶破舱稳定性计算,且破舱稳定性计算量大,建立的计算模型较为复杂。本文提出使用数据库技术、云平台技术建立一个综合的船舶破舱稳定性云计算平台,对概率性船舶破舱稳定性计算过程进行充分研究,计算分舱指数和概率因数,使用数据库技术实现对破舱稳定性计算相关数据的存储及查询,打通所有应用端、存储端和计算端的接口,并通过云平台的性能监控优化船舶破舱稳定性的计算模型。     

基于情景反演的船舶追越碰撞风险推理方法

为揭示船舶在追越过程中碰撞危险演化特征,提出一种基于情景反演的碰撞风险推理方法。基于追越事故案例中记录的船舶碰撞过程的动态信息,反演船舶追越过程中碰撞危险信息;引入负指数函数,结合船舶属性,通过最近会遇距离(Distance of Closest Point of Approach,d_CPA)与两船到达最近会遇距离的时间(Time to Closest Point of Approach,t_CPA)无因次化,确立船舶会遇的碰撞危险度(Collision Risk Index,I_CR),运用灰云推理模型,提出时间维度下追越两船的碰撞风险推理(Potential Collision Risk,P_CR);结合多起案例反演数据,得出船舶追越过程中P_CR特征。结果表明：船舶追越依次经过碰撞危险、紧迫局面和紧迫危险等3个阶段,在时间节点上有一定稳定性特征,对应的P_CR均值分别为0.349 1、0.557 5和0.777 1;船舶左舷追越的P_CR值...     

基于轨道交通站点的三网融合发展策略研究——以杭州市为例

轨道交通、公交、慢行三网融合,是对公共交通系统多维度关联分析与国内外公交都市发展的最新研究方向,也是构建高品质、人本化的全过程公共交通出行链的必要路径。本文以杭州公共交通系统协同融合发展为目标,提出网络融合、走廊融合、站点融合、服务融合四大战略,并基于轨道交通站点研究慢行设施、公共汽（电）车以及换乘导向标识等重点领域的布设策略,以指导存量设施的精准调配与增量设施的有的放矢。     

舰载云图像识别性能研究

深度学习的兴起促进了各个电子科技行业的迅速发展,军事科学的智能应用也得到了极大的推广。舰载云环境基于单只舰船,为舰载智能应用提供算力、网络资源和存储支持。深度学习任务依赖强大的计算资源,相同的智能模型在不同的计算平台中性能可能出现巨大差异。在自主可控的大背景下,本文基于深度学习中的典型图像识别任务,对比使用国产和商用计算平台中舰载云上不同配置的虚拟机的表现性能。一方面,分析不同的虚拟机配置与表现性能的关系;另一方面,对比商用及国产平台的性能差距,为舰载云智能化的大规模应用提供理论支撑。     

面向轨道维护的可变轨距轨道模型与钢轨点云的配准方法

基于车载Lidar技术相关的硬件和算法的快速发展,具备发展成快速车载轨道测量技术手段的潜力,从而替代传统的地面人工轨道测量手段。针对其中根据钢轨点云获取轨道轨距、钢轨位置等参数的问题,定义了可变轨距轨道模型,并在此实现可变轨距轨道模型与钢轨点云的配准方法。新算法在配准迭代过程根据钢轨点云到轨道工作边的距离来动态调整模型轨距,从而在轨道配准精度和轨距测量精度两项关键指标获得了同步提高。通过模拟数分析存在不同轨距偏差、超高等情况下算法性能,并和单钢轨轨道模型和固定轨距轨道模型的配准结果进行比较。最后通过一段干线铁路的实测点云进行测试,试验结果表明单钢轨轨道模型配准后左右钢轨的平行性得不到保证;在直线段与固定轨距轨道模型配准精度和轨距测量精度基本相当,配准精度为0.16 mm;在曲线段可变轨距轨道模型配准精度和轨距测量精度不受轨距变化的影响,显著优于固定轨距轨道模型的结果,精度高88.7%。     

广州市轨道交通工程2010年建设线路高程控制网总体设计

根据广州市快速轨道交通线网规划(2010年线网实施目标),对拟建地铁线路的高程控制网测量方案进行总体设计,既满足拟建地铁线路施工测量的需要,又联测已建或在建地铁水准点,将广州地铁线路的高程控制统一布网,统一数据处理,建立统一的高精度高程控制系统。     

基于云理论的路网可靠性评估方法

以科学评估路网可靠性为目标,认为该问题涉及到对路网可靠性的认知和表达两个方面。视路网可靠性为模糊性与随机性的统一,从而发现其理论基础同云理论有着内在联系,进而采用云理论研究路网整体可靠性的评估。根据路网综合失效的严重程度,将路网可靠性划分为6个等级,将影响可靠性的因素划分为5大类别,并采用路网综合性能模型对5个类别的影响因素进行衡量、对路网可靠性所属等级进行评判。鉴于人脑的思维是对路网可靠性认知与表达的主体,而自然语言是思维的载体,故以语言值来表示可靠性的定性概念与其定量数值之间的不确定性转换,并通过应用分析描述了该方法的应用过程。