上确界

摘要： 对一类积分型Cauchy中值定理作了进一步的研究,利用确界原理得到了该定理的“中点函数”,并对该定理“中点函数”的分析性质做了讨论,推广了与Cauchy中值定理相关的已有成果.

摘要： 给出了拟有限数集上离散模糊数的定义及其表示定理.在模糊集的包含关系类型的偏序下,讨论了有界离散模糊数集合的上、下确界问题,证明了其确界的存在性,并获得其确界计算公式.

摘要： 基于模糊集合的包含关系所定义的偏序,讨论了高维模糊椭球数空间上有界集的上确界及下确界问题,证明其有界集的上确界及下确界的存在性,并给出其表达式.

摘要： 通过构建中值点的集合,利用上确界原理,证明了微积分中值定理中点函数存在性,并讨论该函数的性质,推广了已有文献的结论.

摘要： 通过将Vallée-Poussin算子逼近连续函数的能力转化为对辅助数列{g(n))的上确界的计算,首先利用数列单调有界定理证明辅助数列极限的存在性,之后借助夹逼准则求得辅助数列{g(n)}的极限,即数列{g(n))的上确界,进而得到Vallée-Poussin算子逼近连续函数的最优估计常数.%In this paper,the capacity of Vallée-Poussin operators approximation of continuous func tions was transformed into the calculation of the supremum of the auxiliary series.Firstly the existent limit of auxiliary sequence was proved by series monotone bound theorem,and then the limitation of auxiliary series was obtained by Squeeze rule,which is the supremum of series.Finally the optimal estimation constant of Vallée-Poussin operators approximation of continuous functions was found.

摘要： 利用左(右)连续函数及上(下)确界的定义,讨论了定义在区间[a,b]上的有界函数y=f(x)的左(右)连续性与M(x)=sup f(t),m(x)=inf f(t)左(右)连续性的关系.

摘要： 本文介绍了2014年高考数列不等式的多种放缩技巧,揭示了不等式右端常数实乃左端数列的所有项和.

摘要： 给出并证明伦德伯格指数的上确界的下极限表示.

摘要： 确界是高等数学中的一个重要概念。在解决恒成立和能成立问题时，有时仅用最值很难说清楚，而若用确界来解决就显得方便得多。文章通过对两道高考题的分析，探讨确界在解恒成立、能成立问题中的妙用。

摘要： 为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷的参与者限制在有穷的个体内;使用该映射给出了分析安全协议的保密性所必需的参与者个数的上确界n(ψ),定义了语义保持.结果显示,对于安全协议的任意安全性质,若其Horn子句与协议程序在影射后保持原来的语义关系,则町以得出分析该性质所必需的参与者个数的上确界.

摘要： 本文中所描述的技术辅助指示在上行链路传输中是否存在ACK/NACK信令，藉此通过准许使用速率匹配而同时减少解码差错来增强性能。例如，用户装备可确定是否要在上行链路资源被分配用于数据信道的部分中的上行链路传输中包括ACK/NACK信令，可生成指示在该上行链路传输中是否存在该ACK/NACK信令的参考信号，并且可传送该参考信号。

摘要： 本公开涉及在无线通信系统中高效地传送确收(ACK)和否定ACK(NACK)信息。例如，用户装备(UE)可在上行链路通信信道上向网络实体传送一个或多个数据分组。该UE可进一步响应于在该上行链路通信信道上传送了该一个或多个数据分组而在下行链路通信信道上从该网络实体接收经群集的ACK/NACK指示。附加地，例如，网络实体可在上行链路通信信道上从用户装备接收一个或多个数据分组。该网络实体还可响应于在该上行链路通信信道上接收到该一个或多个数据分组而在下行链路通信信道上从该网络实体传送经群集的ACK/NACK指示。

摘要： 描述了用于在用户装备处(UE)进行无线通信的技术。一种方法包括：接收下行链路传输的下行链路准予；在由接收到该下行链路准予而触发的第一时间处传送信道质量反馈，该第一时间在第一传输时间区间(TTI)期间发生；以及在由接收到该下行链路准予而触发的第二时间处传送该下行链路传输的确收/否定确收(ACK/NACK)反馈，该第二时间在第二TTI期间发生，并且该第二TTI在时间上晚于该第一TTI发生。

摘要： 提供了一种用于无线通信的方法、装置和计算机可读介质。该装置可以是第一用户终端。第一用户终端在多个DL通信信道中的第一DL通信信道上接收DL MU PPDU，该DL MU PPDU包括在多个DL通信信道上从接入点向包括第一用户终端在内的多个用户终端传送的MPDU。第一用户终端获取UL信道指示以及BA指示。第一用户终端基于UL信道指示和BA指示来在多个UL通信信道中的第一UL通信信道上与该多个UL通信信道中的其余信道上的从该多个用户终端中的其余用户终端到该接入点的BA传输同时或并发地向该接入点传送第一BA。第一BA确收一个或多个MPDU。

