排序方式: 共有58条查询结果,搜索用时 31 毫秒
41.
42.
CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求解效率的影响,以及求解初期的决策变量数等行为特征数据集与重启策略集之间的关系.实验结果表明,通过改变重启策略可以提高求解效率,所得到的最优解比缺省解的效率可提高6 959%,平均提高411%;重启策略在求解过程中表现出较大的个体差异性和一定的群体差异性;相比重启频率,重启序列对求解效率影响更大.进一步用7种重启策略集合覆盖97%案列的最优重启策略,通过求解初期的特征值变化频率与相应的重启策略关联,为后期选择最优重启策略提供技术支持. 相似文献
43.
乡村人居环境的建设与可持续发展至关重要,就江宁村庄实地调查,科学分析,从村民日常生活和精神风貌出发提出对江宁人居现状的改善策略。 相似文献
44.
45.
弱势群体广泛存在于我们的社会,在现实生活中,这些人的利益常常被忽视、被侵犯。加之,当前对于他们的报道仍然缺乏力度或者报道方式有误。媒体作为反映社会的一面镜子,应该加大对弱势群体的关注。本文围绕弱势群体报道进行多元化全方位、深层次地展开思考,探寻对弱势群体的报道方法,以促进社会对他们的关注,让社会更加和谐。 相似文献
46.
47.
程睿 《湖南生态科学学报》2022,9(1):50-57
[目的]研究适宜露采金属矿山采坑境界面的生态修复技术,为同类废弃地的生态修复提供借鉴.[方法]以江西某露采铜矿为例,通过实地调研对其采坑境界面生态环境破坏问题及成因进行识别与分析,并结合工程实例对采坑境界面生态修复工程技术模式进行了研究.[结果]采坑废弃地的生态环境问题主要包括原生态系统和地貌景观损毁、裸露创面自然修复... 相似文献
48.
采用计算机模拟仿真方法,对空间钢管-板XX型节点进行参数分析。研究了不同的支管加载比例、几何参数和主管应力比对空间钢管-板XX型节点的破坏模式和极限承载力的影响。结果表明:节点板间的夹角不同时,支管加载比例对节点极限承载力的影响规律有很大差异;主管应力比无论正负均会引起节点极限承载力的降低。在此基础上,通过对数值结果的回归分析,考虑了节点板间的夹角和支管加载比例的空间影响效应,提出适用于该类节点的极限承载力公式。 相似文献
49.
50.
为研究方钢管混凝土柱与U形钢组合梁分离式内隔板节点的抗震性能,对4个节点试件进行低周反复加载试验,试验参数为内隔板形式和梁柱交界面处有无加强连接。分析各试件的破坏模式、滞回性能、延性、耗能等指标,并给出加劲板的设计建议。结果表明:4个节点试件的破坏模式均为梁端受弯破坏,滞回曲线呈反S形、有明显的捏缩现象;试件的位移延性系数μ为2.3~3.1,弹性层间位移角θy为1/68~1/53,弹塑性层间位移角θu为1/28~1/19,等效黏滞阻尼系数ζeq为0.12~0.16,变形能力较好,并具备一定耗能能力;改变内隔板形式对试件的承载能力影响较小,但相较于传统内隔板节点试件,分离式内隔板弱轴节点试件的耗能能力有所降低;加强梁柱交界面处的连接可减缓刚度退化速度、显著提高节点的承载能力和耗能能力。 相似文献