نتایج جستجو برای: ptolemy constant

تعداد نتایج: 218591  

2013
Janette Cardoso Patricia Derler John C. Eidson Edward A. Lee Slobodan Matic Yang Zhao Jia Zou

This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Permissions beyond t...

Journal: :Kodai Mathematical Journal 2021

In this note, we show that the sets of all stable commutator lengths in braided Ptolemy-Thompson groups are equal to non-negative rational numbers.

2004
Yang Zhao Thomas H. Feng

In this paper, we offer an overview of distributed model execution with Ptolemy. Our discussion focuses on the Process Network domain, while the platform that we propose is domain-independent. Components such as DNS and PtAgents are introduced as separate processes in addition to Ptolemy with models running in it. They provide services important to the execution of the system, such as dynamic n...

1991
Joseph Buck Soonhoi Ha Edward A. Lee David G. Messerschmitt

Ptolemy is a flexible and extensible platform for simulations, rapid prototyping, and other software systems. It is our third generation software environment, building on our experience with Blosim, a signal processing simulation system, and Gabriel, a prototyping environment for real-time signal processing. Unlike its predecessors, Ptolemy does not enforce a single simulation or execution mode...

Journal: :Transactions of the American Mathematical Society 2011

2013
Neil Smyth John S. Davis Thomas Huining Feng Mudit Goel Edward A. Lee Thomas M. Parks Yang Zhao

This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Permissions beyond t...

2010
Edward A. Lee Stavros Tripakis

Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation to be composed hierarchically in an arbitrary fashion. This paper describes modal models, which allow to hierarchically compose finite-state machines with other models of computation, both untimed and timed. The semantics of modal ...

1992
Ross Ortega

Event-driven simulators are an eeective way to behaviorally describe a system. Timing constraints are also an important component of a system description. Ptolemy, a powerful graphical simulation framework, provides an event-driven environment. OESIM, a text-based event-driven simulator, provides support for timing constraints. This paper describes a new Ptolemy environment, based on the existi...

1999
Jie Liu Xiaojun Liu Tak-Kuen J. Koo Bruno Sinopoli Shankar Sastry Edward A. Lee

This paper presents a hierarchical hybrid system modeling and simulation framework using the Ptolemy I1 environment. Ptolemy I1 is a system-level design tool that supports the integration of multiple models of computation. The modeling of hierarchical hybrid systems is achieved by combining continuous-time models with finite state automata. Breakpoint handling, event detection and invariant mon...

2011
Remi Barrere Eric Lenormand Dai Bui Edward A. Lee Christopher Shaver Stavros Tripakis Rémi Barrère Edward Lee Chris Shaver

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید