上界

摘要： 研究了三维有界区域上非线性反应扩散方程解在有限时间内的爆破问题,并模拟了某些燃烧过程.设解在区域的边界上满足非线性条件,通过构造辅助函数利用能量估计的方法和微分不等式技术,证明了解在有限时间内的爆破性结果,得到了爆破时间的上界.在某种特殊的限定条件下,证明了全局解的存在性.

摘要： 一个光正交码是指具有良好的自相关性和互相关性的序列族。它是为光码分多址(CDMA)系统而设计的一种专用码。本文通过计算每个权重为4的码字所含3-子集轨道代表元的个数,给出汉明权重为4,自相关值为1,互相关值为2的二维光正交码的码字容量的上界。

摘要： 本论文研究了点着色图的无矛盾点连通数的问题,利用树的结构特征获得了特殊图类Τ_(n,k)关于无矛盾点连通数的上界和下界,Τ_(n)^(A)、T_(A)和A_(d)关于无矛盾点连通数的上界.

摘要： 光正交码因其具有良好的光学性质,在码分多址系统(CDMA)中应用广泛。研究汉明权为4,自相关系数与互相关系数分别为2和1的光正交码的容量问题。根据3-子集轨道出现在码字中的次数,得到了较为紧密的(n,4,1,2)光正交码的上界。

摘要： 对图G的反符号边控制数进行了研究,给出了一般图的反符号边控制数的若干新上界,并证明这些上界是可达的。

摘要： (本讲适合高中)组合最值问题,通常需要估计某种参数k的上界或下界.本文介绍五种与集合有关的组合最值问题的常用估计方法.1建立算法由题给条件建立关于极值参数的不等式,称为建立算法.常见的算法包括算两次、引入参数建立极值式、分块估计、个体估计等.

摘要： 现代艺术形上学是一种关于艺术的超越性价值论,是指艺术具有超越道德、政治和经济等一般社会性功能的信仰价值,并被放置在原本由道德或宗教所占据的最高价值的王座之上。青主构建了分属自然、主体和超主体的“三界”观,提出了“音乐是上界的声音”“灵魂向灵魂述说的语言”等典型的艺术形上学命题。青主的艺术形上学思想,其当代意义在于为本土现代音乐理论贡献了一种比较系统的、纯粹的超越性价值话语,并跨越了通过思想文化变革以实现救亡图存的特殊历史语境,在新时代为民众价值信仰建构提供启示。

摘要： 该文研究严格双对角占优M-矩阵之逆的无穷大范数的上界估计问题.对严格双对角占优M-矩阵右乘一个正对角矩阵,使其化为一个严格对角占优M-矩阵,然后估计其逆的无穷大范数的上界,进而得到原矩阵之逆的无穷大范数的上界估计式.最后通过数值算例对理论结果进行验证,结果表明所得估计是有效的.

摘要： 通过构造两个特殊的矩阵,给出非负矩阵最大特征值的上下界估计式,且这些估计式只和非负矩阵的元素有关,计算方便.同时对非负矩阵最大特征值下界估计式的单调递增性和上界估计式的单调递减性进行了证明.在此基础上,利用单调有界准则证明了上下界估计式极限的存在性.最后将所得结果与经典的Frobenius界值进行比较,数值算例表明估计的有效性和精确性.

摘要： 运筹学研究领域中的应急服务设施选址问题有许多求解模型,选取了P-中心模型进行研究,首先研究了该问题的数学性质,并给出了证明,利用这些数学性质能对问题进行降阶从而缩小问题的规模;然后在此基础上设计一个基于上界和下界的回溯算法来求解该问题;最后通过一个示例分析进一步阐述了该算法的原理,并证明了该算法能在较短时间内求得问题的最优解.

摘要： 该文,欲求在含有原点的区域D内亚纯甬数之囿界,其中使用熊庆来教授,李国平教授的方法.所得结果较熊庆来教授的结果更一般些,因此较Valiron教授,Mllilloux教授的结果更一般些与精确些.

摘要： 该文,欲求在含有原点的区域D内亚纯甬数之囿界,其中使用熊庆来教授,李国平教授的方法.所得结果较熊庆来教授的结果更一般些,因此较Valiron教授,Mllilloux教授的结果更一般些与精确些.

摘要： 该文,欲求在含有原点的区域D内亚纯甬数之囿界,其中使用熊庆来教授,李国平教授的方法.所得结果较熊庆来教授的结果更一般些,因此较Valiron教授,Mllilloux教授的结果更一般些与精确些.

