【摘 要】
：
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技术得到了深入研究,其目的是减少目标OBDD的大小并且缩短编译时间。OBDD的构造方式是影响编译效率的重要因素,为了提高编译时间效率,本文提出一种改进的OBDD构造算法,该算法将SAT问题的子句编译成OBDD的表示形式,并将这些OBDD合并成一个
【机 构】
：
广西多源信息挖掘与安全重点实验室（广西师范大学）,广西师范大学计算机科学与工程学院,大连海事大学信息科学技术学院
【基金项目】
：
国家自然科学基金(61763003),广西多源信息挖掘与安全重点实验室系统性研究课题(19-A-02-01),广西研究生教育创新计划(XYCSZ2020072),广西高等学校千名中青年骨干教师培育计划,“八桂学者”工程专项,广西区域多源信息集成与智能处理协同创新中心项目。
论文部分内容阅读
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识编译领域中一个主要的编译目标语言,已被广泛用于编译诸多实际的可满足性问题(SAT)。近年来,OBDD的构造技术得到了深入研究,其目的是减少目标OBDD的大小并且缩短编译时间。OBDD的构造方式是影响编译效率的重要因素,为了提高编译时间效率,本文提出一种改进的OBDD构造算法,该算法将SAT问题的子句编译成OBDD的表示形式,并将这些OBDD合并成一个
其他文献
宫颈癌是女性生殖系统发病率较高的肿瘤之一。目前除了HPV疫苗作为宫颈癌的一级预防以外,很多研究报道乳酸杆菌也可用于预防宫颈癌的发生,但是具体的作用机制尚不明确。本文就近年来阴道乳酸杆菌在抑制宫颈癌发病中的作用机制作一综述。
基于B/S架构设计开发了广西雷电监测预警服务系统,系统将大气电场、闪电、雷达产品和雷灾等气象数据存储在自建的雷电信息数据库,具有雷电信息查询统计、雷暴过程实时监测、预警产品制作展示、预警信息发布、雷灾分析、雷电报文制作等功能,实现了广西雷电监测预警服务一体化的目标。
为了提高对管制物品的检测精度,本文提出一种结合RFB(receptive field block)网络结构和特征融合的目标检测算法。首先对采集的安检数据进行无效内容剔除、滤波;接着对安检数据进行人工标注和数据增强;然后在MobileNetV3-SSD算法的基础上,通过引入RFB网络改进其网络结构,以加强网络的特征提取能力,并利用特征融合的方法提高模型的小目标检测能力;最后,构建了一个安检数据集SC
通过全面系统的文献梳理,共发现已记载广西蚁科昆虫8亚科78属328种及亚种,其中广西特有种26种。与面积相似的云南省蚁科昆虫种类组成进行对比分析表明,广西的物种数和特有种数仅分别为后者的63.69%和12.20%,意味着广西还有不少种类有待发现和描述。现将已知的广西蚁科昆虫按照亚科、属和种分类阶元以及拉丁字母的先后顺序整理成名录,为国内外相关科技工作者提供参考。
利用1981—2016年金秀县气象观测数据和生态环境数据,以温湿指数(THI)、风效指数(WEI)、人体舒适度指数(BCMI)和度假气候指数(HCI)等为评价指标,开展金秀县生态旅游气候资源评估研究。结果表明,温湿指数、人体舒适度指数和度假气候指数等三个评价指标表征的金秀旅游气候舒适度达到“舒适”及其以上等级的时间为4—10月,风效指数则显示金秀旅游气候舒适度达到“舒适”及其以上等级的时间为5—10月;年平均负氧离子浓度达到最优等级;金秀拥有“天然氧吧”和“岭南避暑”等特色生态旅游气候资源
为了有效提高灰狼优化算法的收敛速度及求解精度,本文结合精英反向学习策略增加种群的多样性,将收敛因子从线性变为非线性,重新设计位置更新公式提高算法的收敛精度,提出一种非线性参数的精英学习灰狼优化算法。8组典型测试函数的实验测试表明,算法的收敛速度和收敛精度均有不同程度的提高。在求解IIR数字滤波器优化设计问题时,表现出了优良的性能。
采用C语言和VC++6.0开发新一代天气雷达个例资料整编系统,能够对雷达基数据、雷达产品和雷达状态等信息每天自动异机整理存储,自动建立整编资料所需的各类文件夹和文件,使个例资料整编实现自动化、批量化、流程化和标准化。该系统可推广、移植到其它新一代天气雷达站。
基于南宁市及其所辖县(区)气象部门2018—2020年行政执法管理有关数据,通过易燃易爆场所隐患单位合格率、市区和县区的行政许可受理办结数量对比、各行政区气象行政执法人员数变化等内容分析,总结归纳市级气象局基层气象行政执法管理现状,针对存在问题提出了相应建议。
利用气象数据、环境空气质量监测数据及卫星遥感监测火点数据,对广西2020年2月的一次区域性大气污染过程成因进行分析。结果表明,气温上升、湿度增加、风速减小是本次污染过程的气象成因;污染期间CO与PM_(10)和PM_(2.5)同步上升,更多指向生物质燃烧源的贡献;卫星遥感监测火点及后向轨迹聚类分析显示,污染过程的发生受秸秆焚烧及林火污染排放影响较大,特别是柳州、来宾、宾阳县及贵港市的火点,对河池市
为探究改良过氧化钙(CaO_2)在潜育性水稻土有机碳矿化过程中的作用,选取CaO_2为原料,利用溶于乙醇的乙基纤维素对其进行包膜,制得造粒过氧化钙(GAO),把GAO和氧化钙(CAO,含CaO质量分数95.0%)、过氧化钙(PAO,含CaO_2质量分数75%)3种物质各设置3种不同含氧量浓度(低浓度0.011 g/kg、中浓度0.111 g/kg和高浓度1.111 g/kg),同时设置空白对照(C