激光室内定位的混合式高效点云地图构建方法CSCD

针对机器人在室内定位中存在的点云地图形式单一、存储空间大等问题,提出了一种包含特征地图、通行地图和精简地图的混合形式地图构建方法。构建特征地图时,利用曲率、法线和局部显著性等要素提取环境中的显著特征点。构建通行地图时,首先,采用区域生长分割平面;其次,基于室内曼哈顿假设,利用平面空间关系分割出地平面;最后,根据预设高度构建出2D通行地图,并将3D边缘信息融入到通行地图中。在精简地图中,分别采用主方向权重、随机采样和K均值聚类方法对不同类型体素网格内点云进行精简。实验表明,特征地图可为机器人提供丰富的特征信息。通行地图中地面分割的准确度大于95%,可提供准确的先验通行信息。精简地图有效降低了点云地图的冗余度,在精简比例达到95%时,仍可取得0.8mm的平均模型误差,其精简性能优于传统的随机采样和体素格网方法。     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

网络图中边集束优化问题

网络规模增大和复杂度提高造成的节点遮挡覆盖和边交叉阻塞等问题成为网络可视化研究的热点.针对网络中出现的视觉凌乱问题,以空间位置和群组关系为出发点,从网络中独立的边和群组两个层次,以边汇合的角度研究边集束技术,将网络中临近的边集聚成束以降低视觉复杂度,提出和改进了分段力导引算法(FDA)简化模型和群组边相容的网络图边集束模型.其中分段集束模型,提出以二次样条曲线表示网络边,通过样条控制点进行迭代汇聚的方法,实现了网络中边的集束;针对分段集束模型中部分连线过度弯曲问题,提出通过CNM聚类算法将网络进行群组划分,在群组结构的基础上对组内连线应用边相容原则,根据连线的匹配系数计算其集束程度的方法,网络图集束后曲线扭曲变形减少,曲线过渡更加平滑.选取国内航空网络作为案例,通过两种边集束模型进行网络图简化,分析结果表明,国内机场的群组结构具有地理属性的相近性,航空网络在整体上呈现出明显的十字脉络,东西走向和南北走向的航线分别汇聚集结成束,表现了航空网络建设在南北和东西方向的总体趋势.本集束简化算法适用性广,绘制的网络图具有良好的视觉效果和可读性.      

航天器设备动力学分析模型简化方法与应用

针对航天器设备因构成复杂引起的动力学分析模型建模困难问题,提出一种基于拓扑优化技术的有限元模型简化方法,以设备实测质量特性为约束条件,通过拓扑优化方法确定设备有限元模型可行设计空间中的材料分布,实现对结构刚度性能的模拟,获得满足动力学特性分析需要的简化的设备有限元模型。应用该方法创建了某星敏感器简化有限元模型,得到的星敏感器简化模型与产品实际质量、质心位置和转动惯量特性基本一致,并且前两阶频率分析值与试验值之间最大偏差约为30%。将该简化模型应用于其支撑结构的动态响应性能评估,两者组合体固有频率及加速度响应趋势的分析数据在450Hz以下的频率范围内与试验数据吻合较好,固有频率最大偏差约为39%。星敏感器简化模型的应用验证了基于拓扑优化技术的有限元模型简化建模方法的可行性,为航天器上复杂设备动力学分析有限元模型的简化建模提供了一种新的解决途径。     

NexGen燃烧器模型简化方法研究

用于开展防火试验的NexGen燃烧器结构复杂,采用数值模拟方法对其进行研究,建立几何模型时若能对其进行适当简化,能够大大提高计算效率和计算稳定性,达到事半功倍的效果.针对NexGen燃烧器的几何建模提出了两种模型简化的方法:功能分析法和结构分解法,并对这两种方法进行了阐述.结合实验数据说明了功能分析法的有效性,通过对比分析简化模型和未简化模型的计算结果,说明了结构分解法的有效性.结果说明在5％的置信区间内,两种简化方法都是合理的,能够用于后续研究,并且为复杂模型的简化提供了一种新的思路.     

关于飞机结构疲劳载荷谱低载截除水平选取的探讨

低载截除作为飞机结构疲劳载荷谱简化的重要内容之一，可以大幅节省疲劳试验的时间与成本，然而目前对于低载截除水平的选取尚无公认的标准方法。本文对文献中已有的低载截除水平进行广泛地搜集，将低载截除水平划分为基于材料疲劳极限与基于谱最大载荷的两种选取方式，探究两种选取方式之间的联系，建立低载截除水平关系模型。结果表明：两种低载截除水平选取方式本质上是一致的，基于谱最大载荷的选取方式结合了飞机载荷与结构材料的特点，是对基于材料疲劳极限选取方式的延伸，所建立的低载截除水平关系模型能够为实际工程中疲劳载荷谱简化时低载截除水平的确定提供参考。     

基于潜在冲突的交叉点航路构型研究

航路交叉点的承载能力是决定航路容量的关键因素,而研究交叉点的潜在冲突与航路构型是提高交叉点容量的有效方法.首先根据国内现有几大主要航路构型的运行现状,提出构型存在的主要问题并加以总结.然后建立基于影响航段的交叉航路冲突模型,分别讨论了航路交角、航班流率、安全间隔3方面对平均冲突数的影响.最后比较分流法和降维法两种扩容方法,通过容量模型和数值分析计算,把三维交叉航路降为二维简单交叉航路,把"米"字型航路改为"井"字型航路,验证了降维法更具有可行性.研究表明,"井"字型航路可以增大航路网的现有容量,是提高空域利用率和运行效率的有效方法.     

计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。     

三维几何数据压缩与简化

随着虚拟现实技术及网络技术的快速发展，高分辨率三维图形的应用将日益普遍，这就给存储、传输和实时显示提出了更高的要求。近些年来，人们对三维几何数据压缩、渐进传输及简化技术的研究表现出浓厚兴趣，本文对三维几何数据压缩及简化技术研究概况进行了介绍。