| 查看: 412 | 回复: 2 | |||
[求助]
EI 检索报告求助
|
|
那位达人帮忙查下面文章的EI检索报告吧 An EFSM Approach to Software Design Based on the Supervisory Control Theory |
回复此楼» 猜你喜欢
有多少人是今天查系统知道结果的？
已经有19人回复
-
国社科又开始会评了，不知道这次命运如何
已经有9人回复
-
能否申诉？
已经有5人回复
-
为什么到现在没收到通知？
已经有5人回复
-
有没有仍没收到信息的
已经有8人回复
-
面上意见出来了
已经有18人回复
-
找导师
已经有7人回复
-
29号明天会评吗
已经有3人回复
-
麻烦专家们看看评委们的意见（F口面上）
已经有11人回复
-
我就是申请一个面上项目而已，这评审意见是按照杰青的条件评的吧？
已经有11人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 求助号称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.3小时
- 虫号: 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