Generalized model of blockage in particulate flow limited by channel carrying capacity

We investigate stochastic models of particles entering a channel with a random time distribution. When the number of particles present in the channel exceeds a critical value $N$, a blockage occurs and the particle flux is definitively interrupted. By introducing an integral representation of the $n$ particle survival probabilities, we obtain exact expressions for the survival probability, the distribution of the number of particles that pass before failure, the instantaneous flux of exiting particle and their time correlation. We generalize previous results for $N=2$ to an arbitrary distribution of entry times and obtain new, exact solutions for $N=3$ for a Poisson distribution and partial results for $N\ge 4$.Comment: 13 pages, 9 figure

The relation of wall construction to moisture accumulation in fill-type insulation

The investigation reported herewith was confined to a consideration of factors which enter into the problem of moisture accumulation in insulated and uninsulated walls, with particular reference to fill-type insulation. Both analytical and experimental methods were employed. In the analytical study, the relation which must exist among the principal factors when no moisture accumulation takes place was evaluated. The results of the study show that the water permeability of the cold side of the wall must be many times that of. the warm side to avoid moisture accumulation, even under ordinary conditions

Experimental study of granular surface flows via a fast camera: a continuous description

Depth averaged conservation equations are written for granular surface flows. Their application to the study of steady surface flows in a rotating drum allows to find experimentally the constitutive relations needed to close these equations from measurements of the velocity profile in the flowing layer at the center of the drum and from the flowing layer thickness and the static/flowing boundary profiles. The velocity varies linearly with depth, with a gradient independent of both the flowing layer thickness and the static/flowing boundary local slope. The first two closure relations relating the flow rate and the momentum flux to the flowing layer thickness and the slope are then deduced. Measurements of the profile of the flowing layer thickness and the static/flowing boundary in the whole drum explicitly give the last relation concerning the force acting on the flowing layer. Finally, these closure relations are compared to existing continuous models of surface flows.Comment: 20 pages, 11 figures, submitted to Phys. FLuid

Two-dimensional pseudo-gravity model: particles motion in a non-potential singular force field

We analyze a simple macroscopic model describing the evolution of a cloud of particles confined in a magneto-optical trap. The behavior of the particles is mainly driven by self-consistent attractive forces. In contrast to the standard model of gravitational forces, the force field does not result from a potential; moreover, the nonlinear coupling is more singular than the coupling based on the Poisson equation. We establish the existence of solutions under a suitable smallness condition on the total mass or, equivalently, for a sufficiently large diffusion coefficient. When a symmetry assumption is fulfilled, the solutions satisfy strengthened estimates (exponential moments). We also investigate the convergence of the $N$-particles description towards the PDE system in the mean field regime

Masonry barn design and construction

In 1913 an investigation was begun with the object of developing an all masonry barn which could be constructed at a reasonable cost and yet have the advantages of permanent and fire resistant construction. The studies which have been conducted pertain chiefly to the roof structure, with particular emphasis on the method of construction. In addition to a number of design studies, models of roof sections were built to develop a method of roof construction. Strength tests were made on roof models to check the reliability of the designs. The information obtained served as the basis of the design and method of constructing an experimental barn, which was built at Iowa State College in 1926-27. Common overall dimensions and a desirable roof shape were established to make the roof forms usable for a number of barns; wind load assumptions were adapted from reliable wind pressure investigations to permit a more intelligent and efficient roof design. The results of the design studies, construction and tests on models and roof sections, and the construction of the experimental barn, together with other related experiences, seem to warrant the following general conclusions: 1. The masonry arch is a very stable type of roof structure as shown by the tests on sections, which check closely the design calculations. 2. The construction of the roof is difficult and involves a large amount of labor because of: a. The use of heavy steel forms to carry a large part of the roof weight. b. The manipulation of the forms in erection, moving, dismantling and transporting. c. The handling and placing of roof materials. 3. The additional cost of the roof over a wood frame type construction is due. not so much to the cost of materials, as to the cost of the unproductive labor in handling the materials and in manipulation of the steel forms. The overhead cost of the forms becomes a large item in the first cost if they are used for only one or a few barns. 4. Experiments in the methods of making a roof watertight have not as yet indicated an entirely successful method. A heavy fibered asphalt has been found the best of the waterproof coatings which have been used. Leaks appear to be due to slight openings in the joints and to the development of fine cracks. 5. The construction of the roof should be directed by one . who is familiar with masonry construction. 6. A roof with a span of 34 ft. and a height of 20 ft. provides enough storage space for most conditions

What determines the length of life of prepared roll roofings?

The length of life of prepared roll roofings is a prime consideration in their selection. The durability of the various brands of roofing on the market varies widely. The useful life of a roof made of roll roofing is influenced by the degree of exposure to the weathering agencies, the condition of the sheathing and the inherent qualities of the roofing material itself. This bulletin is a summary of the results of an investigation, conducted cooperatively by the Agricultural and Engineering Experiment Stations, to determine the quality factors of three-ply prepared roll roofings as they were sold on the market at the beginning of the project in 1913. One roll or square of each of 35 brands of prepared roll roofing which were made by 19 manufacturers was purchased on the open market and included in the experiment. This provided sufficient material for one strip to be placed on the shed for weathering tests and enough additional for laboratory tests. Table I presents some general information and data of the physical qualities of the roofing sample. A review of literature on the subject reveals little work directly comparable with that given here other than the development of testing methods and specifications for prepared roll roofings

Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic with aggregating modalities, over large execution traces. The algorithm exploits the structure of the formula to parallelize the evaluation, with a significant gain in time. We report on the assessment of the implementation - based on the Hadoop framework - of the proposed algorithm and comment on its scalability.Comment: 16 pages, 6 figures, Extended version of the SEFM 2014 pape