判定非确定离散事件系统稳定性的多项式复杂度算法

1

作者 舒少龙 刘君 《控制理论与应用》 EI CAS CSCD 北大核心 2009年第11期1247-1250,共4页

本文讨论基于非确定自动机/形式语言模型的非确定离散事件系统稳定性的多项式算法.在引入拟距离的概念之后,根据拟距离形式化地定义了非确定离散事件系统稳定性.以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现,该观测器... 本文讨论基于非确定自动机/形式语言模型的非确定离散事件系统稳定性的多项式算法.在引入拟距离的概念之后,根据拟距离形式化地定义了非确定离散事件系统稳定性.以往判定非确定离散事件系统稳定性的算法基于系统的观测器实现,该观测器在结构上具有指数复杂度,因此本文分析系统结构和观测器结构之间的关系,基于对系统状态对的讨论,提出了判定系统稳定性的有效多项式搜索算法. 展开更多

关键词 非确定自动机/形式语言模型 稳定性 梯度搜索 多项式复杂度

在线阅读 下载PDF 职称材料

S^3PR网多项式时间复杂度的化简算法 被引量：1

2

作者 岳昊 李文杰 《江西师范大学学报（自然科学版）》 CAS 北大核心 2010年第6期636-640,649,共6页

针对在一类S3PR网柔性制造系统Petri网模型N中的位置特殊资源不可能出现在网的严格极小信标之中的理论进行研究,对包含此类资源的网系统进行化简,分析了化简算法的时间性能,得出了该算法是多项式时间复杂度的结论,并推广了已有文献的结果.

关键词 柔性制造系统 PETRI网 信标 化简 多项式时间复杂度

在线阅读 下载PDF 职称材料

无线传感器网络单基站调度算法

3

作者 张美平 谷雨 许力 《计算机应用》 CSCD 北大核心 2014年第7期1941-1946,1963,共7页

对于无线传感器网络(WSN)移动基站的调度问题,提出了一种基于线性规划方法的移动单基站调度算法。首先,通过对移动单基站调度问题的形式化描述,对该问题在时间域中进行了数学建模,并使用重建模技术,将问题从时间域转化到空间域以降低求... 对于无线传感器网络(WSN)移动基站的调度问题,提出了一种基于线性规划方法的移动单基站调度算法。首先,通过对移动单基站调度问题的形式化描述,对该问题在时间域中进行了数学建模,并使用重建模技术,将问题从时间域转化到空间域以降低求解复杂度,然后基于线性规划理论建立了一个多项式时间复杂度的最优算法。模拟仿真实验验证了该算法的有效性,实验数据表明该移动基站调度算法能有效地延长无线传感器网络的网络生命周期。 展开更多

关键词 无线传感器网络 移动基站 线性规划 多项式时间复杂度 最优化算法

在线阅读 下载PDF 职称材料

弧搜索内点算法 被引量：1

4

作者 杨喜美 刘红卫 刘长河 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第4期693-697,共5页

利用弧搜索内点算法对线性规划问题进行求解,得到该算法的多项式复杂度为O(n3/4 L).该算法在中心路径的一个宽邻域内,沿椭圆近似寻找线性规划的最优解.数值实验表明了该算法的有效性.

关键词 线性规划 内点算法 弧搜索 宽邻域 多项式复杂度

在线阅读 下载PDF 职称材料

离散事件系统N步稳定性分析 被引量：1

5

作者 舒少龙 林峰 黄志强 《计算机工程与应用》 CSCD 北大核心 2007年第7期17-19,共3页

讨论基于自动机/形式语言模型的离散事件系统(DES)稳定性问题,引入了确定性离散事件系统N步稳定性定义,并得到了稳定性的判据定理,推导了具体的算法实现。该算法具有多项式复杂度。

关键词 离散事件系统 自动机/形式语言 N步稳定性 多项式复杂度

在线阅读 下载PDF 职称材料

带有新的迭代格式的内点算法 被引量：1

6

作者 杨喜美 刘红卫 张因奎 《应用数学和力学》 CSCD 北大核心 2014年第9期1063-1070,共8页

