一种 Petri 网禁止状态控制器综合方法

针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。     

一种基于Petri网的无人机物流配送建模方法

针对传统物流配送操作流程繁琐、易受人为因素影响的问题,提出了将无人机引入物流进行配送的方法。首先,利用随机Petri网理论分别对传统物流配送系统以及无人机物流配送系统进行Petri网建模;其次,基于随机Petri网构建马尔科夫链,利用马尔科夫链对模型进行性能分析;再利用随机Petri网的化简规则对两个模型进行等效变换,计算一次配送业务流程的平均作业时间;最后,再对分析结果进行对比研究。研究对比结果表明,相比传统物流配送,利用无人机进行物流线路的再规划,在满足全线路由合理化的同时,时效履约提高了25.6%,由此可见,利用无人机进行物流配送可以明显缩短配送时间,有效提高配送效率,对实际物流问题具有一定理论借鉴意义。     

基于标签 Petri 网的自动制造系统初始资源配置优化

自动制造系统初始资源配置优化问题是指在使用最少初始资源成本的前提下,完成预设生产任务。 针对该问题,提出 了一种基于标签 Petri 网和整数线性规划的计算方法。 首先,根据标签 Petri 网的结构化特性给出拟执行任务与初始资源的约 束关系,将初始资源配置优化问题抽象为整数线性规划问题;其次,利用 Lingo 等软件求解该整数线性规划问题;最后,通过实 例对提出方法进行验证。 实验结果表明,提出的方法简单高效,对实际自动制造系统的初始资源配置具有一定借鉴意义。     

基于改进蚁群算法的无人机三维航迹规划

针对传统蚁群算法在无人机三维航迹规划中，存在早期盲目搜索、收敛速度慢、易陷入局部最优等问题，本文提出了一种改进蚁群算法。该算法利用空间位置初始化信息素分布并设定浓度阈值，增强了蚁群早期搜索的方向性，避免了算法陷入局部最优；设计兼顾距离因素和方向因素的启发函数，改善了航迹规划质量；采用自适应挥发因子控制信息素的挥发，提高了算法的收敛速度。通过两组实验表明，该算法相比传统算法规划的航迹平均长度均减少18.6%，平均迭代次数分别减少63.3%和78.7%，平均拐角次数分别减少62.5%和42.3%。     

基于安卓系统的多参远程健康检测系统研究

传统家用体检设备交互界面过于简陋,且不能融合多种体检参数,给予更为准确的体检结果。提出将多传感器信息融合技术引入远程健康监护领域,在数据处理的初级和决策阶段,分别采用并实现了基于最优融合集和改进后D-S证据理论融合算法。在此基础上,针对移动智能终端日益普及的情况,设计了基于安卓的多参健康检测系统。实现了对体检果更加形象的显示和更加准确的体检结果判定。通过仿真测试,证实算法可行,且系统具有一定的实际应用价值。     

基于语义分割网络的 AGV 路径规划算法

针对基于栅格地图的路径规划技术在面对大地图、高分辨率地图的情况下，存在的规划速度慢、内存占用高的问题，提出一种基于语义网络的网络搜索算法。首先使用语义分割网络对栅格地图进行预采样，其次通过图像学膨胀拓宽最优路径形成最优路径范围，增强算法鲁棒性，最后利用语义网络的特征图指导搜索算法规划，加快了高分辨率栅格地图的路径规划的速度。实验仿真表明，网络搜索算法较传统搜索算法，时间平均缩短72.5%,遍历点数平均减少51.6%,路径长度平均延长0.73%,网络搜索算法可以有效加快路径搜索速度，减少内存占用。