检索结果-南通市图书馆

绘出探矿新篇章——河南省资源环境调查一院有限公司地质填图工作侧记

在线全文

学校读者我要写书评

暂无评论

阅读地球深部的“信件”——河南省资源环境调查一院有限公司岩芯鉴定培训班侧记

资源导刊 2024年第7期 43页

作者：李心淼

来源：博看期刊评论

在线全文

博看期刊

学校读者我要写书评

暂无评论

绘出探矿新篇章——河南省资源环境调查一院有限公司地质填图工作侧记

资源导刊 2024年第5期 42页

作者：李心淼

来源：博看期刊评论

在线全文

博看期刊

学校读者我要写书评

暂无评论

资源导刊 2024年第13期 43-43页

作者：李心淼河南省资源环境调查一院有限公司

“历时34天,设置1639个点位,发现新矿种和新的石墨矿体,为后续资源勘探和开发夯实了基础。”谈及石墨矿地质填图工作,河南省资源环境调查一院有限公司(以下简称资环一院)工作人员周森秋表示。开展石墨矿地质填图工作以来,资环一院党委... 详细信息

“历时34天,设置1639个点位,发现新矿种和新的石墨矿体,为后续资源勘探和开发夯实了基础。”谈及石墨矿地质填图工作,河南省资源环境调查一院有限公司(以下简称资环一院)工作人员周森秋表示。开展石墨矿地质填图工作以来,资环一院党委高度重视,及时组建项目组,迅速动员部署,明确任务路径,扎实有序推进各项工作。

关键词：地质填图石墨矿资源环境调查有序推进河南省项目组新矿种新篇章

在线全文

学校读者我要写书评

暂无评论

试析罗素的摹状词理论

试析罗素的摹状词理论

作者：李心淼河南大学

学位级别：硕士

伯特兰·罗素(Bertrand Russell,1872—1970)是英国著名哲学家和数理逻辑学家。学术界普遍认为,罗素的摹状词理论是把逻辑方法应用于哲学分析的经典之作,是“哲学的典范”。罗素关于摹状词的研究成果,对于我们今天进一步理解现代逻辑以... 详细信息

伯特兰·罗素(Bertrand Russell,1872—1970)是英国著名哲学家和数理逻辑学家。学术界普遍认为,罗素的摹状词理论是把逻辑方法应用于哲学分析的经典之作,是“哲学的典范”。罗素关于摹状词的研究成果,对于我们今天进一步理解现代逻辑以及分析哲学的发展,全面理解和把握罗素的学术研究,以及推进非逻辑语词和现代逻辑的深入研究,均具有重要的理论意义和现实价值。罗素研究摹状词的背景,主要包括:从莱布尼茨,经弗雷格到罗素,现代逻辑取得了长足的发展;指称难题以及前期指称理论的缺陷;罗素哲学研究的如下三个特点,(一)坚持逻辑原子主义的哲学观;(二)区分亲知的知识和描述的知识;(三)构建数理哲学体系。罗素关于摹状词的研究经历了一个发展过程,这一过程和他对一阶逻辑的理论研究,以及相应的现代逻辑分析方法的熟练掌握程度密切相关。1905年,罗素发表了《论指谓》一文,这是他研究摹状词的早期阶段。此时,罗素和怀特海的《数学原理》尚未发表,他正处在全力研究现代逻辑并以此推出数学的阶段。罗素在《论指谓》中关于摹状词的研究,采取了承接之前理论习惯的方式,对认识论原则和理论产生的效果做了较多介绍,涉及较少的一阶逻辑内容。这一时期,罗素对摹状词的定位是:一种特殊的指称词组。1910—1913年,三卷本《数学原理》相继出版;1918年,罗素发表《逻辑原子主义哲学》一文;1919年,《数理哲学导论》出版。这些,标志着罗素的摹状词研究进入第二阶段。在这一阶段,罗素对摹状词的研究,既包括对摹状词的重新定位,即摹状词是一种不完全符号,又包括娴熟地运用一阶逻辑技术改写摹状词所在的命题,以及构造摹状词定理。此外,罗素还讨论了摹状词的两种出现方式,即“初现”和“再现”,以及摹状词的扩展。罗素的摹状词理论具有重大价值:第一,有效解决了哲学史上的指称难题;第二,推动了现代逻辑的形成和发展;第三,完善了罗素的逻辑原子主义哲学体系。同时,这一理论也存在若干局限:第一,对摹状词及其性质的界定过于极端;第二,对语境因素的考察不足;第三,忽视了排中律的适用范围;第四,命题改写技术存在语言适用性差异。

关键词：摹状词指称谓词一阶逻辑

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

逻辑学视域下中国特色社会主义理论体系初探

行政科学论坛 2018年第5期5卷 26-32页

作者：李心淼河南大学哲学与公共管理学院河南开封475000

中国特色社会主义理论体系的衍生和建构并不是主观随意的发展过程,它蕴含着严密的逻辑线索。运用"逻辑分析方法",将中国特色社会主义理论体系置于逻辑学视野之下,通过对中国特色社会主义理论体系中的概念、命题、推理、论证进行分析,简... 详细信息

中国特色社会主义理论体系的衍生和建构并不是主观随意的发展过程,它蕴含着严密的逻辑线索。运用"逻辑分析方法",将中国特色社会主义理论体系置于逻辑学视野之下,通过对中国特色社会主义理论体系中的概念、命题、推理、论证进行分析,简要梳理中国特色社会主义理论体系如何环环相扣向前发展及其在各阶段所表现的理论形态的内在必然性。分析方法主要分为三个层次:一是从静态层面分析中国特色社会主义理论体系的理论建构逻辑,梳理该理论中的概念、命题、推理和论证及其相互关系。二是从动态层面分析中国特色社会主义理论体系的历史生成,梳理该理论体系由原初概念到统一体系的逻辑必然路径。三是引入图尔敏论证图式,为理论体系的合理性发展提供有效的实践工具。

