【摘 要】
：
SMT全解求解器为许多研究领域提供辅助,但现有的SMT全解求解器在速度、内存消耗或者支持的求解类型方面存在局限性。首先,提出了求解器的4种新的潜在应用;其次,设计了一种基
【机 构】
：
中国电子科技集团公司第三十研究所,电子科技大学计算机科学与工程学院（网络空间安全学院）
论文部分内容阅读
SMT全解求解器为许多研究领域提供辅助,但现有的SMT全解求解器在速度、内存消耗或者支持的求解类型方面存在局限性。首先,提出了求解器的4种新的潜在应用;其次,设计了一种基于二分查找(Binary Search,BS)的新型求解器,可以支持多种求解类型,同时,结合上下文感知(Context Aware,CA)机制来提升求解器的速度,并通过暂停恢复(Suspend Resume,SR)机制降低内存消耗。初步试验表明,BS、BS+CA、BS+SR和所提方法分别能将传统的阻塞子句方法(Blocking Claus
其他文献
By using correlation-detection technique and improving structure of the test tube,the background noise of thermionic-electrons and space charge effect are restr
盲均衡技术广泛应用于通信系统中以消除符号间干扰。支持非高斯噪声环境下的盲均衡方法仍然是一个挑战。为了提高它的收敛速度和鲁棒性,提出了一种利用有界非线性函数(Bounde
2020年1-3月,俄罗斯出口悬浮法聚氯乙烯4.54万t,与2019年同期相比减少4%。2020年3月,俄罗斯出口悬浮法聚氯乙烯1.25万t,2020年2月的出口量为1.59万t。2020年俄罗斯悬浮法聚氯
主要研究了一种基于强化学习的无线通信智能干扰方法。目前,传统的干扰大多为单一域干扰。而伴随着越来越复杂的电磁频谱环境和抗干扰技术的不断发展,单一域内干扰难以在复杂
根据螺杆式氯乙烯压缩机的实际运行情况,从转化工艺、压缩工艺及维护保养方面分析了其稳定、经济运行的条件,指出在优化的运行条件下,螺杆式氟乙烯压缩机的运行成本可大幅降
2、土壤肥力因素(1)土壤水分状况。首先,作物的生长发育需要大量的水。一般作物要获得一份产量,必须消耗500~1,000份的水,这些水都是从土壤中供给;作物吸收的养分也需要溶于
大疱性表皮松解症是一种极其少见的皮肤和黏膜起疱的遗传性疾病,特点是皮肤受到轻微摩擦压迫后出现松弛水疱、糜烂、表皮坏死松解、脱落[1],可发生于身体任何部位,以四肢、关
“给蜂王剪去部分翅膀”这个话题由来已久。在生产中,蜜蜂发生飞逃,有分蜂飞逃和求生飞逃。如蜂群群体大了,发展空间受限,自然要分家;环境不好,噪音、震动、闷热、潮湿、食物
本设计提出了一种基于STM32的蓝牙平衡车的软硬件设计方案,该方案利用蓝牙将手机APP与系统进行通讯。实现了小车的移动,以及对烟雾信息采集的功能。随着控制技术的快速发展,
土壤具有化学性、物理性、生物性,三者同等重要,缺一不可。1.土壤化学性化学性是指与pH、EC、CEC等有关的化学性质的因素。(1)pH值化学上的中性定为pH值=7,但植物的化学中性