有界解

摘要： 用上下解方法研究了一类多项式型迭代函数方程.通过构造一类特殊集合上的递增自映射,得到两个函数列,然后证明这两个函数列分别收敛于方程的极大解和极小解,且方程的所有有界解都介于这两个解之间.

摘要： 首先构造积分因子,将一类具加权非线性梯度项的(p_(1),p_(2))-拉普拉斯方程组单调递增的整体径向解问题转化成了积分方程组。随后,应用截断方法、单调迭代方法和Arzela-Ascoli定理,结合精巧的估计,证明了在权函数和非线性项满足适当条件下,该系统存在这样的整体解,并给出了解的估计。

摘要： 不同于文[1]的证明方法,利用指数型二分性理论研究常微分方程中一类二阶常系数线性微分方程解的渐近性质,获得该微分方程存在有界解的充分条件,且证有界解唯一.又进一步探讨了特征根具有正实部的情况,并将正向有界推广到任意区间有界.

摘要： 考虑了一类含有强迫项的高阶非线性中立型微分方程,通过运用Krasnoselskii's不动点定理和分析技巧,得到了该方程每一个有界解振动或趋于零的充要条件.所得结果改进了一些已知结论,并给出了实例验证.

摘要： Bounded Oscillation for the high-order nonlinear difference Equations was considered by using some analysis techniques. Some sufficient conditions for bounded oscillation of the solutions were obtained.%利用一些分析技巧,研究了一类具有连续变量的高阶非线性差分方程的有界解的振动性,给出了有界解振动的充分条件.

