检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

半格模态逻辑以及格的模态公理化新方法

逻辑学研究 2024年第3期17卷 51-73页

作者：王潇扬北京师范大学哲学学院

本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结构。为了刻... 详细信息

本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系。在之前的研究中,使用带二元模态词,的多元混合逻辑通过标准克里普克语义讨论格结构。本文将讨论如何使用模态逻辑刻画下半格结构。为了刻画下半格,本文使用了带有一元模态词P和二元模态词的多元混合逻辑语言并给出了半格上的多元混合逻辑的完整公理化。在已有的相关结果中,格的定义主要基于偏序关系。在本文的后半部分,提出了一种更符合代数视角的格的替代定义,并给出了相应的模态公理化结果。

关键词：模态词模态逻辑公理化逻辑语言偏序关系半格格结构多元混合

在线全文

学校读者我要写书评

暂无评论

论教育家精神的培养

教育研究 2024年第8期45卷 24-33页

作者：靳玉乐王潇晨深圳大学教育学部深圳518060 西南大学教育学部重庆400715

加快建设教育强国,须大力弘扬教育家精神。教育家精神的培养,涉及人与自我、人与知识、人与社会乃至自然万物的多重关系。培养教育家精神,在心理世界,要唤醒“小我-大我-无我”的生命意识。即通过勤学修德、明辨笃实,锤炼“小我”品格;... 详细信息

加快建设教育强国,须大力弘扬教育家精神。教育家精神的培养,涉及人与自我、人与知识、人与社会乃至自然万物的多重关系。培养教育家精神,在心理世界,要唤醒“小我-大我-无我”的生命意识。即通过勤学修德、明辨笃实,锤炼“小我”品格;通过立己达人、修齐治平,强化“大我”担当;通过参赞天地、曲成万物,追寻“无我”之境。在客观知识世界,要涵养“悟道-传道-弘道”的教育情怀。即在读万卷书、行万里路中“悟道”,在学而不厌、诲人不倦中“传道”,在文明互鉴、命运与共中“弘道”。在物质世界,要发展“生存-生活-生生”的实践智慧。即以求是创新改造“生存”境遇,以仁爱之心驻扎“生活”世界,以胸怀天下创造“生生”之态。探索具有中国特色的教育家精神培养新道路,应强化使命担当,激励广大教师以更加奋发有为的精神状态投身教育强国建设实践。

关键词：教育家精神教育情怀生命意识实践智慧

适配平流层飞艇的中波红外载荷对隐身飞机探测能力分析

在线全文

学校读者我要写书评

暂无评论

空天技术 2024年

作者：田浩蔡盛王潇逸中国科学院长春光学精密机械与物理研究所

以高度20 km的平流层飞艇作为临近空间观测平台，综合已有文献情报，预估与平台适配的红外探测器性能参数。在此基础上，以F-35隐身飞机作为典型探测目标，通过计算在巡航状态下飞机蒙皮和发动机尾焰的红外辐射强度分布特性，并结合大... 详细信息

以高度20 km的平流层飞艇作为临近空间观测平台，综合已有文献情报，预估与平台适配的红外探测器性能参数。在此基础上，以F-35隐身飞机作为典型探测目标，通过计算在巡航状态下飞机蒙皮和发动机尾焰的红外辐射强度分布特性，并结合大气窗口数据，确定最佳探测谱段为2.8～4.3 μm。利用探测器模型分析不同探测距离和角度下平流层飞艇对隐身飞机的红外探测能力。结果表明，在近似水平观测模式下，方位角对飞艇探测性能的影响最大。当飞艇红外探测器的极限信噪比取4时，在方位角0°～90°时，极限探测距离为100～350 km；在方位角90°～180°时，极限探测距离为400～1800km。最后利用搭建的红外仿真成像平台，验证了上述结论。

关键词：平流层飞艇临近空间隐身飞机红外探测

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

人工智能情感的伦理风险及其应对

伦理学研究 2024年第1期 132-140页

作者：谢瑜王潇毅西南交通大学马克思主义学院

人工智能情感技术迅猛发展,不断提升着机器模拟人类情感识别、表达与应答功能的能力。在便利生产生活的同时,人工智能情感加剧了情感生活的数据化、工具化、机械化,冲击着情感的私密性、真实性、体验感、意义感,衍生出情感隐私泄露、情... 详细信息

人工智能情感技术迅猛发展,不断提升着机器模拟人类情感识别、表达与应答功能的能力。在便利生产生活的同时,人工智能情感加剧了情感生活的数据化、工具化、机械化,冲击着情感的私密性、真实性、体验感、意义感,衍生出情感隐私泄露、情感欺骗盛行、情感控制加剧和情感能力退化等伦理风险。这些伦理风险的背后是资本逻辑的驱动、情感算法自身的局限性、伦理观念的相对滞后与工具理性的泛滥。应对人工智能情感的伦理风险,从根本上说就是要合理规制资本、推动科技向善。具体而言,应实行敏捷治理、健全伦理法规、深化人文反思。

