中核运维等请求根据二元决议计划图的事情树剖析办法专利可大大下降算法的空间和时间复杂度

  金融界2025年8月19日音讯，国家知识产权局信息数据显现，核电运转研讨（上海）有限公司、核电秦山联营有限公司、我国核能电力股份有限公司、中核运维技能有限公司请求一项名为“一种根据二元决议计划图的事情树剖析办法”的专利，公开号CN120508766A，请求日期为2025年04月。

  专利摘要显现，本发明归于概率安全剖析范畴，详细触及一种根据二元决议计划图的事情树剖析办法。包含：过程1：用BDD结构表明事情树；过程2：遵从BDD的化简规矩对结构能够进行预处理，删去BDD中剩余的节点和同构子图，并将终节点兼并，得到简化BDD结构；过程3：根据相邻变量交流的动态变量排序算法优化BDD结构；过程4：使用过程2简化及过程3变量序的动态排序优化后的BDD取得对应的优化后的事情树；过程5：使用BDD结构对优化后的事情树进行定性剖析和定量剖析。

  天眼查资料显现，核电运转研讨（上海）有限公司，成立于2019年，坐落上海市，是一家以从事科技推广和使用服务业为主的企业。企业注册资本8000万人民币。经过天眼查大数据剖析，核电运转研讨（上海）有限公司共对外出资了1家企业，参加招投标项目1598次，产业线条，此外企业还具有行政许可3个。

  核电秦山联营有限公司，成立于1988年，坐落嘉兴市，是一家以从事电力、热力出产和供给业为主的企业。企业注册资本537995.497755万人民币。经过天眼查大数据剖析，核电秦山联营有限公司共对外出资了2家企业，参加招投标项目5000次，产业线条，此外企业还具有行政许可25个。

  我国核能电力股份有限公司，成立于2008年，坐落北京市，是一家以从事电力、热力出产和供给业为主的企业。企业注册资本2056800.2074万人民币。经过天眼查大数据剖析，我国核能电力股份有限公司共对外出资了48家企业，参加招投标项目5000次，产业线条，此外企业还具有行政许可5个。

  中核运维技能有限公司，成立于2023年，坐落杭州市，是一家以从事专业方面技能服务业为主的企业。企业注册资本30000万人民币。经过天眼查大数据剖析，中核运维技能有限公司参加招投标项目5000次，专利信息40条，此外企业还具有行政许可6个。