集合论

摘要： 当代法国哲学家阿兰·巴迪欧的事件哲学广为人知,但作为其哲学核心的数学本体论却依然处在迷雾之中。他的数学本体论不仅继承了古希腊毕达哥拉斯—柏拉图、莱布尼茨的数学传统,更是将现代数学的基础(集合论)引入哲学,重构了哲学本体论。巴迪欧首先确立了集合对于无穷宇宙进行归纳的可能性,又以策梅洛—弗兰克尔公理体系力证作为乌有之多的存在总是以空的姿态已然存在,它是使原有世界断裂、新的世界生成的根本性保证。而吸纳了选择公理后的策梅洛—弗兰克尔公理体系更加明确地告诉我们,这一断裂—生成之实践不仅需要事件的“介入”,还需要忠实主体的绝对信仰。巴迪欧以两种实践话语(数学与事件)重塑存在问题,不只是为了巩固真理的宝殿(即哲学),而是要直面传统哲学话语诉诸真理的无力,规定哲学的永存性,并以此使哲学在智术的回天乏术中涅槃重生。

摘要： 2003年,德国《世界报》不畏艰难,把数学题材引入报纸专栏,结果取得巨大成功。根据该专栏100篇文章结集的图书《五分钟数学》风靡全球,已被翻译成英、法、俄、意、日、韩、土等十几个语种。本书根据该书持续修订后的第四版译出。本书所有文章讲了三个方面的问题,分别是数学是有用的,数学是迷人的,数学是自然的语言。这本书为我们挖掘了当代生活中蕴含的丰富有趣的数学素材,揭去了概率论、模算术、组合论、集合论、极值等高深概念的神秘面纱,也讲述了数学发展史上的传奇故事和伟大人物,启发我们要继续沿着数学道路去理解这个世界。

摘要： cqvip:集合是现代数学中的重要概念,甚至小学生也会学到一些相关知识。可是,在一百多年前,集合论的创立者康托尔却因为自己的理论陷入了困境。兴趣广泛的孩子1845年3月3日,康托尔出生于俄国的圣彼得堡。康托尔的父亲生于丹麦,年轻时移居圣彼得堡,成为一名成功的股票商人,赚了很多钱。他的母亲则出身音乐世家,家族中出现过多名钢琴家和小提琴家。

摘要： 针对柴油机润滑系统多故障耦合性强、故障定位难的问题,本文提出一种柴油机润滑系统多故障关联性分析及解耦方法.该方法采用键合图理论,建立柴油机润滑系统动力学模型,将其转化为时间因果图模型,基于该模型分析柴油机润滑系统热力参数在不同故障下的响应特性,获得多故障在异常征兆上的耦合关系.在此基础上,将集合论的思想引入柴油机润滑系统多故障解耦研究中,通过分析异常征兆对润滑系统多故障的划分作用,去除多故障间的关联特征信息,降低润滑系统多故障间的耦合度,为实施柴油机润滑系统多故障的分离与诊断提供依据.利用某柴油机润滑系统的经典GT-Power模型,验证了润滑系统多故障解耦研究的有效性.

摘要： 集合论知识在数学体系中具有基础性地位,是整个数学的基础.对各个专业的学生进行数学基础方面的教学,对于提高学生的文化素质具有重要意义.通过设计相应的课程教学策略,培养学生应用集合论的基本原理思考和分析所从事专业当中涉及的问题,并能够用集合论知识中所蕴含的逻辑思维方法提升工程实际中数学描述和表达的深度与广度.

摘要： 集合论是现代逻辑和数学的基石.然而,早在先秦时期的典籍中就有很多关于集合论的思想萌芽存在,大都是朴素集合论中最为基础的思想,对这些思想进行新的阐释和划分有助于探究中国古代逻辑与现代逻辑间的联系.

摘要： 高中数学一开始安排的就是"集合",按照新的课程标准,讲授这部分内容大约需要4-5学时.先谈谈"集合"这部分内容的定位.1.这部分内容不是试图讲授集合的基本理论,不是"集合论"初步.我们在高中一开始引进集合的概念,目的是:希望学生在今后三年的高中数学学习中,对所遇到的数学问题和概念、问题的解答等等,能用集合语言来描述,例如,会用集合语言来表述函数的单调区间、不等式的解集、线形规划中的区域等等.

