α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)

This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved.     

如何保证路基压实度及CBR值满足要求

就影响压实度及CBR值的几种因素分析，对提高路基压实度及CBR值提出自己的观点。     

某轻型客车轮毂轴承的匹配计算

某汽车厂家为迎合市场需求,开发了一款轻型客车。该车型在试验场路试过程中,发生了两起前轮毂轴承烧蚀问题。本文针对该问题,运用理论计算、CAE分析,并结合试验,制定相关措施,优化设计轮毂轴承。     

面向智能车定位的道路环境视觉地图构建

为实现智能车视觉定位,提出了一种基于多视角、多维度道路环境表征的高精度视觉地图构建方法,该方法明确了视觉地图的表征模型,包括视觉特征、场景结构信息以及轨迹信息等。在视觉特征中,运用前视场景全局特征描述道路环境,视觉特征不局限于某一种特征描述子;在场景结构信息中,运用俯视路面的2D结构信息进行描述,该特征与前视视觉特征构成多视角;轨迹信息则通过视觉维度以及地理维度的多维度方式完成计算,在视觉维度中,通过平面单应性计算节点间的轨迹;地理维度中,通过高精度经纬度信息消除累积误差问题。试验选取武汉理工大学内长约700 m的半开放式环形路段进行试验。试验结果表明：制图的单节点平均误差为3.1 cm,标准差为2.3 cm,最大节点误差为9.3 cm,累积误差率为0.5%。运用所制地图进行定位检测,平均定位误差约为11.8 cm,因此,研究所提出的方法可应用于半开放式路段或固定场景的视觉地图构建,为实现智能车在上述场景的定位打下基础。同时,研究提出的制图方法不需使用双目摄像机,在降低数据存储量以及制图成本的前提下,实现了对道路环境的充分表征;此外,运用路面2D特征结构信息计算轨迹,解决了视觉3D重建精度不稳定的问题,为视觉地图构建提供了新的构建思路。     

基于海事案例推理的决策支持系统的设计和实现

文章提出将基于案例推理的方法应用到海事案例决策支持系统中。首先介绍案例推理的方法,介绍海事案例决策系统中的组织结构、案例表示、海事案例库的检索等,阐述海事案例决策支持系统的设计和实现。     

轿车车身模态分析及结构优化设计

在保证车身结构力学特性的前提下,对白车身结构进行了简化,并以四边形板壳单元为主要离散单元,建立了某自主研发轿车白车身的模态分析有限元模型。通过对该有限元模型进行的自由模态分析,得到白车身的各阶模态频率和模态特性,为动态设计提供了参考依据。针对分析得到的局部不合理结构进行了零件结构和布局的优化设计,使整车刚度更趋合理。