This paper describes a mathematical model for all path length parameters (APL: Average Path Length, LPL: Longest Path Length, and SPL: Shortest Path Length) of Binary Decision Diagrams (BDDs). The proposed model is based on an empirical analysis of randomly generated Boolean functions. The formal core of the developed model is a unique equation for the path-related objective functions over the ...

To generate parallel contour path for direct production of complicated cavity component, a novel path planning based on Voronoi-based distance map is presented in this paper. Firstly, the grid representation of polygonal slice is produced by hierarchical rasterization using graphics hardware acceleration and divided into Voronoi cells of contour by an exact EDT (Euclidean distance transformatio...

critical path method (cpm) is one of the most popular techniques used by construction practitioners for construction project scheduling since the 1950s. despite its popularity, cpm has a major shortcoming, as it is schedule based on two impractical acceptance that the project deadline is not bounded and that resources are unlimited. the analytical competency and computing capability of cpm thus...

This paper studies the multiplicatively weighted crystal-growth Voronoi diagram, which describes the partition of the plane into crystals with different growth speeds. This type of the Voronoi diagram is defined, and its basic properties are investigated. The analytic equation describing the boundary curve is given for a simple case. For the general case, an approximation algorithm is proposed....

The phase diagram of water has been calculated from the TIP4PQ/2005 model, an empirical rigid non-polarisable model. The path integral Monte Carlo technique was used, permitting the incorporation of nuclear quantum effects. The coexistence lines were traced out using the Gibbs–Duhem integration method, once having calculated the free energies of the liquid and solid phases in the quantum limit,...

The phase diagram of water has been calculated from the TIP4PQ/2005 model, an empirical rigid non-polarisable model. The path integral Monte Carlo technique was used, permitting the incorporation of nuclear quantum effects. The coexistence lines were traced out using the Gibbs-Duhem integration method, once having calculated the free energies of the liquid and solid phases in the quantum limit,...

Introduction Rivers are one of the most important water resources and it is very important to study their water quality. Therefore, in this study, sampling was done from 15 permanent waterway stations of Pirbadush and Gashun of Qolyan River in Lorestan province, which are located in the path of oil shales.   Materials and Methods  Hydro-geochemical parameters were calculated by analyzing t...

We study dynamical systems acting on the path space of a stationary (non-simple) Bratteli diagram. For such systems we explicitly describe all ergodic probability measures invariant with respect to the tail equivalence relation (or the Vershik map). These measures are completely described by the incidence matrix of the diagram. Since such diagrams correspond to substitution dynamical systems, t...