跳到主要內容

臺灣博碩士論文加值系統

(44.212.99.208) 您好!臺灣時間:2024/04/17 19:41
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:蔡佳霖
研究生(外文):Chia-Lin Tsai
論文名稱:嵌入式及時反應系統之描述與模擬
論文名稱(外文):The Specification and Simulation of Real-time Embedded Systems
指導教授:潘泰吉
指導教授(外文):Tai-Jei Pan
學位類別:碩士
校院名稱:大同工學院
系所名稱:資訊工程研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:1993
畢業學年度:81
語文別:英文
論文頁數:56
中文關鍵詞:嵌入式及時反應系統派氏圖模組的時間性環境/關係圖
外文關鍵詞:Real-time Embedded SystemsPetri NetsModular Time Environment/
相關次數:
  • 被引用被引用:0
  • 點閱點閱:135
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:1
當及時反應系統愈來愈形複雜時,由於工具的缺乏,設計此類型的系統也
將更加的困難。派氏圖是設計共時系統的一種常用的工具,但是其對於時
間限制的表達能力卻有所不足,而且非常難以分析一個大型的模型。本篇
研究提出一種新的方法採用模組的時間性環境/關係圖來描述嵌入式及時
反應系統。此方法和古典的派氏圖比較起來,有兩個優點:此新的方法比
較容易懂,並且它在表達時間限制時較其它方法強。以下的研究主要在提
出理論上的的定義和模擬程式的發展兩方面。這個新提出的方法能被應用
在很多方面,諸如電信系統和分散式控制系統。本文使用了一個有關電話
交換機控制系統的例子來展示本方法的優點。

As real-time systems grow more and more complex in structure,
designing such systems will become even more difficult due to
lack of tools that facilitate this design. Petri nets are
common tools for modeling concurrent systems, but their ability
to handle timing constraints is obviously insufficient and the
analysis procedure is usually hard to carry out. This research
proposes a new method of sepcifying real-time embedded systems
by using Modular Time Environment/Relationship (MTER) nets
which are based on Time Environment/Relationship (TER) nets.
The concept of MTER nets is first introduced here. In constrat
to classical Petri nets, the MTER net is a better tool for two
reasons: It is easier to understand because of its modularity,
and besides, it is more powerful in handling timing constraints
than any other extended Petri nets. The underlying research
focuses on two main aspects including the theoretic framework
of MTER nets and the development of simulation programs for
system design validation. The developed modeling method can be
applied to many applications such as telecommunications and
distributed control systems. An example of call control in a
key-phone system is provided to show the capability of the
proposed method.

QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top