有界线性算子

摘要： 设H为无限维复可分的Hilbert空间,B(H)为H上的有界线性算子的全体.T∈B(H)称为满足(R_(1))性质,若σ_(a)(T)σ_(ab)(T)?π_(00)(T),其中σ_(a)(T)和σ_(ab)(T)分别表示算子T的逼近点谱和本质逼近点谱,π_(00)(T)={λ∈isoσ(T):0有界线性算子及其函数满足(R_(1))性质或者(R)性质的充要条件;同时得到了a-Weyl定理和(R)性质的新的判定方法.

摘要： 为了刻画低维向量值函数空间上乘子的特征,导出了从C_(0)(Ω,H)到H、从C_(0)(Ω,H)到C、从C_(0)(Ω)到H的有界线性算子的表现定理,把闭区间上的连续函数空间上的有界线性泛函的Riesz表现定理推广到局部紧的Hausdorff空间上,得到定义域是Hausdorff空间.值域是Banach空间的向量值积分的Riesz表现定理.文中的Ω表示局部紧的Hausdorff空间.

摘要： 考虑有界线性算子或算子函数的(UW_(Π))性质与亚循环性之间的关系,通过定义新的谱集,给出有界线性算子或算子函数同时满足(UW_(Π))性质和亚循环性的判定方法,并将所得结果进行应用.

摘要： 讨论了有界线性算子乘积的Drazin可逆性及逆序律成立的充要条件.具体地,给出了三个有界线性算子在具有交换条件[P,P Q]=0和[P,Q,R]=0下其乘积的Drazin可逆性以及Drazin逆的逆序律成立的充要条件;讨论了两个有界线性算子在交换条件[P,P 2Q]=0和Q[P,P Q]=0下乘积的Drazin可逆性以及Drazin逆的逆序律成立的充要条件.

摘要： 本文讨论了两个有界线性算子的乘积以及和的广义Drazin可逆性及其广义Drazin逆的表达式.在新条件下,采用空间分解的方法证明了算子乘积PQ以及算子和P+Q是广义Drazin可逆的,并给出(PQ)d和(P+Q)d的具体表达式.

摘要： 该文讨论了两个有界线性算子乘积的Drazin可逆性及其逆序律,分别在P与PQP可交换(即P2QP=PQP2)和Q与QPQ可交换(即Q2PQ=QPQ2)等条件下,采用空间分解的方法得到了PQ的Drazin可逆性及其逆序律(PQ)D=QDPD成立的等价条件.

摘要： 在复Hilbert空间中,有界线性算子L被应用在推广框架中时,其成立的条件不同.讨论由2个g-Bessel序列定义的有界线性算子L满足可逆的、满的等不同条件时,其在g-Besselian框架中的应用,并根据文中的结果证明了其他文献中的相关结论.

摘要： 幂级数是高等数学的一个重要组成部分,有着重要的应用.学生在学习过程中,由于知识点学习的割裂,导致对幂级数的应用未充分认知.本文是本人在高等数学教学中对幂级数定义及应用的教学理解.

摘要： 基于复Hilbert空间上丰富的算子理论,四元数函数空间与复值函数空间的区别和联系,将讨论四元数值函数空间L1上有界右线性算子的积分表示.

摘要： 泛函分析课程是一门极其重要的数学专业课程,兼有理论性强和高度的抽象性等特点,采用传统的教师为主体的教学模式往往教学效果不佳.以有界算子理论这部分内容为例探索了研讨型教学模式,主要对比了l1空间上有界线性算子全体与列和有界的无限维矩阵空间的等距同构关系,以及c0空间上有界线性算子全体与行和有界且每列元素趋于0的无限维矩阵空间的等距同构关系.讨论了序列空间l∞到l∞中的有界线性算子全体与无限维矩阵空间的关系.证明了行和有界的无限维矩阵可诱导出一个l∞到l∞的有界线性算子,通过反例说明了此对应不构成l∞上的有界线性算子与行和有界的无限维矩阵空间的同构映射,丰富了泛函分析的教学内容和方法.

摘要： 本发明涉及人工智能技术领域，尤其涉及一种应用有界线性整流单元的全整数神经网络方法，包括以下步骤：步骤一，利用新的归一化方法，更改输入数据格式，使之适应全整数网络；步骤二，训练完成后，对每个卷积核计算离散步长，对于有批规一化层的卷积核，对于不同通道的Wf和bf单独计算离散步长step；步骤三，把浮点数网络参数离散化；步骤四，离散化Wf后使用累积梯度更新算法训练浮点数网络；步骤五，用有界线性整流单元代替传统的线性整流单元；步骤六，应用N方差原则找到合适的BLU参数h，采用BLU之前首先统计ReLU输出数据的分布；本发明所提供的技术方案能够有效克服现有技术所存在的很难做到速度，存储空间，性能和实用性的兼顾，性能较低的缺陷。

摘要： 本发明提供了一种三维地质岩性网格模型体绘制的边界线性平滑方法及装置。方法包括利用游程编码对三维地质岩性网格模型中Z轴方向上表示相同岩层属性的网格进行合并得到多个岩层段；将Z轴方向上的各个岩层段作为一个垂直柱，将各垂直柱中具有空间连接关系的岩层段的起点用直线连接；通过邻近的四个垂直柱中的具有空间连接关系的岩层段围成六面体，沿X轴或Y轴方向，根据六面体的侧面中两个岩层段所属的垂直柱中岩层段的属性关系确定侧面的分割方式，结合六面体的顶面以及底面的对角线得到将六面体分割为四面体的剖分方式；根据剖分方式制作六面体中采样点的岩层属性的计算模板；通过计算模板得到采样点的岩层属性，确定六面体各位置的岩层属性。

摘要： 本发明公开了一种电力系统静态电压稳定域边界线性近似方法，涉及电压稳定域边界领域，包括：以基态潮流为起始点，采用传统最优潮流搜索第一个电力系统鞍结分岔点，将其映射至二维有功注入空间，获取静态电压稳定域边界点；向功率增长方向角减小方向改变功率增长方向，通过拉格朗日乘子法计算新功率增长方向下的电力系统鞍结分岔点；若功率增长方向角小于等于0结束计算：采用分段近似的方法，将所有所得的静态电压稳定域边界点进行线性近似，获取静态电压稳定域的近似性边界。本发明所得静态电压稳定域不仅保留了较高精确度，还有效降低了传统最优潮流搜索单个电力系统鞍结分岔点的耗时，提高了采用静态电压稳定域分析稳定性的实际应用价值。

摘要： 本发明公开了带过去时态的线性时态逻辑性质的有界运行时验证系统，包括：性质挖掘子系统，用于在系统开发阶段，使用测试数据对系统进行仿真运行，以获取系统在实际运行中的事件信息并将其存储在事件日志中，并且用于从事件日志中自动地获取系统运行过程中具备的带过去时态的所有线性时态逻辑性质并将其存储于可筛选的性质规范集合中；性质验证子系统，用于在系统运行阶段，对系统事件进行监控，并且使用经筛选的性质规范集合对系统进行时态性质的检查验证。能够将设计阶段的验证规范运用于运行时验证阶段，方便非系统设计和开发人员能够通过自身解决以往解决不了从而必须依靠专业系统设计开发人员才能解决的问题，同时也避免了重新开发验证程序。

摘要： 本发明公开了一种带过去时态的线性时态逻辑性质的有界运行时验证方法，包括：通过性质挖掘子系统，在系统开发阶段，使用测试数据对系统进行仿真运行，以获取系统在实际运行中的事件信息并将其存储在事件日志中，并且从事件日志中自动地获取系统运行过程中具备的带过去时态的所有线性时态逻辑性质并将其存储于可筛选的性质规范集合中；通过性质验证子系统，在系统运行阶段，对系统事件进行监控，并且使用经筛选的性质规范集合对系统进行时态性质的检查验证。能够将设计阶段的验证规范运用于运行时验证阶段，方便非系统设计和开发人员能够通过自身解决以往解决不了从而必须依靠专业系统设计开发人员才能解决的问题，同时也避免了重新开发验证程序。

摘要： 本发明涉及人工智能技术领域，尤其涉及一种应用有界线性整流单元的全整数神经网络系统，包括以下步骤：步骤一，利用新的归一化方法，更改输入数据格式，使之适应全整数网络；步骤二，训练完成后，对每个卷积核计算离散步长，对于有批规一化层的卷积核，对于不同通道的Wf和bf单独计算离散步长step；步骤三，把浮点数网络参数离散化；步骤四，离散化Wf后使用累积梯度更新算法训练浮点数网络；步骤五，用有界线性整流单元代替传统的线性整流单元；步骤六，应用N方差原则找到合适的BLU参数h，采用BLU之前首先统计ReLU输出数据的分布；本发明所提供的技术方案能够有效克服现有技术所存在的很难做到速度，存储空间，性能和实用性的兼顾，性能较低的缺陷。

摘要： 本发明提供了一种三维地质岩性网格模型体绘制的边界线性平滑方法及装置。方法包括利用游程编码对三维地质岩性网格模型中Z轴方向上表示相同岩层属性的网格进行合并得到多个岩层段；将Z轴方向上的各个岩层段作为一个垂直柱，将各垂直柱中具有空间连接关系的岩层段的起点用直线连接；通过邻近的四个垂直柱中的具有空间连接关系的岩层段围成六面体，沿X轴或Y轴方向，根据六面体的侧面中两个岩层段所属的垂直柱中岩层段的属性关系确定侧面的分割方式，结合六面体的顶面以及底面的对角线得到将六面体分割为四面体的剖分方式；根据剖分方式制作六面体中采样点的岩层属性的计算模板；通过计算模板得到采样点的岩层属性，确定六面体各位置的岩层属性。

摘要： 本发明公开了一种电力系统静态电压稳定域边界线性近似方法，涉及电压稳定域边界领域，包括：以基态潮流为起始点，采用传统最优潮流搜索第一个电力系统鞍结分岔点，将其映射至二维有功注入空间，获取静态电压稳定域边界点；向功率增长方向角减小方向改变功率增长方向，通过拉格朗日乘子法计算新功率增长方向下的电力系统鞍结分岔点；若功率增长方向角小于等于0结束计算：采用分段近似的方法，将所有所得的静态电压稳定域边界点进行线性近似，获取静态电压稳定域的近似性边界。本发明所得静态电压稳定域不仅保留了较高精确度，还有效降低了传统最优潮流搜索单个电力系统鞍结分岔点的耗时，提高了采用静态电压稳定域分析稳定性的实际应用价值。

摘要： 描述线性反馈移位寄存器LFSR，其用于产生有界随机数(例如，随机数的范围窄于由具有相同宽度的常规LFSR产生的随机数范围)。在一个实施例中，用于产生n位值的有界LFSR包括范围是2m个随机数的m位LFSR和范围是2n‑m‑1‑k个随机数的n‑m位LFSR。所述有界LFSR进一步包括用于在所述n‑m位LFSR的可重复序列中跳过k个值的逻辑，例如，所述逻辑可在所述有界LFSR的设计期间配置。所述有界LFSR基于所述m位LFSR和所述n‑m位LFSR的输出提供有界随机数。在一个实施例中，由所述有界LFSR产生的所述有界随机数用作行锤击缓解系统中的随机地址。

摘要： 本发明提供一种基于有界非线性协方差的非圆信号波达方向估计方法，利用非圆信号的性质进行阵列输出矩阵的扩展，利用有界非线性协方差抑制脉冲噪声对接收信号噪声的干扰。通过对扩展阵列输出矩阵进行处理，提取出一个扩展的有界非线性协方差矩阵与导向矢量矩阵，利用ESPRIT算法思想提取出导向矢量矩阵中包含的波达方向信息，实现波达方向的估计。实验证明，本发明提供的方法性能良好，在脉冲噪声干扰的环境下仍能准确的进行入射信号的波达方向估计。