| 查看: 322 | 回复: 2 | ||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | ||
[求助]
EI 检索报告求助
|
||
|
那位达人帮忙查下面文章的EI检索报告吧 An EFSM Approach to Software Design Based on the Supervisory Control Theory |
回复此楼» 猜你喜欢
26申博自荐
已经有6人回复
-
最近几年招的学生写论文不引自己组发的文章
已经有9人回复
-
带资进组求博导收留
已经有8人回复
-
A期刊撤稿
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 求助号称EI和ISTP双检索的会议靠谱否
已经有6人回复
- ICEIM 2012国际会议求助
已经有8人回复
- 求助EI或ISTP检索收录的真伪？
已经有10人回复
- 求助ei检索号
已经有8人回复
- 被SCI和EI检索的论文从哪里可以下载【求助完结】
已经有10人回复
- 求助：中国情报研究所 能检索论文吗
已经有5人回复
- Applied Biochemistry and Biotechnology投稿求助
已经有9人回复
- 求助Ei核心和非核心检索！！！
已经有5人回复
- 材料工程投稿求助
已经有8人回复
3楼2012-12-07 15:54:18
sunsmsmin
木虫 (正式写手)
- 应助: 3 (幼儿园)
- 金币: 3091.9
- 散金: 3024
- 红花: 2
- 帖子: 656
- 在线: 108.2小时
- 虫号: 420876
- 注册: 2007-07-14
- 性别: GG
- 专业: 管理科学与工程
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
wangxy-18: 金币+10, ★★★★★最佳答案 2012-12-07 15:42:54
静安jingan: 金币+1, 欢迎到会议交流！鼓励应助 2012-12-07 21:51:50
wangxy-18: 金币+10, ★★★★★最佳答案 2012-12-07 15:42:54
静安jingan: 金币+1, 欢迎到会议交流！鼓励应助 2012-12-07 21:51:50
|
Accession number: 20124715701156 Title: An EFSM approach to software design based on the supervisory control theory Authors: Wang, Xiang-Yun1 ; Cai, Kai-Yuan2 Author affiliation: 1 College of Computer and Information Engineering, Tianjin Normal University, Tianjin, China 2 Department of Automatic Control, Beihang University, Beijing, China Corresponding author: Wang, X.-Y. (jxwxy@mail.tjnu.edu.cn) Source title: Applied Mechanics and Materials Abbreviated source title: Appl. Mech. Mater. Volume: 198-199 Monograph title: Applied Mechanics, Mechatronics Automation and System Simulation Issue date: 2012 Publication year: 2012 Pages: 557-561 Language: English ISSN: 16609336 Document type: Conference article (CA) Conference name: 2012 International Applied Mechanics, MechatronicsAutomation and System Simulation Meeting, AMMASS 2012 Conference date: June 24, 2012 - June 26, 2012 Conference location: Hangzhou, China Conference code: 93226 Publisher: Trans Tech Publications, P.O. Box 1254, Clausthal-Zellerfeld, D-38670, Germany Abstract: The research of software design, based on the supervisory control theory, is an important content in software cybernetics. The existing software model used in the software design with the supervisory control theory is Polynomial Dynamic System (PDS), which is transformed from SIGNAL files. This obstructs its widespread application. Extended Finite State Machine (EFSM) model is widely applied in software engineering field and it may alleviate the state explosion problem of Finite State Machine (FSM) to some extent. In this paper, the EFSM model is suggested to study software design problem. This paper proposed two kinds of software design problems based on EFSM model. For the first problem, a necessary and sufficient condition for software existence is obtained. For the second problem, a necessary and sufficient condition for software existence and an optimal algorithm to such software design are presented. © (2012) Trans Tech Publications, Switzerland. Number of references: 6 Main heading: Software design Controlled terms: Automata theory - Computer aided software engineering - Control theory - Cybernetics - Discrete event simulation - Mathematical techniques Uncontrolled terms: EFSM model - Extended finite state machine - Extended finite state machine models - Optimal algorithm - Software cybernetics - Software model - State explosion problems - Sufficient conditions - Supervisory control - Supervisory control theory Classification code: 723 Computer Software, Data Handling and Applications - 731.1 Control Systems - 921 Mathematics DOI: 10.4028/www.scientific.net/AMM.198-199.557 Database: Compendex Compilation and indexing terms, © 2012 Elsevier Inc. |
2楼2012-12-07 15:07:25