Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation....Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the parallelism of the target hardware as a compilation step. In this paper) we present an optimizillg compilation technique called granularity analysis which identi fies and removes excess parallelism that would degrade performance. The main steps are: an analysis of the flow of data to form an attributed call graph between function (or predicate) arguments; and an asymptotic estimation of granularity of a function (or predicate) to generate approximate grain size. Compiled procedure calls can be annotated with grain size and a task scheduler can make scheduling decisions with the classilication scheme of grains to control parallelism at runtime. The resulting granularity analysis scheme is suitable for exploiting adaptive parallelism of declarative programming languages on multiprocessors.展开更多
Previous experimental investigations have shown that when a narrow pipe is inserted into a granular bed and is vibrated vertically but the granular bed is kept still, the grains in the bed can enter the pipe and rise ...Previous experimental investigations have shown that when a narrow pipe is inserted into a granular bed and is vibrated vertically but the granular bed is kept still, the grains in the bed can enter the pipe and rise against gravity along the pipe and finally stabilized at a certain height. The growth velocity and final stable height of the grain column inside the pipe can be controlled by varying the vibration conditions. In this paper, we discuss those experimental findings. We establish a mathematic relation between the grain column height(h) and time(t), and by using the relation we discuss the change of the growth velocity( dh/ dt) and acceleration( d^2h/ dt^2) with t and h, respectively. We also analyze the mechanism of the rising motion of the grains during vibration. Furthermore, we derive a theoretical expression for describing the final stable height(h st), which shows that the main factors influencing the height are vibration strength(Γ), bulk density of grains,inner diameter of the pipe, and vibration frequency, and that h st increases nonlinearly in the presence of air and linearly in a vacuum environment with increasing Γ.展开更多
The article presents an effort to create dimensionless scaling correlations of the overall bed porosity in the case of magnetically assisted fluidization in a tapered vessel with external transverse magnetic field. Th...The article presents an effort to create dimensionless scaling correlations of the overall bed porosity in the case of magnetically assisted fluidization in a tapered vessel with external transverse magnetic field. This is a stand of portion of new branch in the magnetically assisted fluidization recently created concerning employment of tapered vessels. Dimensional analysis based on "pressure transform" of the initial set of variables and involving the magnetic granular Bond number has been applied to develop scaling relationships of dimensionless groups representing ratios of pressures created by the fluid flow, gravity and the magnetic field over an elementary volume of the fluidized bed. Special attention has been paid on the existing data correlations developed for non-magnetic beds and the links to the new ones especially developed for tapered magnetic counterparts. A special dimensionless variable Xp = (Ar△Dbt)1/3√RgMQ combining Archimedes and Rosensweig numbers has been conceived for porosity correlation. Data correlations have been performed by power-law, exponential decay and asymptotic functions with analysis of their adequacies and accuracies of approximation.展开更多
文摘Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the parallelism of the target hardware as a compilation step. In this paper) we present an optimizillg compilation technique called granularity analysis which identi fies and removes excess parallelism that would degrade performance. The main steps are: an analysis of the flow of data to form an attributed call graph between function (or predicate) arguments; and an asymptotic estimation of granularity of a function (or predicate) to generate approximate grain size. Compiled procedure calls can be annotated with grain size and a task scheduler can make scheduling decisions with the classilication scheme of grains to control parallelism at runtime. The resulting granularity analysis scheme is suitable for exploiting adaptive parallelism of declarative programming languages on multiprocessors.
文摘Previous experimental investigations have shown that when a narrow pipe is inserted into a granular bed and is vibrated vertically but the granular bed is kept still, the grains in the bed can enter the pipe and rise against gravity along the pipe and finally stabilized at a certain height. The growth velocity and final stable height of the grain column inside the pipe can be controlled by varying the vibration conditions. In this paper, we discuss those experimental findings. We establish a mathematic relation between the grain column height(h) and time(t), and by using the relation we discuss the change of the growth velocity( dh/ dt) and acceleration( d^2h/ dt^2) with t and h, respectively. We also analyze the mechanism of the rising motion of the grains during vibration. Furthermore, we derive a theoretical expression for describing the final stable height(h st), which shows that the main factors influencing the height are vibration strength(Γ), bulk density of grains,inner diameter of the pipe, and vibration frequency, and that h st increases nonlinearly in the presence of air and linearly in a vacuum environment with increasing Γ.
文摘The article presents an effort to create dimensionless scaling correlations of the overall bed porosity in the case of magnetically assisted fluidization in a tapered vessel with external transverse magnetic field. This is a stand of portion of new branch in the magnetically assisted fluidization recently created concerning employment of tapered vessels. Dimensional analysis based on "pressure transform" of the initial set of variables and involving the magnetic granular Bond number has been applied to develop scaling relationships of dimensionless groups representing ratios of pressures created by the fluid flow, gravity and the magnetic field over an elementary volume of the fluidized bed. Special attention has been paid on the existing data correlations developed for non-magnetic beds and the links to the new ones especially developed for tapered magnetic counterparts. A special dimensionless variable Xp = (Ar△Dbt)1/3√RgMQ combining Archimedes and Rosensweig numbers has been conceived for porosity correlation. Data correlations have been performed by power-law, exponential decay and asymptotic functions with analysis of their adequacies and accuracies of approximation.