On the origin of extremely high strength of ultrafine-grained Al alloys produced by severe plastic deformation

Ultrafine-grained Al alloys produced by high pressure torsion are found to exhibit a very high strength, considerably exceeding the Hall-Petch predictions for the ultrafine grains. The phenomena can be attributed to the unique combination of ultrafine structure and deformation-induced segregations of solute elements along grain boundaries, which may affect the emission and mobility of intragranular dislocations

Grain boundary segregation in UFG alloys processed by severe plastic deformation

Grain boundary segregations were investigated by Atom Probe Tomography in an Al-Mg alloy, a carbon steel and Armco\trademark Fe processed by severe plastic deformation (SPD). In the non-deformed state, the GBs of the aluminium alloy are Mg depleted, but after SPD some local enrichment up to 20 at.% was detected. In the Fe-based alloys, large carbon concentrations were also exhibited along GBs after SPD. These experimental observations are attributed to the specific structure of GBs often described as "non-equilibrum" in ultra fine grained materials processed by SPD. The grain boundary segregation mechanisms are discussed and compared in the case of substitutional (Mg in fcc Al) and interstitial (C in bcc Fe) solute atoms

Specialized case tools for the development of the accounting applications

The paper presents an approach to building specialized CASE tools for the development of accounting applications. These tools form an integrated development environment allowing the computer aided development of the different applications in this field. This development environment consists of a formula interpreter, a screen form generator and a specialized library of classes. The implementation of all these components was carried out using the Visual FoxPro database system and has been practically tested on a series of commercial applications concerning computer aided accountancy and business correspondence.Keywords: (CASE tools, programming technique, accounting applications

Remark on the studies of the muon-induced neutron background in the liquid scintillator detectors

This article gives a point of view on the studies of the muon-induced background for the underground experiments using a liquid scintillator detectors. The results obtained are in good agreement with the data, especially for the neutron yield production. This is the first time, when a study of this kind successes to get the same neutron yield as the one obtained from the experiment.Comment: 5 pages, 2 figures, 1 tabl

Disease universe: Visualisation of population-wide disease-wide associations

We apply a force-directed spring embedding graph layout approach to electronic health records in order to visualise population-wide associations between human disorders as presented in an individual biological organism. The introduced visualisation is implemented on the basis of the Google maps platform and can be found at http://disease-map.net . We argue that the suggested method of visualisation can both validate already known specifics of associations between disorders and identify novel never noticed association patterns.Comment: 4 pages (2 pics) the main paper + 8 pages (3 pics) Supplementary Material

SPECIALIZED OBJECT-ORIENTED TOOLS FOR THE DEVELOPMENT OF INFORMATIONCALCULATING APPLICATIONS

The paper presents an approach to building specialized objectoriented software tools for the development of so-called informationcalculating applications including computer aided accounting, business correspondence, statistics etc . These software tools form an integrated development environment allowing the computer assisted development of information-calculating applications. This development environment consists of a formula interpreter, a screen form generator and a specialized library of classes. The implementation of all these components was carried out using the Visual FoxPro database system and has been practically tested on a series of commercial applications concerning computer aided accountancy and business correspondence

Analysis of Corrosion Process Development on Metals by Means of Computer Vision

The paper deals with computer vision and image processing methods applied to the task of corrosion damage search. A step-by-step algorithm is given for processing of the data from a chemical corrosion experiment on a metal surface: image preprocessing, image binarization and identification of object contours, and analysis of object characteristics. The application of the developed methods is exemplified by detection and recognition of corrosion damage on a steel specimen, pitting corrosion, and corrosion of an aluminum specimen. Furthermore, the mechanism of fractal analysis for corrosion cracking specimens was studied and fractal dimension was selected as characteristics of corrosion damage

Monitoring system for detecting the motility and position of laboratory animals after anesthesia

Tato Diplomová práce, která nese název „Monitorovací systém pro zjištění motility a polohy laboratorních zvířat po anestézii“ se zaměřuje na návrh a realizaci bezkontaktní detekce polohy laboratorního potkana nebo myši ve výběhu s průhledným krytem. Semestrální práce si klade za cíl nalézt vhodné metody realizaci bezkontaktní detekce polohy laboratorního potkana nebo myši a automaticky určit a zobrazit průměrnou rychlost nebo jiné charakteristiky pohybu. Zadání vzešlo z potřeb monitoringu zvířat po kurativním zásahu a také jako potřebná utilita pro budoucí „stínování“ pohyb zvířete (automatické cílení na jizvu na zádech zvířete). Potkan, který je umístěný uvnitř našeho výběhu je buď standardně pohyblivý nebo je omámen po anestezií. V této práci se zabývám nejprve rešerší automatických monitorovacích systémů pro detekci polohy zvířat ve výběhu. Pak v praktické části jsou testovány tři typy kamer pro obrazovou detekci polohy potkana a je navrhnut skript pro automatickou detekci a analýzu pohybu potkana. Systém funguje jako kamerové oko které v reálnem času v svém zorném poli schopno najit plochu černého boxu následně omezit plochu detekci o velikosti teto krabice a nasledne v omezenem prostoru automaticky detekuje težište a vzpočitava cestu kterou udelava ten bod , jako stitistiku uklada cestu za deasat sekund a z toho vzpočitava přumernou rzchlost potkanu za tu dobu .A hodnocenim získanou rzchlosti s průměrem vypočtenzm s testev na 10 myšich - hlasi na obrazovce stav myši za predešlych desat sekund.Vytvořeny software detekuje bilou myš nebo potkana v černém hovnem boxu , bez doplňkového označeni zvířeti pomoci markéru pro žádné stresovaní zvířeti . Potkan, který je umístěný uvnitř našeho výběhu je buď standardně pohyblivý nebo je omámen po anestezií. V této práci se zabývám nejprve rešerší automatických monitorovacích systémů pro detekci polohy zvířat ve výběhu. Pak v praktické části jsou testovány tři typy kamer pro obrazovou detekci polohy potkana a je navrhnut skript pro automatickou detekci a analýzu pohybu potkana. A vytvořen software na detekciThis diploma thesis, entitled "Monitoring System for Determination of Motility and Position of Laboratory Animals After Anesthesia", focuses on the design and implementation of contactless detection of the position of a rat or mouse in an enclosure with a transparent cover. The aim of the semester work is to find suitable methods of realization of contactless detection of rat or mouse position and to automatically determine and display average speed or other movement characteristics. The assignment arose from the needs of animal monitoring after curative intervention and also as a necessary utility for future "shading" animal movement (automatic targeting of the scar on the animal's back). The rat, which is located inside our enclosure, is either moving as standard or is dazed after anesthesia. In this work I deal first with search of automatic monitoring systems for detection of animals in the enclosure. Then in the practical part are tested three types of cameras for visual detection of rat position and a script for automatic detection and analysis of rat movement is designed. The system works like a camera eye which in real time is able to find the area of a black box in its field of view and then limit the detection area to the size of this box and then automatically detects the center of gravity and counts. and evaluates the obtained speed with an average calculated with a test of 10 mice - voices on the screen the mouse status in the previous ten seconds. for no stressed animal The rat that is located inside our enclosure is either standard or movable after anesthesia. In this work I first deal with searches of automatic monitoring systems for detecting the position of animals in the enclosure. Then, in the practical part, I test three types of cameras for image detection of rat position. Evaluation software for motion analysis will largely be solved in the follow-up diploma thesis.Project made like monitoring and detecting software based on OpenCV.

ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING

This paper presents an overview of different approaches to a creation of the technique of software application development based on the integrated development environment which contains a model and tools for its implementation. Our results in this field are also presented. We study a formal model specification and analysis tools which may have potential for the software application development

ON FORMAL TOOLS IN THE SOFTWARE ENGINEERING

This paper presents an overview of different approaches to a creation of the technique of software application development based on the integrated development environment which contains a model and tools for its implementation. Our results in this field are also presented. We study a formal model specification and analysis tools which may have potential for the software application development