摘要： 传统的研究思路主要指案例导向的定性研究和变量导向的定量研究。在这两种思路下,变量间呈现出线性和对称性的简单因果关系。而在出版领域现实问题纷繁复杂,往往会出现自变量因变量相互影响的复杂因果的情况,这是传统的定研究方法无法解释的。采用集合论思想为核心的定性比较分析法(QCA),发现要素组态与结果的集合关系,如多重并发的因果关系、非对称的因果关系等。QCA 可以视为出版研究的一条崭新道路。

摘要： 重叠网格装配是处理计算流体力学领域多体相对运动问题的关键技术之一.针对常见重叠网格隐式装配方法中几何分析过程复杂、节点无差别并行查找操作影响并行装配效率等问题,提出一种高度自动化的重叠网格隐式装配方法.首先,基于协方差分析、切割盒子等快速算法,将壁面距离计算与贡献单元存在性判断解耦,实现网格组动态重叠关系的自动化识别;其次,结合集合分析,设计出并行化的自动挖洞算法;最后,通过快速查询方法建立重叠单元与贡献单元的插值关系.针对所实现的并行重叠网格隐式装配工具库,采用某五球体部件验证了自动挖洞逻辑的准确性,并通过机翼-挂架-外挂物(WPFS)模型检验了重叠单元与贡献单元插值关系的准确性.

摘要： 三次数学危机是数学史上的重要事件,与高等数学的教学内容联系密切,但通常在教学中不被重视.通过分析给出了三次数学危机作为高等数学第一课的设计思路、实施方案和实践效果.实践证明,这一课打开了学生了解微积分脉络的窗口,培养了学生的质疑精神,在数学史观的熏陶下,使学生学好高等数学的同时,成为数学文化的承载者和传播者.

摘要： 信息的不确定性存在于社会的各个领域,对不确定性信息的分析处理是现代信息技术面临的重要问题.不同信息包含的不确定性内涵差别很大,分析处理不确定性的技术形成了不同的分支和流派.本文对定性分析、集合论方法、数学方法以及不确定性过滤等几种具有典型特征流派的技术进行了系统分析,并对其技术特色进行了总结归纳.

摘要： 上下文感知是普适计算的最主要特征之一,它要求系统能够依据当前的上下文调节自身的行为.现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何对"上下文进行操作"这一方面的形式化工作却很少.本文提出一套基于集合论的用于描述上下文及其操作的形式化系统.在本系统中,上下文被定义为一系列上下文条目(context entry)所组成的集合;在此基础之上,对原有集合系统的基本操作进行了修改和扩展,引入一系列上下文操作(operation);通过对这些操作的组合,可以依据应用的不同需求来描述相应的上下文处理流程和逻辑.

摘要： 指控网是网络中心战的四大功能网络之一.指控网作战效能评估是网络中心战研究的一个热点.使用网络复杂性理论分析研究了网络中心战环境下指控网的特点,建立了指控网作战效能评估的指标体系,并利用图论、集合论的知识对指标分别进行了量化建模,建立了指控节点、指控链路以及指控网三级递阶式的效能评估结构.

摘要： 对于集合论而言，通常视Rusell悖论比Cantor悖论更为致命。但是,Russell悖论之所以显得特别隐晦，归咎于该悖论的构造自身隐含逻辑前提的不当或错误。并且，与所有的集合论悖论一样，最终根源于对“存在原则”的逻辑否定。

摘要： 自19世纪末提出并至今尚没有任何解决迹象，西方科学世界针对数学基础逾越一个多世纪的争论源自Cantor提出的集合论悖论。集合论悖论的存在是客观的。不可能因为一系列称之为公理化假设的人为认定的提出，就能够否定悖论的真实存在。如果说，一切悖论最终归咎于逻辑的不当和错误，那么，导致集合论悖论的原因在于：集合论颠倒了性质和对象之间的逻辑依存关系。因此，不仅仅经典集合论的“概括原则”需要作出修正，而且经典集合论的“外延原则”同样需要作出修正。这样做，不仅仅为了保证集合的两个构造原则逻辑相容，还为了避免空洞概念的出现。

