| 查看: 358 | 回复: 2 | ||
[求助]
EI 检索报告求助
|
|
那位达人帮忙查下面文章的EI检索报告吧 An EFSM Approach to Software Design Based on the Supervisory Control Theory |
回复此楼» 猜你喜欢
河北省自然科学基金
已经有8人回复
-
西安交大新媒学院副院长用撤稿论文结题
已经有5人回复
-
论文撤稿了
已经有5人回复
-
某211大学教师把个人教师官方主页改成:我跑了我跑了我跑了!官宣跑路！
已经有5人回复
-
26/27申博自荐
已经有9人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.5.5.1.O.5.4,科目齐全,可+急
已经有7人回复
-
揭秘青基评审内幕：几个A才能顺利中标
已经有4人回复
-
青B发送上会通知了吗
已经有7人回复
-
博士申请
已经有3人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 求助号称EI和ISTP双检索的会议靠谱否
已经有6人回复
- ICEIM 2012国际会议求助
已经有8人回复
- 求助EI或ISTP检索收录的真伪？
已经有10人回复
- 求助ei检索号
已经有8人回复
- 被SCI和EI检索的论文从哪里可以下载【求助完结】
已经有10人回复
- 求助：中国情报研究所 能检索论文吗
已经有5人回复
- Applied Biochemistry and Biotechnology投稿求助
已经有9人回复
- 求助Ei核心和非核心检索！！！
已经有5人回复
- 材料工程投稿求助
已经有8人回复
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
3楼2012-12-07 15:54:18
10