搜索结果: 46-60 共查到“知识库 控制论”相关记录272条 . 查询时间(1.578 秒)
具有奖励惩罚结构的项目支付进度问题研究:双重角度
奖励惩罚结构 支付进度安排 数学模型 模拟退火启发式算法
2009/9/27
首先明确了研究的假设条件并对具有奖励惩罚结构的项目支付进度问题进行了定义;随后分别
从承包商和客户两个角度构建了该问题的基本数学模型并将其扩展为基于时间和基于费用的支付模
型;研究了奖励惩罚结构对合同双方收益的影响及其评价问题;针对问题的特点,开发了一种双模块模
拟退火启发式算法;最后,给出一个算例的计算分析.
现金流平衡约束下的Max-npv项目调度
现金流平衡 Max-npv项目调度 优化模型 模拟退火启发式算法
2009/9/27
首先对现金流平衡约束下的Max-npv项目调度问题进行界定，分析其不同于一般资源约束型Max-npv项目调度问题的基本特征, 提炼研究的假设条件;随后构建问题的非线性整数规划优化模型,借助现金流平衡约束将项目费用、支付与融资联系起来,实现现金流出与流入的平衡; 鉴于问题的特点及模型的组合属性,设计专门的模拟退火启发式算法对其进行求解;在随机生成的29160个标准算例上对算法进行测试, 结果满意：算...
小波分维估计法在三峡水库汛期 洪水分期中的应用
洪水分期 分维 小波函数 三峡水库
2009/9/27
汛限水位分期控制能在不降低水库防洪标准的条件下提高水能资源利用效率，而洪水分期是汛限水位分期控制的前提.以三峡水库洪水资源高效利用为背景，在分析三峡水库上下游水文气象特征的基础上，根据水文序列的自相似性，由统计分析法确定了宜昌站洪水分期数目，并选择Db4为小波基，以Mallat算法为基础，提出了小波分维估计法计算模式并计算了宜昌站各分期的分维数，最后确定了三峡水库的汛期洪水分期。结果表明，以小波分...
一类T-S 模糊广义系统的无源控制
T2S 模糊广义系统 容许的 无源 状态反馈 线性矩阵不等式
2009/9/25
研究了一类T2S 模糊广义系统的无源控制问题. 通过矩阵分解方法, 证明了这类系统容许的充
分必要条件. 在此基础上,将严格无源的概念引入到T2S 模糊广义系统中,得到了使闭环系统容许、严格
无源的充分条件,并将此条件用线性矩阵不等式(LMIs) 表示. 通过解这些矩阵不等式得到状态反馈增益
矩阵. 这个充分条件,可以一次判定系统的容许、严格无源. 最后的数值算例说明所给方法的可行、有效.
一类带交货期约束的资源选择问题研究
资源选择 交货期 非线性整数规划 分支定界算法
2009/9/25
研究生产计划和控制中带交货期约束且子任务之间具有先序关系的资源选择问题, 证明了该
问题是NP 完全问题, 目前该问题还没有多项式时间求解算法. 建立了该问题的非线性整数规划模型,
分析了模型中目标函数和约束函数的单调性, 并根据该单调性构造了分支定界求解算法. 与招投标算
法比较,表明分支定界算法具有求解问题的规模大、运算速度快的优越性.
讨论了与害虫管理相关的一类捕食者具脉冲扰动与相互干扰的阶段结构时滞捕食-食饵模型, 得到了害虫灭绝周期解的全局吸引和系统持久的充分条件,也证明了系统的所有解的一致完全有界.我们的结论为现实的害虫管理提供了一定的理论依据.
基于欧拉角的分导飞行器多模型自适应姿态控制
自适应控制 姿态控制 多模型 切换控制
2009/9/21
基于欧拉角的变换得到了刚体飞行器的一种多模型自适应控制律,它能解决转动惯量不确定并随时发生突变的分导飞行器的姿态控制问题.该控制策略可以有效地检测出转动惯量发生突变,并及时切换到最合适的控制器.通过理论分析证明了该控制策略的闭环全局渐近稳定.数值仿真表明该方案的有效性.
基于吴方法的多值模型检验
多值模型检验 拟布尔逻辑 多项式 吴方法
2009/9/21
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.
基于隐式离散极大值原理的聚合物驱最优注入策略
最优控制 极大值原理 聚合物驱 注入策略
2009/9/21
为了获得聚合物驱油的最大利润,建立了确定最佳聚合物注入浓度的最优控制模型.利用全隐式差分格式将连续模型离散化得到离散系统的状态方程.通过隐含离散系统的极大值原理获得了该最优控制问题的必要条件.给出了基于梯度的数值求解方法,在求解状态方程的过程中直接构造了伴随问题的系数矩阵.通过一个三维聚合物驱模型的计算实例表明了所提出方法的可行性和有效性.
几类考虑有限理性平衡问题解的稳定性
镇定 Timoshenko梁 补偿器 反馈控制 Riesz基
2009/9/21
文章研究两端固定$n$根系列连接的Timoshenko梁系统的镇定问题,假设该系统在连接点处剪切力和弯曲力矩是连续的,而横向位移和旋转角度是不连续的.在连接点处设置控制器,观测节点处的力,通过补偿器补偿后反馈回系统,构成闭环系统.通过对系统的矩阵化处理,对算子谱采用渐近分析的技巧,证明得到该闭环系统是渐近稳定的.并利用算子谱的分布等性质,在一定条件下得到了闭环系统的Riesz基性质,从而系统满足谱...
线性时滞系统的时滞相关稳定性分析
固定时滞及时变时滞 时滞系统 线性矩阵不等式 时滞依赖条件
2009/9/21
对于存在状态时滞的线性时滞系统,分为固定时滞及时变时滞两种情形,基于Lyapunov-Krasovskii理论分析稳定性,通过时滞划分,得到以LMI形式给出的一种保守性小的渐近稳定性条件,且能够处理任意变化的变时滞问题.实例表明只需粗略划分就能大大提高保守性能,为了兼顾计算负担,$r$取较小数值即可.并且LMI中的决策变量少,形式简洁.
从停止问题到折扣费用问题
最佳控制 折扣费用 停止问题
2009/9/18
本文借助一类停止问题,研究了奇异型折扣费用问题,得出了最佳控制的存在性及结构形式.其模型为设(Ω,\mathcal{F},P)为某概率空间,w_t,t≥0为其上 Wiener 过程,\mathcal{F}_t=σ(w_s,0≤s≤t).以\mathcal{B}表\mathcal{F}_t,适应左连续0初值有限变差过程的全体.对\forallξ={ξ,t≥0}∈\mathcal{B}...
二阶脉冲微分方程三点边值问题解的存在性
三点边值问题 单调迭代方法 脉冲微分方程
2009/9/18
建立了二阶脉冲微分方程三点边值问题的比较定理,利用单调迭代方法讨论了二阶脉冲微分方程三点边值问题解的存在性.
复杂网络无处不在,同步是自然界中广泛存在的一类非常重要的非线性现象.过去10年,人们对复杂网络的同步开展了系统而深入的研究,包括恒等同步、广义同步、簇同步以及部分同步等.上述大部分结果中对同步速度的刻画往往是渐进的,只有当时间趋于无穷的时候,网络才能实现同步,而对于网络能够在多长时间内可以实现同步却知之甚少.作者以几类典型的非线性耦合的复杂动态网络为例,深入探讨了复杂动态网络的有限时间同步的规律....