摘要： 研究一类具连续变量的高阶中立型差分方程△r1[x(t)-c(t)x(t-τ]+ p(t)x(t-σ)=0,t≥t0＞0的解的振动性,给出了有界解振动的充分条件.

摘要： 研究一类具有变系数的高阶差分方程△d[x(t)+b(t)x(t-τ)]-q(t)x(￡-σ)=0,0＜t0≤t＜+∞有界解的振动性,给出有界解振动的充分条件.

摘要： 分析了一类基于尺度结构的三种群竞争系统的最优控制策略.首先,建立了种群系统模型;其次,根据Banach不动点定理及Gronwall不等式,证明了系统非负解的存在性和唯一性;最后,得到最优控制策略的存在性和最优性条件,推广了已有的结果.

摘要： 本文讨论了超前型泛函积分微分方程:x'(t)=∫x(s+δ)dδη(s,δ)+F(t) τ(t)≥0 (1)以及非线性方程:x'(t)=∫g(t,δ,x(t),x(t+δ))dδ τ(t)≥0初值问题解的存在性问题.给出并利用Banach压缩映象原理证明了方程(1)和(2)有界解的存在唯一性定理.

摘要： 本发明涉及一种有界波模拟器天线，特别涉及一种充气式可移动的有界波模拟器天线及有界波模拟器，解决了现有有界波模拟器无法移动的技术问题。该有界波模拟器天线的特殊之处在于：包括天线下极板、天线上极板以及支撑结构；天线下极板和天线上极板均包括多根相互并联的金属线；天线下极板水平设置；天线上极板设置在天线下极板上方；天线上极板中多根金属线的中间段与支撑结构连接；支撑结构的两端固定设置；支撑结构包括多根支撑柱；支撑柱内部为空腔，多根支撑柱之间通过布或绳连接；通过给支撑柱内部空腔充气，支撑柱由软变硬，支撑结构形成一个整体支撑框架，将与其连接的天线上极板中多根金属线的中间段水平抬起并支撑。

摘要： 提供一种方法、设备和存储介质产品以形成转发数据库并使用所形成的数据库更有效、快速地沿计算机网络路由数据包。转发数据库被配置成多个子数据库。每个子数据库由指针表中的指针所指向。当对入站地址进行最长匹配搜索时，可用最长前缀匹配算法以在存储于指针表中的规定“矛前缀”中寻找最长匹配。在找到最长匹配后，指针表将执行由矛前缀所指向的子数据库中的下一次搜索。另一最长匹配搜索可对由指针所选择子数据库中的数据库前缀(或简称“前缀”)而进行。仅搜索感兴趣的数据库，不对其它数据库进行访问。使用前驱指针，被优化地约束大小和数量的子数据库保证功耗被限制在仅被访问的子数据库内，由于仅寻找感兴趣的子数据库，可实现更高速度的查找操作。

摘要： 本发明提供一种基于有界渗流‑贪心算法的病毒传播控制方法。首先，提取目标网络信息，了解目标网络节点及连边属性；然后，基于渗流理论，在目标网络上不断占据特定节点，实现移除关键节点的逆向过程；每次占据使目标函数最小的节点，限制最大连通分量的大小和剩余网络节点度数，控制病毒传播；设置关键指标界值，当所有候选节点的关键指标超出界值时，更新界值以占据更多候选节点；最后，利用序参量、网络韧性表示控制病毒传播的效果。本发明可以实现大型网络的快速高效分解，从而及时控制病毒传播，降低其造成的损失。

摘要： 本申请公开了一种平板型有界波模拟方法，包括以下步骤：确定模拟器外部尺寸，在CST中利用理想导体材料建立结构模型，用集总元件电阻功能设置后过渡段末端与下板间电阻，以实现分布式负载功能；背景材质设定为空气，不考虑大地介质的影响，计算区域边界设置为自由空间；模拟器的左端为激励源；计算包括模拟器在内的设定区域内最大瞬时电场幅值；在水平面模拟器两端方向，竖直面与模拟器端点和顶点相交方向上取得设定场点的场强峰值。本申请还提出用于实现所述方法的装置。本申请的技术方案，解决了分布式负载结构有界波模拟器外部空间辐射场强计算问题。

摘要： 本发明涉及软件测试技术领域，尤其是涉及一种基于有界模型检验进行时延测试的软件自测试方法，包括以下步骤：步骤1_1：从电路设计中提取扩展有限状态机；步骤1_2：采用有界模型检验技术生成包括输入信号和变量值的引导序列，以激活被测电路的使能或更新函数对应电路出现时延故障的条件；步骤1_3：采用时序功能约束下的测试向量自动生成技术，为被测电路在时序功能约束下生成时延故障的测试向量；步骤1_4：将获得的测试向量映射到引导序列中，并生成自测试程序。与现有技术相比，本发明在不造成过度测试等问题的情况下，有效地测试处理器中各模块的时延故障，具有测试质量高等优点。

摘要： 本发明提供了一种基于可替代有界无锁队列的高速加解密方法，密码机通过数据接收线程接收数据包并存放至第一有界环形无锁队列中，多个加解密线程同时从第一有界环形无锁队列中取出数据，并获取密钥库中的密钥进行加解密计算，各个加解密线程间加解密后的数据存放至第二有界环形无锁队列中；密码机通过数据发送线程从第二有界环形无锁队列取出数据向外发送。本发明提出的方案加解密的执行效率得到大大提高，提升了密码机系统整体处理能力，解决多通道并行加密问题，满足高速、低时延加解密的应用需求。

摘要： 有界空间中基于近场声全息的声源直接辐射远场声学量的预测方法，包括：1.建立基于有限项半空间球面波基函数叠加的有界空间声场数学模型；2.在声源近场布置全息测量面进行声压全息测量；3.将全息测点分为两组，建立两组测点声压之间的数学关系，确定基函数的最优展开项数；4.建立声源近场全息测量获取的有界空间声压与声源直接辐射远场声压的数学关系，求解远场声压值，实现声源直接辐射远场声学量的预测。本发明对于在不具备理想声学测量条件的情况下，实施结构声源，特别是大尺寸结构声源远场辐射声学量的评估，提供了数学基础。

摘要： 本发明公开了一种基于参数有界性分布的永久路面结构疲劳可靠度评价方法，包括：1)，获取路面设计输入参数的变异性统计特征；2)，根据所获取的路面设计输入参数的变异性统计特征，产生符合经典分布模型的随机数；3)，判断产生的随机数是否符合指定区间范围，筛选符合范围的随机数，直到符合步骤1)中指定统计特征的参数截断分布模型；4)，建立路面结构疲劳指标与累计当量轴次的极限状态方程Z；5)，根据步骤3)和4)判断结构功能函数的状态；6)，设定循环次数N，重复步骤2)‑步骤5)，统计Zi＞0的次数p，以及Zi＜0的次数q；7)，基于步骤6)，绘制p/(p+q)的可靠度收敛曲线，判断可靠度收敛性；8)，获取路面结构的可靠度。

摘要： 本发明公开了一种基于有界核范数正则化的新冠肺炎药物筛选模型。首先，通过公开可用的数据库整理方法所需要的病毒和药物的相关信息；其次，分别计算病毒和药物的相似性；再次，构建异构网络，整合邻接矩阵；第四，提出VDA‑GBNNR模型，填补病毒与药物之间的未知的关联，根据得分排名先后筛选出抗新冠病毒的候选药物；最后，将预测出的排名靠前的小分子药物与受体蛋白进行分子对接，得到分子结合能与结合位点。本发明通过结合核范数正则化来实现有噪声的矩阵补全，有效地解决了过拟合问题，并且加入一个范围约束，强制所有预测结果的输出矩阵内的所有值在特定范围内。实验结果表明，该方法得到的AUC值较高，能够较为准确地预测病毒与药物的关联。

摘要： 本发明提供了一种用于产生快前沿辐射场的有界波天线起始段，涉及一种有界波天线电磁脉冲模拟装置，解决了现有技术不能产生快前沿的辐射场问题。包括绝缘腔体、上起始极板、有界波天线过渡极板、峰化电容、高压引入导体和输出开关；所述上起始极板、峰化电容和输出开关封装在绝缘腔体内；所述绝缘腔体内充有绝缘气体介质；所述高压引入导体从外部穿过绝缘腔体与输出开关电连接；峰化电容的中心轴线与输出开关上电极和输出开关下电极的触点连线呈垂直设置；所述峰化电容与有界波天线过渡极板共形设置。