Wyniki wyszukiwania - Biblioteka Nauki

1

Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

100%

Chaloupka J.

Fundamenta Informaticae

|

2013

|

tom Vol. 123, nr 1

15--42

EN

We consider a two-player infinite game with zero-reachability objectives played on a 2-dimensional vector addition system with states (VASS), the states of which are divided between the two players. Brázdil, Jančar, and Kučera (2010) have shown that for k > 0, deciding the winner in a game on k-dimensional VASS is in (k − 1)-EXPTIME. In this paper, we show that, for k = 2, the problem is in P, and thus improve the EXPTIME upper bound.

2

Prevalence obezity ve vybranych regionech Ceske Republiky

51%

Hlubik P. , Opltova L. , Chaloupka J.

Żywienie Człowieka i Metabolizm. Suplement

|

2000

|

tom 27

3

Hodnoceni energeticke bilance pri stanovovani nouzove stravni davky

51%

Chaloupka J. , Hlubik P. , Opltova L.

Żywienie Człowieka i Metabolizm. Suplement

|

2000

|

tom 27

4

Program preventivni pece v ACR - riziko rozvoje ICHS

51%

Stritecka H. , Hlubik P. , Chaloupka J.

Żywienie Człowieka i Metabolizm. Suplement

|

2005

|

tom 32

|

nr 1 cz.1

CS

Ischemická choroba srdeční (ICHS) je nejčastější příčinou předčasné invalidizace a úmrtí ve většině civilizovaných zemí. V celosvětovém měřítku závažnost tohoto onemocnění stoupá. Ve vyspělých zemí je incidence ICHS 5-10 nových případů na 1000 obyvatel za 1 rok.¹ V České republice je každý druhý muž a každá třetí žena ve věku nad 40 let ohrožena ICHS. V roce 2001 bylo onemocnění srdce a cév příčinou 53% všech úmrtí a 51% všech hospitalizací.²

5

Accelerated tests time of electronic parts used in military vehicles

51%

Vintr Z. , Valis D. , Chaloupka J.

Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki

|

2013

|

tom Nr 3

145--151

EN

This article tackles the accelerated reliability tests of electronic parts used in military vehicles and operated within the Army of the Czech Republic and the Czech Republic. Basic military parameters for newly acquired military vehicles are based on electronic parts, the reliability of which is essential for completing a mission successfully. In military conditions reliability evaluation tests observe the standard methods only. At present the relevant information about the reliability of electronic parts used in military vehicles along with the data on the trends of reliability measures development are not available at all. In the civilian sector (electrical and motor industry) the accelerated test time are used for showing the reliability measures of electronic parts. These processes have been developed in terms of statistics and standards. For military purposes it is possible to apply these civilian procedures of accelerated tests to the electronic parts of military vehicles, thereby minimizing the lack of information about the reliability of electronic parts used in military vehicles.

PL

Artykuł przedstawia przyspieszoną analizę niezawodnościową dla części elektronicznych stosowanych w pojazdach wojskowych eksploatowanych w Armii Republiki Czeskiej. Podstawowe parametry dla nowo nabywanych pojazdów wojskowych określane są na poziomie niezawodności części elektronicznych, która gwarantuje skuteczną realizację misji. Ocena ta bazuje obecnie w warunkach wojskowych jedynie na standardowych metodach. Nie ma przy tym dostępu do istotnych informacji dotyczących niezawodności części elektronicznych stosowanych w pojazdach wojskowych, a w tym brak jest danych dotyczących trendów w rozwoju metod i sposobu pomiaru niezawodności. W cywilnych sektorach przemysłu elektrycznego i samochodowego stosuje się przyspieszone testy niezawodności komponentów elektronicznych, dla których zostały opracowane dane statystyczne i standardy. Również dla potrzeb wojskowych możliwe jest zastosowanie cywilnych procedur realizacji przyśpieszonych testów niezawodności części elektronicznych, dzięki czemu można uniknąć braku informacji o niezawodności omawianych komponentów stosowanych w pojazdach wojskowych.

6