关键词：中国特色社会主义理论体系逻辑学图尔敏论证图式

黄河流域高质量发展中生态环境保护与地质灾害防治座谈会召开 002

在线全文

学校读者我要写书评

暂无评论

中煤地质报

作者：李心淼

本报讯近日,黄河流域高质量发展中生态环境保护与地质灾害防治座谈会在洛阳召开,会议深入研讨推进中部地区绿色崛起和黄河流域高质量发展背景下生态环境保护与地质灾害防治工作。会议提出,要深入研究地质灾害防治和生态环境保护的新技... 详细信息

本报讯近日,黄河流域高质量发展中生态环境保护与地质灾害防治座谈会在洛阳召开,会议深入研讨推进中部地区绿色崛起和黄河流域高质量发展背景下生态环境保护与地质灾害防治工作。会议提出,要深入研究地质灾害防治和生态环境保护的新技术、新模式,牢牢把握绿色矿山建设、美

关键词：生态环境保护黄河流域地质灾害防治流域生态座谈会

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

机器人增量学习研究综述

控制与决策 2024年第5期39卷 1409-1423页

作者：马旭淼徐德中国科学院大学人工智能学院北京100049 中国科学院自动化研究所中国科学院工业视觉智能装备技术工程实验室北京100190

机器人的应用场景正在不断更新换代,数据量也在日益增长.传统的机器学习方法难以适应动态的环境,而增量学习技术能够模拟人类的学习过程,使机器人能利用旧知识来加快新任务的学习,在不遗忘旧技能的前提下学习新的技能.目前对于机器人增... 详细信息

机器人的应用场景正在不断更新换代,数据量也在日益增长.传统的机器学习方法难以适应动态的环境,而增量学习技术能够模拟人类的学习过程,使机器人能利用旧知识来加快新任务的学习,在不遗忘旧技能的前提下学习新的技能.目前对于机器人增量学习的相关研究仍然较少,对此,主要介绍机器人增量学习研究进展.首先,对增量学习进行简介;其次,从参数和模型的角度出发,将当前机器人增量学习主流方法分为变参数方法、变模型方法、混合方法3类,分别对每一类进行论述,并给出相应的增量学习技术在机器人领域中的应用实例;然后,对机器人增量学习中常用的数据集和评价指标进行介绍;最后,对增量学习未来的发展趋势进行展望.

关键词：增量学习变参数方法变模型方法混合方法技能学习机器人

永远的榜样无尽的思念——怀念恩师严良堃先生

在线全文

学校读者我要写书评

暂无评论

中国音乐 2024年第1期 5-12,F0002页

作者：李心草中国音乐学院

严良堃先生是推动我国指挥艺术和合唱艺术发展的一代音乐巨擘,也是《黄河大合唱》这一弘扬中华民族伟大精神经典曲目的权威诠释者。在严良堃先生诞辰一百周年之际,本文深情追忆在求学、成长过程中严先生的言传身教、耳提面命,深切缅怀... 详细信息

严良堃先生是推动我国指挥艺术和合唱艺术发展的一代音乐巨擘,也是《黄河大合唱》这一弘扬中华民族伟大精神经典曲目的权威诠释者。在严良堃先生诞辰一百周年之际,本文深情追忆在求学、成长过程中严先生的言传身教、耳提面命,深切缅怀他的大家气度、师长风范、赤子情怀。

关键词：严良堃《黄河大合唱》指挥合唱

多网络控制器FC-AE-1553动态带宽调度机制

在线全文

学校读者我要写书评

暂无评论

北京航空航天大学学报 2024年第9期50卷 2963-2974页

作者：李心茹张馨月李铮何锋北京航空航天大学电子信息工程学院北京100191 中国科学院空天信息创新研究院北京100190 中国科学院空间信息处理与应用系统技术重点实验室北京100190

由于航电系统通信需求的日趋复杂化,对基于FC-AE-1553组网的通信系统需要采用多网络控制器(NC)构建分布式网络环境,如何实施多个控制器之间的控制权分配,并解决跨域业务冲突的问题是其中的关键。为实现多NC协同调度,提出了一种主从NC协... 详细信息

由于航电系统通信需求的日趋复杂化,对基于FC-AE-1553组网的通信系统需要采用多网络控制器(NC)构建分布式网络环境,如何实施多个控制器之间的控制权分配,并解决跨域业务冲突的问题是其中的关键。为实现多NC协同调度,提出了一种主从NC协作的多NC动态带宽调度机制,采用并发通信方式提高网络带宽利用率,同时提升各类业务的传输保障能力。对于周期性业务采用固定时隙进行传输,对于强时效性突发业务采用抢占式带宽分配,对于一般突发业务按照“先跨域后域内”分别进行带宽分配。通过OMNeT++搭建FC-AE-1553网络仿真平台,结果表明:该调度机制可以满足多NC条件下不同类型通信业务的协同带宽分配和调度,对于周期性业务和强时效性突发业务,可以保障其实时性通信要求;对于一般突发业务,在网络负载不超过57%时也能为其提供合适的带宽进行传输。与单NC集中式相比,当网络负载大于0.5或跨域/域内业务比值大于0.8时,多NC控制具有较明显的时延优势。

关键词： FC-AE-1553 多网络控制系统动态调度控制权分配跨域传输

同方期刊数据库