检索结果-南通市图书馆

基于MK的实数公理系统相容性和范畴性的Coq形式化

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

控制理论与应用 2024年第7期41卷 1274-1285页

作者：郭达凯冷姝锟窦国威陈思郁文生北京邮电大学电子工程学院天地互联与融合北京市重点实验室北京100876

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基... 详细信息

数学定理机器证明是人工智能基础理论的深刻体现.实数理论是数学分析的基础,实数公理系统是建立实数理论的重要方法.Morse-Kelley公理化集合论(MK)作为现代数学的基础,也为实数构建提供了严谨的数学框架和工具.本文使用定理证明器Coq,基于MK对实数公理系统进行了深入探索.在优化了MK形式化代码的基础上,形式化构建了完整的实数公理系统,并通过形式化Landau《分析基础》中的实数模型,证明其相对于MK相容,此外,还形式化证明了实数公理系统所有模型在同构意义下是唯一的,验证了实数公理系统的范畴性.本文全部定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,充分体现了基于Coq的数学定理机器证明具有可读性、交互性和智能性的特点,其证明过程规范、严谨、可靠.该系统可方便地应用于拓扑学和代数学理论的形式化构建.谨以此文庆祝我国著名控制系统专家秦化淑研究员九十华诞!

关键词： Morse-Kelley公理化集合论实数公理系统相容性范畴性 Coq 形式化机器证明人工智能

基于复杂网络演化博弈的可再生能源技术扩散仿真分析

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

电网技术 2024年第4期48卷 1573-1582,I0051,I0052-I0054页

作者：张益岗王小君孙庆凯窦嘉铭王英刘曌北京交通大学电气工程学院北京市海淀区100044

“双碳”目标下,风光等可再生能源逐步替代煤等传统化石能源是实现电力系统能源转型的必然趋势,开展可再生能源技术扩散研究是模拟分析这一趋势的重要手段。然而,现有可再生能源技术扩散研究多从总体层面关注宏观扩散模型,忽略了发电商... 详细信息

“双碳”目标下,风光等可再生能源逐步替代煤等传统化石能源是实现电力系统能源转型的必然趋势,开展可再生能源技术扩散研究是模拟分析这一趋势的重要手段。然而,现有可再生能源技术扩散研究多从总体层面关注宏观扩散模型,忽略了发电商群体内部微观复杂博弈过程及相互作用对宏观扩散影响的复杂性。针对该问题,该文基于系统科学与博弈论视角,以发电商群体社会关系构建复杂网络,以不完全信息有限理性特征开展演化博弈。从发电商个体发电策略更新到发电商群体关系演化的逻辑,由点到面地分析可再生能源技术扩散的动态演化过程。基于两种典型复杂网络场景开展仿真,剖析发电商群体关系、政策标准以及市场价格等众多因素对可再生能源技术扩散演化的影响。算例结果既可为政府引导可再生能源技术在发电企业扩散方面提供理论支撑,亦可为演化博弈理论在能源行业中的广泛应用提供有益的借鉴。

关键词：可再生能源技术扩散复杂网络演化博弈

基于天青B的聚丙烯酰胺-丙烯酸水凝胶用于虾类新鲜度监测

在线全文

学校读者我要写书评

暂无评论

高分子学报 2024年

作者：周长凯方鹏达张昊孙哲严锋江苏省新型高分子功能材料工程研究中心江苏省先进负碳技术重点实验室苏州市软材料与新能源重点实验室苏州大学材料与化学化工学部

随着人们生活质量的不断提高，食品的质量问题也日益受到关注.可视化智能包装材料可以通过颜色的变化，实现对食品新鲜度的实时监测.然而，由于智能包装材料响应时间长，指示剂的泄漏加重食品污染，制约了可视化智能包装材料的发展和应... 详细信息

随着人们生活质量的不断提高，食品的质量问题也日益受到关注.可视化智能包装材料可以通过颜色的变化，实现对食品新鲜度的实时监测.然而，由于智能包装材料响应时间长，指示剂的泄漏加重食品污染，制约了可视化智能包装材料的发展和应用.将吩噻嗪类阳离子染料天青B (Azure B)通过阴阳离子静电相互作用固定到聚丙烯酰胺-丙烯酸水凝胶中，利用其对生物胺敏感的特性，制备出了响应快、低泄漏的可视化智能包装水凝胶薄膜材料——丙烯酰胺与天青B丙烯酸盐交联水凝胶(PAMA-Az).研究结果表明PAMA-Az薄膜材料能够实现p H和生物胺的快速响应，在氨气、挥发性盐酸的模拟实验中也表现出变色的可逆性.和共混的天青B水凝胶相比，离子间静电相互作用显著降低了指示剂的迁移率，防止了指示剂的泄露.快响应、低泄露的PAMA-Az凝胶薄膜材料成功应用于鲜虾的新鲜度的监测.

