This paper intends to clarify recent efforts proposed by the Berkeley school in order to give a formal semantics to the Ptolemy toolbox. We show that the proposed semantics is indeed a generalisation of a Kahn semantics based on tag systems. We make this proposal a precise one by showing for several Ptolemy domains what is the corresponding tag system and how operators can be defined. We first ...

We present a solution to a complex multi-tone transient detection problem to illustrate the integrated use of symbolic and numeric processing techniques which are supported by well-established underlying models. Examples of such models include synchronous dataflow for numeric processing and the blackboard paradigm for symbolic heuristic search. Our transient detection solution serves to emphasi...

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