SIA OpenIR  > 水下机器人研究室
基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究
Alternative TitleResearch on Modeling and Reachability Problem of Autonomous Underwater Vehicle Architecture Based on Object-oriented Petri Net
林昌龙; 刘开周
Department水下机器人研究室
Source Publication机器人
ISSN1002-0446
2013
Volume35Issue:3Pages:332-338
Indexed ByEI ; CSCD
EI Accession number20132616454137
CSCD IDCSCD:4855745
Contribution Rank2
Funding Organization国家自然科学基金资助项目(61102163);; 中央高校基本科研业务费专项资金;; 华侨大学科研基金资助项目(11BS209)
Keyword自主水下机器人 体系结构 面向对象的petri网 可达性
Abstract针对之前构建的水下机器人体系结构仅停留在系统结构框图层面的不足,本文对其进行建模并对它的正确性进行理论分析.首先简要地介绍之前的研究成果,即趋于通用化的水下机器人体系结构.然后根据该体系结构的模块化封装和层次化组织的特点,采用面向对象的Petri网对其进行建模.在此基础上,针对系统能否顺利完成使命的问题,给出了一个充分性判据,从而在理论上比较严密地论证了该体系结构的时序和逻辑的正确性.最后通过半物理仿真实验对其进行仿真验证.
Other AbstractThe architecture we previously constructed for autonomous underwater vehicles(AUV) only remains in the system block level.To cope with this insufficiency,the architecture is modeled and its correctness is theoretically analyzed in this paper.Firstly,our previous work,that is,a generalized architecture for AUVs,is presented.Then,according to its characteristics of modular packaging and hierarchical organization,the object-oriented Petri net is adopted to model this architecture.Based upon this,the mission reachability problem is focused and a sufficient criteria is proposed.Thus,the correctness of the timing and logic of this architecture is thoroughly demonstrated.Finally,semi-physical experiments are carried out to validate the architecture.
Language中文
Citation statistics
Document Type期刊论文
Identifierhttp://ir.sia.cn/handle/173321/12509
Collection水下机器人研究室
Corresponding Author林昌龙
Affiliation1.华侨大学计算机科学与技术学院
2.中国科学院沈阳自动化研究所机器人学国家重点实验室
Recommended Citation
GB/T 7714
林昌龙,刘开周. 基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究[J]. 机器人,2013,35(3):332-338.
APA 林昌龙,&刘开周.(2013).基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究.机器人,35(3),332-338.
MLA 林昌龙,et al."基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究".机器人 35.3(2013):332-338.
Files in This Item: Download All
File Name/Size DocType Version Access License
基于面向对象Petri网的水下机器人体系(911KB)期刊论文作者接受稿开放获取ODC PDDLView Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[林昌龙]'s Articles
[刘开周]'s Articles
Baidu academic
Similar articles in Baidu academic
[林昌龙]'s Articles
[刘开周]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[林昌龙]'s Articles
[刘开周]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: 基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究.pdf
Format: Adobe PDF
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.