【摘 要】
：
为了研究改善可满足性模理论的求解效率,本文基于拟物方法结合萤火虫优化算法,设计出新的优化求解方案。实验结果表明,使用萤火虫优化算法求解可满足性问题在特定应用案例上效果显著,基于Benchmarks(可满足模理论求解器公开基准测试案例库)的基准测试案例中求解效率平均比纯拟物拟人算法上提高至少10%的性能。基于拟物方法结合最优化算法在特定领域的可满足性求解算法不仅容易实现,同时能有效提高求解效率。
论文部分内容阅读
为了研究改善可满足性模理论的求解效率,本文基于拟物方法结合萤火虫优化算法,设计出新的优化求解方案。实验结果表明,使用萤火虫优化算法求解可满足性问题在特定应用案例上效果显著,基于Benchmarks(可满足模理论求解器公开基准测试案例库)的基准测试案例中求解效率平均比纯拟物拟人算法上提高至少10%的性能。基于拟物方法结合最优化算法在特定领域的可满足性求解算法不仅容易实现,同时能有效提高求解效率。
其他文献
新一代信息技术发展速度很快,相关专业人才需求激增。这对信息技术人才的培养带来了巨大挑战。目前,国内相关专业人才的培养还处于摸索阶段。在这种背景下,福州职业技术学院与阿里云计算有限公司在大数据专业开展双元多维"模式的校企合作办学,通过校企命运同频共振,创新人才培养模式;开展校企团队互兼互聘,提升师资力量;开展产教深度融合,加强教学资源建设;共建实践教学基地,提升教学条件。本文旨在凝练出适合福州大数据人才的人才培养模式,提高大数据专业学生的就业竞争力,增加专业对口率。
智慧能量管理系统是解决未来电网大规模分布、提高能量利用率、电网质量的可靠性,以及降低电网电价的重要手段。电量的消耗主要集中于刚性设备与柔性设备。目前,家庭能量管理策略主要采用混合整数线性规划。该方法存在一定弊端。考虑到家庭设备的多样性,各种设备不能完全数学模型,因此本文采用改进的粒子群算法对家庭不同的设备进行分析。为验证算法的有效性,通过模拟家庭电动车分析家庭运行成本与传统方式进行比较。
垃圾清运是城市管理与环境治理的重要环节,智能垃圾清运是实现智慧城市必不可少的组成部分。现有的云计算技术并不能及时高效地处理边缘设备产生的大量数据。为此,本文提出了一种云边融合下的智能垃圾清运管理系统。该系统首先利用多种嵌入式板载传感器实时采集垃圾桶的温度、倾斜度等状态数据。这些数据将被发送到边缘服务器并由边缘服务器进行实时数据处理。同时,系统的运行数据也会被上传到云服务器,由云服务器对垃圾清运路线进行合理规划,并实现对整个系统的运行管理。实验表明,系统中边缘服务器延迟在10毫秒以内,当垃圾桶规模在100时
Hadoop集群作为流行的分布式大数据处理系统框架,得到了广泛应用。但若不能较好地解决其负载均衡问题,将无法充分发挥其高可靠性、高效性和高扩展性等特点。鉴于此,本文针对Hadoop体系的两大核心HDFS和MapReduce以及常用的组件Hive与HBase,从产生数据倾斜的原理进行分析,提出了有效的解决方案,以保障集群的负载均衡和保证集群的高效性。
随着网络和信息技术的蓬勃发展和广泛应用,信息系统的规模也在不断扩大,随之而来的安全问题也日渐凸显。如何有效地对网络安全设备进行统一的管理和配置,对网络安全信息数据进行高效的审计,使安全设备与网络安全管理者之间实现安全互动,就成了目前网络安全管理面临的一个主要问题。本文研究的系统以IP访问控制系统为例,对国内外网络安全管理技术的现状进行了分析,对网络安全数据管理系统进行了总体设计,确定了系统的总体框架并说明了系统各模块间的协作方式,采用MVC设计模式和AJAX技术设计并实现了一种基于B/S架构的分布式网络安
自动焊接的关键技术是焊缝跟踪技术,本文介绍了基于角度传感器的焊枪摆动器设计,主要由三大组成机构,即倾角传感器、控制系统和执行机构,由STC89C52RC单片机作为核心组成控制系统,执行机构主要是步进电机构成。主要功能是当焊枪偏离焊缝时,倾角传感器能提前检测到角度偏差,同时显示器能显示出角度的变化,且控制器能驱动步进电机实现焊枪的摆动,使焊枪实现焊缝跟踪。
根据要求设计智能小车的避障和循迹功能,让智能小车能在规定的路线上进行循迹和避障。主要硬件模块有:STC单片机处理器、电机驱动模块、电源模块、循迹传感模块,避障模块;主要软件设计有:循迹程序、避障程序。
乡村振兴战略为我国农业生产的发展提供了思路和保障。建设农产品电商特色品牌是发展乡村振兴必不可少的重要环节。本文分析了乡村振兴背景下农产品电商特色品牌建设的重要性及建设现状,从“互联网+农业”、“数字化+品牌化”、品牌营销推广等方面提出了农产品电商特色品牌建设的途径和相应策略。
TCP/IP模型是一种计算机网络体系结构,它在Internet和企业网络中有着广泛的应用。在TCP/IP中,对各层次的功能和特性、数据封装与传输过程的工作原理和工作机制往往比较难以理解。在PT仿真环境下,借助交换机、路由器等仿真设备,本文设计了二层数据通信和三层数据通信模型,并详细分析和验证了二层数据和三层数据封装与传输过程,提出了明确的研究结论。
随着生产技术的要求提升,企业希望用自动化辨识汽车轮毂瑕疵来代替人工。在这种背景下,本文研究了汽车轮毂瑕疵的自动识别感知技术,以汽车轮毂制造流程为载体,进行各环节上有针对性的轮毂辨识装置的研发,完成汽车轮毂瑕疵智能检测系统的设计与开发。