We discuss the problem of reflection light on spherical and quadric surface mirrors. In case mirrors, this is known as Alhazen problem. For mirror problem, we focus property an ellipse show that catacaustic curve unit circle follows naturally from equation obtained ellipse. Moreover, provide algebraic solves Alhazen's for

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...