李海涛
- 作品数：14 被引量：30H指数：3
- 供职机构：山东师范大学更多>>
- 发文基金：国家自然科学基金山东省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：理学自动化与计算机技术生物学语言文字更多>>
- 时间测度链上p-Laplace算子型三点边值问题两个正解的存在性被引量：3
- 2010年
- 运用锥拉压不动点定理,讨论了一类时间测度链上p-Laplace算子型三点边值问题两个正解的存在性,并给出例子说明主要结果的有效性。
- 孔祥山范进军李海涛
- 关键词：正解P-LAPLACE算子时间测度链不动点定理
- 矩阵半张量积方法在逻辑网络和相关系统中的应用综述被引量：6
- 2017年
- 本文介绍了近期关于逻辑网络及其应用的一些最近的结果,包括逻辑网络的背景、矩阵半张量积(STP)的新矩阵乘积的理论、逻辑网络的一些基本研究以及一些当前的重要工作.特别介绍了逻辑网络的一些基本问题,比如可控性、可观性、稳定性、镇定、同步、最优控制以及扰动解耦等.由于在处理逻辑网络问题方面具有很大的潜力和优势,STP方法被海内外很多学者关注并将其用于相关问题的研究.目前,一些新的领域被广泛研究,包括牵引控制、函数扰动、系统解耦、输出追踪、符号动力学等.本文主要对基于STP方法研究逻辑网络以及STP方法的其他相关应用进行了综述.
- 卢剑权李海涛刘洋李芳菲曹进德
- 关键词：逻辑网络
- 一种缓解交通拥堵的分层模糊入口匝道控制方法
- 本发明涉及一种缓解交通拥堵的分层模糊入口匝道控制方法，属于城市道路交通控制领域；首先，以高速公路密度、密度变化量、匝道流入流量、排队长度为输入变量，更加全面的协调匝道控制流量，提高入口匝道控制效率；其次，利用分层模糊推理...
- 李海涛孙长乐
- 分数阶p-Laplacian系统两点边值问题的解被引量：2
- 2014年
- 利用Schaefer不动点定理研究了分数阶p-Laplacian系统两点边值问题解的存在性,通过将系统转化为算子方程,在非线性项满足一定增长性的条件下得到了系统至少存在一个解的充分条件,并给出了相关的应用.
- 孔祥山李海涛
- 关键词：两点边值问题
- 基于牵制控制的切换布尔网络的分布式集合镇定被引量：1
- 2021年
- 切换布尔网络是一种典型的网络化控制系统,在基因调控、信息安全、人工智能、电路设计等领域具有重要应用.本文基于牵制控制方法,研究切换布尔网络在任意切换下的分布式集合镇定问题.首先,利用矩阵半张量积方法,得到切换布尔网络的代数形式.其次,基于代数形式,提出构造性的算法来实现切换布尔网络在牵制控制的作用下任意切换集合镇定,并设计出状态反馈牵制控制器.再次,利用逻辑矩阵分解技术和分布式控制方法,设计任意切换下切换布尔网络的分布式集合镇定控制器,并提出分布式控制器存在的充分条件.文中给出3个例子来说明所获得结果的有效性.
- 蒋梦涵李海涛
- 关键词：牵制控制分布式控制
- 二阶微分方程反周期边值问题的解被引量：1
- 2009年
- 本文考虑了一类非线性二阶微分方程反周期边值问题。在适当条件下,利用Banach压缩映像原理和Darbo不动点定理,得到了解的存在性和唯一性结果,并给出例子说明定理的应用。本文改进和推广了已有的结果。
- 李海涛商士海刘衍胜
- 关键词：反周期边值问题
- 切换奇异布尔网络的稳定性分析(英文)被引量：6
- 2014年
- 基因调控网络的稳定性分析是系统生物学的研究热点问题之一.本文利用矩阵半张量积方法研究了切换奇异布尔网络的稳定性问题.首先给出了切换奇异布尔网络的代数表示,基于该代数表示,建立了系统解存在唯一的充要条件.然后通过将切换奇异布尔网络转化为等价的切换布尔网络,分别得到了系统在任意切换下稳定以及切换可稳的充要条件.最后给出例子验证所得结果的有效性.
- 李海涛王玉振
- 关键词：系统生物学
- 概率级联布尔网络的集镇定及其应用被引量：3
- 2019年
- 随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概率级联布尔网络的集镇定问题.首先给出概率级联布尔网络集镇定的定义,并利用矩阵的半张量积给出了概率级联布尔网络的代数表示.其次基于该代数表示,定义了一组合适的概率能达集,并给出了概率级联布尔网络集镇定问题可解的充要条件.最后将所得的理论结果应用于概率级联布尔网络的同步分析及n人随机级联演化布尔博弈的策略一致演化行为分析.
- 丁雪莹李海涛
- 多值逻辑网络的输出跟踪牵制控制被引量：8
- 2016年
- 本文利用代数状态空间方法,研究了多值逻辑控制网络的输出跟踪牵制控制.首先利用矩阵的半张量积给出了带牵制控制的多值逻辑控制网络的代数表示.其次基于该代数表示,定义了一组合适的能达集,并建立了多值逻辑控制网络输出跟踪牵制控制器的设计方法.再次,利用多值逻辑哑算子的性质,给出了多值逻辑控制网络分布式输出跟踪控制问题可解的充要条件.最后将所得的理论结果应用于网络演化博弈的演化行为分析.
- 宋平平李海涛杨琪琪刘衍胜
- 关键词：牵制控制分布式控制系统
- 从图式理论的角度探析大学英语写作教学
- 本文从图式理论的角度，对大学英语写作教学进行了研究。文章主要包括四个部分：第一章首先对国外三种主要的写作教学理论和目前国内关于写作教学的研究进行了分析和总结,同时综述了图式理论的发展和演化过程;第二章把图式理论和外语写作...
- 李海涛
- 关键词：大学英语英语教学英文写作图式理论
- 文献传递