摘要： 该文,欲求在含有原点的区域D内亚纯甬数之囿界,其中使用熊庆来教授,李国平教授的方法.所得结果较熊庆来教授的结果更一般些,因此较Valiron教授,Mllilloux教授的结果更一般些与精确些.

摘要： 设Tn为n个顶点的树的集合.人们研究了Tn中树的最大特征值及其序,给出了第1至第13位的序以及对应的树.用另一种方法给出了第10至第13位的序以及对应的树,并在此基础上将Tn中树的最大特征值的序扩展到第14位.

摘要： 设Tn为n个顶点的树的集合.人们研究了Tn中树的最大特征值及其序,给出了第1至第13位的序以及对应的树.用另一种方法给出了第10至第13位的序以及对应的树,并在此基础上将Tn中树的最大特征值的序扩展到第14位.

摘要： 设Tn为n个顶点的树的集合.人们研究了Tn中树的最大特征值及其序,给出了第1至第13位的序以及对应的树.用另一种方法给出了第10至第13位的序以及对应的树,并在此基础上将Tn中树的最大特征值的序扩展到第14位.

摘要： 本发明涉及一种基于不确定性上界估计的飞行器离散滑模自适应控制方法，用于解决现有飞行器离散控制方法实用性差的技术问题。对飞行器纵向通道动力学模型进行欧拉离散化，得到原有系统的离散形式；考虑系统因果关系，建立离散严格反馈系统的等价预测模型；定义系统不确定性，设计带有死区的自适应律对未知的不确定性上界进行在线估计；在不确定性上界更新律中引入上界估计误差，提升了估计精度；定义滑模面，用未来期望输出来设计当前控制输入，设计基于反步法的离散滑模自适应控制器；本发明结合计算机控制特点，通过模型转换设计的离散滑模控制器有效避免了非因果问题，提升了飞行控制系统的鲁棒性和自适应性，适用于工程应用。

摘要： 本发明涉及一种基于置信区间上界算法与DRL算法的动态频谱接入方法，属于无线通信领域。该方法具体包括：S1：构建分布式动态频谱接入系统模型；S2：构建SUE的累积期望奖励函数；S3：根据历史经验和接入信道的状态动作，得到最优接入策略，以获得最大的累积期望奖励；S4：采用深度强化学习中的DQN算法和置信区间上界算法结合的方法对接入策略进行求解，通过不断迭代获得最优接入策略。本发明在信道动态变化规律未知的情况下，可以获得近乎信道状态转移规律已知情况下所对应的最优动态频谱接入策略。

摘要： 本发明涉及一种信息时延上界计算方法、系统、设备和存储介质，方法包括：对电力信息系统进行等效，得到对应的信息流流体模型，该信息流流体模型包括若干条传输路径，并包含若干个支持信息流传输的通信端口；基于得到的信息流流体模型，计算信息流传输时通信端口的等效积压矩阵；基于各通信端口的额定输出带宽，计算得到电力信息系统中传输路径的等效积压矩阵及总时延矩阵，基于得到的等效积压和总时延矩阵对电力信息系统中信息流传输的时效性和有效性进行评估。本发明可以广泛应用于电力信息系统领域。

摘要： 本发明属于实时系统的实时调度和模型检测领域，具体涉及一种基于需求上界函数的任务自动机可调度性分析方法。该方法为：建立任务自动机系统模型；对任务自动机系统的每个任务自动机生成其对应的状态迁移系统；通过建立线性规划模型I和线性规划模型II，求解动态规划迭代带次数的上界Tbound；将任务自动机的状态空间全部划分为等效空间RPzone；利用动态规划的算法结构实现求解需求上界函数DBF(t)，将任务自动机的可调度性分析问题转化为需求上界函数的问题；计算任务自动机系统的DBF(t)，进行可调度性分析。通过等效划分，避免穷尽搜索所有的状态空间，只遍历边界状态进行可调度性分析，降低可调度性分析的复杂度。

