Convexity and dependence in chance-constrained programming
Houda, Michal
2007 - English Keywords: stochastich programmnig; weak dependence; stability Available at various institutes of the ASCR Convexity and dependence in chance-constrained programming

Houda, Michal
Ústav teorie informace a automatizace, 2007

Empirical Estimates via Stability in Stochastic Programming
Kaňková, Vlasta
2007 - English It is known that optimization problems depending on a probability measure correspond to many applications. It is also known that these problems belong mostly to a class of nonlinear optimization problems and, moreover, that very often an ``underlying" probability measure is not completely known. The aim of the research report is to deal with the case when an empirical measure substitutes the theoretical one. In particular, the aim is to generalize reults dealing with convergence rate in the case of empirical esrimates. The introduced results are based on the stability results corresponding to the Wasserstein metric. A relationship berween tails of one-dimensional marginal distribution functions and exponentional rate of convergence are introduced. The corresponding results are focus mainly on ``classical" type of problems corresponding to the cases with penalty and recourse. However, an integer simple recourse case and some special risk funkcionals are discussed also. Keywords: Stochastic programming; stability; Wasserstein metric; empirical estimates; convergence rate; problems with penalty and recourse; integer simple recourse case; resk funkcionals Available at various institutes of the ASCR Empirical Estimates via Stability in Stochastic Programming

It is known that optimization problems depending on a probability measure correspond to many applications. It is also known that these problems belong mostly to a class of nonlinear optimization ...

Kaňková, Vlasta
Ústav teorie informace a automatizace, 2007

A Novel Emulation Technique that Preserves Circuit Structure and Timing
Kafka, Leoš
2007 - English Článek popisuje novou metodu emulace obvodů v FPGA, která zachovává strukturu a případně i časování obvodu s ohledem na cílovou technologii. Metoda umožňuje použít obě metody vkládání poruch, a to jak metody založené na modifikaci obvodu, tak metody založené na dynamické rekonfiguraci. K emulaci časových vlastností obvodu se používá virtuální čas. Článek dále obsahuje experimenty, které ověřují základní vlastnosti navrhované metody. This paper presents an emulation technique that allows to preserve structure and optionally timing of an emulated circuit according to a target technology. The technique is compatible with fault injection techniques based on circuit instrumentation or partial runtime reconfiguration, and it allows to emulate timing parameters of the circuit through an introduction of a virtual time. An area and timing overhead due to preserving the circuit structure and parameters of basic delay elements are evaluated by experiments. Keywords: Fault emulation Available at various institutes of the ASCR A Novel Emulation Technique that Preserves Circuit Structure and Timing

Článek popisuje novou metodu emulace obvodů v FPGA, která zachovává strukturu a případně i časování obvodu s ohledem na cílovou technologii. Metoda umožňuje použít obě metody vkládání poruch, a to jak ...

Kafka, Leoš
Ústav teorie informace a automatizace, 2007

Predictive Monitoring of Radiation Situation
Nedoma, Petr; Pecha, Petr; Kuča, P.
2007 - English Zpráva popisuje návrh prediktivního monitorování radiační situace z měření přicházejících z radiační sítě včasného zjištění ČR. Uvedené výsledky dokládají, že použité směsi auto-regresivních modelů zlepšují predikční schopnost ve srovnání s jednoduchou auto-regresí. Report describes proposition how predictive monitoring of radiological situation from measurements of Early Warning Network of the Czech Republic could be realised. The presented results indicate that mixtures of auto-regresive models improve predictions comparing to plain auto-regresion. Keywords: Monitoring; accidents; warning; protection Available at various institutes of the ASCR Predictive Monitoring of Radiation Situation

Zpráva popisuje návrh prediktivního monitorování radiační situace z měření přicházejících z radiační sítě včasného zjištění ČR. Uvedené výsledky dokládají, že použité směsi auto-regresivních modelů ...

Nedoma, Petr; Pecha, Petr; Kuča, P.
Ústav teorie informace a automatizace, 2007

Simulation of MCU hardware peripherals
Bartosinski, Roman; Kadlec, Jiří
2007 - English Článek popisuje možný způsob simulace hardwarových periferií MCU (např. PWM, Časovač, ADC) v prostředí Matlab/Simulink. A způsob jak může být generován řídicí kód pro tyto periferie.Popisovaná implementace využívá signály funkčního volání jako funkce periferií. V generovaném kódu z RTW je speciální blok Method, který reprezentuje přímo volané funkce použitých periferií. This paper describes one possible way, how MCU hardware peripherals (e.g. PWMs, Timers, ADCs, etc.) can be simulated in Matlab/Simulink environment and how code controlling these peripherals can be generated. The described implementation of the MCU hardware peripherals is based on using function call outputs as peripheral interrupts and external blocks called Methods as peripheral control functions. In the generated code by Real-Time Workshop, the Method block is represented by directly called corresponding function of the used periphery. Keywords: MCU peripheral; simulation; simulink; generated code Available at various institutes of the ASCR Simulation of MCU hardware peripherals

Článek popisuje možný způsob simulace hardwarových periferií MCU (např. PWM, Časovač, ADC) v prostředí Matlab/Simulink. A způsob jak může být generován řídicí kód pro tyto periferie.Popisovaná ...

Bartosinski, Roman; Kadlec, Jiří
Ústav teorie informace a automatizace, 2007

