| 专利名称 | 一种高性能单机多核并行模型检测方法 | 申请号 | CN201610270109.6 | 专利类型 | 发明专利 | 公开（公告）号 | CN105955883A | 公开（授权）日 | 2016.09.21 | 申请（专利权）人 | 中国科学院软件研究所 | 发明（设计）人 | 张营飞;谢淼;张珩;杨秋松 | 主分类号 | G06F11/36(2006.01)I | IPC主分类号 | G06F11/36(2006.01)I | 专利有效期 | 一种高性能单机多核并行模型检测方法 至一种高性能单机多核并行模型检测方法 | 法律状态 | 实质审查的生效 | 说明书摘要 | 本发明公开了一种高性能单机多核并行模型检测方法。本方法为：1)创建待检测系统模型与待测属性的组合状态空间中的初始节点；2)状态空间生成器将该初始节点映射成Ligra计算图中的一个顶点，然后逐步生成该初始节点的后继节点，初始节点及已生成的后继节点构成一状态空间；其中，该初始节点为第1级节点，第i级节点包含N层第i+1级后继节点，每一层后继节点包含多个节点，每次属于同一级节点的后继节点全部生成之后，将当前状态空间映射成一Ligra计算图，然后调用可接收环检测器检测该Ligra计算图中是否有可接收环，如果有则停止模型检测。该方法具有性能高、可扩展性好等特点。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障