共查询到10条相似文献，搜索用时 15 毫秒
1.
符号轨迹计(Symbolic Trajectory Evaluation,简称STE)方法是一种新的基于符号模拟的模型检验方法,它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合,使得对于数字电路的验证效率得到了很大的提高.本文将综述符号轨迹计算的基本理论. 相似文献
2.
本文详细介绍了一种快速的运动目标跟踪方法。首先采用基于时间差分的方法将运动目标从背景中提取出来。然后使用连通区域分析法,确定每个目标块的具体位置信息。最后通过区域对应和基于颜色最小欧式距离的方法画出每一个目标在场景中的轨迹信息。实验证明,本文的方法能够快速实时实现目标的跟踪,并且具有较高的准确性。 相似文献
3.
对立轴磨床多轴加工进刀轨迹优化控制模型的设计,提高模型的加工精度,为评价数控立轴磨床多轴联动的误差补偿提供依据。传统的进刀轨迹优化控制模型采用稳态预测误差控制的控制算法,导致磨床进刀的交叉耦合轨迹预补偿误差较大。提出一种基于直线轨迹的轮廓误差补偿的立轴磨床多轴加工进刀轨迹优化控制模型。以CAD为预处理软件工具,对加工模具进行空间曲线生成实体模型,构建三维造型,进行立轴磨床的多轴加工进刀轨迹控制模型设计,正确地选择加工刀具,合理地设置切削参数,构建刀具进刀的时间控制轴。构建复杂的零件加工控制系统解耦得到两个独立的控制子系统,实现进刀轨迹三轴联动控制,构建立轴磨床多轴加工进刀轨迹控制系统的轮廓误差向量最小化目标函数,实现控制模型改进。仿真结果表明,该模型能有效提高加工精度,减小误差。 相似文献
4.
四轮全向机器人是一个复杂的四维冗余系统,其轨迹跟踪控制性能极易受到模型不确定性及外界干扰的影响。针对这一问题,本文提出一种基于动力学模型的四轮全向机器人滑模轨迹跟踪控制方法。首先,通过输入变换将复杂的四维冗余机器人系统模型转化为三维模型,然后针对模型不确定性及外界扰动,采用滑模控制算法进行轨迹跟踪控制。仿真结果表明,该方法能够有效抑制外界干扰,同时降低模型不确定性的影响,机器人能够很好地跟踪期望轨迹,跟踪速度快,跟踪精度高。 相似文献
5.
针对目前多数异常行为分析方法没有考虑场景,提出一种基于隐含主题模型的异常行为分析方法.提取场景的颜色和纹理特征,利用K-means对特征聚类,形成视觉单词,利用pLSA模型将视觉单词分为若干语义主题区域,生成场景描述.组合轨迹特征与场景语描述,生成组合特征向量,再利用CRF对组合特征向量建模,通过训练估计模型参数,利用模型推断,分析异常行为.实验表明,本文方法对特定场景的异常行为可以较为准确地分析. 相似文献
6.
终端区航空器的异常轨迹检测是一个崭新的研究领域。异常轨迹检测常使用基于全局特征、轨迹片段、分类器的检测方法,后续又出现了基于划分、蚁群算法、轨迹模型、人工免疫等一系列的改进方法,各具特点。但是以上的方法在准确性、复杂度、评价方法等方面依然存在不足,需要进一步改进和创新。此领域具有良好的发展和应用前景。 相似文献
7.
为了保证自动物料分拣并联机器人平稳、快速地将目标物料码放到指定位置,需要机器人拥有良好的动态特性,尽可能保证机器人运动速度和加速度平滑过渡。介绍了并联机器人工作原理以及运动轨迹,介绍了传统的关节空间轨迹规划方法,并在此基础上提出了一种关节空间的多项式插值拟合的分拣机器人轨迹规划方法,通过多项式插值法对机器人运动速度进行了拟合,并在不同约束条件下得到了机器人最短运行时间。仿真结果表明,该轨迹规划方法能够实现机器人各轴速度平滑过渡,避免了机器人因加速度突变出现冲击。该规划算法简单可行,能够保证机器人拥有良好的动态特性,保证了机器人稳定可靠运行。 相似文献
8.
9.
对于一个二阶系统,例如RLC电路,可以用两个常微分方程来描述.这样我们就把一个电路模型转化成了一个数学模型.剩下的问题就是解微分方程组了,而这一步利用MATLAB中的常微分算子ode45是很容易解决的.本文将介绍如何将一个典型的电路模型转化成了一个数学模型,以及如何利用MATLAB来求解这个数学模型并绘制系统的状态轨迹. 相似文献
10.
本文介绍了胜利油田陈25区块水平井钻井的施工难点、施工过程中采取的技术措施及井眼轨迹控制方法。对施工难点进行了分析和总结,提出了技术措施,得出一些重要的结论和建议,对该区块油藏开发提供了施工经验。 相似文献