最大公共子图的约束符号求解方法

【目的】探索求解两个图最大公共子图的方法。【方法】建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法。首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解。【结果】算例结果表明,该方法准确可行。【结论】该方法能有效缩减搜索空间,从而提高问题的求解效率。     

灵长类仿生机器人飞跃轨迹规划及控制策略

运动模式耦合和欠驱动动力学特性是实现灵长类仿生机器人悬臂飞跃的难点.针对运动模式耦合问题,本文通过建立灵长类仿生机器人分段运动模型,在运动学分析的基础上,结合目标约束条件和切换条件,提出了灵活完整的、适应不同飞跃距离的飞跃轨迹规划方法,以此获得系统飞跃的起始和终止姿态.针对欠驱动问题,采用基于虚约束的轨迹规划和跟踪控制方法来保证系统可以准确达到飞跃起始姿态.最后,搭建了悬臂飞跃仿真模型,仿真结果验证了轨迹规划和控制策略的有效性.     

局域定位系统拟应用于工程测量系统自定位法

提出了一种系统自定位方法.该方法采用控制点坐标进行约束,按照非线性最小二乘的Levenberg-Marquardt算法求解系统自定位参数.以双发射站为例,给出了新的系统自定位参数的解算模型.通过试验证明此方法是可行的,解算模型是正确有效的,其系统自定位精度完全能够满足工程测量的要求.     

双馈感应风电机功率平滑控制与改善电网频率的研究

在分析双馈感应风力发电机运行特性和传统最大风能追踪控制策略的基础上,提出了一种基于约束因子限幅控制的双馈电机有功功率平滑控制策略,给出了约束因子α的表达式和取值规则.在matlab/simulink仿真平台上,搭建了一个9 MW的风电场与2台同步电机的互联系统.实验结果表明,与传统的最大风能追踪控制策略相比,所提控制策...     

载体运动学辅助的双轴旋转调制惯性导航算法

为提高车载捷联惯导系统的导航精度,提出一种载体运动学约束辅助双轴旋转调制的惯性导航算法。建立了惯性测量单元(inertial measurement unit, IMU)旋转的载体运动学约束模型,设计了32次序转位方案,在实现惯性器件误差自补偿的同时提高了系统可观测度,从而将提高了可观测度的载体运动学约束导航与旋转调制导航结合,进一步提高了导航精度。进行了4 000 s静止条件下的导航试验,结果证明此方法可以有效提高定位精度,水平定位精度和高度精度分别比双轴旋转调制导航提高48.2%和80.3%,比载体约束辅助导航提高85.1%和89.9%。最后通过车载实验验证了该方法的有效性。     

时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.     

解特殊工艺约束双目标调度问题的新遗传算法

针对特殊工艺约束下非一致并行多机双目标调度问题,设计了一个双目标调度模型(BOSP).进而基于遗传算法和免疫理论的思想,提出了新的遗传算法(IGA).算法的编码采用了向量组编码方法,能有效地反映实际调度方案;免疫算子的引入,保证了种群的多样性和种群的质量,加快了算法收敛速度.仿真结果表明,算法是有效的,免疫算法的引入,使算法能较好地收敛到最优解,优于没有引入免疫算子的遗传算法,并能适用于解实际的此类调度问题.     

截面突变的座椅多级弹射筒内弹道仿真

以往研究中对多级弹射筒和压力有效作用面的影响重视不足,并且所建模型通用性差.在分析弹射机构工作过程的基础上,建立了适用于套筒式弹射机构的内弹道模型,以火药质量和机构行程控制数学模型的解算流程,并与实测参数进行了对比,误差在0.9%～2.4%之间,说明模型可靠性;利用此模型分析了压力作用面对其性能的影响,得出结论:1)弹射筒工作期间作用面积A对其性能影响显著,弹射筒直径相差0.01m性能参数误差可达15%左右;2)对于套筒式弹射机构性能计算,近似处理会得出大于实际值的结果,因此必须将有效作用面突变效应考虑在内.     

利用三次Bezier曲线求解几何约束问题

几何约束求解是智能CAD的一个关键技术.目前,几何约束求解的算法主要是构造包括点、直线和圆等几何体在内的几何图形,而在实际的工程设计中涉及的几何图形常常包括三次曲线或更复杂的曲线.通过增加三次Bezier曲线作为一个新的几何体,提出了一个包括点、直线、圆和三次Bezier曲线在内的几何约束问题求解的新算法,扩大了几何约束求解的作图范围.     

约束微分包含的Filippov型定理

讨论了约束的微分包含的初值问题P(Ω):x'(t)∈F(t,x(t))a.e.onI ,x(0)=ξ0∈Ω,x(t)∈Ω,这里F是非空闭值的集值映射,Ω是Rn中的有界闭集.基于经典的Filippov定理,证明了问题P(Ω)的可行轨的存在性和半直线上的Filippov定理.要求F(t,·)对所有的t是Lipschitz连续的,约束集合Ω为充分光滑并满足一个不变性条件.