Number of found documents: 1598
Published from to

Technical manual - collimator
Kredba, Jan; Steiger, Lukáš; Tomka, David; Václavík, Jan
2018 - English
The purpose of this document is to provide basic set of rules and instructions that allows using and maintaining of the NEOSTED collimator (COL).\nBe aware that it is not purpose of this document to provide detailed description of individual parts of the COL system. If necessary all the details and proper references can be found in [AD-2]. Keywords: collimator; NEOSTED; TOPTEC; optical testing; interferometry Available at various institutes of the ASCR
Technical manual - collimator

The purpose of this document is to provide basic set of rules and instructions that allows using and maintaining of the NEOSTED collimator (COL).\nBe aware that it is not purpose of this document to ...

Kredba, Jan; Steiger, Lukáš; Tomka, David; Václavík, Jan
Ústav fyziky plazmatu, 2018

Structural mapping of exploration boreholes walls within first phase - Safety boreholes for Boxcut
Waclawik, Petr; Souček, Kamil; Vavro, Martin; Kukutsch, Radovan; Ram, S.
2018 - English
Structural-geological analysis, i.e. core fracturing assessment within the boxcut safety\nborehole was carried out on the basis of optical televiewer record evaluation. In general,\noptical televiewer (OPTV) probe provides a continuous, unwrapped, high-resolution digital\n360° image of the borehole-walls oriented towards the cardinal points. This technique\nprovides information about the strike, dip direction, dip angle and depth of foliation, bedding\nplanes and fractures, as well as the frequency, aperture and infillings of fractures. Information\nabout spatial characteristics of structural elements is one of its indisputable advantages and\nallows for subsequent statistical evaluations.\nThe structural mapping of boreholes of Boxcut safety boreholes were carried out within the\ncontract of IG CAS (Contract No. D/18/156/00) GEOMET, s.r.o. (as a customer, contract No.\n01/2018). The aim of the contractual research was the realisation and interpretation of the\nfractures by digital logging of boreholes walls. Keywords: boreholes; structural mapping; rock quality Available at various institutes of the ASCR
Structural mapping of exploration boreholes walls within first phase - Safety boreholes for Boxcut

Structural-geological analysis, i.e. core fracturing assessment within the boxcut safety\nborehole was carried out on the basis of optical televiewer record evaluation. In general,\noptical televiewer ...

Waclawik, Petr; Souček, Kamil; Vavro, Martin; Kukutsch, Radovan; Ram, S.
Ústav geoniky, 2018

Transforming hierarchical images to program expressions using deep networks
Křen, Tomáš
2018 - English
We present a technique describing how to effectively train a neural network given an image to produce a formal description of the given image. The basic motivation of the proposed technique is an intention to design a new tool for automatic program synthesis capable of transforming sensory data (in our case static image, but generally a phenotype) to a formal code expression (i.e. syntactic tree of a program), such that the code (from evolutionary perspective a genotype) evaluates to a value that is similar to the input data, ideally identical. Our approach is partially based on our technique for generating program expressions in the context of typed functional genetic programming. We present promising results evaluating a simple image description language achieved with a deep network combining convolution encoder of images and recurrent decoder for generating program expressions in the sequential prefix notation and propose possible future applications. Keywords: deep networks; automatic program synthesis; image processing Available in a digital repository NRGL
Transforming hierarchical images to program expressions using deep networks

We present a technique describing how to effectively train a neural network given an image to produce a formal description of the given image. The basic motivation of the proposed technique is an ...

Křen, Tomáš
Ústav informatiky, 2018

Validation of comprehensive energy management system based on cloud-sourced information
Nedoma, P.; Herda, Z.; Franc, Z.; Plíhal, Jiří
2018 - English
The main research activity was devoted to develop an application that would enable testing interface between OIKOS board (based on the AURIXTM) and the dissemination module represented by Skoda vehicle demonstrator through serial port RS232. The testing was based on sending the GPS coordinates to the OIKOS unit and receiving recommended speed profile for the given track. While dissemination unit has received GPS coordinates, AURIX chip has sent back messages with prediction of possible speed profile. Further tasks included verification other forms of transmission, such as Wi-Fi, Bluetooth, Ethernet.\n\n Keywords: OIKOS board; dissemination module; GPS Fulltext is available at external website.
Validation of comprehensive energy management system based on cloud-sourced information

The main research activity was devoted to develop an application that would enable testing interface between OIKOS board (based on the AURIXTM) and the dissemination module represented by Skoda ...

Nedoma, P.; Herda, Z.; Franc, Z.; Plíhal, Jiří
Ústav teorie informace a automatizace, 2018

Experiment: Cooperative Decision Making via Reinforcement Learning
Berka, Milan
2018 - English
This report inspects cooperative decision making task using reinforcement learning. It serves for comparison with methodology based on fully probabilistic design of decision strategies. Keywords: decision making; reinforcement learning; cooperation Fulltext is available at external website.
Experiment: Cooperative Decision Making via Reinforcement Learning

