检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数学多元论与贝纳塞拉夫问题

哲学动态 2024年第3期 79-90页

作者：罗广龙德国康斯坦茨大学哲学系

数学多元论(或集合论多宇宙论)是近年来数学哲学中逐渐流行的哲学立场。数学多元论具有不同的数学与哲学动机,其中哲学上的一个重要动机是解决传统实在论者面临的贝纳塞拉夫问题。根据多元论,任何一致的理论都现实为真,因此对数学信念... 详细信息

数学多元论(或集合论多宇宙论)是近年来数学哲学中逐渐流行的哲学立场。数学多元论具有不同的数学与哲学动机,其中哲学上的一个重要动机是解决传统实在论者面临的贝纳塞拉夫问题。根据多元论,任何一致的理论都现实为真,因此对数学信念可靠性的解释可以转化为对一致性信念的解释。许多哲学家也认为数学多元论是唯一能够应对贝纳塞拉夫挑战的实在论立场。然而事实上,多元论者的一致性概念是个不稳定的概念,诉诸一致性并不能解决传统实在论者面临的认识论问题。

关键词：数学多元论集合论多宇宙论贝纳塞拉夫问题一致性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

时间与道:论孔子的时间观

人文杂志 2024年第4期 37-47页

作者：伍龙上海师范大学哲学与法政学院

孔子的时间观体现出时间与道的关联,这里的“道”既涉及人道,也关涉天道。孔子用时间来检验人、成就人并沟通天人,由此将时间放在天地间绵延不断的时序中加以考察,进而站在道的高度来看待时间的存在与生成,这同时呈现出时间与历史的互动... 详细信息

孔子的时间观体现出时间与道的关联,这里的“道”既涉及人道,也关涉天道。孔子用时间来检验人、成就人并沟通天人,由此将时间放在天地间绵延不断的时序中加以考察,进而站在道的高度来看待时间的存在与生成,这同时呈现出时间与历史的互动,体现了历史文化意义上的时间观念。这样的时间,是人事活动的根据,其在实践中意味着面向具体性的实践判断。因为内蕴了历史之维与个体之情,时间得以与个体的精神生命融为一体,在时空的绵延中实现人与时的交融。事实上,唯有这样的时间,才能检验和成就个体(与人道关联),并在内蕴天地时序的基础上沟通天人(与天道关联)。孔子的时间观,帮助我们反思现代人对时间的态度和看法,促使我们更好地理解和尊重时间,发掘和发挥其具有的价值和意义。

关键词：时间道孔子

维普期刊数据库博看期刊

球坐标系下Chaplygin气体中3维定常位势流方程的比较原理

在线全文

学校读者我要写书评

暂无评论

数学学报(中文版) 2024年

作者：龙柄菘黄冈师范学院数学与统计学院

本文研究了Chaplygin气体中三维定常可压缩位势流方程.在球坐标系下,位势流方程可在单位球面上转化为一个混合型方程.以三角翼超音速绕流问题为背景,本文针对此方程带有一类混合边值条件的情形建立了比较原理,并在此基础上构造了问题解... 详细信息

本文研究了Chaplygin气体中三维定常可压缩位势流方程.在球坐标系下,位势流方程可在单位球面上转化为一个混合型方程.以三角翼超音速绕流问题为背景,本文针对此方程带有一类混合边值条件的情形建立了比较原理,并在此基础上构造了问题解的一个L∞先验估计.这个估计是说明方程在抛物-椭圆区域内为椭圆型的关键.

关键词： Chaplygin气体三维定常位势流方程混合型方程比较原理

基于目标搜寻和细节增强的水下单像素成像方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

光子学报 2024年第4期53卷 41-48页

作者：陈翼钒孙哲李学龙西北工业大学光电与智能研究院西安710072

针对当前水下单像素成像方法侧重于从整体角度重构目标图像,难以理想地恢复目标细节的问题,提出了一种基于目标搜寻和细节增强的水下单像素成像方法。目标搜寻旨在从图像中判断出目标部分和背景部分,从而增强目标信号,降低背景噪声;细... 详细信息

针对当前水下单像素成像方法侧重于从整体角度重构目标图像,难以理想地恢复目标细节的问题,提出了一种基于目标搜寻和细节增强的水下单像素成像方法。目标搜寻旨在从图像中判断出目标部分和背景部分,从而增强目标信号,降低背景噪声;细节增强旨在学习采集信息的细粒度特征、增强重构图像的细节。首先用传统单像素成像方法快速重构目标图像;其次通过判断各行、各列最大像素点的差值来区别目标和背景环境;最后用基于分块模型的神经网络学习目标的细粒度特征,提高目标图像的细节部分。为了验证提出方法的可靠性,重构了空间环境和水下环境中的目标图像,实验结果表明,在两种实验环境下,该方法都可以较好地保存目标的细节信息,获得高质量的目标图像。

