一致连续

摘要： 关于二元函数可积性理论如可积的充分条件、必要条件、充要条件等,已经有较为成熟的结论及方法,但在目前的教材中,只给出有界闭区域上的有界函数可积性的证明,其他未予以证明。该文针对文章中的可积性定理(定理1、定理2、定理4)给出自己的证明,从而使二元函数在有界闭区域上可积性理论得以完善,同时使得相关定理、性质证明的方法更加多样化。

摘要： 该文在Hilbert空间中给出了一个新投影算法,找到了伪单调变分不等式问题的解集与半压缩映射的不动点集的公共元.在映射是伪单调和一致连续的条件下,证明了强收敛定理.数值实验结果表明了新算法的有效性和优越性.

摘要： 定义是数学学习的核心,无论证明还是计算,归根结底都要围绕定义进行,而实变函数课程中很多定义非常抽象,难以理解,给这门课程的学习者带来了很大的困难.本文通过两个例子把实变函数中出现的定义和在数学分析中同学们已经熟知却未必理解深刻的相似定义进行比较,从而使学生在对新定义有了比较准确的认识的同时也对已经学过的定义加深了理解.

摘要： 投影算法是求解变分不等式问题的主要方法之一.目前,有关投影算法的研究通常需要假设映射是单调且Lipschitz连续的,然而在实际问题中,往往不满足这些假设条件.该文利用线搜索方法,提出了一种新的求解非单调变分不等式问题的二次投影算法.在一致连续假设下,证明了算法产生的迭代序列强收敛到变分不等式问题的解.数值实验结果表明了该文所提算法的有效性和优越性.

摘要： 笔者针对一类较复杂的和式极限问题,先将非标准式和式极限转化为标准式和式极限,然后通过构造一致连续性函数,将和式极限转化为定积分,使得总能求解此类较为复杂的和式极限问题.

摘要： 考虑了经典变分不等式问题的外梯度投影算法.基于Fan和Qin提出的带惯性项的外梯度投影算法,在映射是伪单调和一致连续的假设下,证明了算法弱收敛到变分不等式问题的解.同时,数值实验验证了算法的适用性.所得结果改进和推广了最新文献中主要结果.

摘要： 连续函数是常见的函数,在微积分中占有极其重要的作用,几乎贯穿了微积分的始终.本文主要归纳了连续函数的定义和判断方法,以及在闭区间和推广区间上的相关性质.

摘要： 函数一致连续性是高等数学的重要基础性质,其对学生未来的学习有重要的奠基作用.本文结合大专院校学生特点及数学分析教学的基本现状,梳理函数一致连续性的教学难点,思考突破这一教学障碍的有效策略,为大专数学教师开展函数一致连续性教学提供参考.

摘要： 本文用辨析的方式剖析连续与一致连续这两个概念,以求厘清差别,深刻理解“一致”的含义.

摘要： 本发明涉及非连续多智能体系统的分布式非平滑饱和一致性控制方法。本发明建立具有非连续动力学性态和时变时滞的多智能体系统模型，引入广义的Lipschitz条件来线性化非连续的非线性函数；利用Filippov微分包含和测度选择定理得到非连续微分方程在Filippov意义下的解；通过有限时间稳定性定理，估算出受控误差系统达到稳定的时间上界，减少了控制成本；结合高斯误差函数和微分中值定理，近似模拟饱和效应，以降低控制信号的不平滑度和简化控制器的后续设计。

摘要： 本发明提供了基于连续通信的多无人机编队一致性控制方法，可适应多种通信网络拓扑结构形式，避免了集中式控制全部无人机与控制中心连接的网络拓扑形式，通信网络选择的灵活性，为无人机编队应用带来了更好的可扩展性、容错性与适应性；分布式架构去除了集中式控制架构中的控制中心，因此不存在因中心控制节点毁坏编队失效的现象；控制无人机编队的计算任务，由控制中心分散到成员无人机的机载计算机，大幅提高了编队整体计算能力，解除了计算能力引发的性能瓶颈；无人机无需和控制中心通信，只需与成员无人机间保持通信即可，大大降低了网络通信量，并且无人机与编队成员间通信距离远小于与控制中心通信距离，的通信抗干扰能力与可靠性大幅提高。

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

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