摘要： 本发明公开了一种用于缓冲区的确界方法、装置及系统，所述方法包括将保护区边界线拆分成若干个单元线段；基于预设的缓冲半径以及各单元线段，生成与各单元线段对应的线段缓冲区；基于线段缓冲区融合算法，将所有线段缓冲区融合成一个最终的线段缓冲区，完成缓冲区的确界。本发明将自然保护区的边界打散成为一组线段集合，然后依次生成线段的单个缓冲区域，最后将所有单个缓冲区域合并得到保护区的缓冲区域，实现了将直线求交的平面扫描线方法使用到曲线求交的方法中，使得缓冲区在直接利用半圆弧和线段生成的同时，又将缓冲半径依据实际场景进行处理，在简化运算结构的同时，又避免了已有方法的失真现象。

摘要： 本发明公开了一种基于多重卷积下确界振荡广义全变分的图像去雨的新方法，包括以下步骤：(1)输入待去除雨水的雨图像；(2)利用多重卷积下确界振荡广义变分正则项来表征多方向的雨纹，利用广义变分来正则化无雨图像背景，建立单幅雨图像去除雨水的高阶变分模型；(3)将高阶变分模型转化为等价的鞍点问题，并采用原始对偶算法求解该鞍点问题，得到去除雨水后的复原图像。本发明能够针对不同的场景设计不同方向强度的雨线条纹层先验，处理各种真实复杂场景的雨图并得到很好的视觉效果。

摘要： 本发明属于生态系统的数值模拟技术，为生态系统边界估值和确界方法，解决了现有估值方法不能估测系统边界、估值精度不高等问题；首先建立Co‑Kriging数值模型和Co‑Kriging位置模型，两个模型具有相同的辅变量，主变量分别是乔木液流量和海拔高程，两个模型间借助相同的辅变量实现耦合；在阴阳山生态系统的边界外找到一个已知点或已知点域，其乔木液流量为零；采用Co‑Kriging数值模型估算出乔木液流量的零值区；在零值区内采用Co‑Kriging位置模型确定边界点，根据边界点标示出边界的位置，即海拔。

摘要： 一种测试生物样本质量确效试片及测试生物样本质量检测机的确效方法，适用于对测试生物样本质量检测机进行确效检测，并包含底座、光罩及顶盖。所述底座包括座本体，及设置于所述座本体的承置部，所述光罩固置在所述承置部上，并包括检测区域，设置在所述检测区域中的数个检测部与周边部，及对应所述检测部数量的标准数据，所述顶盖盖置于所述底座。通过将所述测试生物样本质量检测机所得出的检测所述检测部数量的检测数据与所述标准数据进行比对，就可得出所述测试生物样本质量检测机的确效结果，借此，使本发明具有可以提高所述测试生物样本质量检测机的确效准确度的特性。

摘要： 本实用新型涉及仓储领域，具体涉及一种用于电子货架的能提高确位组件固定效果的指示灯灯罩及确位系统。一种能提高确位组件固定效果的指示灯灯罩，包括灯罩本体和固定部，所述灯罩本体形成有向一侧开口的容纳腔，所述固定部设置于灯罩本体的容纳腔开口处，所述固定部包括定位凸起，所述定位凸起向远离容纳腔侧延伸并用于伸入壳体上卡柱的变形让位槽内。本实用新型具有便于确位组件固定，且能提高确位组件固定效果的优点。

摘要： 本发明公开一种离散加窗傅里叶变换族的上确界及下确界精确估计方法，包括：步骤01：采集数据；步骤02：在0与ΔT范围内设定一系列采样起始时间t1；步骤03：利用时间平移因子的采样间隔ΔT以及频率调制因子的采样间隔Δf对窗函数进行离散化得到窗函数的采样；步骤04：对步骤03得到的离散信号计算自相关函数；步骤05：对步骤03得到的自相关函数进行离散傅里叶变换；步骤06：重复步骤03‑步骤05直到所有的抽样起始时间全部完成；步骤07：比较得到上确界Anew下确界Bnew；步骤08：利用估计的离散加窗傅里叶变换族上确界Anew和下确界Bnew判断离散加窗傅里叶变换族能否构成框架；步骤09：如果步骤08判断离散加窗傅里叶变换族能构成框架，则利用其进行数据处理。本发明简单易于操作。