-
题名基于近似动态规划的微粒群系统参数优化研究
被引量：4
- 1
-
-
作者
康琦
汪镭
安静
吴启迪
-
机构
同济大学电子与信息工程学院
同济大学教育部嵌入式与服务计算重点实验室
上海应用技术学院机械与自动化工程学院
-
出处
《自动化学报》
EI
CSCD
北大核心
2010年第8期1171-1181,共11页
-
基金
国家自然科学基金(70531020
70871091)
+4 种基金
教育部科学研究重大项目(306023)
上海市科委科研计划项目(08DZ1140500
09DZ1141300)
教育部第37批留学回国人员科研启动基金
同济大学青年优秀人才培养行动计划(2009KJ028)资助~~
-
文摘
从系统最优控制的角度对微粒群参数的动态优化问题进行探讨.针对离散动态规划的"维数灾"问题,将群体启发式随机搜索机制引入动态规划的最优策略求解,提出了一种群体智能近似动态规划模式;基于该模式给出简化的确定型微粒群反馈控制系统参数优化的近似计算方法,并扩展应用于具有随机变量的微粒群系统;仿真计算得到了微粒群加速因子的近似最优动态规律,并将所得策略与一种时变加速因子(Time-varying acceleration coefficients,TVAC)策略进行了函数优化性能的比较与分析,初步实验结果表明该近似动态规划模式可有效地用于微粒群系统参数的动态优化设置.
-
关键词
群体智能
近似动态规划
微粒群系统
参数优化
-
Keywords
Swarm intelligence
approximate dynamic programming
particle swarm system
parameter optimization
-
分类号
O232
[理学—运筹学与控制论]
-
-
题名信标可控性定义及问题
被引量：2
- 2
-
-
作者
尤丹
王寿光
周孟初
-
机构
浙江工商大学信息与电子工程学院
同济大学教育部嵌入式系统与服务计算重点实验室
美国新泽西理工学院电子与计算机工程系
-
出处
《自动化学报》
EI
CSCD
北大核心
2014年第12期2687-2696,共10页
-
基金
国家自然科学基金(61472361,61100056,61374148)
浙江省杰出青年基金(LR14F020001)
+2 种基金
浙江省科技计划(2013C31111)
浙江省新型网络标准与应用技术重点实验室项目(2013E10012)
浙江工商大学创新项目(CX201411010)资助~~
-
文摘
死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
-
关键词
PETRI网
活性
信标
可控性
-
Keywords
Petri net, liveness, siphon, controllability
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于部分状态空间存储的Petri网库所界求解算法
被引量：1
- 3
-
-
作者
卢委红
丁志军
-
机构
同济大学电子与信息工程学院
同济大学教育部嵌入式系统与服务计算重点实验室
同济大学上海市电子交易与信息服务协同创新中心
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2020年第5期695-712,共18页
-
基金
国家自然科学基金面上项目(No.61672381)
中央高校基本科研业务费专项资金重点项目(No.22120180508)资助。
-
文摘
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.
-
关键词
PETRI网
有界性
状态空间
位存储
-
Keywords
Petri net
boundedness
state space
bit storage
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
