Počet nalezených dokumentů: 1598
Publikováno od do

Technical manual - collimator
Kredba, Jan; Steiger, Lukáš; Tomka, David; Václavík, Jan
2018 - anglický
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]. Klíčová slova: collimator; NEOSTED; TOPTEC; optical testing; interferometry Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
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. Klíčová slova: boreholes; structural mapping; rock quality Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
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. Klíčová slova: deep networks; automatic program synthesis; image processing Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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 Klíčová slova: OIKOS board; dissemination module; GPS Dokument je dostupný na externích webových stránkách.
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 - anglický
This report inspects cooperative decision making task using reinforcement learning. It serves for comparison with methodology based on fully probabilistic design of decision strategies. Klíčová slova: decision making; reinforcement learning; cooperation Dokument je dostupný na externích webových stránkách.
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 - anglický
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. Klíčová slova: Exploitation; Exploration; Bayesian estimation; Adaptive systems; Fully probabilistic design; Kullback-Leibler divergence; Decision policy; Markov decision process Dokument je dostupný na externích webových stránkách.
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 - anglický
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. Klíčová slova: event-triggered control; networked control systems; large scale complex systems Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
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. Klíčová slova: collimator; PLC system; telescope; interferometry Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
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]. Klíčová slova: test bench; optical testing; collimator; neosted Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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 - anglický
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. Klíčová slova: turbine cascade; supersonic flow; tip section Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR.
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

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze