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

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

简述智慧物流对港口发展建设的影响

物流业的智慧化发展可以在运输过程中的多个环节实现信息化、自动化和智能化的处理,大幅度提升物流效率,降低了物流运行成本,实现物流业的高效、低碳化发展。智慧物流成为现代物流的重要发展方向之一。港口作为海陆连接点,是物流链上重要的组成部分。港口的智慧化、智能化发展成为当前港口建设的重要发展趋势之一,港口的智慧化建设也成为提升港口核心竞争力的重要手段。本文通过研究我国智慧物流的发展趋势和技术手段,分析智慧物流发展潮流下对港口建设的影响,并提出保障港口智慧化发展的政策建议。     

基于BIM技术的桥涵工程参数化建模应用研究——涵洞标准族的创建

交通运输领域标准化、信息化、智能化建设要求推动BIM(建筑信息模型)技术在公路工程的应用,公路工程项目桥涵设计与施工主要采用交通运输部及各地发布的桥涵通用图(标准图),创建常规桥型和通用结构的标准化、参数化实体模型是公路工程BIM技术应用和推广的重要环节,有利于提高桥涵工程全生命周期的建设管理质量和效率。文中依据桥涵通用图,基于BIM技术,提出标准化桥涵通用图BIM模型及族库的建设思路和流程,在Revit软件平台上研究涵洞主要构件的参数化模型,创建涵洞洞口组成构件和洞身组成构件等构件族库,在统一的模型组织架构中实现涵洞的实体造型。     

基于数字孪生的船闸信息管理方法

针对当前船闸在运维管理过程中存在实时性与直观性不足的问题,建立一种新的基于数字孪生的船闸信息管理方法。运用BIM技术与WebGL技术,提出船闸三维数字信息化场景构建方法。通过分析船闸多源化异构数据实体关系,构建船闸多源异构数据库。基于建立的三维模型场景与多源异构数据库,制定一种三维虚拟仿真场景与多源异构数据库相互调用机制,基于B/S架构,研发基于数字孪生体的船闸BIM数字档案管理平台,实现船闸全景漫游、空间网格管理、档案信息查看、实时仿真互动等功能,为船闸运维管理的数字化、网络化与智能化提供技术支持,提升船闸管理水平。     

工科理科化问题下工科教师评价的导向机理

工科教育理科化是当前工程教育的痛点,工科教育工科化改革需要工科教师评价体系发挥导向作用。目前,教师评价指标理工趋同、过度依赖奖惩性评价方式、评价主体单一、忽视评价对象的个体差异等工科教师评价体系的问题在一定程度上导致工科教育的理科化。提出从引入工科教师专业发展理念、融合奖惩性与发展性评价方式、推进教师评价内容工科化、探索教师评价主体多元化、建立工科教师评价制度体系等方面优化高校工科教师评价体系,促进工科教育工科化改革。     

船舶机电系统故障信号远程通信容错诊断方法

远程通信系统是船舶机电系统故障信号传输与接收的关键。若远程通信容错率较低,则获得故障信号的完整性、精确性较差,致使故障严重性等级诊断结果失准,故提出船舶机电系统故障信号远程通信容错诊断方法研究。搭建远程通信容错架构(容错TTE模型),以此为基础,配置信息描述表结构,记录故障信号的传输与接收情况,制定远程通信容错算法,以接收的故障信号为依据,诊断机电系统故障的严重性级别,实现船舶机电系统故障信号远程通信容错的诊断。实验数据显示:应用此方法后,机电系统故障诊断严重性等级与实际严重性等级一致,充分说明该方法具备可行性。     

基于遗传算法的VLCC货油舱分舱优化

探讨以减小静水弯矩为目标的超大型油船分舱优化方法。建立以横舱壁位置为参变量的参数化分舱模型,编程实现典型工况配载计算;建立基于遗传算法的优化模型,实现在主尺度、船型和货油舱区域总长确定的情况下,以最小静水弯矩为优化目标的货油舱横舱壁位置优化。实际应用结果表明,该方法能快速高效地找到满足强制规范要求的静水弯矩最优的分舱方案。     

基于CATIA的常规桥梁参数化建模方法及应用

目前公路工程行业对信息化的需求愈发迫切,传统生产模式亟待打破。在此背景下,基于目前在桥梁模型建立中应用广泛的Dassault公司旗下CATIA软件,进行了常规结构桥梁的参数化建模探索及应用研究。主要描述了常规结构桥梁类别及对应的建模关键点与基于CATIA的参数化建模技术路线,并具体介绍该技术路线在项目上的应用,重点提及了数据的后期传递与实际应用。通过此研究,总结出一套成体系的建模、校核、应用的数据流程,为公路工程数字化做了技术支撑。     

桥式起重机主梁的模块化和参数化设计技术

以桥式起重机结构特点的分析为基础,结合参数化设计软件的模块化优势,划分桥式起重机主梁的结构模块,提高主要零部件的参数化效率.采用数据库技术对各参数进行管理,在模块化和参数化的设计条件下,探讨从三维参数化模型到实用工程图的自动调整技术.经实际应用验证,该项技术能大幅度提高桥式起重机主梁结构的设计效率和质量.