关键词： 一阶逻辑   定理证明   人工智能   多元演绎   组合优化  

摘要： 一阶逻辑自动定理证明是人工智能领域重要的研究分支,其中子句选择策略对于提升定理证明能力具有重要作用。多元矛盾体分离演绎具有许多良好的演绎特性。为更好地指导多元演绎中的子句选择,提出了一种策略动态组合优化多元演绎方法,通过将子句文字数大小和函数项深度进行动态组合并迭代优化,在充分发掘现有多元演绎启发式策略的同时,提升策略应对不同问题的自适应性,实现多元演绎中的子句高效选择。基于该方法给出了相应的算法实现,根据不同问题的演绎过程动态调整子句的选择策略,提升了多元演绎的定理证明能力。同时,将该算法应用于国际先进的证明器Eprover 2.6,形成了改进的证明器SDCO_E,进一步通过2组实验评估SDCO_E的性能。实验1用2021—2023年国际一阶逻辑自动定理证明器竞赛组的共1500个问题进行测试,结果表明,SDCO_E比Eprover 2.6多证明了35个问题,证明定理总数增加了3.06%;实验2用TPTP库中难度系数为1的问题进行测试,结果表明,SDCO_E能证明其他证明器无法证明的6个数论与集合论领域的问题。实验结果表明,策略动态组合优化多元演绎算法能有效应用于一阶逻辑自动定理证明。

关键词： 煤矿采空区   分布式声波传感   地球物理探测   覆岩破裂   机器学习  

摘要： 煤矿采空区覆岩破裂信号作为开采沉陷的前兆特征,对其开展监测有助于预警采空区塌陷事件。但现有手段难以实现大范围、全方位、分布式的监测。以我国宁东矿区羊场湾煤矿为研究区域,引入分布式声波传感技术(distributed acoustic sensing,简称DAS)对采空区覆岩破裂信号开展连续监测。针对DAS数据信噪较低的问题,对比试验了5种去噪方法。对预处理后的信号开展时频分析,提取覆岩破裂信号;进一步将DAS信号转换为递归图以构建数据集,训练基于卷积神经网络的覆岩破裂信号智能识别模型。结果表明,同步压缩小波变换能够很好地压制DAS数据的噪声。覆岩破裂信号与非覆岩破裂信号的递归图之间具有明显区别,训练得到的VGG-16模型在分类二者的任务上实现了85%的准确率。因此,利用DAS技术监测覆岩破裂具有可行性,本研究所提出的基于递归图和卷积神经网络VGG-16的深度学习方法可实现对覆岩破裂信号的智能识别。研究成果为后续开发基于DAS系统的开采沉陷智能预警系统提供了一定技术支撑。

关键词： 人工智能   智能时代   地方高校   新闻传播   人才培养  

摘要： 智能时代对新闻生产的时效性、客观性、报道模式及专业价值观提出挑战,要求地方高校改革新闻传媒教育,重点在于加强学科交叉、培养专业人才、提升新闻专业主义和人文素质。具体改革措施包括:(1)倡导素质教育,明确公共传播人才培养目标;(2)构建基于场景同步的核心课程体系,建立符合时代要求的新知识体系;(3)建设高标准、专业化的师资队伍,促进学科与业界的融合;(4)革新教学方法和评价体系,提升学生的创新创业能力。

关键词： 肝细胞癌   影像组学   45 keV单能量能谱CT   机器学习  

摘要： 目的 探讨术前45 keV单能量能谱CT影像组学结合机器学习预测肝癌经导管肝动脉化疗栓塞术(TACE)后短期疗效的应用价值。方法 回顾性分析104例经病理证实的肝细胞癌(HCC)患者,随机划分为训练集(71例)和验证集(33例)。搜集患者治疗前能谱CT单能量及常规增强CT(CECT)图像,提取病灶影像组学特征。使用LASSO算法结合十折交叉验证筛选能谱组学特征,用逻辑回归(LR)、随机森林(RF)、支持向量机(SVM)、极限梯度提升(XGBoost)、K最近邻(KNN)等5种机器学习方法构建能谱影像组学模型,基于最佳能谱组学模型的机器学习方法与相应特征构建CECT模型,利用多因素LR分析筛选临床资料变量构建临床模型。受试者工作特征(ROC)曲线用于评价模型效能。决策曲线分析(DCA)评价最佳影像组学模型、CECT模型及临床模型的临床决策能力。结果 通过筛选共纳入19种特征构建模型,5种能谱影像组学模型的曲线下面积(AUC)分别为训练集0.72,0.68,0.77,0.70,0.71,验证集0.55,0.58,0.74,0.74,0.65。基于多因素LR筛选出两项临床变量分别为甲胎蛋白(AFP)>400μg/L和Child分级,临床模型训练集和验证集的AUC分别为0.63和0.67,CECT SVM模型AUC为训练集0.69、验证集0.61。校准曲线提示能谱及常规SVM模型和临床模型拟合优度良好。DCA曲线显示能谱SVM模型具有更高的临床应用价值。结论 术前45 keV单能量能谱CT影像组学结合机器学习能有效预测肝癌TACE后的短期疗效,其中能谱SVM模型预测性能最佳,较其他模型更具决策作用。

