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.

Plasma surface treatment and modification of glass fibers

Abstract: New helical coupling plasma system for continuous surface treatment and modification (surface processing) of fiber bundles has been developed and tested for glass fibers. The system enables surface processing of single filaments and flat substrates as well. Surface processed glass fibers and their bundles were examined as reinforcements for glass fiber/polyester composite systems. Processing of fibers comprised a surface treatment using argon gas and a surface modification using hexamethyldisiloxane and vinyltriethoxysilane monomers. Interfacial and interlaminar shear strengths of plasma processed glass fiber/polyester systems were compared with those of untreated and commercially sized fibers.

Identification and Rating of Developmental Dysgraphia by Handwriting Analysis

Abstract: Developmental dysgraphia, being observed among 10–30% of school-aged children, is a disturbance or difficulty in the production of written language that has to do with the mechanics of writing. The objective of this study is to propose a method that can be used for automated diagnosis of this disorder, as well as for estimation of difficulty level as determined by the handwriting proficiency screening questionnaire. We used a digitizing tablet to acquire handwriting and consequently employed a complex parameterization in order to quantify its kinematic aspects and hidden complexities. We also introduced a simple intrawriter normalization that increased dysgraphia discrimination and HPSQ estimation accuracies. Using a random forest classifier, we reached 96% sensitivity and specificity, while in the case of automated rating by the HPSQ total score, we reached 10% estimation error. This study proves that digital parameterization of pressure and altitude/tilt patterns in children with dysgraphia can be used for preliminary diagnosis of this writing disorder.

Verifying programs with dynamic 1-selector-linked structures in regular model checking

Abstract: We address the problem of automatic verification of programs with dynamic data structures. We consider the case of sequential, non-recursive programs manipulating 1-selector-linked structures such as traditional linked lists (possibly sharing their tails) and circular lists. We propose an automata-based approach for a symbolic verification of such programs using the regular model checking framework. Given a program, the configurations of the memory are systematically encoded as words over a suitable finite alphabet, potentially infinite sets of configurations are represented by finite-state automata, and statements of the program are automatically translated into finite-state transducers defining regular relations between configurations. Then, abstract regular model checking techniques are applied in order to automatically check safety properties concerning the shape of the computed configurations or relating the input and output configurations. For this particular purpose, we introduce new techniques for the computation of abstractions of the set of reachable configurations and to refine these abstractions if spurious counterexamples are detected. Finally, we present experimental results showing the applicability of the approach and its efficiency.