闭集

摘要： 本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.

摘要： 首先,给出拓扑空间中任意子集都是紧致子集的两个充分条件;其次,研究拓扑空间中紧致子集的交、并、闭包仍是紧致子集的充分条件;最后,给出拓扑空间中的紧致闭子集族所具有的一个重要性质,并由此证明Hausdorff空间中紧致子集族若满足任意有限个的交是连通子集,则这个紧致子集族的交是连通子集。

摘要： 首先,给出拓扑空间中任意子集都是紧致子集的两个充分条件;其次,研究拓扑空间中紧致子集的交、并、闭包仍是紧致子集的充分条件;最后,给出拓扑空间中的紧致闭子集族所具有的一个重要性质,并由此证明Hausdorff空间中紧致子集族若满足任意有限个的交是连通子集,则这个紧致子集族的交是连通子集.

摘要： 随着生物特征识别技术逐渐兴起,声纹作为一种具有唯一性、获取方便等特点的生物特征,在身份认证领域中具有广阔的应用前景和较高的市场价值.基于与文本无关的闭集的说话人语音集合,使用Python在Windows操作系统上搭建了一个利用高斯混合模型识别梅尔倒谱系数的具有降噪功能的说话人辨认系统,包括语音信号预处理、声纹特征提取、声纹模型建立与匹配等过程.系统具有识别速度快、识别精度高的特点,为未来的生物特征识别技术提供了新思路.

摘要： 连通子集是拓扑空间中一类特殊的子集,对其性质的研究具有重要的意义。本文推广了连通子集的两条性质,给出了其四个新的等价刻画,研究了拓扑空间中连通子集与既开又闭的子集之间的关系。另外还运用实例说明连通子集的交并非是连通子集。

摘要： 连通子集是拓扑空间中一类特殊的子集,对其性质的研究具有重要的意义.本文推广了连通子集的两条性质,给出了其四个新的等价刻画,研究了拓扑空间中连通子集与既开又闭的子集之间的关系.另外还运用实例说明连通子集的交并非是连通子集.

摘要： 指出分析学背景的欠缺,拓扑学所使用的形式公理化方法以及学生对公理化方法的陌生,导致了拓扑空间公理的教学困难.针对拓扑空间开(闭)集公理的引入教学,对策是在实直线上,从关于数列极限运算封闭的“直观”属性出发,用开区间和闭区间对数列极限运算封闭的对偶性,分别定义实数集上的开集与闭集,则二者自然地呈现对偶性,利于理解开集的“有限交与任意并封闭”公理,以期缓解拓扑空间公理的教学困难.

摘要： 连续函数是《数学分析》课程中一类重要的函数,其定义可以用极限刻画,同时也可以用ε?δ语言描述.本文主要讨论连续函数在《实变函数》课程中的等价刻画,以及它与可测函数之间的关系.

摘要： 7月3日至31日，71282部队组织了首长机关封闭集训。集训以固强补弱、夯实基础为目的，采取理论辅导与操作练习相结合、室内作业与野外作业相结合、强化训练与集中考评相结合的方式，先后完成了手工标图、一体化指挥平台操作、识图用图、北斗手持机操作等《大纲》规定的首长机关业务基础9个内容17个课目的训练考核。

摘要： This paper notices that the proposition4 of the paper conditions assuring properties of the rela⁃tive interior of sets in a linear space is incorrect,and examples of Banach space and the continuous func⁃tion space in this article illustrates that closed aggregate's affine hull is not necessarily a closed aggregate .%指出文章“线性空间中集合相对内部性质成立的条件”中的命题4是错误的，并以Banach空间和连续函数空间中的例子说明闭集的仿射包不一定是闭集。

摘要： 本发明公开了一种基于隐私度关联的本体依赖闭包集生成方法、装置、设备及存储介质，其方法包括：采用DTD抽象语法树结构化模型提取XML文档数据信息中的原始值依赖；通过XML文档数据信息中的原始值依赖定义键和语义键；根据语义键中语义主体主键定义语义依赖以及语义推理，并关联原始值依赖集合成的本体依赖集，获取本体依赖推理集；以语义键中语义主体主键为等价类，划分本体依赖推理集归约得到数据隐私度关联的本体依赖闭包集。本发明与传统关系型数据库规范化一阶理论保持一致，实现数据隐私度直接关联的本体依赖集合，同时满足权重越高、越有价值的数据关联在结构表示最简单的落点，为访问控制、数据挖掘等隐私保护研究，提供安全高效的研究基础。

