一致持久性

摘要： 考虑到流行性出血热的季节性爆发,建立了一类具有周期系数的流行性出血热模型.利用积分算子的谱半径得到了模型的基本再生数R_(0),R_(0)决定了疾病的灭绝和一致持久性.通过Poincare映射讨论了模型的一致持续生存,并通过数值模拟验证了当R_(0)=0.16851时,无病周期解不稳定,系统的解趋向于一个正周期解,说明疾病持续生存.

摘要： 本文研究了捕食者患病的捕食–食饵模型,文中假设疾病仅在捕食者之间流行,其中易感捕食者和患病捕食者都具有捕获食饵的能力。本文首先运用极限理论以及构造Lyapunov函数的方法分别得到了各个边界平衡点的全局稳定性;其次运用一致持久生存理论得到了患病捕食者一致持久生存的充分条件。最后,运用数值模拟验证并补充了定性理论分析的结果。

摘要： 基于考虑环境中有毒物质对种群的影响,建立了一类食饵具有Allee效应的捕食-被捕食模型。分析了模型解的正性与有界性,利用常微分方程定性理论研究了平衡点的存在性及其局部稳定性,并通过构造相应的函数得到了极限环不存在的充分条件,以及模型一致持久的充分条件。最后,利用数值模拟验证了结论的正确性,还分析了Allee阈值与毒性系数对模型的影响,结果表明其影响是可控的。

摘要： 基于考虑环境中有毒物质对种群的影响,建立了一类食饵具有Allee效应的捕食-被捕食模型.分析了模型解的正性与有界性,利用常微分方程定性理论研究了平衡点的存在性及其局部稳定性,并通过构造相应的函数得到了极限环不存在的充分条件,以及模型一致持久的充分条件.最后,利用数值模拟验证了结论的正确性,还分析了Allee阈值与毒性系数对模型的影响,结果表明其影响是可控的.

摘要： 研究了一类食饵具有两阶段结构和恐惧效应的捕食者-食饵模型的稳定性问题。考虑了食饵的成熟时滞,建立了一类时滞微分方程模型。利用常微分方程理论、比较定理、时滞微分方程理论和无穷维动力系统持久性理论,证明了模型解的非负性和有界性。给出了平衡点存在的条件,讨论了平衡点的局部渐近稳定性、全局渐近稳定性以及模型的一致持久性。利用数值模拟验证了理论结果的正确性,得出当恐惧效应和时滞不同时,模型的稳定性会发生改变。

摘要： 为有效控制麻疹疾病的流行,建立并研究一类带有分层接种的SIRV1V2V3麻疹传染病模型.通过比较原理等方法确定模型解的非负性和有界性,计算得到模型的无病平衡点和基本再生数R0.利用线性化,Hurwitz判据等方法证明了当R0＜1时,模型无病平衡点是局部渐近稳定的,且疾病绝灭.利用一致持久性理论证明了R0＞1时麻疹疾病的持久存在性.最后对模型的理论结果进行数值模拟,并利用偏秩相关系数(PRCC)方法得到了影响麻疹疾病传播的主要因素.结果 表明:降低感染率,提高恢复率和第一次接种覆盖率可以有效控制麻疹疾病的流行.

摘要： 为研究物种的死亡率对恒化器模型中物种生存状态的影响,提出一类具有年龄结构的捕食-食饵反应扩散恒化器模型.应用最值原理、一致持续性理论、分歧理论等方法,讨论了模型解的全局存在性,分析了模型半平凡解的稳定性以及解的一致持续性,给出模型稳态解以死亡率为分歧参数的全局分歧结构.结果 表明:存在死亡率的临界值,当死亡率小于临界值时物种共存,超过临界值捕食者死亡.

摘要： 本文研究了一类集合生态系统内部双向资源交换的动力学行为,利用比较原理研究它的一致持久性,得到了该系统一致持久性的充分条件。

摘要： 该文讨论一类由具无限时滞的泛函微分方程所决定的生态系统模型的一致持久性，获肛了一些有意义的结果。主要利用Liapunov泛函的方法。

摘要： 本发明公开了一种保证持久性内存中数据崩溃一致性的方法及系统，属于计算机存储领域，包括：将系统运行过程划分为多个连续的包含执行阶段和检查点阶段的运行周期；在当前运行周期R

摘要： 本发明公开了一种分布式持久性内存文件系统保持数据一致性的方法；包括：步骤一，将非易失存储器作为影子内存来储存检查点与数据，系统故障或崩溃后，恢复最近一次的检查点的数据，保证系统的一致性；步骤二，通过基于非易失存储器的直接存储器访问技术，将非易失存储器中的数据预拷贝到远程节点。在系统崩溃后，会通过最近一次的检查点来恢复数据，保障了系统的数据一致性；然后，实现了一种基于远程检查点的预拷贝机制，既能保证服务端数据的一致性，又能减少系统的开销。