关键词：单像素成像深度学习细粒度特征分块模型图像重构

在线全文

学校读者我要写书评

暂无评论

模块化多电平变换器改进两段式模型预测控制

电力自动化设备 2024年第4期44卷 96-104页

作者：李天皓姚磊张帅龙上海理工大学机械工程学院上海200093 国网河南省电力公司西平供电公司河南驻马店463900

基于有限控制集的模型预测控制应用于模块化多电平变换器(MMC)时通常会暴露出计算复杂与交流侧输出电流严重失真等问题。提出一种双矢量优化谐波电流模型预测控制策略,即改进两段式模型预测控制,可减少开关状态组合计算量,进一步优化交... 详细信息

基于有限控制集的模型预测控制应用于模块化多电平变换器(MMC)时通常会暴露出计算复杂与交流侧输出电流严重失真等问题。提出一种双矢量优化谐波电流模型预测控制策略,即改进两段式模型预测控制,可减少开关状态组合计算量,进一步优化交流侧输出电流。推导了MMC离散数学模型,并构建无权重因子的代价函数,通过计算实际电流与参考电流包围的最小面积重新定义同一周期内两阶段开关信号的占空比,并引入一种附加冗余子模块的方法抑制桥臂环流,接着提出一种败者树多路归并排序算法均衡电容电压。在MATLAB/Simulink平台搭建三相23电平MMC仿真模型验证该策略的有效性。相比于两段式模型预测控制,所提策略的交流侧输出电流跟踪更加精准,谐波畸变率更小。

关键词：模块化多电平变换器改进两段式模型预测控制附加冗余子模块电容电压均衡总谐波畸变率

在线全文

学校读者我要写书评

暂无评论

基于深度学习的隧道衬砌多病害检测算法

浙江大学学报（工学版） 2024年第6期58卷 1161-1173页

作者：宋娟贺龙喜龙会平邵阳学院土木与建筑工程学院湖南邵阳422000

针对已有目标检测算法在隧道衬砌病害检测中全局信息提取不充分、检测精度低的问题,提出隧道衬砌表观病害检测算法TDD-YOLO.该算法以YOLOv7框架为基础,采用MobileViT作为主干特征提取网络,提高网络全局信息和局部信息提取能力;在特征金... 详细信息

针对已有目标检测算法在隧道衬砌病害检测中全局信息提取不充分、检测精度低的问题,提出隧道衬砌表观病害检测算法TDD-YOLO.该算法以YOLOv7框架为基础,采用MobileViT作为主干特征提取网络,提高网络全局信息和局部信息提取能力;在特征金字塔网络的上采样和下采样后增加Coordinate attention (CA)注意力模块,突出病害的特征信息,去除背景信息的干扰;提出卷积模块TP Block,在计算量较小的情况下进一步提高网络的特征提取能力.为了验证所提出算法的有效性,选用SSD、 Faster-RCNN、 EfficientDet、 YOLOv5、 YOLOv7这5种算法进行对比分析.实验结果表明,TDD-YOLO算法的F1为77.43%,相对5种对比算法,分别提高了15.58%、17.36%、 12.19%、 6.32%、 6.14%;mAP为77.52%,相对5种对比算法,分别提高了15.20%、 14.24%、 9.44%、 7.44%、6.39%. TDD-YOLO算法病害识别精度最高,综合性能最优,适用于实际隧道工程的病害检测任务.

关键词：隧道病害深度学习病害识别目标检测神经网络

液滴微流控芯片系统研发与微生物矿化机理研究

在线全文

学校读者我要写书评

暂无评论

岩土工程学报 2024年第6期46卷 1236-1245页

作者：张瑾璇刘汉龙肖杨重庆大学土木工程学院重庆400045

微生物诱导碳酸钙沉积(MICP)技术是一种基于生物矿化作用的新型土体加固和修复技术。由于生物反应过程复杂,结晶影响因素多,MICP矿化机理目前还不明确。MICP微流控系统能够对微细尺度下的微生物矿化沉积规律进行可视化研究,但观测晶体... 详细信息

