-
题名追捕逃逸型微分对策问题的识别域判别
被引量：3
- 1
-
-
作者
张霞
高岩
夏尊铨
-
机构
大连理工大学数学科学学院
浙江财经学院东方学院信息分院
上海理工大学管理学院
-
出处
《上海理工大学学报》
CAS
北大核心
2012年第5期452-455,共4页
-
基金
国家自然科学基金资助项目(11071029
10971187)
-
文摘
研究了仿射非线性控制系统下的单目标两人追捕逃逸型微分对策问题,解决了该类控制系统在不等式约束区域上系统识别域的判别问题,给出了判别识别域的充分必要条件.首先利用生存理论及非光滑分析工具得到了仿射非线性控制系统的识别域判别定理,从而把对该非线性控制系统识别域的判别问题转化为求解凸不等式组的相容性问题.基于凸可行问题的求解方法给出了此问题的投影算法,并给出算法相应的收敛性定理.最后得到了仿射非线性系统下的两人追捕逃逸型微分对策问题的选择定理.
-
关键词
微分对策
追捕逃逸型问题
仿射非线性系统
非光滑分析
投影算法
-
Keywords
differential games
pursuit-evasion games
affine nonlinear system
nonsmooth analysis
projection algorithm
-
分类号
TP13
[自动化与计算机技术—控制理论与控制工程]
N94
[自然科学总论—系统科学]
-
-
题名Web服务编制的形式化模型研究
- 2
-
-
作者
杨晓波
-
机构
浙江财经学院东方学院信息分院
-
出处
《计算机工程》
CAS
CSCD
2012年第7期276-278,共3页
-
基金
浙江省自然科学基金资助项目(Y1110023)
-
文摘
为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。
-
关键词
Web服务编制
形式化模型
时间自动机
映射
-
Keywords
Web service compilation
formalization model
timed automata
mapping
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
