Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata

International audienceWe study the problem of whether regular expressions for nested words can be compiled to small deterministic nested word au-tomata (NWAs). In theory, we obtain a positive answer for small deter-ministic regular expressions for nested words. In practice of navigational path queries, nondeterministic NWAs are obtained for which NWA de-terminization explodes. We show that practical good solutions can be obtained by using stepwise hedge automata as intermediates

Parametric Identification of Temporal Properties

Given a dense-time real-valued signal and a parameterized temporal logic formula with both magnitude and timing parameters, we compute the subset of the parameter space that renders the formula satisfied by the trace. We provide two preliminary implementations, one which follows the exact semantics and attempts to compute the validity domain by quantifier elimination in linear arithmetics and one which conducts adaptive search in the parameter space

Pathway and kinetic analysis on the iso-propyl radical + O{sub 2} reaction system

We analyze the isopropyl + 02 reaction system using thermochemical Transition State Theory (TST), molecular thermodynamic properties, analysis (quantum RRK) for k(E) and modified strong collision analyze Cyclic transition states for both hydrogen transfer and concerted propylene from isopropylperoxy are calculated using semi-empirical theory in addition to transition states for H02 elimination from hydroperoxy-isopropyl. Computed rate constants are compared to constant measurements of for isopropyl + H02

The reaction of hydroperoxy-propyl radicals with molecular oxygen

Addition of hydroperoxy-alkyl radicals to molecular oxygen leads to chain branching in autoignition and engine knock, and in low temperature oxidation of paraffins. Rate constants and product channels for reaction of hydroperoxy-propyl radicals with O{sub 2} are estimated using thermodynamic properties, bimolecular quantum Kassel analysis and transition state theory. Thermochemistry of relevant molecules and radicals is estimated using group additivity and bond dissociation groups for radicals. Results show that rates of the hydroperoxy-propyl radical addition to O{sub 2} are near their high pressure limits at {ge} 1 atm. Main products at 1--15 atm are stabilization, reverse reaction to hydroperoxy-propyl + O{sub 2} and alkyl carbonyl + OH. Reactions of the stabilized adducts, dissociation rates and product channels are estimated using unimolecular quantum Kassel analysis, because stabilization is the most important hydroperoxy-propyl radical + O{sub 2} product channel. Below 700 K, the stabilized peroxy adducts react primarily to hydroperoxy-carbonyl + OH, products which lead to chain branching. Above 700K, the stabilized peroxy adducts react primarily to hydroperoxy-propyl radical + O{sub 2}, initial reactants, which inhibits the overall oxidation. This switchover in channels correlates well observed negative temperature coefficient behavior for propane oxidation. Rate expressions for reaction of each of the three hydroperoxy-alkyl isomers with O{sub 2} and for dissociation of the associated stabilized adducts are calculated for a series of pressures at 300--2100K

Vývoj solární střešní tašky s vnitřním chlazením

Tento článek se zabývá vývojem střešní tašky s integrovaným solárním panelem. Tento panel je ochlazován s ohledem na maximalizaci účinnosti. Rozměry tašky jsou podle obecně používané střešní tašky. Plastová solární taška může nahradit běžnou střešní krytinu. Návrh byl ověřen pomocí tepelných simulací a simulací toku v softwaru NX Nastran. Tato řešení FEM byla ověřena měřením na prototypu. Výstupem tohoto výzkumu je prototyp z plastu. Tento materiál byl vybrán z důvodu rychlé a levné výrobyThis paper deals with the development of the roof tile with the integrated solar panel. This panel is cooled down with respect to maximizing of the effectivity. Dimensions of the tile are according generally used roof tile. Plastic solar tile can replace the regular one. The design of the tile was validated by usage of thermal simulations and flow simulations in NX Nastran software. These FEM solutions were validated by the measurement on the prototype. The output of this research is prototype from plastic material. This material was selected because of the fast and cheap production