关键词： 工业互联网   医疗器械   智能制造系统  

摘要： 随着工业互联网的蓬勃发展,医疗器械行业对提高生产效率和质量提出了更高的要求。通过集成ERP、MES和UDID平台,实现了数据的高效互通和管理,优化了生产全过程的精细化管理水平。应用先进的数据采集与处理技术,及智能化和机器学习算法,对生产参数进行优化和工艺提升。实际应用数据验证表明,该系统在提高生产效率、保证产品质量和增强系统稳定性方面具有明显优势,为医疗器械行业的智能化转型提供了强有力的支持。

关键词： 人工智能  

摘要： 在谈人工智能AI应用中的风险前,首先要了解什么是人工智能。根据《上海市促进人工智能产业发展条例》所称:人工智能是指利用计算机或者计算机控制的机器模拟延伸和扩展人的智能,感知环境、获取知识并使知识获得最佳结果的理论、方法、技术及应用系统。人工智能技术在经济、生活、城市治理甚至军事上都有着广泛的应用。从技术层面来看,人工智能的核心能力可以分为3个部分,分别是计算智能、感知智能、认知智能。

关键词： 人工智能   网络通信   拓扑优化   资源分配   深度学习  

摘要： 本文在充分考虑网络拓扑结构影响通信质量和提高资源利用率的前提下,提出一种智能化的拓扑优化算法。在此基础上引入资源分配策略来有效解决网络资源分配不均衡的问题,从而使网络通信效率和资源利用率都得到显著提升,且具有较好的实用性和可行性,旨在今后的网络资源管理和优化工作中,可以此研究成果为基础加以推广应用。

关键词： 人工智能   智慧养老   老年人权益  

摘要： 随着我国人口老龄化程度越来越高,老年人口数量不断攀升。传统的家庭养老、社区养老和社会养老已经不能满足老年人口日益增长的养老需求,全国老龄办因此提出智能化养老,开启探索智慧养老的实践。人工智能及互联网科技的发展成果也在嵌入到养老产业及领域,为老年人的生活、健康、医疗、情感支持、社会参与等权益提供了极大的便捷和利益;但是另一方面智能科技也可能使老年人的个人信息保护、隐私权、财产权等方面面临被侵犯的风险。人工智能科技保障我国老年人权益需要充分考量项目或产品的适老性、完善相关监管法律、加强国家公权力的监管以及多元主体共治的实现路径。

关键词： 初创公司   首席执行官   人工智能   合成数据   哈特曼   普华永道   马库斯   利用数据  

摘要： 在《科技之声》第二集中,首席执行官哈里·基恩(Harry Keen)向我们介绍了他的合成数据初创公司Hazy,我们还听取了普华永道的马库斯·哈特曼(Marcus Hartmann)关于公司如何安全地利用数据创造价值的演讲。

关键词： 人工智能   图书馆   数字安全风险   应对策略   隐私保护  

摘要： 文章通过分析人工智能技术在图书馆中的数字化、智慧化应用,在充分认可其有助于读者服务效能提升的同时,探讨了在新时代其可能存在的新型数据泄露滥用、新型程序漏洞、AI算法偏见、网络攻击方式升级、知识产权被侵犯以及AI合规性缺失等数字安全风险,并从安全可控的技术防护、人才意识的高效管理、法律法规的治理准绳三个维度提出应对策略,以确保图书馆读者隐私、知识资源版权及其他关键基础设施的数据安全。