检索结果-南通市图书馆

维普期刊数据库

环巢湖十大湿地外来入侵植物现状分析及风险评估

在线全文

学校读者我要写书评

暂无评论

环巢湖十大湿地外来入侵植物现状分析及风险评估

作者：朱晓岗合肥大学

学位级别：硕士

形式显示的诠释学何以可能?——兼论形式显示方法在海德格尔“纳托普报告”中的隐秘出场

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

现代哲学 2024年第2期 101-109页

作者：王宏健湖南大学岳麓书院哲学系长沙410082

尽管早期海德格尔在他的一个核心文本“纳托普报告”中没有直接讨论形式显示方法,甚至没有出现过“形式显示”这个名称,但事实上,形式显示及其核心内容亦即对现象的三重意义方向的划分已经被海德格尔化用在他的具体阐释之中了。一方面,... 详细信息

尽管早期海德格尔在他的一个核心文本“纳托普报告”中没有直接讨论形式显示方法,甚至没有出现过“形式显示”这个名称,但事实上,形式显示及其核心内容亦即对现象的三重意义方向的划分已经被海德格尔化用在他的具体阐释之中了。一方面,海德格尔借助于对实际生活之沉沦趋向的反向动变和否定性的优先性阐明了形式显示的防御特征;另一方面,他又从形式显示的开端特征出发,分析了诠释学处境的基本结构,并由此走向了一种形式显示的诠释学构想。

关键词：海德格尔形式显示诠释学 “纳托普报告”

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

数学问题的自动求解算法研究

数学问题的自动求解算法研究

作者：钱晨岗北京化工大学

学位级别：硕士

数学问题的自动求解是数学和人工智能共同关注的重要研究领域。近些年,深度学习的快速发展为数学问题的自动求解提供了新的解决方案。但是,在处理图文结合问题和形式化语言下的定理自动证明问题时,深度学习还面临着巨大的挑战。本文针... 详细信息

数学问题的自动求解是数学和人工智能共同关注的重要研究领域。近些年,深度学习的快速发展为数学问题的自动求解提供了新的解决方案。但是,在处理图文结合问题和形式化语言下的定理自动证明问题时,深度学习还面临着巨大的挑战。本文针对高中数学难度的流程图求解问题和不等式证明问题,开发自动求解算法。研究的内容主要包括以下三个方面:(1)基于交互式定理证明器Lean,设计了一种结合深度学习与专家知识的自动定理证明系统(a proving system integrating Deep Learning and Expert Rules,DLER-1),来解决不等式的证明问题。该系统由两个推理器、一个验证器和一个符号计算器组成。基于深度学习的推理器模拟人类的直观推理,基于专家知识的推理器模拟人类的逻辑推理。验证器判断推理策略的有效性,并返回新的证明目标。符号计算器化简表达式,优化推理器的性能。通过不同模块的协同工作,提升自动证明的成功率。在测试集中,DLER-1达到了59.7%的正确率,远高于GPT-4的8.10%正确率。(2)在不等式证明领域,设计了借助非形式化证明提升形式化证明的研究框架,提出了三阶段的自动定理证明系统DLER-2。首先,在Python环境中导出自然语言形式的证明草稿。进而,将这些证明草稿通过正则表达式处理转化为Lean语言中的关键证明步骤。最后,以关键证明步骤提示GPT-4,完成Lean语言下的完整证明。在测试集中,DLER-2解题思路的正确率可以达到80.0%,相比于仅利用GPT-4的正确率取得了显著提升。(3)设计了一种集成自然语言理解、图形结构理解和自动编程的流程图自动求解器(Automated Solver for Flow Chart,AS-FC)。AS-FC利用图形和文本的综合理解模块、图像-文本融合模块和自动编程模块,自动建立Python代码实现流程图求解。在高中水平的流程图问题数据集上,AS-FC的准确率达到85.2%,远优于目前主流的大语言模型GPT-4V。

关键词：定理自动证明流程图大语言模型专家系统

LINC00543促进胃癌细胞的增殖、迁移及EMT过程

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

LINC00543促进胃癌细胞的增殖、迁移及EMT过程

作者：宋京岗河北大学

学位级别：硕士

目的:胃癌(Gastric Cancer,GC)是消化系统常见的恶性肿瘤之一,大多数患者被确诊时已经是中、晚期,通常预后较差。因此对于包括胃癌在内的各种肿瘤的二级预防就显得尤为重要,需要做到早期发现,早期诊断,早期治疗,争取良好的预后并防止复... 详细信息