摘要： 为了提高炼油厂成品油罐区作业调度的科学性和自动化水平,首先从分析炼油厂成品油罐区的工艺流程入手,总结给出了4类成品油调度任务,即收油调度、循环调度、倒油调度和出厂调度的定义及其优化问题的概念模型.其次,采用集合论的方法,建立了统一的成品油调度优化模型和相关概念.最后,设计了上述成品油调度优化模型的求解算法。

摘要： 本文提出一种新的集信息分析、目标确定、预测、决策、对策等为一体的经济控制系统方法--统一集经济控制机(AECM),它采用最新的数据处理技术、集合论方法和系统方法,并初步探讨了这一新型系统在人-机-环境系统工程研究领域的作用,即在整个人-机-环境系统研究过程中的应用及对单个系统方案的评估和改进.

摘要： 数理一般系统理论方法是问题求解系统的一种设计方法.它使用一般系统理论的概念和集合论来建模,并且使用extProlog(extendedProlog)语言来实现模型.数据挖掘问题属于最没有结构的类型,通常不被认为是问题求解系统.通过成功运用数理一般系统理论方法于关联分析中,证明了该方法的适用性.

摘要： 随着电子政务的发展和管理学、政治学、经济学理论的不断渗透,电子政务项目建设管理机制也在逐渐完善,为了解决当前电子政务项目建设管理遇到的资源不共享、业务难协同等具体难题,以及研究面向未来的电子政务项目建设管理机制的需要,本文以通过成熟度立项审批并即将进入建设期的电子政务项目为主要讨论对象,利用电子政务总体框架建立电子政务框架模型,研究电子政务需求驱动阶段的电子政务项目建设管理机制的建立.

摘要： 随着电子政务的发展和管理学、政治学、经济学理论的不断渗透,电子政务项目建设管理机制也在逐渐完善,为了解决当前电子政务项目建设管理遇到的资源不共享、业务难协同等具体难题,以及研究面向未来的电子政务项目建设管理机制的需要,本文以通过成熟度立项审批并即将进入建设期的电子政务项目为主要讨论对象,利用电子政务总体框架建立电子政务框架模型,研究电子政务需求驱动阶段的电子政务项目建设管理机制的建立.

摘要： 本发明涉及一种半导体纳米粒子集合体，其为具有含有In和P的芯和1层以上的壳的芯/壳型半导体纳米粒子的集合，其中，半导体纳米粒子集合体的发射光谱(λ1)的峰波长(λ1MAX)在515～535nm之间，半值宽度(FWHM1)为43nm以下，半导体纳米粒子每1个粒子的(1)发射光谱(λ2)的半值宽度(FWHM2)的平均值为15nm以上，(2)发射光谱(λ2)的峰波长(λ2MAX)的标准差(SD1)为12nm以下，(3)发射光谱(λ2)的半值宽度(FWHM2)的标准差(SD2)为2nm以上。根据本发明，可提供一种半导体纳米粒子，其为包含含有In和P的芯和1层以上的壳的芯/壳型半导体纳米粒子，所述半导体纳米粒子的半值宽度较小，并且量子效率较高。

摘要： 本发明涉及一种半导体纳米粒子集合体，其为具有含有In和P的芯和1层以上的壳的芯/壳型半导体纳米粒子的集合，其中，半导体纳米粒子集合体的发射光谱(λ1)的峰波长(λ1MAX)在605～655nm之间，半值宽度(FWHM1)为43nm以下，半导体纳米粒子每1个粒子的(1)发射光谱(λ2)的半值宽度(FWHM2)的平均值为28nm以下，(2)发射光谱(λ2)的峰波长(λ2MAX)的标准差(SD1)为10nm以上30nm以下，(3)发射光谱(λ2)的半值宽度(FWHM2)的标准差(SD2)为12nm以下。根据本发明，可提供一种半导体纳米粒子，其为包含含有In和P的芯和1层以上的壳的芯/壳型半导体纳米粒子，所述半导体纳米粒子的半值宽度较小，并且量子效率较高。

摘要： 所述碳纳米管复合体集合线是包括多个碳纳米管复合体的碳纳米管复合体集合线，其中多个碳纳米管复合体各自包括一个碳纳米管和被覆各碳纳米管的包含无定形碳的层，碳纳米管的D/G比不超过0.1，D/G比是波长为532nm的拉曼光谱分析中D带的峰强度与G带的峰强度之比。多个碳纳米管复合体各自呈纤维状并且直径为0.1μm至50μm，并且多个碳纳米管复合体沿碳纳米管复合体集合线的纵向方向取向。

