【摘 要】
：
可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相关组件的等待时间,提高了求解器效率.此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销.当所有数据均存储在FPGA的片上存储器时,pprobSA T+求解器可以达到最佳性能.实验结果表明,相比于单线程的求解器,所提出的pprobSA T+求解器可获得超过2倍的加速比.
【机 构】
：
国防科技大学计算机学院 ,湖南长沙410073
论文部分内容阅读
可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相关组件的等待时间,提高了求解器效率.此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销.当所有数据均存储在FPGA的片上存储器时,pprobSA T+求解器可以达到最佳性能.实验结果表明,相比于单线程的求解器,所提出的pprobSA T+求解器可获得超过2倍的加速比.
其他文献
地下水硝酸盐污染是世界各地区普遍存在的环境问题.为防控地下水硝酸盐污染,准确识别污染源和从源头控制污染排放是其防控的重要措施.在介绍硝酸盐氮、氧双同位素法(15N,18O)的同时,系统梳理了其它3种环境示踪剂(11B,3H,Cl-)在识别地下水硝酸盐来源方面的应用.相比单一环境示踪剂而言,多种不同环境示踪剂(15N,18O,11B,3H,Cl-)的联合使用能够使地下水硝酸盐污染溯源准确性大幅提升,可更准确地为地下水污染防治和环境保护提供依据.
石墨烯是一种新型的碳纳米材料,将石墨烯与二氧化钛(TiO2)复合可大大提高复合材料的光催化性能,在光催化领域具有广泛的应用前景.通过对光催化氧化工艺对VOCs的降解效果进行阐述和试验分析,比较了石墨烯/TiO2修饰的光催化基板与普通TiO2光催化基板对VOCs的降解能力.同时将石墨烯/TiO2修饰的光催化基板应用于某医药企业VOCs治理工程上,根据检测结果可知,负载了石墨烯/TiO2复合催化剂的光催化氧化设备对含乙醇的有机废气有高效的去除率,进气质量浓度在250 mg/m3以内可稳定达标排放.
以黄河流域某污染典型石化场地为研究对象开展原位反应带模拟中试研究,结果表明:碱活化和亚铁活化过硫酸钠(2％～6％)均能将重度污染石化地下水修复达标,污染物去除率>99％;随着氧化剂添加量增大,污染物去除率变化不大,体系pH值变化较大,适于中试用污染地下水的氧化剂添加质量分数为2％,稳定运行时间15 d以上.中试结果表明原位反应带技术可以很好的适用于石油烃污染地下水原位修复,为今后有机污染场地地下水的修复提供可靠的实践依据.
针对苏州市某污水厂一期工程“厌氧+单沟式氧化沟+二沉池”工艺进行升级改造,结合氧化沟布置形式,提出“厌氧+DE氧化沟+二沉池”改造方案.引入模拟技术,通过建立污水厂生物处理工艺模型,全年进水典型情景,系统分析改造方案的处理效能.结果表明:改造方案基本能满足处理要求.在全年非降雨典型进水条件下,开启2台曝气器,出水水质能基本满足一级A排放标准;在冬季和夏季,需要通过投加化学药剂保障出水TP浓度.雨季条件下,开启3台曝气器,并通过投加化学药剂除磷,才能保障出水水质稳定达到一级A标准.实际运行表明,该改造方案在
以上海市中心城区典型河流水生态的修复项目为例,通过分析河流生态修复取得的主要成效与面临的主要问题,基于生态修复过程的阶段性,确定了河流生态修复长效管理的阶段目标.围绕保持水质稳定和本土植物成活率的阶段管理目标,在对河流非生物特征、生物特征和生态过程的识别基础上,建议“十四五”期间,河流监测应结合现有监测的物理指标与化学指标,同时开展浮游植物初级生产力、大型水生植物种类和生物量与有害入侵物种3个生态指标监测,以期为水生态分级管理提供借鉴.
根据内河航运船舶生活污水的特点,开发出一种处理船舶生活污水的A/O+MBR工艺的微型集成装置.采用空气泵作为该装置的好氧曝气和冲刷MBR膜组件的动力源,采用粉碎泵粉碎原水中大颗粒物质,通过定制的微型MBR膜组件截留好氧MBR膜区的污泥,实现泥水分离.运行结果表明:该装置对小型船舶生活污水具有很好的处理效果,在4个多月的连续运行中,出水中ρ(COD)<60 mg/L,ρ(NH3-N)<5 mg/L,ρ(TN)<20 mg/L,均稳定达到国际海协环保会IMO MEPC.159(55)决议和GB 3552—20
随着人们生活质量提高,餐厨垃圾日益增多,餐厨垃圾有机质含量高,其高附加值的转化及利用是未来的重要研究方向.通过对餐厨垃圾的特性及资源化利用价值分析,借助文献调查对餐厨垃圾微生物发酵主流及前沿技术进行综述,主流技术包括饲料化、好氧堆肥及厌氧发酵,重点总结分析了餐厨垃圾微生物厌氧发酵前沿技术,资源化产物为挥发性脂肪酸、乳酸、燃料乙醇、丙三醇(甘油)等的技术原理、反应条件以及制备不同产物的应用现状等.最后分析了餐厨垃圾处理存在的问题并提出了高附加值转化的建议及展望.
随着智能计算和大数据应用的发展,人们对GPU等加速部件的需求不断增长.计算软件栈比如CUDA、OpenCL软件栈是能充分发挥GPU硬件性能的关键.考虑计算软件栈未来在国产基础软硬件平台(比如飞腾CPU和麒麟操作系统)上的可移植性和适配性,重点研究OpenCL开源计算软件栈.测试分析OpenCL应用在不同平台上的表现,评估应用在不同OpenCL软件栈上(比如Mesa、ROCm等)进行GPU计算的表现,评估软件栈中驱动、内核等对GPU计算的影响,并且整个测试涵盖了编译、数据传输和内核执行等OpenCL计算各个
海洋中尺度涡是一种重要的海洋中尺度现象,在海洋环流、物质能量传输中发挥重要作用,对舰船航行安全、水声通信等也具有重要的影响.高效准确地检测识别出海洋中尺度涡无论对于物理海洋认知还是海洋开发利用都有着重要的研究价值.传统涡旋检测识别方法依赖专家经验设计的单一阈值,具有显著的主观性.随着深度学习的兴起,机器学习方法在涡旋检测识别的准确性和自动化程度上表现出一定的优势.通过总结与对比分析现有基于机器学习的检测识别方法,为发展海洋中尺度涡检测识别的研究提供系统认知和参考依据.
矩阵乘法运算作为计算机科学和数学的一个基本运算,在科学研究和工程计算中有着广泛的应用.确定2个矩阵乘积所需要的最小乘法数是当今计算机代数中一直未能求解的重要问题之一.通过将矩阵乘法问题建模为一个组合优化问题,采用人工蜂群启发式搜索算法进行矩阵乘法问题求解.对人工蜂群算法进行了改进,给出一种绕圈遍历方法,避免了对同一个解的相同邻域的重复搜索.通过在2×2矩阵乘法问题上的数值实验验证了算法的有效性,所提算法能够快速地找到2×2矩阵分解的乘积方法.