Convexity and dependence in chance-constrained programming
Houda, Michal
2007 - anglický Klíčová slova: stochastich programmnig; weak dependence; stability Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický 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. Klíčová slova: Stochastic programming; stability; Wasserstein metric; empirical estimates; convergence rate; problems with penalty and recourse; integer simple recourse case; resk funkcionals Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. 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 - anglický 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. Č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. Klíčová slova: Fault emulation Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. A Novel Emulation Technique that Preserves Circuit Structure and Timing

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 ...

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

Predictive Monitoring of Radiation Situation
Nedoma, Petr; Pecha, Petr; Kuča, P.
2007 - anglický 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. 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í. Klíčová slova: Monitoring; accidents; warning; protection Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Predictive Monitoring of Radiation Situation

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 ...

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

Simulation of MCU hardware peripherals
Bartosinski, Roman; Kadlec, Jiří
2007 - anglický 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. Č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í. Klíčová slova: MCU peripheral; simulation; simulink; generated code Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Simulation of MCU hardware peripherals

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 ...

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 - anglický 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. Č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. Klíčová slova: design of control application; simulation; model based design; generated code Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Design of Control Application Using Processor Expert Blockset

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 ...

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 - anglický 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. Č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. Klíčová slova: image processing accelerator; Simulink; configuration engine; Simulink conversion Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Simulink Model Converter for Embedded Video Accelerator

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 ...

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 - anglický 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. 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í. Klíčová slova: radionuclides; propagation Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Numerical scheme for daughter products built-up during accidental radioactivity releases

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 ...

Pecha, Petr
Ústav teorie informace a automatizace, 2007

Model-Based Visual Inspection
Haindl, Michal; Pudil, Pavel; Somol, Petr
2007 - anglický Model-Based Visual Inspection Obrazová inspekce založená na vícerozměrných statistických modelech Klíčová slova: visual inspection; multidimensional models Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Model-Based Visual Inspection

Model-Based Visual Inspection

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 - anglický 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. 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. Klíčová slova: Independent Component Analysis Plné texty jsou dostupné na jednotlivých ústavech Akademie věd ČR. Asymptotic Analysis of Bias of FastICA-based Algorithms in Presence of Additive Noise

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 ...

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