Design of Control Application Using Processor Expert Blockset
Stružka, P.; Waszniowski, L.; Bartosinski, Roman; Bysterský, T.
2007 - English Článek popisuje návrh řídicího systému bezkartáčového motoru s využitím Processor Expert blocksetu v prostředí Matlab-Simulink. Řídicí algoritmus je navržen v Simulinku a PE blockset poskytuje přístup k hardwarovým periferiím mikrokontroléru přes HAL. Chování řídicího algoritmu i s hardwarovými periferiemi je ověřena simulací. Zdrojový kód v jazyce C pro mikrokontrolér je vygenerovaný pomocí nástroje Real-Time Workshop. This paper describes design of a controller of the brushless DC motor using Processor Expert blockset in Mathworks Simulink. The controller algorithm is designed in Simulink and the Processor Expert blockset provides access to the microcontroller hardware through its Hardware Abstraction Layer. The behavior of the controller (including the peripherals represented by Processor Expert blocks) is verified by simulation. The Real-Time Workshop is used for the C source code generation from the controller model. Keywords: design of control application; simulation; model based design; generated code Available at various institutes of the ASCR Design of Control Application Using Processor Expert Blockset

Článek popisuje návrh řídicího systému bezkartáčového motoru s využitím Processor Expert blocksetu v prostředí Matlab-Simulink. Řídicí algoritmus je navržen v Simulinku a PE blockset poskytuje přístup ...

Stružka, P.; Waszniowski, L.; Bartosinski, Roman; Bysterský, T.
Ústav teorie informace a automatizace, 2007

Simulink Model Converter for Embedded Video Accelerator
Kovář, Bohumil; Schier, Jan; Zemčík, P.; Herout, A.; Zuzaňák, J.
2007 - English Článek se zabývá vestavěným DSP/FPGA akcelerátorem pro zpracování obrazu nebo videa. Tento akcelerátor používá vestavěný konfigurační engine, ovládaný skriptovacím jazykem, který dynamicky zavádí předem připravené funkční moduly. Pro rychlý vývoj aplikací je použito prostředí Simulinku. Článek pojednává o konverzi blokových schemat Simulinku do skriptovacího jazyku pro vestavěný engine. An embedded DSP/FPGA system for accelaration of image or video processing, with a scripting-language-based configuration engine, pulling software modules or hardware blocks from function libraries, is considered. The Simulink environment is used for rapid application design for this system. The aspects of converting Simulink block diagrams into the scripting language for the configuration engine are discussed in the paper. Keywords: image processing accelerator; Simulink; configuration engine; Simulink conversion Available at various institutes of the ASCR Simulink Model Converter for Embedded Video Accelerator

Článek se zabývá vestavěným DSP/FPGA akcelerátorem pro zpracování obrazu nebo videa. Tento akcelerátor používá vestavěný konfigurační engine, ovládaný skriptovacím jazykem, který dynamicky zavádí ...

Kovář, Bohumil; Schier, Jan; Zemčík, P.; Herout, A.; Zuzaňák, J.
Ústav teorie informace a automatizace, 2007

Numerical scheme for daughter products built-up during accidental radioactivity releases
Pecha, Petr
2007 - English Je analyzována tvorba dceřinných produktů během mimořádných úniků radioaktivity z jaderného zařízení. Příslušný numerický algoritmus je implementován v rámci použitého segmentovaného disperzního Gaussova modelu. Je ilustrován rozsev důležitých dceřinných produktů do větších vzdáleností. Daughter product built-up during accidental radioactive relese from nuclear facility is analysed. Numerical algorithm implemented into segmented Gaussian model was adopted. Long-range of some important daughter products is illustrated. Keywords: radionuclides; propagation Available at various institutes of the ASCR Numerical scheme for daughter products built-up during accidental radioactivity releases

Je analyzována tvorba dceřinných produktů během mimořádných úniků radioaktivity z jaderného zařízení. Příslušný numerický algoritmus je implementován v rámci použitého segmentovaného disperzního ...

Pecha, Petr
Ústav teorie informace a automatizace, 2007

Model-Based Visual Inspection
Haindl, Michal; Pudil, Pavel; Somol, Petr
2007 - English Obrazová inspekce založená na vícerozměrných statistických modelech Model-Based Visual Inspection Keywords: visual inspection; multidimensional models Available at various institutes of the ASCR Model-Based Visual Inspection

Obrazová inspekce založená na vícerozměrných statistických modelech

Haindl, Michal; Pudil, Pavel; Somol, Petr
Ústav teorie informace a automatizace, 2007

Asymptotic Analysis of Bias of FastICA-based Algorithms in Presence of Additive Noise
Koldovský, Zbyněk; Tichavský, Petr
2007 - English Myšlenka, že se většina metod pro slepou separaci signálu používajících analýzu nezávislých komponent chová jako vychýlený MMSE estimátor byla použita v naší nedávné práci [3]. Zde tuto myšlenku konkrétizujeme tím, že analyzujeme odchylku algoritmů, které jsou odvozené ze známého algoritmu FastICA. Je prokázáno, že varianta one-unit je z hlediska vychýlení nejlepší MMSE estimátor. The idea that common blind techniques based on Independent Component Analysis (ICA) behave in noisy environment like a biased MMSE separator (sometimes called Maximum Ratio Combiner (MRC)) was introduced in our recent work [3]. In this paper, we put this in more precise terms by doing an analysis of the bias of approaches that are based on known ICA algorithm FastICA. We show that the one-unit approach is the best MMSE estimator in terms of the bias. Keywords: Independent Component Analysis Available at various institutes of the ASCR Asymptotic Analysis of Bias of FastICA-based Algorithms in Presence of Additive Noise

Myšlenka, že se většina metod pro slepou separaci signálu používajících analýzu nezávislých komponent chová jako vychýlený MMSE estimátor byla použita v naší nedávné práci [3]. Zde tuto myšlenku ...

Koldovský, Zbyněk; Tichavský, Petr
Ústav teorie informace a automatizace, 2007