关键词：人工智能情感科技伦理伦理风险

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

在线全文

学校读者我要写书评

暂无评论

IoT感知的业务微流程建模

郑州大学学报（理学版） 2024年第2期56卷 26-33页

作者：王潇璇王桂玲北方工业大学信息学院北京100144 大规模流数据集成与分析技术北京市重点实验室北京100144

基于物联大数据赋能的业务流程能够更快更准地感知物理世界并及时做出响应的需求突现,提出一种物联网(Internet of Things,IoT)感知的业务微流程建模方法。首先,以单个IoT对象为中心建模,融合MAPE-K(monitor,analysis,plan,execution an... 详细信息

基于物联大数据赋能的业务流程能够更快更准地感知物理世界并及时做出响应的需求突现,提出一种物联网(Internet of Things,IoT)感知的业务微流程建模方法。首先,以单个IoT对象为中心建模,融合MAPE-K(monitor,analysis,plan,execution and knowledge base,MAPE-K)模型思想,将IoT对象实例生命周期的行为状态与微流程实例状态一一映射,实现对单个IoT对象的环形自动监控和调节;其次,基于从IoT传感设备获取的数据,定义基于SASE+语言的业务规则,提取对业务流程有意义的业务事件,避免了无关事件对宏流程的干扰;最后,通过设计一个微流程建模工具原型系统,结合真实案例分析,验证了提出建模方法的有效性,实现了业务流程与IoT实时流式感知数据的结合,并显著减少了宏流程需要处理的业务事件数量。

关键词： IoT流式感知数据业务规则环形自动监控调节微流程

维普期刊数据库博看期刊

一种改进的中国版甲状腺影像报告和数据系统及其诊断价值研究

在线全文

学校读者我要写书评

暂无评论

一种改进的中国版甲状腺影像报告和数据系统及其诊断价值研究

作者：王潇倩曲阜师范大学

学位级别：硕士

近年来,甲状腺结节的检出率不断增加,甲状腺癌的发病率也不断升高.影像学检查是甲状腺结节诊断的主要依据,其中超声检查因操作便捷,价格低廉,对人体无辐射等优点已成为检测和评估甲状腺结节的首选方式.通过超声观察影像特征进而判断结... 详细信息

近年来,甲状腺结节的检出率不断增加,甲状腺癌的发病率也不断升高.影像学检查是甲状腺结节诊断的主要依据,其中超声检查因操作便捷,价格低廉,对人体无辐射等优点已成为检测和评估甲状腺结节的首选方式.通过超声观察影像特征进而判断结节是否为恶性病变对甲状腺结节的诊断具有十分重要的价值.然而,由于超声影像的判读常常会受到临床医生个人经验等主观因素的影响,且良恶性甲状腺结节的超声影像特征之间存在巨大重叠,导致仅依据单个或几个超声特征很难对结节的良恶性做出准确判断.鉴于此,世界多个机构相继发布了甲状腺影像报告和数据系统(TIRADS).TIRADS对甲状腺结节的恶性危险进行了标准化分层,在临床上得到了非常广泛的认同和应用.2020年,中华医学会超声医学分会浅表器官和血管学组制定了适合中国临床实际的中国版TIRADS(C-TIRADS),目前C-TIRADS已在我国大部分医院得到了广泛的关注和应用.作为一种新的TIRADS,C-TIRADS主要利用临床医生的经验和统计方法选取可疑超声特征,且基于计数法的评分系统简单实用.但C-TIRADS在计算结节良恶性程度时易忽略各个特征之间在提示结节恶性程度方面表现出的差异,这为优化C-TIRADS提供了空间.本文基于机器学习算法对C-TIRADS在可疑特征选取以及特征打分方面进行了优化,并提出了一种改进的C-TIRADS:***-C-TIRADS利用AdaBoost算法自主设计了46个由可疑特征组成的弱分类器,并根据分类器的权重系数确定了5个恶性程度最高的超声特征;在特征打分方面,采用网格搜索法为每个可疑特征赋予了一个不超过4的正整数分值.利用AB-C-TIRADS,每个结节的得分在0-14分之间,且仅需确定5个可疑特征,计算方便.利用在当地医院收集的982个经病理证实的甲状腺结节对提出AB-C-TIRADS的诊断价值进行了研究.结果显示:C-TIRADS的AUC为0.924,约登指数为0.774,最佳诊断界限值是TR4B,在该截断值的灵敏度和特异度分别为:0.920,0.834.本文提出的AB-C-TIRADS得到的AUC为0.937,约登指数为0.739,最佳诊断界限值是TR 4B,在该截断值的灵敏度和特异度分别为:0.920,0.837.实验表明基于AdaBoost算法建立的AB-C-TIRADS在甲状腺结节的良恶性诊断中表现出较C-TIRADS更好的诊断性能.

关键词：甲状腺结节超声特征自适应提升算法良恶性分级

基于机器学习的主成分分析方法在金矿类型判别中的应用:以黄铁矿元素地球化学特征为例

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

岩石学报 2024年第6期40卷 1801-1816页

作者：邓依张静钟日晨何西恒王潇逸中国地质大学(北京)深时数字地球前沿科学中心北京100083 中国地质大学地质过程与矿产资源国家重点实验室北京100083 北京科技大学土木与资源工程学院北京100083

黄铁矿是金矿床中一种重要的载金矿物,其所含微量元素特征可以反映成矿热液性质、矿床类型等关键信息。机器学习方法能高效处理海量的黄铁矿微量元素数据并进行相关研究,前人利用随机森林、决策树、神经网络等不同算法,训练了相关的分类... 详细信息

黄铁矿是金矿床中一种重要的载金矿物,其所含微量元素特征可以反映成矿热液性质、矿床类型等关键信息。机器学习方法能高效处理海量的黄铁矿微量元素数据并进行相关研究,前人利用随机森林、决策树、神经网络等不同算法,训练了相关的分类器,但是仍存在训练金矿类型偏少、使用元素种类偏少、矿床类型判别效果不佳等问题。因此本文采用机器学习中的主成分分析方法,拟训练并建立一个能直观反映大部分金矿类型不同特征的判别图解,进而评估使用黄铁矿化学元素作为不同矿床类型判别器的稳健性。数据集中共收集了来自卡林型、浅成低温热液型、造山型、斑岩型、IOCG、SEDEX和VMS七种矿床类型、近百个矿床的6939套黄铁矿LA-ICP-MS微量元素数据。统计结果显示,卡林型和IOCG型金矿床中黄铁矿的Au、As、Cu、Se等微量元素富集程度最高,造山型和浅成低温型的较富集,VMS和SEDEX型矿床中个别元素显著富集,而斑岩型金矿床中黄铁矿的各微量元素含量普遍较低。通过数据预处理,选择十种微量元素,绘制了不同成因类型金矿床黄铁矿成分的二维判别图解,并选择4个矿床实例进行了验证判别。两张判别图解联用能较好的区分出卡林型、斑岩型、IOCG、造山型和浅成低温热液型,但SEDEX和VMS型仍存在部分重叠,需要结合其他地质证据来综合判断。通过与传统判别图解和其他机器学习方法的判别效果对比,本研究构建的主成分分析判别图解具备简明直观、覆盖类型更广、突出强调矿床类型、对卡林型和斑岩型的判别效果最佳等优势,说明其在解决实际矿床问题方面具有有效性和准确度,为广大研究者提供了借鉴参考。

关键词：黄铁矿 LA-ICP-MS 金矿床主成分分析机器学习

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

在线全文

学校读者我要写书评

暂无评论

人工智能情感的本质及其异化可能

自然辩证法研究 2024年第9期40卷 130-137页

作者：谢瑜王潇毅西南交通大学马克思主义学院成都611756

人工智能情感的研发引起了学界热烈的讨论,但是由于技术的前沿性与复杂性,人文领域相关研究的全面性、系统性有待提升。明晰人工智能情感的本质、预判其发展趋势十分必要。实际上,人工智能情感是情感的技术模拟、数据还原、抽象呈现。... 详细信息

人工智能情感的研发引起了学界热烈的讨论,但是由于技术的前沿性与复杂性,人文领域相关研究的全面性、系统性有待提升。明晰人工智能情感的本质、预判其发展趋势十分必要。实际上,人工智能情感是情感的技术模拟、数据还原、抽象呈现。在推进人工智能科学研究、拓展人工智能应用领域的同时,人工智能情感也存在以下异化可能:技术模拟使得情感走向物化、商品化,数据还原可能造成情感失真、失实,抽象呈现会导致情感活力丧失,甚至濒临枯竭。只有在厘清技术边界的基础上重塑人际情感交往,继而回归情感的本真性,才能有效破解人工智能情感可能的异化风险,进一步回应科技发展中对人类情感本质的追问。

关键词：人工智能机器情感异化

在线全文

学校读者我要写书评

暂无评论

山东省古树名木信息可视化设计研究

山东省古树名木信息可视化设计研究

作者：王潇冉山东工艺美术学院

学位级别：硕士