关键词： pH响应天青B 静电相互作用水凝胶薄膜智能包装

考虑运行状态信息的综合能源系统图强化学习优化调度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电力系统保护与控制 2024年第2期52卷 1-14页

作者：吕金玲王小君窦嘉铭孙庆凯刘曌和敬涵北京交通大学电气工程学院北京100044

“双碳”背景下,异质能源的耦合加剧迫使综合能源系统(integrated energy system, IES)拓扑朝着更复杂、更灵活的方向不断演变。然而,现有优化调度方法对非欧网络拓扑知识及其异质潮流约束考虑不足。针对这一问题,提出一种基于图强化学... 详细信息

“双碳”背景下,异质能源的耦合加剧迫使综合能源系统(integrated energy system, IES)拓扑朝着更复杂、更灵活的方向不断演变。然而,现有优化调度方法对非欧网络拓扑知识及其异质潮流约束考虑不足。针对这一问题,提出一种基于图强化学习的综合能源系统优化调度方法。首先,基于图理论在保证节点多样状态的情况下,将异质能源网络拓扑转换为网络图模型。其次,通过建立基于真实图映射的状态-动作-奖励的框架,利用图强化学习的方法学习图模型的非欧拓扑信息,将异质潮流知识加入系统节点运行状态,从而实现IES的安全优化调度。最后,利用某工业园区的真实数据进行仿真验证,所提方法相对于传统方法有效缓解了节点电压越限的问题。结果表明,所提方法能够在考虑IES真实拓扑运行状态信息和异质潮流安全的情况下实现IES的优化调度。

关键词：综合能源系统优化调度图强化学习运行状态安全约束

维普期刊数据库博看期刊

基于天青B的聚丙烯酰胺-丙烯酸水凝胶用于虾类新鲜度监测

在线全文

学校读者我要写书评

暂无评论

高分子学报 2024年第11期55卷 1518-1528页

作者：周长凯方鹏达张昊孙哲严锋江苏省新型高分子功能材料工程研究中心、江苏省先进负碳技术重点实验室、苏州市软材料与新能源重点实验室、苏州大学材料与化学化工学部苏州215123

随着人们生活质量的不断提高,食品的质量问题也日益受到关注.可视化智能包装材料可以通过颜色的变化,实现对食品新鲜度的实时监测.然而,由于智能包装材料响应时间长,指示剂的泄漏加重食品污染,制约了可视化智能包装材料的发展和应用.将... 详细信息

随着人们生活质量的不断提高,食品的质量问题也日益受到关注.可视化智能包装材料可以通过颜色的变化,实现对食品新鲜度的实时监测.然而,由于智能包装材料响应时间长,指示剂的泄漏加重食品污染,制约了可视化智能包装材料的发展和应用.将吩噻嗪类阳离子染料天青B(Azure B)通过阴阳离子静电相互作用固定到聚丙烯酰胺-丙烯酸水凝胶中,利用其对生物胺敏感的特性,制备出了响应快、低泄漏的可视化智能包装水凝胶薄膜材料——丙烯酰胺与天青B丙烯酸盐交联水凝胶(PAMA-Az).研究结果表明PAMA-Az薄膜材料能够实现pH和生物胺的快速响应,在氨气、挥发性盐酸的模拟实验中也表现出变色的可逆性.和共混的天青B水凝胶相比,离子间静电相互作用显著降低了指示剂的迁移率,防止了指示剂的泄露.快响应、低泄露的PAMA-Az凝胶薄膜材料成功应用于鲜虾的新鲜度的监测.

关键词： pH响应天青B 静电相互作用水凝胶薄膜智能包装

关于冷冻机在正己烷精制装置中应用效果的研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中文科技期刊数据库（引文版）工程技术 2024年第6期 0108-0111页

作者：窦万凯张丹辽阳辽化亿方石油化工有限公司辽宁辽阳111003

随着我国经济的快速发展,国内各行业发展速度随之蓬勃发展,作为溶剂使用的正己烷需求量也日益增加。为了保证生产装置处于“安全、稳定、高产、低耗”的最佳生产状态,本文讨论了正己烷装置在加氢系统投用冷冻机,同时通过工艺优化,调整... 详细信息

随着我国经济的快速发展,国内各行业发展速度随之蓬勃发展,作为溶剂使用的正己烷需求量也日益增加。为了保证生产装置处于“安全、稳定、高产、低耗”的最佳生产状态,本文讨论了正己烷装置在加氢系统投用冷冻机,同时通过工艺优化,调整中控参数,可以增加正己烷产品产量,不仅创造了更大的经济效益,同时还大大的提升了企业的技术实力和市场竞争力。