目的:胃癌(Gastric Cancer,GC)是消化系统常见的恶性肿瘤之一,大多数患者被确诊时已经是中、晚期,通常预后较差。因此对于包括胃癌在内的各种肿瘤的二级预防就显得尤为重要,需要做到早期发现,早期诊断,早期治疗,争取良好的预后并防止复发。近年来,随着测序技术的逐步成熟,长链非编码RNA(Long non-coding RNAs,lnc RNA)被揭露与胃癌的发生发展存在一定的相关性,通过深入的研究,这些基因可能成为新型肿瘤标记物,为胃癌的早期筛查和治疗提供一定的价值。本研究旨在探讨LINC00543与胃癌的相关性,并探讨其对胃癌细胞增殖、迁移及上皮细胞-间充质转化(Epithelial mesenchymal transition,EMT)过程的影响。方法:通过基因表达综合(Gene Expression Omnibus,GEO)和基因表达水平值的交互式分析平台(Gene Expression Profiling Interactive Analysis,GEPIA)数据库,分析LINC00543在胃癌组织中的表达情况;使用实时荧光定量聚合酶链反应(Quantitative real-time polymerase chain reaction,q RT-PCR)检测胃癌细胞MGC-803、AGS及胃黏膜细胞GES-1中的LINC00543的表达水平;蛋白免疫印迹技术(Western Blot)检测胃癌细胞与胃黏膜细胞中EMT相关蛋白波形蛋白(Vimentin)、E-钙粘蛋白(E-cadherin)、N-钙粘蛋白(N-cadherin)的表达水平;分别转染fam荧光标记的小干扰RNA(si RNA)和阴性对照(NC)序列于胃癌细胞MGC-803及AGS,构建沉默组胃癌细胞Si-LINC00543和阴性对照组NC,转染24h后通过荧光显微镜检测转染效率,q RT-PCR检测目的基因敲低效率;使用CCK-8和细胞划痕实验分别检测各敲低组细胞的增殖能力和迁移能力;Western Blot法检测转染后各组细胞的Vimentin、E-cadherin、N-cadherin的表达水平。结果:在GEO数据库中,数据集GSE172032和GSE174237的胃癌组织相较于癌旁正常组织,LINC00543在胃癌组织中高表达(P<0.05),在GEPIA数据库中,在所有肿瘤样本中,胃癌组织样本的LINC00543的表达量是正常组织的10倍多(P<0.05);QRTPCR显示,胃癌细胞MGC-803、AGS较GES-1细胞同样高表达(P<0.01);Western Blot显示,相对于GES-1细胞,MGC-803、AGS细胞的E-cadherin低表达,N-cadherin、Vimentin高表达(P<0.05);细胞转染24h后,在荧光显微镜下以蓝光激发,呈点状的荧光即是被转染进细胞质中的小干扰核酸片段,q RT-PCR显示,相对于NC组,敲低组MGC-803、AGS细胞的LINC00543表达量降低(P<0.05);CCK-8显示,相较于NC组,敲低组MGC-803、AGS细胞的增殖能力显著下降(P<0.001);细胞划痕实验显示,相较于NC组,敲低组MGC-803、AGS的细胞迁移能力同样下降(P<0.05);Western Blot显示,相对于NC组,敲低组MGC-803、AGS细胞的E-cadherin表达水平回升,N-cadherin、Vimentin表达水平下降(P<0.05)。结论:LINC00543在胃癌组织和细胞中高表达,高表达的LINC00543可能促进胃癌细胞的增殖、迁移和EMT过程,LINC00543可能通过EMT途径调控下游基因的表达,从而调控胃癌细胞的转移。

关键词：胃癌 LINC00543 EMT 增殖迁移

实践哲学离不开善的理念?——基于伽达默尔《柏拉图与亚里士多德之间的善的理念》的解析

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

世界哲学 2024年第4期 112-122,F0003页

作者：王宏健湖南大学岳麓书院

古希腊哲学是伽达默尔诠释学的重要思想渊源。在他看来,善的理念或者说最高善乃是希腊哲学的核心概念。围绕着善之普遍性(公共性)和超越性的分歧,他在柏拉图和亚里士多德那里分别找到了融合二者的解决方案。基于此,伽达默尔提出了关于... 详细信息

古希腊哲学是伽达默尔诠释学的重要思想渊源。在他看来,善的理念或者说最高善乃是希腊哲学的核心概念。围绕着善之普遍性(公共性)和超越性的分歧,他在柏拉图和亚里士多德那里分别找到了融合二者的解决方案。基于此,伽达默尔提出了关于柏拉图与亚里士多德思想的“统一性论题”,并将“实践哲学”作为哲学的典范。实践哲学是一种以实践智慧为核心的“理论”,它包含了对规范和价值的历史性还原和当下化重建的交互作用。

