Matches in SemOpenAlex for { <https://semopenalex.org/work/W957552051> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W957552051 endingPage "177" @default.
- W957552051 startingPage "162" @default.
- W957552051 abstract "Photonic signal processing is an emerging area of research, which provides unique prospects to build high-speed communication systems. Recent advancements in fabrication technology allow on-chip manufacturing of signal processing devices. This fact has lead to the widespread use of photonics in industrial critical applications such as telecommunication, biophotonics and aerospace. One the most challenging aspects in the photonics industry is the accurate modeling and analysis of photonic devices due to the complex nature of light and optical components. In this paper, we propose to use higher-order-logic theorem proving to improve the analysis accuracy by overcoming the known limitations of incompleteness and soundness of existing approaches (e.g., paper-and-pencil based proofs and simulation). In particular, we formalize the notion of transfer function using the signal-flow-graph theory which is the most fundamental step to model photonic circuits. Consequently, we formalize and verify the important properties of the stability and the resonance of photonic systems. In order to demonstrate the effectiveness of the proposed infrastructure, we present the formal analysis of a widely used double-coupler double-ring (DCDR) photonic processor." @default.
- W957552051 created "2016-06-24" @default.
- W957552051 creator A5007159598 @default.
- W957552051 creator A5036366006 @default.
- W957552051 creator A5084186424 @default.
- W957552051 date "2015-01-01" @default.
- W957552051 modified "2023-10-01" @default.
- W957552051 title "On the Formal Analysis of Photonic Signal Processing Systems" @default.
- W957552051 cites W117387719 @default.
- W957552051 cites W1497011154 @default.
- W957552051 cites W1498330459 @default.
- W957552051 cites W1639374501 @default.
- W957552051 cites W1955580075 @default.
- W957552051 cites W1967999030 @default.
- W957552051 cites W1981502496 @default.
- W957552051 cites W1996944629 @default.
- W957552051 cites W2006613475 @default.
- W957552051 cites W2010307518 @default.
- W957552051 cites W2035993665 @default.
- W957552051 cites W2047442037 @default.
- W957552051 cites W2085806398 @default.
- W957552051 cites W2107187911 @default.
- W957552051 cites W2162843658 @default.
- W957552051 cites W4243137359 @default.
- W957552051 cites W78768605 @default.
- W957552051 cites W957552051 @default.
- W957552051 doi "https://doi.org/10.1007/978-3-319-19458-5_11" @default.
- W957552051 hasPublicationYear "2015" @default.
- W957552051 type Work @default.
- W957552051 sameAs 957552051 @default.
- W957552051 citedByCount "4" @default.
- W957552051 countsByYear W9575520512015 @default.
- W957552051 countsByYear W9575520512017 @default.
- W957552051 countsByYear W9575520512020 @default.
- W957552051 crossrefType "book-chapter" @default.
- W957552051 hasAuthorship W957552051A5007159598 @default.
- W957552051 hasAuthorship W957552051A5036366006 @default.
- W957552051 hasAuthorship W957552051A5084186424 @default.
- W957552051 hasConcept C104267543 @default.
- W957552051 hasConcept C120665830 @default.
- W957552051 hasConcept C121332964 @default.
- W957552051 hasConcept C199360897 @default.
- W957552051 hasConcept C20788544 @default.
- W957552051 hasConcept C2779843651 @default.
- W957552051 hasConcept C41008148 @default.
- W957552051 hasConcept C75606506 @default.
- W957552051 hasConcept C84462506 @default.
- W957552051 hasConcept C9390403 @default.
- W957552051 hasConceptScore W957552051C104267543 @default.
- W957552051 hasConceptScore W957552051C120665830 @default.
- W957552051 hasConceptScore W957552051C121332964 @default.
- W957552051 hasConceptScore W957552051C199360897 @default.
- W957552051 hasConceptScore W957552051C20788544 @default.
- W957552051 hasConceptScore W957552051C2779843651 @default.
- W957552051 hasConceptScore W957552051C41008148 @default.
- W957552051 hasConceptScore W957552051C75606506 @default.
- W957552051 hasConceptScore W957552051C84462506 @default.
- W957552051 hasConceptScore W957552051C9390403 @default.
- W957552051 hasLocation W9575520511 @default.
- W957552051 hasOpenAccess W957552051 @default.
- W957552051 hasPrimaryLocation W9575520511 @default.
- W957552051 hasRelatedWork W1524361563 @default.
- W957552051 hasRelatedWork W1614816533 @default.
- W957552051 hasRelatedWork W1965722552 @default.
- W957552051 hasRelatedWork W1978252114 @default.
- W957552051 hasRelatedWork W2120530045 @default.
- W957552051 hasRelatedWork W2771699968 @default.
- W957552051 hasRelatedWork W3091844245 @default.
- W957552051 hasRelatedWork W3115976133 @default.
- W957552051 hasRelatedWork W3133765754 @default.
- W957552051 hasRelatedWork W3200663687 @default.
- W957552051 isParatext "false" @default.
- W957552051 isRetracted "false" @default.
- W957552051 magId "957552051" @default.
- W957552051 workType "book-chapter" @default.