Topology-based geometric modeling tackles the issue of representing objects with data structures that encode topological subdivision modeled in vertices, edges, faces, and volumes. Such subdivisions can be represented graphs labeled by dimensions on arcs, while operations used to edit formalized as graph transformations. Among existing models, we consider generalized oriented maps, defined cons...

This paper is a sequel to [12]. We are here concerned with properties of theories in full first-order intuitionistic logic; the latter correspond under the identification of theories with categories provided by categorical logic (cf. [8] or [ 1 l]), to Heyting pretoposes, i.e. pretoposes with universal quantification of subobjects along morphisms. Using the lattice-theoretic machinery developed...

The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not account for these agent-speci4c aspects. Therefore, dedicated techniques for agent-oriented modeling are required which are based on the concepts and notations of object-oriented modeling and extend these in order to su...

Plain ATM (Asynchronous Transfer Mode) has poor performance in case of Data transmission. In order to improve its performance many Buffer Management Mechanisms have been proposed, e.g. push-out. The aim of this paper is to propose improved approach to push-out based on the analysis of various packet discard policies, and create a simulation model in GPSS (General Purpose Simulation System) in o...

The liquid fuel breakup mechanism in spray injection with ambient air for diesel and biodiesel at different temperatures is studied numerically. We find that type low temperature induces more entrainment volume to the boundary of than higher temperature. Meanwhile, normalized parcel density 12% larger peaks a shorter distance along line from point (42 vs. 46 mm). Biodiesel demonstrates maximum ...