关键词：善的理念实践哲学实践智慧诠释学规范

探寻超越雅利安道路的可能性——论林耀华的原始社会史研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

西北民族研究 2024年第1期 37-48页

作者：王宏宇中国政法大学社会学院北京100091

林耀华的原始社会史研究应时代风潮而生,深耕三十余年,兼具进化论与功能主义的学术取向。他的原始社会史学说前后历经两个阶段,自新中国成立后开始初步探索,于20世纪80年代逐渐形成体系化学说。他澄清了氏族起源程序与军事民主制问题,... 详细信息

林耀华的原始社会史研究应时代风潮而生,深耕三十余年,兼具进化论与功能主义的学术取向。他的原始社会史学说前后历经两个阶段,自新中国成立后开始初步探索,于20世纪80年代逐渐形成体系化学说。他澄清了氏族起源程序与军事民主制问题,先后订正了苏联学界的原始社会史二阶段分期法并提出原始社会史三阶段分期法,致力于父系家族公社研究,指出父系氏族与父系家族公社的对张关系,提出水利社会与军事民主制二分的国家生成理论。他的原始社会史学说有力地反驳了雅利安道路的双重模式,并为非雅利安道路的可能性及其普遍性方案作出积极探索。

关键词：原始社会史雅利安道路氏族父系家族公社

维普期刊数据库

面向可穿戴式的基于LSTM神经网络的智能心音异常诊断芯片

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2024年第2期46卷 555-563页

作者：周维新高肇岗肖宛昂中国科学院半导体研究所北京100083 中国科学院大学集成电路学院北京100049 中国农业大学北京100083

心血管疾病是造成全球死亡人数最多的疾病之一,因此对心血管疾病的预防与提前诊断至关重要。人工听诊技术与计算机心音诊断技术无法满足对心音长时间听诊的需求,因而可穿戴式听诊设备越来越受到关注,但是其具有高精度与低功耗的要求。... 详细信息

心血管疾病是造成全球死亡人数最多的疾病之一,因此对心血管疾病的预防与提前诊断至关重要。人工听诊技术与计算机心音诊断技术无法满足对心音长时间听诊的需求,因而可穿戴式听诊设备越来越受到关注,但是其具有高精度与低功耗的要求。该文设计了低功耗的面向可穿戴式的基于长短期记忆网络(Long Short-Term Memory, LSTM)的智能心音异常诊断芯片,提出了包括预处理、特征提取以及异常诊断的心音异常诊断系统,并搭建了基于听诊器的心音采集FPGA系统,采用了数据增强的方法解决数据集的不平衡问题。基于预训练模型设计了智能心音异常诊断芯片,在SMIC180 nm工艺下完成了版图设计和MPW流片。后仿真结果表明,智能心音异常诊断芯片的诊断准确率为98.6%,功耗为762μW,面积为3.06 mm×2.45 mm,满足可穿戴式智能心音异常诊断设备的高性能与低功耗的需求。

关键词：可穿戴式心音异常诊断长短期记忆网络低功耗

维普期刊数据库

2023年男篮世界杯前四强队伍进攻战术特征分析

在线全文

学校读者我要写书评

暂无评论

2023年男篮世界杯前四强队伍进攻战术特征分析

作者：王宏成都体育学院

学位级别：硕士

CoPC/g-CN的制备及其光催化降解苯酚性能研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

现代化工 2024年

作者：贾建岗何淑媛山西众环创新科技有限公司中北大学化学与化工学院

采用水热法制备CoPC/g-C3N4复合催化剂，并研究其光催化降解苯酚的性能。通过FT-IR、SEM、XRD、ICP、XPS以及电化学测试技术分析催化剂结构和性能关系，提出可能的光催化反应机理。结果表明，相比于单一g-C3N4，CoPC的负载使复合催化剂C... 详细信息

采用水热法制备CoPC/g-C3N4复合催化剂，并研究其光催化降解苯酚的性能。通过FT-IR、SEM、XRD、ICP、XPS以及电化学测试技术分析催化剂结构和性能关系，提出可能的光催化反应机理。结果表明，相比于单一g-C3N4，CoPC的负载使复合催化剂CoPC/g-C3N4的光催化降解性能提升了1.7倍，CoPC/g-C3N4的苯酚降解率达到82%。光催化性能的提升归因于CoPC的负载提升了CoPC/g-C3N4复合催化剂的光吸收性能，CoPC的负载可以有效增强光生载流子迁移速率，从而提升了光催化降解苯酚的性能。

关键词： g-C N 酞菁钴光催化苯酚降解