This report inspects cooperative decision making task using reinforcement learning. It serves for comparison with methodology based on fully probabilistic design of decision strategies.

Berka, Milan
Ústav teorie informace a automatizace, 2018

Balancing Exploitation and Exploration via Fully Probabilistic Design of Decision Policies
Kárný, Miroslav; Hůla, František
2018 - English
Adaptive decision making learns an environment model serving a design of a decision policy. The policy-generated actions influence both the acquired reward and the future knowledge. The optimal policy properly balances exploitation with exploration. The inherent dimensionality\ncurse of decision making under incomplete knowledge prevents the realisation of the optimal design. Keywords: Exploitation; Exploration; Bayesian estimation; Adaptive systems; Fully probabilistic design; Kullback-Leibler divergence; Decision policy; Markov decision process Fulltext is available at external website.
Balancing Exploitation and Exploration via Fully Probabilistic Design of Decision Policies

Adaptive decision making learns an environment model serving a design of a decision policy. The policy-generated actions influence both the acquired reward and the future knowledge. The optimal policy ...

Kárný, Miroslav; Hůla, František
Ústav teorie informace a automatizace, 2018

DCTOOL-A4
Bakule, Lubomír; Papík, Martin; Rehák, Branislav
2018 - English
DCTOOL-A4 report presents draft of a manuscript, which is intended to be submitted for publication. The report provides a novel systematic approach to the analysis of asymptotic stability for output event-triggered uncertain centralized control systems. A class of nonlinear but nominally linear systems possessing unknown time-varying bounded uncertainties with known bounds is considered. Uncertainties are allowed in all system matrices. Original LMI-based suffi cient conditions are derived to guarantee asymptotic stability of closed-loop systems with both static output and observer-based feedback loop under even-triggered control. Both these output feedback strategies are extended to model-based uncertain control systems with\nquantized measurements. A logarithmic quantizer is considered. The Lyapunov-based approach and convex optimization serve as the main methods to derive the asymptotic LMI-based stability conditions. Bounds on the inter-event times to avoid the Zeno-effect are proved for all the cases considered. Finally, feasibility and effi ciency of the proposed strategies is demonstrated by providing numerical examples. Keywords: event-triggered control; networked control systems; large scale complex systems Available at various institutes of the ASCR
DCTOOL-A4

DCTOOL-A4 report presents draft of a manuscript, which is intended to be submitted for publication. The report provides a novel systematic approach to the analysis of asymptotic stability for output ...

Bakule, Lubomír; Papík, Martin; Rehák, Branislav
Ústav teorie informace a automatizace, 2018

Collimator - test readiness review
Budasz, Jiří; Kaván, František; Kredba, Jan; Lédl, Vít; Mach, Marek; Pleštil, Jan; Psota, Pavel; Steiger, Lukáš; Tomka, David; Václavík, Jan; Veselý, Martin
2018 - English
This document describes the test procedure applicable to the overall functional test of the NEOSTED collimator.\nThe test to be performed according to this procedure are to demonstrate the compliance of the above item to the requirements specified in the applicable document as part of the overall verification program. The test results shall be collected in a Test Report. Keywords: collimator; PLC system; telescope; interferometry Available at various institutes of the ASCR
Collimator - test readiness review

This document describes the test procedure applicable to the overall functional test of the NEOSTED collimator.\nThe test to be performed according to this procedure are to demonstrate the compliance ...

Budasz, Jiří; Kaván, František; Kredba, Jan; Lédl, Vít; Mach, Marek; Pleštil, Jan; Psota, Pavel; Steiger, Lukáš; Tomka, David; Václavík, Jan; Veselý, Martin
Ústav fyziky plazmatu, 2018

Technical manual - neosted SOT test bench
Steiger, Lukáš
2018 - English
The purpose of this document is to provide basic set of rules and instructions that allows using and maintaining of the NEOSTED SOT test bench (BB).\nFurther detailed informations and proper references about individual parts of the BB system can be found in [AD-2, AD-3]. Keywords: test bench; optical testing; collimator; neosted Available at various institutes of the ASCR
Technical manual - neosted SOT test bench

The purpose of this document is to provide basic set of rules and instructions that allows using and maintaining of the NEOSTED SOT test bench (BB).\nFurther detailed informations and proper ...

Steiger, Lukáš
Ústav fyziky plazmatu, 2018

Optical and Pneumatic Measurements on TR-U-8 Cascade
Luxa, Martin; Šimurda, David
2018 - English
The report contains results and evaluation of conducted optical (interferometry and schlieren technique) and pneumatic measurements on a new variant of tip section, intended for long rotor blade. Keywords: turbine cascade; supersonic flow; tip section Available at various institutes of the ASCR
Optical and Pneumatic Measurements on TR-U-8 Cascade

The report contains results and evaluation of conducted optical (interferometry and schlieren technique) and pneumatic measurements on a new variant of tip section, intended for long rotor blade.

Luxa, Martin; Šimurda, David
Ústav termomechaniky, 2018

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases