基于3次样条插值的数控机床几何与热复合定位误差建模

通过分析机床整个温升直到热平衡的误差数据,总结误差分布的数学规律,将热误差和几何误差分离,运用基于压紧样条条件下的3次样条插值算法,以线性拟合后的余差为建模数据,建立了数控机床几何与热复合定位误差数学模型.实验结果表明,该数学模型能很好地拟合数控机床定位误差曲线,补偿后数控机床定位精度提高了80%以上.该方法可运用于不同时刻或不同机床温度下的机床定位误差补偿,建模原理明了、过程快速,模型适用性好.     

基于立体成像系统的架空输电线路通道监测

视频监控在输电线路运维检测中已得到广泛应用,但传统二维成像缺少深度信息无法准确测得真实空间距离。本文提出了一种基于立体成像系统的架空输电线路通道监测方案。方案分为三个阶段:首先,系统标定阶段对立体成像系统标定,获得系统内、外参数;然后,在架设建模阶段对立体成像系统进行现场安装,并建立导线监控空间点数据库;最后,实时检测阶段识别异物,并寻找异物与监控空间点数据库的最小值作为异物与导线的空间距离。通过现场实验,建立了10 kV、杆塔高8 m、杆塔间距100 m的输电线路通道模型,实时检测出了人为设置的异物与异物到导线的空间距离,验证了本文方法的可行性。     

基于ADAMS的水压机夹紧机构的优化设计

水压机是对钢管进行水压试验的机器,在钢管生产线中有着重要作用,利用水压机大大提高了钢管的合格率.夹紧机构是水压机机的重要组成部分,本文首先进行夹紧力的理论计算,然后利用ADAMS软件建立了水压机夹紧机构的三维实体模型,在仿真分析后对夹紧机构进行参数化建模并进行优化设计.优化设计后夹紧机构的驱动力降低了11.6%,平均力降低了2.74%,极大地降低了能耗,节约了成本.为实际生产中选择合适的驱动力提供了理论依据.     

二维地图与三维可视化一体化存储研究

以某城市部分地下管网为主要表达载体,在VS2010.NET环境下集成地下管线信息系统,使用Arc GIS10.0对二维空间数据进行处理,利用Skyline所带组件结合影像图完成三维地形建模MPT文件的制作,将二维管线专题数据通过编程完成到三维数据的转换,最后再使用Arc GIS Engine与Terra Explorer API所带有的二次开发接口完成二三维匹配及一体化操作,使系统达到能集合二维的基本分析功能和优秀的三维观察能力,完成二三维一体化建设这一目的。     

自动化集装箱码头数字孪生数据建模及评价方法研究

为充分利用自动化集装箱码头海量作业数据，实现数字孪生驱动的码头数字化、智能化转型，提出一种自动化集装箱码头数字孪生数据建模及效果验证评价的方法。研究了基于数字孪生的自动化集装箱码头的应用框架及其运行机制；结合数字孪生框架的数据处理逻辑，提出了基于数字孪生的码头作业过程演化及动态数据建模方法；为验证数字孪生数据能否满足码头数字孪生的有效运行，给出了码头数字孪生数据验证评价的量化计算方法。为实现基于数字孪生的自动化集装箱码头的智能作业管控和作业数据管理提供方法支撑。     

自主体人工智能建模及其哲学思考

自主体既是一个与自我、自我意识、人格同一性问题密切联系在一起的经典哲学问题,又是一个崭新的、同时具有心灵哲学和人工智能工程学意义的问题。人工智能在利用哲学自主体认识成果、对自然自主体进行活体解剖的基础上,从静态和动态角度对人类自主体作了大量的形式上的逻辑建模尝试,对实践中提出的理论和工程学问题作了基础性的理论探讨,取得了丰硕的成果。但问题是,许多建模特别是作为许多模型之基础的BDI结构是以民间心理学为理论基础的。这在现在也许有其必要性和合理性。但如此进行理论建模风险很大,因为民间心理学的前途、命运是什么,是否会像巫术等一样被淘汰,仍是心灵哲学中的未决问题。既然如此,在据以建模时就必须抛弃过去的民间心理学加之于它们的错误构想,即抛弃对于心理世界的拟人式、人格化构想或观念,进而在多科学的通力合作下,重构关于人及其心灵的正确的地形学、地貌学、结构论、运动论、动力学。     

一种铜电解生产过程的多目标量子粒子群优化

为解决铜电解生产过程能耗高的问题,采用机理和辨识混合建模方法建立铜电解过程多目标优化模型。针对量子粒子群算法求解多目标优化问题存在的多样性差、分布不均甚至局部收敛的问题,提出了一种基于信息熵和混沌变异的改进多目标量子粒子群算法,对测试函数的计算结果表明所提出算法在求解分布性方面要明显优于其他经典算法。利用改进算法在给定电价和分时电价情况下进行铜电解过程多目标优化仿真,获得了生产工艺参数的最优组合,有效的降低能耗,为电解铜的生产过程优化提供了详细的指导和理论依据。     

城市增长模拟模型研究综述

城市增长过程研究一直是地理学界长期关注的焦点问题之一。随着计算机技术的发展,城市增长模拟研究在理论和技术层面都有较快的发展。为进一步梳理城市增长模拟研究的发展历程,探寻相关研究的发展方向,在简单回顾城市空间结构和静态城市模型的基础上,重点对动态城市模型中以元胞自动机(Cellular automata,CA)和基于智能体建模(Agent-Based modeling,ABM)为代表的离散动力学模型的研究成果进行梳理,并从城市增长模型的理论、概念、属性、结构以及模拟平台5个方面进行对比分析。研究发现,城市增长模拟的动态模型能体现城市发展和演化的复杂性特点,而智能体建模方法因其具有对城市发展诸多要素及其相互作用的综合考虑而具有更大的优势。     

基于竞争失效模式的数控机床可靠性建模

数控机床是复杂的机电一体化系统，其故障不仅包括由于机械磨损造成的性能退化失效，还包括电子器件等引起的突发性失效，数控机床故障是退化失效和突发失效竞争的结果. 故本文假设突发失效和退化失效相互独立并且都服从Weibull分布，综合考虑突发失效和性能退化之间的相关性和竞争关系进行数控机床可靠性建模研究. 采用最小二乘估计法估计模型参数，运用D检验法进行参数拟和性检验；得出了一种基于竞争失效模式分析的可靠性评估模型. 最后，以15台某系列数控机床60个故障数据对该方法进行验证，说明了该方法的有效性和可行性.