微生物诱导碳酸钙沉积(MICP)技术是一种基于生物矿化作用的新型土体加固和修复技术。由于生物反应过程复杂,结晶影响因素多,MICP矿化机理目前还不明确。MICP微流控系统能够对微细尺度下的微生物矿化沉积规律进行可视化研究,但观测晶体生长尺度仍较大。设计了一种液滴微流控芯片,通过调控不相溶两相流体的流速,生成了直径约450μm的扁球体弹状流液滴作为MICP微反应器,从而搭建了精度更高的微生物矿化液滴微流控芯片系统。通过该系统观测表明:碳酸钙结晶点周围的细菌分布均无变化,随着反应进行,晶体尺寸逐渐扩大,形貌不变;在晶体生长过程中,部分细菌吸附到晶体表面,但晶体周围无明显的细菌聚集现象。此外,采用扫描电镜进一步观测到碳酸钙表面细菌吸附部位存在孔洞。液滴微流控芯片系统为微生物矿化提供了一个精细的微米尺度反应器,为探究MICP成核机理提供了一种有效的分析方法。

关键词：液滴微流控微流控芯片 MICP 碳酸钙微生物矿化

一氧化碳参与的过渡金属催化的插羰环加成反应研究进展

在线全文

学校读者我要写书评

暂无评论

有机化学 2024年第4期44卷 1045-1068页

作者：李晨龙余志祥北京大学化学与分子工程学院、北京分子科学国家研究中心、生物有机与分子工程教育部重点实验室北京100871

作为一种高效构建环状分子的方法,环加成反应一直以来备受合成化学家的青睐.一氧化碳(CO)气体是一种商业易得且廉价的原料,常作为“一碳”组分参与各种过渡金属催化的环加成反应.近几十年来,得益于金属有机化学的深入研究,CO气体参与的... 详细信息

作为一种高效构建环状分子的方法,环加成反应一直以来备受合成化学家的青睐.一氧化碳(CO)气体是一种商业易得且廉价的原料,常作为“一碳”组分参与各种过渡金属催化的环加成反应.近几十年来,得益于金属有机化学的深入研究,CO气体参与的过渡金属催化的环加成反应得到了迅速发展.此类插羰环加成反应之所以成为有机化学的研究前沿,是因为它们不仅可以用于构建复杂的环状骨架,还可以引入具有广泛衍生化能力的羰基官能团.这篇文章旨在详细介绍CO气体参与的过渡金属催化的插羰环加成反应,并按照不同反应类型进行梳理和总结.

关键词：环状分子一氧化碳(CO)气体过渡金属催化插羰反应环加成反应

在线全文

学校读者我要写书评

暂无评论

狭窄通道红细胞跨膜传质特性数值分析

力学学报 2024年第5期56卷 1297-1306页

作者：傅尧王骁龙龚晓波上海交通大学船舶海洋与建筑工程学院工程力学系上海200240

随着对血液微流动过程的不断探索,红细胞在微通道中的运动微观特性备受关注,利用流体力学特性的低损伤手段调控细胞体积并完成跨膜传药也逐渐成为研究热点.为了分析红细胞在微通道中的传质和力学特性及其影响因素,采用浸入式边界法研究... 详细信息

随着对血液微流动过程的不断探索,红细胞在微通道中的运动微观特性备受关注,利用流体力学特性的低损伤手段调控细胞体积并完成跨膜传药也逐渐成为研究热点.为了分析红细胞在微通道中的传质和力学特性及其影响因素,采用浸入式边界法研究细胞穿越狭窄通道的整个运动过程,并考虑细胞膜表面透水传质效应,完成细胞跨膜传质过程的数值建模,实现对狭窄通道中红细胞跨膜传质过程微观的传质特性数值分析.研究表明,细胞在挤入、排出狭缝的运动过程中,体积先损失、后恢复,在这个过程中,细胞头部和尾部以向外的渗透流出为主,中间部位则以向内的渗透流入为主.文章的研究进一步表明,狭缝挤压过程中的体积净变化是由向内和向外渗透速度的大小差异引起的,而与向内和向外渗透的膜面积差异并无明显关系.对体积变化的影响因素探究后发现,更狭窄的通道和更大的入口出口角均会引起细胞发生更多的体积损失和体积恢复,且出口角的变化会引起细胞体积恢复后所达到的体积稳定值:在固定入口角时,狭缝出口角越大,细胞离开狭缝后的稳定体积越小;细胞的硬度越大、细胞膜通透性(渗透系数)越大,细胞在狭缝中运动过程中的体积损失和体积恢复程度越高.

关键词：红细胞数值模拟跨膜传质浸入式边界法流固相互作用