Friezes with coefficients are maps assigning numbers to the edges and diagonals of a regular polygon such that all Ptolemy relations for crossing satisfied. Among these, classic Conway–Coxeter friezes ones where values positive integers have value 1. Every subpolygon frieze yields over integers. In this paper we give complete arithmetic criterion which appear as subpolygons friezes. This genera...

We show that the study of neutrino capture on tritium, for non-relativistic neutrinos, can allow to distinguish among various models, eventually prove quantum field theory condensation effects and permit test hypothesis according which flavor vacuum energy gives a contribution dark matter universe. Indeed, we rate depends model considered, it brings an imprint condensate. Experiments like PTOLE...

We take a pre-existing Statecharts model of a simple traffic light controller and re-implement it in Ptolemy II. This exercise reveals that Statecharts can be usefully conceptualized as a hierarchical combination of two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). Once conceptualized this way, we can add additional MoCs to the mix. We illust...

Actor-oriented languages provide a component composition methodology that emphasizes concurrency. The interfaces to actors are parameters and ports (vs. members and methods in object-oriented languages). Actors interact with one another through their ports via a messaging schema that can follow any of several concurrent semantics (vs. procedure calls, with prevail in OO languages). Domain-speci...

The ubiquity of multicore processors nowadays allows for increased performance in applications that are parallelizable. We focus on achieving high performance for a class of data parallel applications which have a static schedule of actor firings. These applications can be run efficiently in parallel and correctly if the actors are stateless. We present a new execution model based on multiplexi...

In this paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for iteratable models with a generic user interface allows the tool smith to provide arbitrary execution and visualization engine implementations for his or her Domain Specific Language (DSL). Second, as a c...

Complex control systems are heterogeneous, in the sense of discrete computer-based controllers interacting with continuous physical plants, regular data sampling interleaving with usually irregular communication and user interaction, and multilayer and multimode control laws. This heterogeneity imposes great challenges for control system design technologies in terms of end-to-end control perfor...