[发明专利]基于有限状态机的虚拟样机拆装序列模型的实训平台

摘要

基于有限状态机的虚拟样机拆装序列模型的实训平台，拆装序列关系模型，输入模块和比对模块；拆装序列关系模型中用节点表示零件或子装配，每个节点的状态包括等待状态、完成状态、待装配状态和失效状态；状态转换函数包括完成条件，失效条件，待装配条件及其他条件；所有节点的状态转换函数保存在拆装序列关系模型中；节点表示的零件或子装配被用户选中称为触发事件；比对模块将被选中节点的当前状态、相关节点的当前状态与被选中节点的完成条件对比判断用户输入是否正确。本发明具有能够正确完备地表达装配序列之间的层次关系，能够检验用户在虚拟拆装实验中做出的拆装顺序的合理性和正确性的优点。

主权项

基于有限状态机的虚拟样机拆装序列模型的实训平台，其特征在于：包括反映零部件正确的拆装序列的拆装序列关系模型，获取用户输入的实际拆装顺序的输入模块，和将实际拆装顺序与拆装模型比对、并识别实际拆装顺序是否正确的比对模块；拆装序列关系模型中用节点表示零件或子装配，每个节点作为一个状态机，每个节点的状态包括等待状态、完成状态、待装配状态和失效状态；将节点从当前状态迁移到下一状态所需要满足的条件称为状态转换函数，状态转换函数包括使节点从等待状态或者待装配状态迁移到完成状态的完成条件，使节点从等待状态迁移到失效状态的失效条件，使节点从等待状态或者待装配状态迁移到待装配状态的待装配条件，以及使节点从等待状态迁移到等待状态或者从完成状态迁移到完成状态的其他条件；任意节点在任意时刻有且仅有一个条件得到满足，所有节点的状态转换函数保存在拆装序列关系模型中；节点表示的零件或子装配被用户选中称为触发事件，触发事件引起被选中的节点的状态发生迁移；触发事件发生时，比对模块获取被选中的节点的当前状态、该节点的状态转换函数、和与状态转换函数包含的相关节点的当前状态，比对模块将被选中节点的当前状态、相关节点的当前状态与被选中节点的完成条件对比，若相符则认为用户输入正确，若不相符则输出错误提示。