摘要： 本发明涉及自动化机器学习技术领域，公开了一种通过置信区间上界选择优化器的超参数优化方法。包括以下步骤：S1：构建优化器池；S2：选择优化器模块基于各个优化器的置信区间上界选择“最好”的优化器去优化超参数；S3：目标模型观察点求值；S4：信息共享，在获得任务的观察值后，观察信息会通过观察信息共享模块传递给所有的优化器；S5：优化器更新，各个优化器会使用获得的观测点信息进行各自的更新操作；S6：优化器选择模块更新，优化器选择模块会根据这个观测点的信息以及优化器的预测效果对被选择的优化器进行置信区间上界的更新。优化器选择模块以UCB算法为中心，利用获得的观测点信息选择不同的优化器，有效地解决了多优化器的选择问题。

摘要： 本发明公开一种基于资源使用感知模糊测试的程序资源消耗量上界预测方法，步骤包括：步骤S1.利用静态分析方法识别目标程序中指定资源类型的资源操作API、识别涉及资源使用的函数，以及识别资源使用所在的控制流分支，并将预先定义的资源使用建模函数以及用于代码覆盖率标记的覆盖率标签函数的调用语句插桩到目标程序中，得到插桩后的程序；步骤S2.使用资源消耗量和资源使用操作覆盖为指导，对插桩后的程序进行模糊测试，得到目标程序在最坏情况下的资源消耗量，即为预测的程序资源消耗量上界。本发明能够实现大规模程序中多种资源类型在最坏情况下的资源消耗量预测，且具有实现方法简单、自动化程度高以及预测效率与精度高等优点。

摘要： 本发明公开了一种基于网络演算的软件定义网络性能上界分析方法，包括以下步骤：建立SDN数据流处理流程描述；建立网络演算中的基本定义；分析流表命中时的网络性能；分析流表未命中时网络性能。在控制器为路由路径上的所有交换机下发流条目时，针对由于流表超时机制导致的流表未命中问题，本发明依据网络最差情况出现的数据流，引入流表超时时间idle，提出了比传统仿射函数更为严格的到达曲线aM1，进而提升了SDN网络性能计算准确性。基于上述到达曲线aM1，提出流表未命中时，SDN网络时延和积压上界计算方法，将为流表超时机制中的超时时间的设置，软件定义网络的路由设计、队列管理等提供依据。

摘要： 本发明公开一种用于在样本上界定柔性区域的系统。所述系统包含经配置以获取一或多个割幅图像的检验系统。所述系统包含通信地耦合到所述检验系统的控制器，所述控制器经配置以：基于所述一或多个割幅图像产生一或多个中值参考裸片(MRD)图像；基于所述一或多个MRD图像产生一或多个柔性区域掩模；基于所述一或多个MRD图像的一或多个坐标识别所述一或多个柔性区域掩模上的一组对准位点；通过在所述一组识别对准位点处使一或多个扫描图像与所述一或多个MRD图像对准来执行所述一或多个柔性区域掩模与所述扫描图像之间的斑块与掩模对准；及在所述扫描图像上定位所述一或多个柔性区域掩模。

摘要： 本发明公开了一种基于高精度静态程序分析的循环上界计算方法，步骤1：定位程序中的循环语句并识别循环控制变量；步骤2：分析循环变量的数据依赖关系；步骤3：对循环上界依赖表达式中变量的可能值进行分析；步骤4：递归计算循环依赖表达式的可能值，其中对于表达式中的普通变量则调用步骤3的方法分析出具体值；步骤5：依据循环结构归纳循环上界的公式计算最终结果。本方法对于循环相关变量来自于形参的情况可分析到调用点的实参；本方法可计算由一些使用频率较高的基本表达式排列组合形成的复杂表达式的结果；本方法可计算内层循环的循环相关变量是外层循环控制变量的情况，针对一些使用频率较高模式的嵌套循环能给出较精确的结果。

摘要： 本发明属于ARINC664网络技术领域，公开了一种ARINC664交换机网络内数据帧的端到端延迟上界分析方法，包括：确定数据帧的第一个字节到达某一交换机的输入端口的时间到该数据帧的最后一个字节到达该交换机的输入端口的最大时间间隔，记为T1；确定该数据帧的最后一个字节到达该交换机的输入端口的时间到该数据帧的第一个字节到达该交换机公共缓冲区的时间间隔，记为T2；确定该数据帧在该交换机输出端口的最大延迟，记为T3；根据T1、T2、T3，计算该数据帧在该交换机的最大延迟；根据所述ARINC664交换机网络包含的交换机数量，以及数据帧在每台交换机内的最大延迟，确定所述ARINC664交换机网络内数据帧的延迟上界，计算数据帧在交换机网络中任意一条VL Path上的端到端延迟上界。