Weinanalyse

Ohne Zusammenfassung     

Determination of Soot Particle Size in a Premixed Flame: a Static and Dynamic Light Scattering Study

In this contribution we report upon our static and dynamic light scattering experiments to characterize soot particles in flames. We studied sooting laminar premixed flame with acetylene as fuel mixed with air as oxidizer. The air equivalence ratio of the combustion was larger than one. We used a Kaskan type burner with circular geometry and a stabilizing flow of nitrogen around the flame. We focused on the determination of the size of the soot particles in the center of the flame as a function of height above burner. In addition we investigated the influence of the mixing ratio of the gases on the size of the particles. Our results show that static light scattering is better suited than dynamic light scattering for a fast and reliable characterization of soot particles in flames. The latter needs detailed a priori information about the flame to allow the unique determination of sizes from the diffusion measurements. The soot particles grow monotonously with height above burner and with decreasing air equivalence ratio. The aggregates have a fractal dimension lower than two.     

Proof complexity of propositional default logic

Default logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen??s system LK. Hence proving lower bounds for credulous reasoning will be as hard as proving lower bounds for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti??s enhanced calculus for skeptical default reasoning.