摘要： 一种碳纳米管的制造方法，包括：通过将含碳气体供给至浮游状态的催化剂粒子，从而使碳纳米管从所述催化剂粒子开始生长的生长工序；以及通过对浮游状态的所述碳纳米管施加拉伸力，从而使所述碳纳米管伸长的伸长工序。

摘要： 本发明提供了一种基于多源数据集合论的高压输电线路故障定位方法，该方法在线路发生故障时，根据故障的位置信息，查询线路缺陷信息，以及气象系统等实时信息，确定真正的故障位置及引起线路故障的实际原因，从而提出解决建议，能极大地缩短工作人员处理故障的时间，减少该故障带来的经济损失。

摘要： 本发明提出一种基于集合论估计模型的电力系统状态估计方法。其中，方法包括以下步骤：基于集合论，根据电力系统的网络拓扑和参数生成电力系统状态估计模型；通过状态估计模型和量测设备的测量不确定度信息生成第一约束集，其中，第一约束集包括量测区间约束和状态区间约束；根据电力系统物理约束，对第一约束集进行扩展获得第二约束集，其中，第二约束集的数据量大于第一约束集的数据量；以及对第二约束集进行区间约束传播获得电力系统状态的估计区间，以及量测的估计区间。根据本发明实施例的方法，通过采用集合论估计模型、约束集扩展以及区间约束传播获得电力系统的状态区间和量测估计区间，提高了数据的确信性，减少了计算量。

摘要： 本发明公开了一种基于集合论和未知输入观测器的故障检测方法，包括以下步骤：S1：建立具有有界随机扰动与测量噪声的待检测系统的状态空间模型；S2：根据待检测系统的状态空间模型构造参数待定的未知输入观测器；S3：根据系统模型和观测器模型建立状态估计误差与残差迭代方程；S4：根据迭代方程导出状态估计误差集与残差集迭代公式；S5：建立最小化残差集尺寸的优化问题，求得最小化残差集尺寸的观测器参数；S6：根据观测器参数计算最小残差集，执行故障检测。本发明提供了一种统一了集理论未知输入观测器和集值观测器的故障检测方法框架，能够实现更低的保守性，并且对待检测系统所需满足的条件要求更低，适用范围更广。

摘要： 本发明提供了一种基于模糊集合论的图像增强技术与遥感图像分类方法，所述基于模糊集合论的图像增强技术与遥感图像分类方法通过一集合装置实现，所述集合装置包括一模糊集合单元，所述集合装置还包括一图像增强单元，所述图像增强单元包括一模糊特征平面模块；所述图像增强单元还包括一模糊增强变换模块，所述集合装置还包括一遥感单元。本发明将基于模糊集合论的图像增强方法应用到图像处理中，克服了传统的图像增强技术没有考虑图像的模糊性，只是简单地对整个图像改变对比度或抑制噪声，在抑制噪声的同时也削弱了图像的细节部分的不足。

摘要： 本发明提供了一种基于多源数据集合论的高压输电线路故障定位方法，该方法在线路发生故障时，根据故障的位置信息，查询线路缺陷信息，以及气象系统等实时信息，确定真正的故障位置及引起线路故障的实际原因，从而提出解决建议，能极大地缩短工作人员处理故障的时间，减少该故障带来的经济损失。

摘要： 本发明提出一种基于集合论估计模型的电力系统状态估计方法。其中，方法包括以下步骤：基于集合论，根据电力系统的网络拓扑和参数生成电力系统状态估计模型；通过状态估计模型和量测设备的测量不确定度信息生成第一约束集，其中，第一约束集包括量测区间约束和状态区间约束；根据电力系统物理约束，对第一约束集进行扩展获得第二约束集，其中，第二约束集的数据量大于第一约束集的数据量；以及对第二约束集进行区间约束传播获得电力系统状态的估计区间，以及量测的估计区间。根据本发明实施例的方法，通过采用集合论估计模型、约束集扩展以及区间约束传播获得电力系统的状态区间和量测估计区间，提高了数据的确信性，减少了计算量。