Learn More
The major purpose of this paper is to introduce a general theory within which previous boundary representations (Breps) are a special case. Basically, this theory combines sub-analyt,ic geometry and theory of stratifications. The sub-analyt,ic geometry covers almost, all geometric engineering artefacts, and it is a generalisation of the semi-analytic(More)
Telecommunication companies believe that the video-on-demand market will expand heavily in the near future. The service providers are interested in the deployment of video-on-demand (VoD) systems with large numbers of videos. As the number of videos and customers increases at a VoD system, two problems are faced. The first problem is the manual video(More)
A minimum connected dominating set (MCDS) offers an optimized way of sending messages in wireless networks. However, constructing a MCDS is a NP-complete problem. Many heuristics based approximation algorithms for MCDS problems have been previously reported. In this paper, we propose a new degree-based multiple leaders initiated greedy approximation(More)
This paper is concerned with the mathematics and formal specification of “set-like” operations for the mixed dimension cellular objects of the Djinn Application Programming Interface. The relationships between these operations and stratifications of dimensionally heterogeneous semianalytic point-sets are uncovered and formalised. Semianalytic geometry is(More)
This paper describes a formal method for checking the equivalence between the finite state machine with data path (FSMD) model of the high-level behavioural specification and the FSMD model of the behaviour transformed by the scheduler. The method consists in introducing cutpoints in one FSMD, visualizing its computations as concatenation of paths from(More)
This paper provides a rationale for its abstract data definitions of geometric features. These definitions are used as the basis of a suite of functions to support feature modelling. It assumes that implementations of the proposed functions will make use of a solid modelling kernel that supports objects with a disjoint cellular structure and persistent cell(More)