CUDA并行计算Petri网解决方案

可达图计算目前正在解决的问题 目前抑制计算速度提升的因素如下: 计算出的可达图数据不能均匀分布在哈希表中,可参考jdk8中hashmap源码 结合BDD算法计算可达图时需要的建立带有约束的二元决策树 程序编写BDD计算可达图的串行程序。 将二元决策树进行分离并优化,简化新增叶子节点过程,减少遍历原决策树的时间 将每批的触发结果进行哈希均匀分布,尽量通过布尔计算来压缩比较时间,减少线程分化 CUDA
相关文章
相关标签/搜索