【摘 要】
：
布尔可满足性求解能够验证的问题规模通常受限,因此,如何高精度地预测其可满足性既是重要的研究问题,也是一项具有挑战性的工作.相关研究工作一般使用由文字节点和子句节点组成的图来表示布尔可满足性问题的结构,但是这种表征方法缺少了变量、子句之间的重要关系信息.在所提方法中,通过将原始布尔可满足性问题实例表征为多关系异构图的方式来表达变量和句子之间的关系,并设计使用消息传递关系网络模型来捕获实例的关系信息,
【基金项目】
：
国家自然科学基金（61902011,61690202）； 北京航空航天大学软件开发环境国家重点实验室开放课题（SKLSDE-2021ZX-01）；
论文部分内容阅读
布尔可满足性求解能够验证的问题规模通常受限,因此,如何高精度地预测其可满足性既是重要的研究问题,也是一项具有挑战性的工作.相关研究工作一般使用由文字节点和子句节点组成的图来表示布尔可满足性问题的结构,但是这种表征方法缺少了变量、子句之间的重要关系信息.在所提方法中,通过将原始布尔可满足性问题实例表征为多关系异构图的方式来表达变量和句子之间的关系,并设计使用消息传递关系网络模型来捕获实例的关系信息,提取了更多的结构特征.结果表明:该模型在预测精度、泛化能力和资源需求等方面均优于现有模型,对所选数据集的平均预测精度为81%.该模型在小规模问题（变量数为100）上训练,在大规模数据集上预测的平均预测精度达到了80.8%.同时,该模型对随机生成的非均匀随机问题的预测精度达到99%,这意味着它学习了预测可满足性的重要特征.此外,模型预测所花费的时间随着问题规模的增大也只是成线性增长.总结而言,基于关系消息传递网络提出了一个预测精度更高、泛化能力更好的布尔可满足性预测方法.
其他文献
童年不良经历（adverse childhood experiences,ACEs）作为全球普遍存在的公共卫生问题，是导致儿童和青少年出现严重心理行为问题的重要因素。基于心理健康服务需求制订的心理健康服务方案是有效改善ACEs儿童和青少年心理问题的关键所在。情感支持、生活技能训练、心理健康教育和个性化心理干预等能够有效地提高ACEs儿童和青少年的心理健康水平。其中，情感支持是帮助个体减少心理行为问
基于社会心理服务体系的全局建设方略，在民族地区推进社会心理服务体系建设，必须紧密结合具体心理需求，综合推进个体心理健康素养的提升与符合当地实际需求的社会心理服务体系建设。通过对民族融合地区藏族青少年的深度访谈，发现在社会变迁与文化融合加速的背景下，藏区青少年对心理健康的自发关注程度较高，亟需正确引导；在此基础上，以协商一致的质性研究方法，评估当前民族地区心理健康教育与藏区青少年心理健康服务体系的认
＜正＞学习党的十九届六中全会精神,就是要深入学习领会"两个确立"的重要意义,不断增强"两个维护"的政治自觉、思想自觉、行动自觉,进一步坚持马克思主义和共产主义信仰,坚守中国特色社会主义的信念,坚定中国特色社会主义道路自信、理论自信、制度自信、文化自信,坚定中华民族伟大复兴的信心和决心。用"四个意识"导航,"四个自信"强基,"两个维护"铸魂,不折不扣地贯彻落实习近平总书记关于教育的重要论述和党中央的
Big data era background to the development of small and medium-sized enterprises have brought greater innovation and change, for small and medium-sized enterprises, the current main methods of human r
分析探究锂电池实验室遇到的各类安全性和溯源性问题，对于实验室的水平提升和行业的健康发展至关重要。基于认可准则IEC 17025:2017《检测和校准实验室能力的通用要求》中的11种要素：人员，设施和环境条件，设备，外部提供的产品和服务，要求、标书和合同评审，方法的选择、验证和确认，检测物品的处置，技术记录，不确定度评估，确保结果有效性以及结果报告等，搭建出锂电池检测实验室遇到的25种典型的失效模型
目的 研究北京地区儿童肺炎支原体（MP）感染情况和流行病学特征，为新冠肺炎疫情下本地区 MP感染的防治提供理论依据。方法 选择2018年1月至2021年12月在首都医科大学附属北京儿童医院就诊的5 951例社区获得性肺炎患儿为研究对象。所有患儿采集咽拭子标本，采用实时荧光核酸恒温扩增技术（SAT）检测 MP靶标 RNA。结果 5 951例患儿的 MP总检出率为36.62%（2 179/5 951）
笔者研究不同药剂和施药次数对草莓灰霉病防治效果，结果表明：绿色防控药剂对草莓的病害防治都具有较好的效果，其中寡雄腐霉菌喷洒4～5次对灰霉病的防效最优，5次施药后寡雄腐霉菌的防效达到了75%,能够对灰霉病起到良好的防治效果。现状试验总结如下。
＜正＞家长们一定要深刻地理解孩子成长与发展的核心要素是什么，了解青春期的孩子到底想要什么。少年强则国强。青少年是祖国的未来，但我们不得不面对的客观现实是，当下青少年的身体综合素质却不够强。调查显示，我国儿童青少年体质健康主要指标连续20多年下降，33%存在不同程度的健康隐患。青少年群体面临哪些独特的健康挑战？家庭、学校和社会该如何助力青少年的成长和发展？记者就这些问题采访了中国青少年研究中心少年儿
水利水电工程作为我国城市进程中的一项重要民生工程，加强对于水利水电工程的治理不仅会为我国带来更多的经济效益，而且在帮助解决有利于可持续发展的环境问题方面还能发挥积极的作用，有利于我国可持续发展战略的持续推进。但是，当水电项目不同、开发类型不同时，对其设计的管理要求也不同。因此，本文结合经验总结法从水利水电工程建设的实施特征、工程概况、水利水电工程建设管理中存在的问题以及利水电工程建设管理应对措施等
＜正＞九月,对于小班幼儿是不安的,因为他们要离开熟悉的家庭环境,走进幼儿园。但是走进园,迈向集体生活也是孩子们成长中的一次跨越。孩子们心理上产生的排斥、不安、胆怯、恐惧等,表现为情绪上的生气、紧张、哭闹、害怕。陌生的老师与幼儿园环境给他们带来了强大