[发明专利]一种面向人机交互系统约束的交互控制模型求解方法及系统有效
| 申请号： | 201610669363.3 | 申请日： | 2016-08-15 |
| 公开（公告）号： | CN106295020B | 公开（公告）日： | 2019-06-11 |
| 发明（设计）人： | 蒋昌俊;闫春钢;陈闳中;丁志军;邱豪杰 | 申请（专利权）人： | 同济大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;B25J9/16 |
| 代理公司： | 上海光华专利事务所(普通合伙) 31219 | 代理人： | 朱裕禄 |
| 地址： | 200092 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种面向人机交互系统约束的交互控制模型求解方法及系统。所述面向人机交互系统约束的交互控制模型求解方法包括：对人机交互系统中的计算机控制与人工控制分别进行Petri网建模，得到相应的人机交互系统Petri网；分别建立相应的可达树，获取所述人机交互系统中的显性约束条件，并采用预设的约束推导方法得到所述人机交互系统的隐性约束条件；获取系统预设的初始配置，判断所述初始配置是否满足所有约束条件；当所述初始配置满足所述约束条件时，对所述约束条件进行控制处理，获得所述初始配置所对应的交互控制模型。本发明能够基于Petri网对人机交互系统进行约束条件求解和控制处理来获取交互控制模型。 | ||
| 搜索关键词： | 一种 面向 人机交互 系统 约束 交互 控制 模型 求解 方法 | ||
【主权项】：
1.一种面向人机交互系统约束的交互控制模型求解方法，其特征在于，所述面向人机交互系统约束的交互控制模型求解方法包括：对人机交互系统中的计算机控制与人工控制分别进行Petri网建模，得到相应的人机交互系统Petri网；所述人机交互系统Petri网包括所述计算机控制对应的计算机控制Petri网和所述人工控制对应的人工控制Petri网；分别建立相应的可达树，所述可达树包括计算机控制可达树和人工控制可达树，获取所述人机交互系统中的显性约束条件，并采用预设的约束推导方法得到所述人机交互系统的隐性约束条件；获取系统预设的初始配置，判断所述初始配置是否满足所有约束条件，所述约束条件包括显性约束条件和隐性约束条件；当所述初始配置满足所述约束条件时，对所述约束条件进行控制处理，获得所述初始配置所对应的交互控制模型，所述约束条件分成冲撞容量控制条件和异步事件控制条件，所述控制处理包括：针对所述冲撞容量控制条件，采用预设的冲撞容量控制方法处理和针对异步事件控制条件，采用预设的异步事件控制方法处理。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于同济大学，未经同济大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610669363.3/，转载请声明来源钻瓜专利网。
