Abstract In the presence of interactions between neutrinos and dark matter (DM), DM can potentially be produced via freeze-in from neutrino sector. We investigate implications such a scenario for evolution both in early Universe, show that future cosmic detection experiment PTOLEMY might sensitive to signals originate annihilation this model.

This paper presents a design framework for wearable electronic textiles. The focus is on the design and simulation issues that arise from the interaction of the electronic textile, the human body, and the environment. To assist in design choices within this framework, a simulation environment is described that uses Ptolemy II to integrate models of the physical environment, human locomotion, se...

Including semantic information in models helps to expose modeling errors early in the design process, engage a designer in a deeper understanding of the model, and standardize concepts and terminology across a development team. It is impractical, however, for model builders to manually annotate every modeling element with semantic properties. This paper demonstrates a correct, scalable and auto...

This paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation environments we chose the black-box MATLAB/Simulink product and the open-source project Ptolemy II. The paper first sketches the modeling of LET-based c...

Implicit invocation (II) and aspect-oriented (AO) languages provide software designers with related but distinct mechanisms and strategies for decomposing programs into modules and composing modules into systems. II languages have explicitly announced events that run registered observer methods. AO languages have implicitly announced events that run method-like but more powerful advice. A limit...

Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that run registered observer methods. AO languages have implicitly announced events that run method-like but more powerful advice. A limitation of II languages is their inability to refer to a large set of events succinctly...

It is known that a knot complement (minus two points) decomposes into ideal octahedra with respect to given diagram. In this paper, we study the Ptolemy variety for such an octahedral decomposition in perspective of Thurston's gluing equation variety. More precisely, compute explicit coordinates terms segment and region variables, motivated from volume conjecture. As consequence, present formul...

Modern embedded computing systems tend to be heterogeneous in the sense of being composed of subsystems with very different characteristics, that communicate and interact in a variety of ways—synchronous or asynchronous, buffered or unbuffered, etc. Obviously, when designing such systems, a modeling language needs to reflect this heterogeneity. Today’s modeling environments usually offer a vari...

Abstract We develop a string-net construction for the (2,1)-dimensional part of G -equivariant three-dimensional topological field theory based on -graded spherical fusion category. In this construction, generalization Ptolemy groupoid enters. compute associated cylinder categories and show that, as expected, model is closely related to Turaev–Viro theory.

In this paper, we show how a clear separation between control and data processing in reactive applications increases the range of application of the proof tools of the synchronous reactive model and of the reuse mechanism of the object-oriented approach. We present an approach and some tools that allow this separation in the Ptolemy framework.