解的存在性

摘要： 研究一类具有p-Laplacian算子的Caputo-Hadamard型分数阶微分方程解的存在性.通过构造迭代序列和上下解方法得到该方程解的存在性结论.值得一提是,研究的微分方程非线性部分包含Caputo-Hadamard型分数阶导数且边值条件带有积分.

摘要： 给出了带有积分边值条件的二阶常微分方程u″(t)=f(t,u(t),u'(t))+e(t),t∈[0,1],u(0)=Σm-2i=1αiu(ξi),u(1)=∫10h(t)u(t)dt在相关算子L的核维数dim Ker L=2共振情形下解的存在性,函数f:[0,1]×R^(2)→R满足Caratheodory条件,e:[0,1]→R属于L^(1)[0,1],α_(i)∈R,ξ_(i)∈(0,1),0<ξ_(1)<ξ_(2)<…<ξ_(m-2)<1,满足条件Σm-2i=1αi=1,Σm-2i=1αiξi=0,∫10h(t)dt=1,∫10th(t)dt=1.

摘要： 研究了一类具有Neumann边界条件的抛物方程解的性质,通过微分方法得到了一类边值问题解的估计,并得到了拟线性方程解的存在性.

摘要： 文章讨论一类边界条件含有参数的分数阶微分方程边值问题,得到其Lyapunov型不等式和Lyapunov不等式,相应问题的Green函数性质讨论是关键.作为应用,讨论特征值问题中特征值的取值范围及非线性边值问题解的存在性.

摘要： 利用一个新的不动点定理及格林函数的性质,研究了一类无穷区间上m-点分数阶边值问题.通过先定义函数空间中的锥和算子,获得了算子不动点的存在唯一性,进而给出了这类分数阶边值问题解的存在唯一性,并举例验证了结果.

摘要： 在非线性项f满足适当的限制性条件下,研究具有对流项的(2,p)-Laplace方程非负解的存在性。根据非线性项f的限制性条件,得到了Nemytskii算子的连续性和有界性;利用(2,p)-Laplace算子的性质以及Sobolev紧嵌入定理,将方程转化为一个不动点问题;利用锥理论和不动点指数理论解决不动点问题,得到了方程非负解的存在性。

摘要： 本文研究了改进集下的双层向量均衡问题解的存在性。结合拓扑空间知识,运用改进集的有关结论,在向量Tikhonov-type正则化过程下得到了基于改进集的双层向量均衡问题解的存在性。

摘要： Volterra积分微分方程是近年来学者们研究的重要课题,在物理、生物、激光及人口增长等模型中得到广泛应用。本文对自变量分段连续型Volterra积分微分方程解的唯一性、收敛性、全局和局部超收敛性用配置法进行了研究。

摘要： 讨论一类n人非合作博弈纳什均衡的存在性。首先给出集值映射局部包含性的概念,根据这一性质,在不假设策略集的紧(凸)性及支付函数的拟凸性的前提下,给出了纳什均衡存在性的充分条件,从而推广了某些已有文献的结论。最后,通过实例验证了所得结论的适用性。

摘要： 本文研究了改进集下的双层强向量均衡问题,运用改进集的相关结论,并结合拓扑空间知识,通过向量Thikhonov-type正则化过程得到了其解的存在性。这在一定程度上推广和发展了已有文献的结论。

摘要： 该文主要是研究高指数情形微分代数方程。给出了其基础解空间，并在此基础上分析了该系统零解的稳定性。给出了一些充分必要条件。

摘要： 该文主要是研究高指数情形微分代数方程。给出了其基础解空间，并在此基础上分析了该系统零解的稳定性。给出了一些充分必要条件。

摘要： 该文主要是研究高指数情形微分代数方程。给出了其基础解空间，并在此基础上分析了该系统零解的稳定性。给出了一些充分必要条件。

摘要： 该文主要是研究高指数情形微分代数方程。给出了其基础解空间，并在此基础上分析了该系统零解的稳定性。给出了一些充分必要条件。

摘要： 该文主要是研究高指数情形微分代数方程。给出了其基础解空间，并在此基础上分析了该系统零解的稳定性。给出了一些充分必要条件。

摘要： 在浆料催化剂存在下煮解纤维质生物质可以减少降解产物形成，但是催化剂分布和保留可以是有问题的。煮解方法能够包括：在煮解设备中，提供纤维质生物质固体和能够活化分子氢的浆料催化剂；在煮解设备中提供可煮解过滤助剂；用流体流在纤维质生物质固体中分布浆料催化剂；用可煮解过滤助剂将至少一部分浆料催化剂保留在固定位置；在浆料催化剂、煮解溶剂和分子氢存在下，加热纤维质生物质固体，由此形成包含可溶碳水化合物的液相；和在煮解设备中对可溶碳水化合物进行催化还原反应，由此在煮解设备中至少部分形成包含三醇、二醇、一元醇或其任意组合的反应产物。

摘要： 本发明涉及在油精炼转化法中共处理至少基于化石的进料、热解液(PL)和来自妥尔油蒸馏的蒸馏残余物。

摘要： 在浆料催化剂存在下煮解纤维质生物质可以减少降解产物形成，但是催化剂分布和保留可以是有问题的。煮解方法能够包括：在煮解设备中，提供纤维质生物质固体和能够活化分子氢的浆料催化剂；在煮解设备中提供可煮解过滤助剂；用流体流在纤维质生物质固体中分布浆料催化剂；用可煮解过滤助剂将至少一部分浆料催化剂保留在固定位置；在浆料催化剂、煮解溶剂和分子氢存在下，加热纤维质生物质固体，由此形成包含可溶碳水化合物的液相；和在煮解设备中对可溶碳水化合物进行催化还原反应，由此在煮解设备中至少部分形成包含三醇、二醇、一元醇或其任意组合的反应产物。

摘要： 本发明抑制光学信号特性的劣化，即使是在要被传送到相对的站的光学信号的噪声级高时。根据该模式的光学多路复用器/解复用器(20)包括：OCM(1)，其测量输入到WSS(2)的多个波段中的每个光学信号的强度并且基于测量的强度确定光学信号波段和噪声波段；WSS(2)，其使得由所述OCM(1)确定的光学信号波段中的光学信号作为主信号而通过；伪光生成单元(3)，其生成其中所述光学信号波段已经被消光的伪光；以及光学耦合器(4)，其多路复用从所述WSS(2)输出的主信号与所述伪信号并且将此波分复用光学信号输出到光学传输路径。

摘要： 本发明涉及在油精炼转化法中共处理至少基于化石的进料、热解液(PL)和来自妥尔油蒸馏的蒸馏残余物。

摘要： 一种对烃流进行加氢脱烷基化的方法，其包括：(a)使烃流在氢气存在下在加氢处理反应器中与加氢处理催化剂接触，得到烃产物，其中所述烃流含有C9+芳烃；和(b)从所述烃产物中回收经处理的烃流，其中所述经处理的烃流包含C9+芳烃，其中由于源自所述烃流的至少一部分C9+芳烃在步骤(a)接触期间的加氢脱烷基化，所述经处理的烃流中C9+芳烃的量小于所述烃流中C9+芳烃的量。

摘要： 本发明电力运行的技术领域，更具体地，涉及一种直流配电系统潮流解的存在性与稳定性分析方法，包括：对直流配电系统进行等效拓扑得到输电网络导纳矩阵Y；获得每个节点注入输电网络的电流；当变换器处于下垂控制时，计算输出电压us；基于输出电压uS的表达式及恒功率负载的伏安特性，得到直流配电系统稳态工作点表达式以及直流配电系统的潮流方程；结合直流配电系统可行解的充分条件T，采用迭代算法计算潮流解。本发明基于数值型的系统存在性条件，可快速评估负载接入和电压突变后系统的潮流解存在性，获知直流配电系统的运行状态；且本发明充分利用了电路系统的自身特性，提出了基于闭区间套定理的方法，得到保守性更低的潮流解存在性条件。

摘要： 一种集成电路自动化设计中方程组解的存在性检查方法，包括以下步骤：根据器件的连接关系构建容器；根据所述容器，判断器件是否形成特殊环路会导致方程组无解；根据所述容器，判断优化是否会形成特殊环路导致方程组无解。本发明的方法在集成电路自动化产品中对电子电路设计的合理性进行检查，尤其是针对特殊环路导致的方程组的解的存在性进行检查，从而减少了遍历过程，提高了电路设计的效率。

摘要： 本发明电力运行的技术领域，更具体地，涉及一种直流配电系统潮流解的存在性与稳定性分析方法，包括：对直流配电系统进行等效拓扑得到输电网络导纳矩阵Y；获得每个节点注入输电网络的电流；当变换器处于下垂控制时，计算输出电压us；基于输出电压uS的表达式及恒功率负载的伏安特性，得到直流配电系统稳态工作点表达式以及直流配电系统的潮流方程；结合直流配电系统可行解的充分条件T，采用迭代算法计算潮流解。本发明基于数值型的系统存在性条件，可快速评估负载接入和电压突变后系统的潮流解存在性，获知直流配电系统的运行状态；且本发明充分利用了电路系统的自身特性，提出了基于闭区间套定理的方法，得到保守性更低的潮流解存在性条件。

摘要： 一种集成电路自动化设计中方程组解的存在性检查方法，包括以下步骤：根据器件的连接关系构建容器；根据所述容器，判断器件是否形成特殊环路会导致方程组无解；根据所述容器，判断优化是否会形成特殊环路导致方程组无解。本发明的方法在集成电路自动化产品中对电子电路设计的合理性进行检查，尤其是针对特殊环路导致的方程组的解的存在性进行检查，从而减少了遍历过程，提高了电路设计的效率。