摘要： 发明公开了一种基于邻接比特压缩表的频繁闭项集挖掘算法，定义使原始事务集高度压缩的，用于频繁闭项集挖掘的数据结构——邻接比特压缩表，通过该数据结构一方面将每个项或项集所包含的交易集压缩为比特数组，并通过邻接比特的位置标识去剔除传统比特表中的0比特，使交易集高度压缩；另一方面，建立项索引表，之后将项索引压缩到邻接比特压缩表中，当原始数据集中项的维度较高，或项标识较长时，压缩效果明显；其次，通过采用运算栈与检索栈的非递归运算方法，可以降低运算过程与闭合检索的空间占用；最后，通过邻接比特压缩表之间的与运算以及或运算代替项集求交或并运算，同时采用项集预处理、回溯校验的剪枝策略，来加快整体运算过程。

摘要： 本发明公开了一种闭项集及生成子挖掘方法及装置，涉及计算机领域。用以解决现有技术中针对不确定数据的闭项集的生成子的挖掘算法存在效率较低的问题。该方法包括：根据每个概率频繁i项集的频繁概率与其对应的子集的频繁概率，当确定有Y个概率频繁i‑1项集的频繁概率等于与其对应的超集的频繁概率时，则将X‑Y个概率频繁i‑1项集确定为闭项集；若确认第一队列中包括有任意一个K项集是为闭项集的概率频繁i‑1项集的子集时，则将K项集与为闭项集的概率频繁i‑1项集进行关联；将与为闭项集的概率频繁i‑1项集关联的K项集、X‑Y个为闭项集的概率频繁i‑1项集和Y个为非闭项集概率频繁i‑1项集添加到第i‑1层挖掘结果内。

摘要： 本发明公开的一种适用于闭式吹扫的集粒器，属于热力发电技术领域。套筒的两端设有进口和出口，套筒的直径朝进口和出口减缩；套筒的中部与下降管连接形成相贯孔，锥斗设在下降管内，下降管与阀门连接，阀门与取样器连接；前隔板竖直设置在套筒内部，前隔板与相贯孔的前沿留有空隙；后隔板倾斜设置在套筒内部，后隔板的上端与前隔板上端连接，后隔板的下端与相贯孔的后沿连接；前隔板和后隔板上均设有若干轴线水平的通孔，且前隔板上通孔的直径大于后隔板上通孔的直径。能够实现工质中较大颗粒及部分较小颗粒的不停机收集、取样，有效减少吹扫过程中机组启停次数、缩短吹扫时间、降低吹扫成本。

摘要： 本发明提供的一种带碳捕集利用与燃气循环余热利用的闭式超临界二氧化碳发电系统及方法，包括高压透平、低压透平、发电机、高温回热器、低温回热器、预冷器、二氧化碳压缩机、省煤器、低温过热器、高温过热器、燃烧器、余热回收器、二氧化碳回收装置、二氧化碳高压泵、氨液高压泵、尿素合成塔、闪蒸槽、尿素储罐。本系统以天然气为燃料，采用纯氧燃烧方式，烟气通过二氧化碳回收装置实现二氧化碳全捕集；超临界二氧化碳在高压透平与低压透平中膨胀做功，这种方式使得透平出功较多，提高循环效率；除此之外该发电系统与工业制备尿素相联系，即二氧化碳全捕集之后作为原料用于尿素制备，而氨液进入余热回收器吸收烟气余热，并经加压后与捕集回收的二氧化碳一同进入尿素合成塔生成尿素经闪蒸工艺得到成品。此过程不仅有效利用超临界二氧化碳循环余热，且对烟气中二氧化碳实现捕集利用，体现环境友好性，实现清洁绿色供电。

