Wyniki wyszukiwania - BazTech

1

Verification of FlexRay start-up mechanism by timed automata

Malinský J., Novák J.

Metrology and Measurement Systems

|

2010

|

Vol. 17, nr 3

461-480

EN

This contribution deals with the modelling of a selected part of a new automotive communication standard called FlexRay. In particular, it focuses on the mechanism ensuring the start-up of a FlexRay network. The model has been created with the use of timed automata and verified. For this purpose the UPPAAL software tool has been used that allows the modelling of discrete event systems with the use of timed automata, and subsequently the verification of the model with the use of suitable queries compiled in the so called computation tree logic. This model can be used to look for incorrect settings of time parameters of communication nodes in the network that prevent network start-up and subsequently the start of the car. The existence of this model also opens the way for finding possible errors in the standard. On the basis of the model, the work gives a case study of the start-up mechanism behaviour verification in a FlexRay network consisting of three communication nodes.

2

Bioaccumulation of uranium from waste water using different strains of Saccharomyces cerevisiae

Tykva R., Novák J., Podracká E., Popa K.

Nukleonika

|

2009

|

Vol. 54, No. 2

143-148

EN

Five different strains of Saccharomyces cerevisiae were tested for their abilities to accumulate uranium from waste water containing competitive ions. Samples of water passing out from a previous uranium mill were used. The strains tested possess different abilities to accumulate uranium. The kinetics of bioaccumulation, the leaching degree, the influence of cell density and their origin were investigated. Under the applied experimental conditions, more than a half of the total activity (uranium and the decay products) could be accumulated after 60 min contact time of 1 mL S. cerevisiae suspension and 5 mL of water. The other cations present in solution effectively competed for the uranium accumulation. 226Ra and its decay products were completely retained using all tested strains.

3

Testing of plano-optical elements

Mikš A., Novák J.

Optica Applicata

|

2003

|

Vol. 33, nr 2-3

391-402

EN

The most common criteria of the quality of optical surfaces and elements are analysed in detail in this paper. Both geometrical-optics criteria and diffraction criteria are defined. The connection between different criteria is also described. Some terms lacking classical analogy in optics are described, e.g., the focal length of the plane parallel plate, prism, etc