研究了求解线性规划问题的二阶Mehrotra型预估-矫正内点算法,使用Newton方法求解预估方向和矫正方向,并利用两个方向的一种新的组合方式得到搜索方向.在每次迭代中,要求新的迭代点在中心路径的一个宽邻域内,从而计算出步长参数.通过分析... 研究了求解线性规划问题的二阶Mehrotra型预估-矫正内点算法,使用Newton方法求解预估方向和矫正方向,并利用两个方向的一种新的组合方式得到搜索方向.在每次迭代中,要求新的迭代点在中心路径的一个宽邻域内,从而计算出步长参数.通过分析,证明了该算法经过有限次迭代后收敛到问题的一个最优解,并具目前内点算法最好的多项式复杂度O(槡nL).数值实验表明该算法在实践中是有效的. 展开更多

关键词 线性规划 内点算法 迭代格式 宽邻域 多项式复杂度

在线阅读 下载PDF 职称材料

求解P_*(κ)-水平线性互补问题的核函数内点算法 被引量：1

7

作者 杨喜美 张因奎 裴永刚 《河南师范大学学报（自然科学版）》 CAS 北大核心 2016年第5期1-7,共7页

提出了一个新的核函数,使用该核函数设计了一个求解P*(κ)-水平线性互补问题(P*(κ)-HLCP)的多项式内点算法.为了给出算法的复杂度,首先分析了该核函数的性质;最后,给出了大步更新算法和小步更新算法的迭代复杂度,这些复杂度与目前内点... 提出了一个新的核函数,使用该核函数设计了一个求解P*(κ)-水平线性互补问题(P*(κ)-HLCP)的多项式内点算法.为了给出算法的复杂度,首先分析了该核函数的性质;最后,给出了大步更新算法和小步更新算法的迭代复杂度,这些复杂度与目前内点算法最好的复杂度一致. 展开更多

关键词 核函数 P＊(κ)-水平线性互补问题 内点算法 多项式复杂度

在线阅读 下载PDF 职称材料

离散事件系统弱可预测性的验证算法

8

作者 曹卫华 刘富春 《计算机科学》 CSCD 北大核心 2023年第S02期955-960,共6页

对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出... 对故障检测来说,预测比诊断更能降低故障对系统造成的损失,但即使大多数的故障事件串是可预测的,只要有一个故障事件串是不可预测只能诊断的,整个系统就是不可预测的,只能用诊断的方法处理,这对大多数的故障事件串是不利的。为此,提出了弱可预测性的概念。弱可预测性是对系统未来是否一定会处于故障状态这一情况的预测。相比可预测性,弱可预测性不要求所有故障事件串都是可预测的。对可预测的故障事件串,弱可预测性能够在故障发生之前发出警报,而对不可预测只能诊断的故障事件串,其也能在故障发生之后发出警报。文中构造了证明器来测试系统的弱可预测性,并基于这个证明器给出了测试系统弱可预测性的多项式复杂度的算法,给出了弱可预测性的充分必要条件。 展开更多

关键词 离散事件系统 故障预测 弱可预测性 多项式复杂度 自动机

在线阅读 下载PDF 职称材料

求解线性规划的宽邻域不可行内点算法

9

作者 杨喜美 张因奎 裴永刚 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第1期92-98,共7页

提出了一个求解线性规划的不可行内点算法.该算法的特点是:一方面使用了宽邻域,因此数值实验表明具有较好的计算效果;另一方面,通过分析获得它的多项式复杂度为O(n^(1.5)L),这是宽邻域不可行内点算法的最好复杂度.

关键词 线性规划 不可行内点算法 宽邻域 多项式复杂度

在线阅读 下载PDF 职称材料

P_*(κ)线性互补问题的预估-校正内点算法

10

作者 刘新泽 刘红卫 刘长河 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2013年第5期789-794,共6页

通过修正大邻域跟踪算法的搜索方向,提出一种新的求解P*(κ)线性互补问题(LCP)的不可行预估-校正内点算法,并对算法进行了收敛性分析,证明了该算法具有目前最好的理论复杂度O((1+κ)5/2nL).数值结果验证了算法的有效性.

关键词 线性互补问题 内点算法 预估-校正算法 多项式复杂度

在线阅读 下载PDF 职称材料

半定互补问题的Mehrotra型预估-校正内点算法

11

作者 刘新泽 郭晓永 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第7期73-78,共6页

通过一种新的中心参数更新方案,提出一种新的Mehrotra型预估-校正内点算法求解半定线性互补问题,证明了该算法具有O(nL)多项式复杂度.

关键词 内点算法 预估-校正算法 半定互补问题 多项式复杂度

在线阅读 下载PDF 职称材料