摘要： 本发明公开了一种持久性内存温度一致性测试方法、系统及计算机设备，方法包括：基于预设温控脚本对持久性内存执行升温和降温操作；获取每条持久性内存的带内温度数据，并获取每条持久性内存对应的寄存器带外获取温度数据和原始传感器温度数据；计算每条持久性内存的带内温度数据、寄存器带外获取温度数据和原始传感器温度数据两两之间的差值；基于差值分析获得每条所述持久性内存的温度一致性；通过预设温控脚本来给持久性内存进行升温和降温操作，减少了外部设备的使用、并且验证了持久性内存带内温度和两种途径获取的带外温度(寄存器带外获取温度和原始传感器温度)的一致性，整个过程外部设备依赖度小，且整个过程自动化，验证效率高。

摘要： 本发明公开了一种保证持久性内存中数据崩溃一致性的方法及系统，属于计算机存储领域，包括：将系统运行过程划分为多个连续的包含执行阶段和检查点阶段的运行周期；在当前运行周期R

摘要： 本发明题为“对持久性存储区域范围的一致访问”。本发明公开了一种用于保持DMA数据路径和NVMe数据路径之间的一致性的方法和系统。当在PMR区域中接收到DMA请求时，设备控制器将这些请求转换成具有专用队列的NVMe命令，该专用队列对主机隐藏，具有比该对应主机(NVMe)命令更高的优先级。从内部执行的NVMe命令返回的有效载荷存储在缓冲区中，该缓冲区用于完成该DMA请求。当提交存储器读取时，该控制器将标记对应的LBA范围以用于重叠，从而确保这些读取和来自其他队列的写入之间的一致性。由于内部PMR队列具有比面向主机的队列(例如，NVMe)更高的优先级，并且该PMR是只读的，因此可实现主机对同一区域的读取与写入的一致性。

摘要： 本申请公开了具有优异的持久性的乳化化妆品美容组合物。所述组合物具有提供乳化化妆品美容组合物的效果，其中当将所述组合物涂在皮肤上时，使用挥发性油，所述油蒸发，留下赋予高持久性的成膜剂，从而防止组合物涂抹、增大持久性，并改善即使在干燥后的使用感觉。从外，本申请也公开了评估美容组合物的持久性的方法。

摘要： 用于评价现有钻头和钻头设计的方法，包括测量钻头的几个理想特征，包括在钻凿某地层过程中产生的磨损，如实际地层或模拟地层或实验室试验装置。计算机模型可用于评价相对于钻头的钻速和/或持久性而言钻头的切削元件的作用力和/或滑动磨损率。这一信息可用于设计新钻头，它可包括切削元件的改变(如移动位置、体积(大小和形状))或从钻头接受较小作用力和滑动磨损率的区域到那些承受相对较大作用力和滑动磨损率的区域切削元件数量的改变。这可使得切削元件相对于要钻凿的地层而言更为锋利。其它可进行优化的参数包括钻头形状、刀刃计数、水力特性等。

摘要： 提供文字一致性确认系统、文字一致性确认装置、文字一致性确认方法及文字一致性确认程序。业务终端发送包括用于进行文字一致性确认的文字数据的文件(步骤S404)。文字一致性确认装置进行所接收到的文字数据的细分(步骤S407)，向用户终端发送包括细分得到的文字数据、和为对应于文字数据的文字的比较对象的被抽象化的候选文字的发布数据(步骤S408)。用户终端对发布数据中所包含的被细分得到的文字数据进行文字一致性确认的游戏，并向文字一致性确认装置发送游戏结果(步骤S409)。文字一致性确认装置向业务终端发送包括基于所接收到的游戏结果的文字一致性确认结果的结果文件(步骤S418)。

摘要： 提供文字一致性确认系统、文字一致性确认装置、文字一致性确认方法及文字一致性确认程序。业务终端发送包括用于进行文字一致性确认的文字数据的文件(步骤S404)。文字一致性确认装置进行所接收到的文字数据的细分(步骤S407)，向用户终端发送包括细分得到的文字数据的发布数据(步骤S408)。用户终端对发布数据中所包含的被细分得到的文字数据进行文字一致性确认的游戏，并向文字一致性确认装置发送游戏结果(步骤S409)。文字一致性确认装置向业务终端发送包括基于所接收到的游戏结果的文字一致性确认结果的结果文件(步骤S418)。

摘要： 本发明公开了一种针对持久内存并发程序的崩溃一致性故障检测方法及系统，包括：S1、通过编译器对待测持久内存并发程序中的访存指令以及持久内存相关接口进行插桩，得到可执行程序；S2、按照待测持久内存并发程序的输入规则，生成多个输入参数作为可执行程序的输入构成输入参数集；S3、分别获取各输入参数下，可执行程序中各访存指令所访问的持久内存地址所对应的访存模式、以及控制可执行程序产生先写后读的访存时序后可执行程序中各访存指令所访问的持久内存地址所对应的访存模式；并判断各访存模式中是否存在基于未持久化的数据写持久内存的模式，若存在，则判定为一致性故障；本发明能够高效准确地检测持久内存并发程序中的一致性故障。