黄金城官网 中国东谈主寿保障央求代码因果推理考证设施专利, 提高了源代码的因果推理考证遵循

国度常识产权局信息裸露，中国东谈主寿保障股份有限公司央求一项名为“用于代码的因果推理考证设施、安装和盘算推算机征战”的专利，公开号CN121658343A，央求日历为2025年12月。

专利选录裸露，本央求波及一种用于代码的因果推理考证设施、安装和盘算推算机征战。所述设施包括：赢得源代码，并基于所述源代码，通过因果图诊治计谋，构建所述源代码对应的启动因果图；基于所述启动因果图，通过考证优化照管计谋，靠谱的滚球app中国官网得到简化因果图，并基于所述简化因果图，通过反事实推理考证计谋，生成所述简化因果图的反事实考证完了；基于所述反事实考证完了，通过因果解说计谋，黄金城官网生成所述源代码的因果推理考证完了。接纳本设施粗略提高了源代码的因果推理考证遵循。

天眼查贵府裸露，中国东谈主寿保障股份有限公司，修复于2003年，位于北京市，是一家以从事保障业为主的企业。企业注册成本2826470.5万东谈主民币。通过天眼查大数据分析，中国东谈主寿保障股份有限公司共对外投资了83家企业，参与招投标形式14214次，财产陈迹方面有商标信息10条，专利信息609条，此外企业还领有行政许可134个。

声明：市集有风险，投资需严慎。本文为AI基于第三方数据生成，仅供参考，不组成个东谈主投资提议。

本文源自：市集资讯黄金城官网

亚搏app官方网站

• 中国
• 考证
• 黄金城官网
• 推理
• 因果