关键词：冷冻机正己烷创效

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于混合自适应选择模型的燃气轮机建模

中国电机工程学报 2024年第7期44卷 2737-2747,I0019页

作者：张宝凯中国大唐集团科学技术研究总院有限公司华东电力试验研究院安徽省合肥市230031

单轴燃气轮机联合循环机组作为参与电网调峰谷、调频的重要装备,其运行性能直接关系到电网安全。为提高电网可靠性,该文提出一种基于混合形式自适应选择算法模型(hybrid-form adaptive selection algorithm model,HASAM)。首先,结合厂... 详细信息

单轴燃气轮机联合循环机组作为参与电网调峰谷、调频的重要装备,其运行性能直接关系到电网安全。为提高电网可靠性,该文提出一种基于混合形式自适应选择算法模型(hybrid-form adaptive selection algorithm model,HASAM)。首先,结合厂家控制策略组态逻辑与偏互信息确定与燃机计算功率相关的变量作为建模对象;然后,利用量子粒子群QPSO辨识模型、深度置信网络DBN算法以及ELMAN算法构建子模型;最后,针对不同工况,结合QPSO优化的DBN分类模型自适应选择子模型进行燃机计算功率预测。基于9E燃气轮机工况数据验证结果表明,提出的算法能够准确的预测燃气轮机计算功率。

关键词：数据驱动燃气轮机自适应选择预测

基于物理加密及KNN算法的核军控核查技术研究

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

核科学与工程 2024年第3期44卷 660-666页

作者：何小锁王圣凯窦小敏路凯凯何庆华南京航空航天大学材料科学与技术学院江苏南京211106 空间核技术应用与辐射防护工业和信息化部重点实验室江苏南京211106

现阶段军控核查技术所面临的困难在于:核查人员需要在不探测敏感信息的前提下,对被检核武器的真实性给出准确结论。本工作结合物理掩模加密技术与K近邻算法,提出一种可自主加密识别核武器身份信息的核查系统。利用Geant4搭建基于中子裂... 详细信息

现阶段军控核查技术所面临的困难在于:核查人员需要在不探测敏感信息的前提下,对被检核武器的真实性给出准确结论。本工作结合物理掩模加密技术与K近邻算法,提出一种可自主加密识别核武器身份信息的核查系统。利用Geant4搭建基于中子裂变反应的物理加密辐射指纹采集装置,并通过构造多种作弊情景下的样本建立数据库,同时本研究选择KNN算法建立机器学习模型应用于未知项目的身份认证,并从鲁棒性和安全性两方面量化了该核查系统的可行性。结果表明,当样本同位素丰度由武器级铀变为较低级浓缩铀(235U的丰度由96%变为70%及以下)或者样本几何形状发生细微改变时,该系统对这两种典型的作弊情景具有优良的鉴别能力。该核查方法利用智能算法实现了核武器的自主认证,提高效率的同时有效规避了人工篡改和窥探敏感信息的风险,此外,结合物理掩模加密技术,使得敏感信息从始至终没被测量,在一定程度上降低了通过软件后门等手段作弊的风险。基于物理加密及K近邻算法的核军控核查技术能够在保护被测项目敏感信息的基础上,以较高的准确率和效率鉴定其真实性。

关键词：核军控核查物理加密 KNN算法随机掩模

保卫人道主义：乌托邦与马克思主义——凯文·安德森教授访谈

在线全文

学校读者我要写书评

暂无评论

社会科学家 2024年 3-8页

作者：凯文·安德森王杰冯芙蓉加州大学圣巴巴拉分校浙江大学哲学学院

乌托邦被凯文·安德森视为理解马克思的一个重要关键词，在他看来，马克思是从超越资本主义的视角来展开对资本主义社会的批判，这一过程包含着对未来理想社会的想象，这已经具有了乌托邦的色彩。乌托邦在马克思那里并不是一个单纯的学... 详细信息

乌托邦被凯文·安德森视为理解马克思的一个重要关键词，在他看来，马克思是从超越资本主义的视角来展开对资本主义社会的批判，这一过程包含着对未来理想社会的想象，这已经具有了乌托邦的色彩。乌托邦在马克思那里并不是一个单纯的学术课题，相反，它具有切实的实践含义并在当代积极地塑造着社会的面貌。在《马克思在边缘》一书中，安德森指出马克思克服了欧洲中心主义，逐渐对社会发展形成一种多线性的思维方式。以此为方法论，安德森对十月革命、爱尔兰革命和中国的革命运动展开了深入研究。

关键词：保卫人道主义乌托邦马克思主义多线性文学方法论