Brno University of Technology

About: Brno University of Technology is a education organization based out in Brno, Czechia. It is known for research contribution in the topics: Computer science & Fracture mechanics. The organization has 6339 authors who have published 15226 publications receiving 194088 citations. The organization is also known as: Vysoké učení technické v Brně & BUT.

Air pollution terrain nexus: A review considering energy generation and consumption

Abstract: Air pollution caused by energy generation and consumption is both a global as well as localised issue. It contributes to global warming along with degradation in human health, ecosystem health, local and global sustainable development. About 75% of the global GHG emissions, 66% of NOx emissions and most of the PM emissions are from energy sectors. Energy sectors have also been reported as the main contributors (90%) of SO2 emission in China. Among various influential factors (like energy utilisation, the intensity of economic activities, climatic conditions), the terrain is one of the key elements for the formation and dispersion of air pollution. The relationship between air pollution and terrain requires to be more deeply studied. The main contributions of this review include: 1) Summarising the main sources and types of air pollutants as well as the emission characteristics of different sector groups; 2) Proposing the mechanism of air pollution terrain nexus; 3) Reviewing modelling and experiments approaches for air pollution terrain nexus simulation; 4) Highlighting the existing limitations and challenges. This review provides a better understanding of the air pollution terrain nexus. It can contribute to mitigating the air pollution problems.

Advanced Ramsey-based Büchi automata inclusion testing

Abstract: Checking language inclusion between two nondeterministic Buchi automata A and B is computationally hard (PSPACE-complete). However, several approaches which are efficient in many practical cases have been proposed. We build on one of these, which is known as the Ramsey-based approach. It has recently been shown that the basic Ramsey-based approach can be drastically optimized by using powerful subsumption techniques, which allow one to prune the search-space when looking for counterexamples to inclusion. While previous works only used subsumption based on set inclusion or forward simulation on A and B, we propose the following new techniques: (1) A larger subsumption relation based on a combination of backward and forward simulations on A and B. (2) A method to additionally use forward simulation between A and B. (3) Abstraction techniques that can speed up the computation and lead to early detection of counterexamples. The new algorithm was implemented and tested on automata derived from real-world model checking benchmarks, and on the Tabakov-Vardi random model, thus showing the usefulness of the proposed techniques.

Generating exact lattices in the WFST framework

Abstract: We describe a lattice generation method that is exact, i.e. it satisfies all the natural properties we would want from a lattice of alternative transcriptions of an utterance. This method does not introduce substantial overhead above one-best decoding. Our method is most directly applicable when using WFST decoders where the WFST is “fully expanded”, i.e. where the arcs correspond to HMM transitions. It outputs lattices that include HMM-state-level alignments as well as word labels. The general idea is to create a state-level lattice during decoding, and to do a special form of determinization that retains only the best-scoring path for each word sequence. This special determinization algorithm is a solution to the following problem: Given a WFST A, compute a WFST B that, for each input-symbol-sequence of A, contains just the lowest-cost path through A.

Electrospinning over Solvent Casting: Tuning of Mechanical Properties of Membranes

Abstract: We put forth our opinion regarding the enhanced plasticity and modulation of mechanical properties of polymeric films obtained through electrospinning process in this article. In majority of the pharmaceutical, biomedical, and packaging applications, it is desirable that polymer based matrices should be soft, flexible, and have a moderate toughness. In order to convert inflexible and brittle polymers, adjuvants in the form of plasticizers are added to improve the flexibility and smoothness of solvent casted polymer films. However, many of these plasticizers are under scrutiny for their toxic effects and environmental hazards. In addition, plasticizers also increase the cost of end products. This has motivated the scientific community to investigate alternate approaches. The changes imparted in membrane casted by electrospinning were tried to be proved by SEM, Mechanical property study, DSC and XRD studies. We have showed dramatic improvement in flexibility of poly(e-caprolactone) based nanofiber matrix prepared by electrospinning method whereas solvent casting method without any plasticizer produced very brittle, inflexible film of PCL. Modulation capacity of mechanical properties is also recorded. We tried to support our opinion by citing several similar findings available in the open literature. The electrospinning method helps in plasticization and in tuning mechanical properties.