摘要： 本发明公开的一种用于闭式吹扫的集粒器，属于热力发电技术领域。包括进气管、套筒、止回锥斗、沉降管、阀门、下降管、取样器、排气管和孔板。进气管设置在套筒的切向上，并与套筒连接；排气管的进口套设在套筒内，出口伸出套筒上端，孔板固定在排气管内，孔板上分布有若干通孔；套筒的下端与沉降管连接；止回锥斗通过若干连接件与沉降管的内壁连接，止回锥斗的锥角朝上，底边与沉降管的内壁存在间隙；沉降管与阀门连接，阀门与下降管连接，下降管与取样器连接。本发明能够实现工质中较大颗粒及部分较小颗粒的不停机收集、取样，有效减少吹扫过程中机组启停次数、缩短吹扫时间、降低吹扫成本。

摘要： 本发明公开了一种基于隐私度关联的本体依赖闭包集生成方法、装置、设备及存储介质，其方法包括：采用DTD抽象语法树结构化模型提取XML文档数据信息中的原始值依赖；通过XML文档数据信息中的原始值依赖定义键和语义键；根据语义键中语义主体主键定义语义依赖以及语义推理，并关联原始值依赖集合成的本体依赖集，获取本体依赖推理集；以语义键中语义主体主键为等价类，划分本体依赖推理集归约得到数据隐私度关联的本体依赖闭包集。本发明与传统关系型数据库规范化一阶理论保持一致，实现数据隐私度直接关联的本体依赖集合，同时满足权重越高、越有价值的数据关联在结构表示最简单的落点，为访问控制、数据挖掘等隐私保护研究，提供安全高效的研究基础。

摘要： 本实用新型涉及医疗器械技术领域，具体为一种集报警与自夹闭功能为一体的新型胸瓶，包括胸瓶，所述胸瓶的顶部设置有瓶口，所述瓶口的内侧插接有塞部，所述塞部的顶部固定连接有顶盖，所述顶盖上贯穿有引流管，所述引流管为软管，所述引流管与顶盖活动连接，所述引流管的外表面固定连接有固定环，所述固定环位于顶盖的顶部。本实用新型的优点在于：在胸瓶被碰倒时，第一液位传感器不再感应到液体，即可启动报警灯和喇叭报警器进行报警，通知及时；在第二液位传感器感应到液体时，液体已快装满胸瓶，即启动微型电动伸缩杆，顶球顶出，而引流管为软管，从而利用顶球压迫引流管到竖板上，从而实现引流管的自夹闭。

摘要： 本实用新型涉及一种破碎机的除尘集砂设备，具体涉及一种反击式破碎机闭式循环除尘集砂装置，包括设置在基座上的反击式破碎机，其出料口与下方设置的输送带通过密封罩密封连接，在入料口溜板上开设有回风口，在与转子旋转方向相对的密封罩上开设有出风口，出风口依次连通进气管、旋风集粉器、旋风集粉器出风管、离心风机Ⅰ、回气管、回风口及破碎机内部；旋风集粉器出风管还依次连通有除尘管道、脉冲除尘器、离心风机Ⅱ；旋风集粉器及脉冲除尘器的下端的下端分别连接料仓、粉仓。本实用新型可收集破碎过程中的细砂及粉尘，不增加能耗，减少对环境及设备的粉尘污染。

摘要： 本实用新型公开了聚热集烟型闭式玻璃球洒水边墙喷头，涉及边墙喷头技术领域，包括连接螺口，所述连接螺口的上端套接有塞子，所述塞子的上端设置有玻璃泡，所述连接螺口的外表面通过螺栓固定有固定支架，所述固定支架的上端设置有溅水盘，所述溅水盘的上端固定有固定螺丝，所述固定支架和连接螺口的侧边固定有聚烟罩，本实用新型通过聚烟罩聚集了烟气的热量，加快了玻璃泡的升温速度，从而解决了普通喷头热量传递过慢无法扑救初起火灾的缺点，使火灾在初期能得以扑灭，灵敏度可以达到快速响应喷头的灵敏度，减少火灾的损失。