摘要： 用较少的通信量检测份额的不一致。n台不一致检测装置生成随机数si，并公开。n台不一致检测装置生成随机数s0、…、sn‑1的总和即共享随机数s。n台不一致检测装置计算份额[c]i。n台不一致检测装置生成如若复原则成为随机数r的份额[r]i。n台不一致检测装置计算如若复原则成为判定值d的份额[d]i。1台不一致检测装置从n‑1台不一致检测装置接收份额[d]1、…、[d]n‑1。1台不一致检测装置根据k个份额[d]0、…、[d]k‑1恢复n‑k个份额[d]'k、…、[d]'n‑1。1台不一致检测装置对j＝k、…、n‑1判定份额[d]j和份额[d]'j是否一致。

摘要： 一种协议不一致检测系统1，包括：协议数据库10；输入单元11，输入协议数据库10所存储的数据；协议数据存储单元12，将输入的数据存储在协议数据库10；发表内容接收单元13，接受来自外部的发表内容；协议不一致检测单元14，参照协议数据库10，检测在接收的发表内容中的与协议不一致检测系统1的用户的协议不一致的部分；以及输出单元15，对检测出检测的协议不一致的协议不一致部分进行输出。

摘要： 本发明涉及一种基于事件触发的连续搅拌釜反应器一致性控制方法，包括建立一连续搅拌釜反应器系统，得到其状态空间方程；将状态空间方程进行转换，构建反应器集群系统，反应器集群系统包括至少两个反应器子单元；根据反应器集群系统设计基于事件触发机制的一致性控制协议，构造状态反馈控制器；在状态反馈控制器的控制下，使反应器集群系统中的至少两个反应器子单元达到一致性状态。本发明设计事件触发机制进行控制器状态更新，相比于现有方法可更好地节省网络资源的利用，达到经济效益的优化；同时，考虑系统存在的输入饱和现象与外部干扰设计一致性控制协议，可使得反应器集群系统达到一致状态，提高反应器集群系统的抗干扰能力和集群作业能力。

摘要： 本发明公开了一种提升高变倍比连续变焦摄像机光轴一致性的方法，属于光电设备技术领域，其利用光源、十字靶标、平行光管、四维调整支架对应形成光学平台系统，并将被测产品对应设置于四维调整支架上，继而通过虚拟电十字的生成、电十字与十字靶标的对位、被测产品变倍过程中电十字与十字靶标偏离量的测量、光轴一致性的判定和标定等过程的进行，可以实现被测产品光轴一致性的判断及标定，实现光轴不一致时的像移补偿输出。本发明中的方法，其操作简单，人为因素小，能够提升高变倍比连续变焦摄像机使用的准确性和可靠性，适应产品的大批量生产过程，降低了高变倍比连续变焦摄像机的生产和应用成本，具有较好的实用价值和应用前景。

摘要： 本发明涉及电视摄像机视轴误差补偿方法，具体涉及一种连续变焦电视摄像机全程视轴一致性误差补偿方法，解决了现有技术中存在的装配工艺要求高、装配难度大、生产成本高、存在误差、变倍卡滞和切换时间过长的问题。本发明方法具体包括以下步骤：1)连续变焦电视摄像机集成；2)大小视场视轴一致性调节；3)变倍全程光轴一致误差获取；4)变倍全程视轴一致误差补偿。通过该误差补偿方法可以达到降低镜头的设计和装配难度、节约生产成本、可以完全补偿镜头装配和结构间隙造成的视轴偏差、不会由于温度导致变倍卡滞和切换时间过长的效果。

摘要： 本发明提供了非连续自时延多智能体系统一致性与饱和分布式控制方法，属于信息技术领域。利用具有时变控制增益的分布式负反馈控制器实现智能体之间状态信息交互。又考虑到实际系统运行环境与控制成本，增设外部饱和环节来将控制信号幅值限制在一个合理的范围。然后利用高斯误差函数以及微分中值定理来近似模拟饱和效应，以此降低控制信号的不平滑度。随后应用Filippov微分包含理论和测度选择定理处理非线性动力学函数的非连续性。接着通过广义Halanay不等式和Lyapunov稳定性定理得到指数一致性判定条件与最大容许时延。最后通过数值仿真验证了本发明所提出的控制策略的有效性。