Sledovani ztrat tekutin a mineralu pri zatezi jako podkladu pro jejich racionalni suplementaci

51%

Chaloupka J. , Stritecka H. , Hlubik P. , Bednarcik P.

Żywienie Człowieka i Metabolizm. Suplement

|

2005

|

tom 32

|

nr 1 cz.1

7

Risk factors and cardiovascular diseases in selected subpopulation

51%

Hlubik P. , Pavlik V. , Zetocha J. , Chaloupka J.

Żywienie Człowieka i Metabolizm

|

2003

|

tom 30

|

nr 3-4

EN

The authors concentrated in this report on the evaluation of health impairment risk in a group of selected clinically healthy volunteers focused on lipid profile and selected antropometrie characteristics. The average level of total cholesterol reached 5,3 mmol/l, the level of LDL cholesterol was 3,79 mmol/l, the level of HDL cholesterol was 1,24 mmol/l, the level of TAG was 1,37 mmol/l. Normal values of total cholesterol were determined only in 46,8 % of tested individuals and the values of LDL cholesterol up to 5,2 were determined in 10,5 % of tested individuals. Level of HDL cholesterol exceeding protective value 1,6 mmol/l was determined in 10,5 % tested individuals. The obesity characterized by BMI higher than 30,0 kg/m~ was determined in 13% of tested individuals.

8

Determination of activity of antioxidants in human subjects

51%

Stritecka H. , Hlubik P. , Chaloupka J.

Żywienie Człowieka i Metabolizm

|

2003

|

tom 30

|

nr 3-4

9

Modern Taylor series method in numerical integration

45%

Chaloupka J. , Necasová G. , Veigend P. , Kunovský J. , Šátek V.

Systemy Wspomagania w Inżynierii Produkcji

|

2017

|

tom Vol. 6, iss. 4

263--273

EN

The paper deals with extremely exact, stable, and fast numerical solutions of systems of differential equations. It also involves solutions of problems that can be reduced to solving a system of differential equations. The approach is based on an original mathematical method, which uses the Taylor series method for solving differential equations in a non-traditional way. Even though this method is not much preferred in the literature, experimental calculations have verified that the accuracy and stability of the Taylor series method exceed the currently used algorithms for numerically solving differential equations. The Modern Taylor Series Method (MTSM) is based on a recurrent calculation of the Taylor series terms for each time interval. Thus, the complicated calculation of higher order derivatives (much criticised in the literature) need not be performed but rather the value of each Taylor series term is numerically calculated. An important part of the method is an automatic integration order setting, i.e. using as many Taylor series terms as the defined accuracy requires. The aim of our research is to propose the extremely exact, stable, and fast numerical solver for modelling technical initial value problems that offers wide applications in many engineering areas including modelling of electrical circuits, mechanics of rigid bodies, control loop feedback (controllers), etc.

CS

Clánek se zabývá presným, stabilním a rychlým rešením soustav diferenciálních rovnic. Soustavou diferenciálních rovnic lze reprezentovat velké množství reálných problému. Numerické rešení je založeno na unikátní numerické metode, která netradicne využívá Taylorovu radu. I presto, že tato metoda není v literature príliš preferována, experimentální výpocty potvrdily, že presnost a stabilita této metody presahuje aktuálne používané numerické algoritmy pro numerické rešení diferenciálních rovnic. Moderní metoda Taylorovy rady je založena na rekurentním výpoctu clenu Taylorovy rady v každém casovém intervalu. Derivace vyšších rádu nejsou pro výpocet prímo využity, derivace jsou zahrnuty do clenu Taylorovy rady, které se pocítají rekurentne numericky. Duležitou vlastností metody je automatická volba rádu metody v závislosti na velikosti integracního kroku, tzn. je využito tolik clenu Taylorovy rady, kolik vyžaduje zadaná presnost výpoctu. Cílem výzkumu je navrhnout velmi presný, stabilní a rychlý nástroj pro modelování technických pocátecních problému využitých v praxi pri modelování elektrických obvodu, mechaniky tuhých teles, problematiky zpetnovazebního rízení a další.