The Unknown Component Problem 2024 pdf epub mobi 電子書 下載


The Unknown Component Problem

簡體網頁||繁體網頁

The Unknown Component Problem pdf epub mobi 著者簡介


The Unknown Component Problem pdf epub mobi 圖書描述

Consider the problem of designing a component that combined with a known part of a system, called the context, conforms to a given overall specification. This question arises in several applications ranging from logic synthesis to the design of discrete controllers. We cast the problem as solving abstract equations over languages and study the most general (largest) solutions under the synchronous and parallel composition operators. We also specialize such equations to languages associated with important classes of automata used for modeling systems, e.g., regular languages as counterparts of finite automata, FSM languages as counterparts of FSMs. Then we operate algorithmically on those languages through their automata and study how to solve effectively their language equations. We investigate the largest subsets of solutions closed with respect to various language properties; in particular, classes of the largest compositional solutions (defined by properties exhibited by the composition of the solution and of the context). We provide the first algorithm to compute the largest compositionally progressive solution of synchronous equations. This approach unifies in a seamless frame previously reported techniques. As an application we solve the classical problem of synthesizing a converter between a mismatched pair of protocols, using their specifications, as well as those of the channel and the required service. We provide a detailed account of previous approaches developed in different scientific communities, including contributions from design automation of sequential circuits to discrete eventsystems modeling and synthesis.

The Unknown Component Problem 2024 pdf epub mobi 電子書 下載

The Unknown Component Problem pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-29

The Unknown Component Problem 2024 pdf epub mobi 電子書 下載

The Unknown Component Problem 2024 pdf epub mobi 電子書 下載

The Unknown Component Problem 2024 pdf epub mobi 電子書 下載



喜欢 The Unknown Component Problem 電子書 的读者还喜欢


The Unknown Component Problem pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:Springer
作者:Tiziano Villa
出品人:
頁數:328
譯者:
出版時間:2007-12
價格:USD 109.00
裝幀:Hardcover
isbn號碼:9780387345321
叢書系列:

圖書標籤:  


The Unknown Component Problem 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

The Unknown Component Problem pdf epub mobi 用戶評價

評分

評分

評分

評分

評分

The Unknown Component Problem 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有