1. 毕业设计（论文）主要内容：
Petri网理论和方法为自动推理提供了强有力的支持，以工业机器人汽车生产线为背景，研究自动推理算法。例如，根据Petri网中标识的流动规则，结合归结原理，研究删除与归结推理算法。
2. 毕业设计（论文）主要任务及要求
Petri网理论和方法为自动推理提供了强有力的支持，以工业机器人汽车生产线为背景，研究自动推理算法。例如，根据Petri网中标识的流动规则，结合归结原理，研究删除与归结推理算法。
3. 毕业设计（论文）完成任务的计划与安排
1. 参加毕业实习活动，撰写毕业实习报告。（第1~2周）2. 熟悉本课题要求，收集有关资料，撰写开题报告。（第3~4周）
3. 学习课题有关的知识，并翻译英文资料。（第5周）
4. 学习和掌握本课题有关的技术，系统的硬件和软件设计及调试。（第6~16周）
剩余内容已隐藏，您需要先支付后才能查看该篇文章全部内容！
4. 主要参考文献
夏世芬,基于Petri网模型的归结自动推理研究[D],西南交通大学,2006年
剩余内容已隐藏，您需要先支付 10元 才能查看该篇文章全部内容！立即支付
