Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Rudy, J." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 26
Tytuł:
Turing machine approach to runtime software adaptation
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/952943.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
runtime change
dynamic modification
computability theory
turing machines
Opis:
In this paper, the problem of applying changes to software at runtime is considered. The computability theory is used in order to develop a more general and programming-language-independent model of computation with support for runtime changes. Various types of runtime changes were defined in terms of computable functions and Turing machines. The properties of such functions and machines were used to prove that arbitrary runtime changes on Turing machines are impossible in general cases. A method of Turing machine decomposition into subtasks was presented and runtime changes were defined through transformations of the subtask graph. Requirements for the possible changes were considered with regard to the possibility of subtask execution during such changes. Finally, a runtime change model of computation was defined by extension of the Universal Turing Machine.
Źródło:
Computer Science; 2014, 15 (3); 293-310
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dynamic Turing Machine: model and properties for runtime code changes
Autorzy:
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305728.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
computability theory
models of computation
Turing machine
runtime code changes
Opis:
In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.
Źródło:
Computer Science; 2016, 17 (2); 187-224
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Lifelogging system based on averaged Hidden Markov Models: dangerous activities recognition for caregiver support
Autorzy:
Postawka, A.
Rudy, J.
Powiązania:
https://bibliotekanauki.pl/articles/305668.pdf
Data publikacji:
2018
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
lifelogging
abnormal human activity recognition
machine vision
Microsoft Kinect
Hidden Markov Models
Opis:
In this paper, a prototype lifelogging system for monitoring people with cognitive disabilities and elderly people as well as a method for the automatic detection of dangerous activities are presented. The system allows for the remote monitoring of observed people via an Internet website and respects the privacy of the people by displaying their silhouettes instead of their actual images. The application allows for the viewing of both real-time and historical data. The lifelogging data (skeleton coordinates) needed for posture and activity recognition are acquired using Microsoft Kinect 2.0. Several activities are marked as potentially dangerous and generate alarms sent to caregivers upon detection. Recognition models are developed using Averaged Hidden Markov Models with multiple learning sequences. Action recognition includes methods for dierentiating between normal and potentially dangerous activities (e.g., self-aggressive autistic behavior) using the same motion trajectory. Some activity recognition examples and results are presented.
Źródło:
Computer Science; 2018, 19 (3); 257-278
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Online scheduling for a Testing-as-a-Service system
Autorzy:
Rudy, J.
Smutnicki, C.
Powiązania:
https://bibliotekanauki.pl/articles/200221.pdf
Data publikacji:
2020
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
discrete optimization
online scheduling
cloud computing
Testing-as-a-Service
Opis:
The problem of performing software tests using Testing-as-a-Service cloud environment is considered and formulated as an~online cluster scheduling on parallel machines with total flowtime criterion. A mathematical model is proposed. Several properties of the problem, including solution feasibility and connection to the classic scheduling on parallel machines are discussed. A family of algorithms based on a new priority rule called the Smallest Remaining Load (SRL) is proposed. We prove that algorithms from that family are not competitive relative to each other. Computer experiment using real-life data indicated that the SRL algorithm using the longest job sub-strategy is the best in performance. This algorithm is then compared with the Simulated Annealing metaheuristic. Results indicate that the metaheuristic rarely outperforms the SRL algorithm, obtaining worse results most of the time, which is counter-intuitive for a metaheuristic. Finally, we test the accuracy of prediction of processing times of jobs. The results indicate high (91.4%) accuracy for predicting processing times of test cases and even higher (98.7%) for prediction of remaining load of test suites. Results also show that schedules obtained through prediction are stable (coefficient of variation is 0.2–3.7%) and do not affect most of the algorithms (around 1% difference in flowtime), proving the considered problem is semi-clairvoyant. For the Largest Remaining Load rule, the predicted values tend to perform better than the actual values. The use of predicted values affects the SRL algorithm the most (up to 15% flowtime increase), but it still outperforms other algorithms.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2020, 68, 4; 869-882
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Very Fast Non-Dominated Sorting
Autorzy:
Smutnicki, C.
Rudy, J.
Żelazny, D.
Powiązania:
https://bibliotekanauki.pl/articles/375948.pdf
Data publikacji:
2014
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
parallel algorithms
Pareto sorting
computational complexity
GPU computing
multiple criteria decision analysis
NSGA-II
Opis:
A new and very efficient parallel algorithm for the Fast Non-dominated Sorting of Pareto fronts is proposed. By decreasing its computational complexity, the application of the proposed method allows us to increase the speedup of the best up to now Fast and Elitist Multi-Objective Genetic Algorithm (NSGA-II) more than two orders of magnitude. Formal proofs of time complexities of basic as well as improved versions of the procedure are presented. The provided experimental results fully confirm theoretical findings.
Źródło:
Decision Making in Manufacturing and Services; 2014, 8, 1-2; 13-23
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multi-Criteria 3-Dimension Bin Packing Problem
Autorzy:
Kacprzak, Ł.
Rudy, J.
Żelazny, D.
Powiązania:
https://bibliotekanauki.pl/articles/409522.pdf
Data publikacji:
2015
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
bin packing problem
multi-criteria
genetic algorithm
simulated annealing
discrete optimization
Pareto efficiency
Opis:
In this paper a multi-criteria approach to the 3-dimensions bin packing problem is considered. The chosen maximization criteria are the number and the total volume of the boxes loaded into the container. Existing solution representation and decoding method are applied to the problem. Next, two metaheuristic algorithms, namely simulated annealing and genetic algorithm are developed using the TOPSIS method for solution evaluation. Both algorithms are then used to obtain approximations of the Pareto front for a set of benchmarks from the literature. Despite the fact that both criteria work in favor of each other, we managed to obtain multiple solutions in many cases, proving that lesser number of boxes can lead to better utilization of the container volume and vice versa. We also observed, that the genetic algorithms performs slightly better in our test both in the terms of hyper-volume indicator and number of non-dominated solutions.
Źródło:
Research in Logistics & Production; 2015, 5, 1; 85-94
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality traits and physicochemical characteristics of pork from crossbreds depending on age
Cechy jakościowe tusz i właściwości fizykochemiczne mięsa mieszańców świń w zależności od wieku
Autorzy:
Rudy, M.
Zin, J.
Powiązania:
https://bibliotekanauki.pl/articles/2197636.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
pig
crossbred pig
pork quality
pig meat
physicochemical characteristics
animal age
carcass
fattener
chemical composition
physicochemical property
sensory property
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2007, 25, 1; 101-107
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ składu modyfikowanej atmosfery na trwałość mięsa i wędlin podczas chłodniczego przechowywania
The influence of the composition of modified atmosphere on durability of meat and cold meat during cooling storage
Autorzy:
Rudy, M.
Zin, J.
Głodek, E.
Powiązania:
https://bibliotekanauki.pl/articles/2197596.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Przyrodniczy w Lublinie. Wydawnictwo Uniwersytetu Przyrodniczego w Lublinie
Tematy:
trwalosc przechowalnicza
atmosfera modyfikowana
przechowywanie
zywnosc
sklad atmosfery
wedliny
mieso
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica; 2007, 25, 1; 79-84
0239-4243
2083-7399
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio EE: Zootechnica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ temperatury konwekcyjnego suszenia owoców pigwy (Cydonia oblonga Mill.) na przebieg procesu i wybrane właściwości suszu
Influence of temperature of quince fruit convective drying (Cydonia oblonga Mill.) on the course of the process and selected properties of dried fruit
Autorzy:
Dziki, D.
Tomiło, J.
Rudy, S.
Krzykowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/290967.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
pigwa
suszenie
temperatura
właściwości
quince
drying
temperature
properties
Opis:
Celem pracy było określenie wpływu temperatury konwekcyjnego suszenia owoców pigwy na przebieg procesu i właściwości uzyskanego suszu. Zakres pracy obejmował określenie zmian zawartości wody w surowcu w trakcie trwania procesu, wyznaczenie współczynnika dyfuzji wody, badanie cech mechanicznych suszu oraz określenie zawartości kwasu L-askorbinowego i związków fenolowych w suszu oraz w surowcu przed suszeniem. Materiał badawczy stanowiły owoce pigwy wielkoowocowej (Cydonia oblonga Mill.) odmiany Lescovac. Owoce cięto na plastry o grubości 3 mm, z których wycinano próbki o średnicy 10 mm. Tak przygotowany materiał układano pojedynczą warstwą na sicie i suszono, w temperaturze 313, 323 i 333 K przy prędkości przepływu powietrza przez warstwę materiału wynoszącej 1,0 m*s-1. Próbki suszono do zawartości wody wynoszącej 0,136 kg H2O*kg s.m-1. Współczynnik dyfuzji wody zawierał się w przedziale od 5,00*10-11 do 2,35*10-10 m2*s-1. Wyznaczenie tego współczynnika pozwoliło na opisanie przebiegu suszenia pigwy modelem teoretycznym. Temperatura suszenia pigwy nie miała istotnego wpływu na wartości siły i pracy cięcia próbek suszu. Natomiast wartości tych parametrów były kilkukrotnie niższe dla surowca przed suszeniem. Wzrost temperatury suszenia powodował spadek linowy zawartości kwasu L-askorbinowego w porównaniu do surowca przed suszeniem - średnio od 25 do 17 mg*g s.m-1, nie miał natomiast istotnego wpływu ma zawartość związków fenolowych, która kształtowała się średnio na poziomie 21 mg*g s.m-1.
The purpose of the work was to determine the influence of temperature of quince fruit convective drying on the course of the process and properties of obtained dried fruit. The scope of the work has covered determination of the water content fluctuations in raw material during the process, determining coefficient of water diffusion, examining mechanic properties of dried fruit and determining L-ascorbic acid content and phenol compounds in dried fruit in raw material before drying. Quince fruit constituted research material (Cydonia oblonga Mill.) of Lescovac variety Fruit were cut into 3mm thick pieces, of which 10 mm diameter samples were cut out. Material, prepared in this way, was arranged in separate layer and dried , in the temperature of 313, 323 i 333 K at the air flow speed through a material layer amounting to 1.0 m*s-1. Samples were dried up to water content amounting to 0.136 kg H2O/kg s.m. Coefficient of water diffusion was within the range of 5.00*10-11 to 2.35*10-10 m2*s-1. Determination of this coefficient allowed describing the course of quince drying with theoretical model. Drying temperature of quince did not have significant influence on the value of power and work of cutting samples of dried fruit. Whereas values of these parameters were few times lower for raw material before drying. Increase of the drying temperature caused a linear decrease of L-ascorbic acid content in comparison to raw material before drying - on average within 25 and 17 mg/g s.m., whereas it did not significantly influence phenol compounds content, which was on average at the level 21 mg/g s.s.
Źródło:
Inżynieria Rolnicza; 2012, R. 16, nr 2, t. 1, 2, t. 1; 53-62
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Impact of the technological conditions of plane surface machining on a triangular milling cutter on the residual hysteresis of the movement axis of the machine
Autorzy:
Stejskal, T.
Kráľ, J.
Rudy, V.
Melko, J.
Rjabušin, A.
Pavliková, L.
Powiązania:
https://bibliotekanauki.pl/articles/957896.pdf
Data publikacji:
2017
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
machine tools
laser interferometer
hysteresis
Opis:
The paper deals with the possibilities of measuring the residual displacement or hysteresis on the lateral direction of the movement forces caused by the cutting forces of the machining. A special adjustment of laser interferometry assemblies was used for measurement. The measurement results indicate that the positioning accuracy in addition to the cutting forces also influences the position of the displaced moving substances and the temperature. The complex effect of these parameters is greatly dependent on the design of the machine.
Źródło:
Advances in Science and Technology. Research Journal; 2017, 11, 3; 240-245
2299-8624
Pojawia się w:
Advances in Science and Technology. Research Journal
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The usefulness of briquettes and pellets from selected plant materials for energy purposes
Przydatnosc brykietu i peletu z wybranych materialow roslinnych na cele energetyczne
Autorzy:
Kowalczyk, J.
Zarajczyk, J.
Sobczak, P.
Mazur, J.
Rudy, S.
Cycan, D.
Winiarczyk, M.
Jadwisienczak, K.
Zalewska, K.
Powiązania:
https://bibliotekanauki.pl/articles/793415.pdf
Data publikacji:
2012
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
briquette
pellet
plant material
wheat straw
rye straw
maize straw
energy purpose
energetics
calorific value
combustion heat
statistical analysis
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2012, 12, 2
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Acquisition and economic use of geothermal energy
Pozyskiwanie i gospodarcze wykorzystanie energii geotermalnej
Autorzy:
Polak, R.
Dziki, D.
Krzykowski, A.
Rudy, S.
Serwatka, Z.
Tomilo, J.
Powiązania:
https://bibliotekanauki.pl/articles/793519.pdf
Data publikacji:
2013
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
geothermal energy
renewable energy source
climate change
mitigation
implementation
thermal energy
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2013, 13, 1
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza możliwości odzyskiwania i magazynowania ciepła z instalacji chłodniczej tunelu
Analysis of possibilities of recovering and storing heat from cooling installation of the tunnel freezer
Autorzy:
Rudy, S.
Kozak, P.
Krzykowski, A.
Dziki, D.
Polak, R.
Wójcik, J.
Powiązania:
https://bibliotekanauki.pl/articles/93455.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
odzysk ciepła
instalacja chłodnicza
tunel zamrażalniczy
ciepło odpadowe
heat recovery
cooling installation
tunnel freezer
waste heat
Opis:
W pracy przeprowadzono analizę możliwości odzyskiwania i magazynowania energii cieplnej z instalacji chłodniczej fluidyzacyjnego tunelu zamrażalniczego a następnie jej magazynowania. Do odzysku ciepła wykorzystano płytowy wymiennik ciepła umieszczony za sekcją sprężarek a podgrzana woda opuszczająca wymiennik przekazywała ciepło poprzez wężownicę do zasobnika ciepła. Wyznaczono ilość ciepła możliwego do odzyskania z instalacji chłodniczej w zależności od obciążenia tunelu chłodniczego i zmiany temperatury wody w zasobniku w trakcie trwania procesu.
The paper presents the analysis of possibilities of recovering and storing thermal energy from a cooling installation of the fluidization tunnel freezer and then its storing. A plate heat exchanger placed behind a section of compressors was used for heat recovery and the heated water that leaves the exchanger transferred heat through a pipe coil to the heat dispenser. The amount of heat possible to be recovered from cooling installation in relation to burdening of the cooling tunnel and the change of water temperature in a dispenser during the process was determined.
Źródło:
Agricultural Engineering; 2014, 18, 1; 197-208
2083-1587
Pojawia się w:
Agricultural Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum Control of Motional States of Neutral Atoms: Exploiting the External Degrees of Freedom
Autorzy:
Bigelow, N. P.
Chałupczak, W.
Ejnisman, R.
Pu, H.
Rudy, P.
Shaffer, J.
Powiązania:
https://bibliotekanauki.pl/articles/1968501.pdf
Data publikacji:
1998-01
Wydawca:
Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:
03.75.Fi
32.80.Pj
42.50.Dv
Opis:
As research in quantum optics has advanced, so too has our ability to precisely tailor the quantum state of a system. Indeed, techniques for quantum state preparation have become sufficiently advanced that an entire subfield has appeared which has been given the name "quantum control". Parallel to these advances have been other striking developments in quantum optics, in particular, laser cooling and trapping of neutral atoms. In this paper we describe some of the recent advancements in laser cooling, particularly in our laboratories, and point out that laser cooling and trapping is also realizing an important form of quantum control. In laser cooling, instead of exercising control over the internal quantum state of an atom or molecule or a laser field, we are instead controlling a complementary set of degrees of freedom: those of the external coordinates of the atom.
Źródło:
Acta Physica Polonica A; 1998, 93, 1; 11-29
0587-4246
1898-794X
Pojawia się w:
Acta Physica Polonica A
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 26

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies