English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 55215/89514 (62%)
造访人次 : 10717179      在线人数 : 38
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻


    jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95835


    题名: 並行式/分散式系統規格與時間派翠網路模式的整合 Integration of Specification for Concurrent/Distributed Systems and Timed Petri Nets
    作者: 陳伯榮;李文禮;薛美惠
    贡献者: 淡江大學資訊工程學系
    关键词: 派曲網;平行性;同步化;不確定性;設計規格;時間派曲網;Petri Net;Concurrency;Synchronization;Nondeterminism;Design Specification;Timed Petri Net
    日期: 1995-10
    上传时间: 2014-02-13
    摘要: 眾所皆知,平行性(Concurrency),同步(Synchronization)和不確定性(Nondeterminism),導致並行式/分散式系統的行為非常複雜。唯用利用形式化規格說明語言(Formal specification language)來設計規劃,才能使系統正確的發展與運作。 針對目前由問題設計規格說明(Design specification)進而發展並行式或分散式系統(Concurrent/Distributed Systems)的相關演算法所遇到的幾個困難: (1)驗證安全及存活(Safety & Liveness)行為特性(Behavior properties)的過程中,扮演著重要角色的永不變特性(Invariants)較難尋找。 (2)無法探索分析非行為特性(Non- behavior properties)如平均反應時間(Average response time)。 我們提出了一個輔助系統,此系統將問題規格自動轉換成時間派翠網路(Timed Petri nets)模式,然後藉其相對的派翠網路(Petri nets)做結構特性分析(Structural property analysis)以尋找永不變特性。此外可利用時間派翠網路的分析解方法來探討非行為特性。
    關聯: 第一屆電腦與通信技術研討會論文集=Proceedings of the First Symposium on Computer and Communication Technology,頁89-94
    显示于类别:[資訊工程學系暨研究所] 會議論文

    文件中的档案:

    档案 大小格式浏览次数
    並行式/分散式系統規格與時間派翠網路模式的整合_中文摘要.docx20KbMicrosoft Word111检视/开启

    在機構典藏中所有的数据项都受到原著作权保护.

    TAIR相关文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回馈