Wszystkie pola: Rudy, J. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

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ł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Skocz do pozycji: 5.

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ł

Zmień widok

na półce

Skocz do pozycji: 6.

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ł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Remarks on non-planable dendroids
Autorzy:: Charatonik, J. J.
Rudy, Z.
Powiązania:: https://bibliotekanauki.pl/articles/727510.pdf
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Colloquium Mathematicum; 1977, 37, 2; 205-216
0010-1354
Pojawia się w:: Colloquium Mathematicum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Lis rudy [Vulpes vulpes] jako rezerwuar pasożytów i źródło zoocenoz
Autorzy:: Okulewicz, A.
Hildebrand, J.
Okulewicz, J.
Perec, A.
Powiązania:: https://bibliotekanauki.pl/articles/2146378.pdf
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Parazytologiczne
Tematy:: zoocenozy
Vulpes vulpes
parazytologia
rezerwuary pasozytow
lis pospolity
pasozyty
Opis:: Red fox (Vulpes vulpes) as reservoir of parasites and source of zoonosis. This review presents data from Europe and Poland on the prevalence of helminth and protozoan parasites in red foxes (Vulpes vulpes). The most common nematodes were geohelminths: Uncinaria stenocephala, Toxocara canis and Toxocara leonina. As concerning Trichinella genus T. britovi was found more often than T. spiralis. Among tapeworms the following species were recorded: Mesocestoides lineatus, Taenia sp., and Echinococcus multilocularis. Detected cases of E. Multilocularis together with an increase of fox population during last few years create a potential human risk of infection. The results of many studies indicate rare presence of trematodes (Alaria alata) and protozoan parasites (Toxoplasma gondii, Neospora caninum, Leishmania spp., Eimeria spp.) in red foxes.
Źródło:: Wiadomości Parazytologiczne; 2005, 51, 2; 125-132
0043-5163
Pojawia się w:: Wiadomości Parazytologiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Analiza układu kruszenia rudy w ZWR Lubin
Analysis of the crushing system in the Lubin ore mine
Autorzy:: Malewski, J.
Powiązania:: https://bibliotekanauki.pl/articles/88940.pdf
Data publikacji:: 2015
Wydawca:: Politechnika Wrocławska. Wydział Geoinżynierii, Górnictwa i Geologii. Instytut Górnictwa
Tematy:: przeróbka rud
rozdrabianie
modernizacja
Opis:: Przedstawiono wyniki analizy efektywności technologicznej układu kruszenia w instalacji rozdrabiania rudy kopalni Lubin. Efekt rozdrabiania mierzono średnim ziarnem produktu kruszenia w tzw. ciągach węglanowym (I) i piaskowcowym (II). Badano m.in. wpływ zamknięcia obiegu nadziarna oraz zastąpienie kruszarek młotkowych kruszarkami stożkowymi. Obliczenia symulacyjne pokazały, że zamknięcie obiegu nadziarna pozwala zmniejszyć średnie ziarno w produkcie I-ciągu niemal dwukrotnie.
The paper presents results of crushing system analysis, that is being used as subsystem in the Lubin ore mine processing installation. Crushing effect was measured with average particle size in final crushing product of carbonate (I) and sandstone (II) subsystems. Impact of the crushing circuit looping, used for avoid oversize in the final product, as well as effect of modernizing of processing machinery on system efficiency has been studied. Simulations showed that looped circuits, against unlopped, reduce twice the average grain size in the final product.
Źródło:: Mining Science; 2015, 22, Special Issue 1; 111-118
2300-9586
2353-5423
Pojawia się w:: Mining Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Ci, którzy przeżyli : biografie żołnierzy batalionu "Zośka" Armii Krajowej
Autorzy:: Trojan, Włodzimierz.
Data publikacji:: 2002
Wydawca:: Warszawa : Środowisko Batalionu "Zośka" Armii Krajowej
Tematy:: Kowal Henryk J. (1923- ) biografia
Kowal, Henryk J.
Armia Krajowa. Zgrupowanie "Radosław". Batalion "Zośka". II Kompania "Rudy". 3 Pluton "Felek" biografie
Opis:: W Powstaniu Warszawskim walczy na Woli. Ciężko ranny 2 VIII na ul. Spokojnej 13. Przebywał w Szpitalu im. Karola i Marii, następnie w Szpitalu Wolskim i od 15 IX wywieziony do Podkowy Leśnej, skąd wyjeżdża do rodziny.
S. 170-173, Kowal Henryk Józef st. strz. "Henryk", 2 druż. III plut. "Felek" 2 komp. "Rudy".
Dostawca treści:: Bibliografia CBW

Książka

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Emisja zanieczyszczeń pyłowych na etapie eksploatacji oraz zamykania składowiska odpadów poflotacyjnych kopalni rudy Zn-Pb „Trzebionka
Dust emission during operational and closure phase of Zn-Pb “Trzebionka” mine flotation tailings storage site
Autorzy:: Klojzy-Karczmarczyk, B
Kurek, T.
Mazurek, J.
Powiązania:: https://bibliotekanauki.pl/articles/1819394.pdf
Data publikacji:: 2012
Wydawca:: Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:: emisja zanieczyszczeń
flotacja
kopalnia rudy Zn-Pb Trzebionka
Opis:: Mining and processing of zinc and lead ores involves the storage of flotation tailings which to a varying degrees affect the quality of the environment. The impact is due to the tailings being stored in the open open on a above-ground storage site. For quantitative evaluation of pollutants emitted from the area of such a facility, it is necessary to conduct comprehensive monitoring of the scale of pollutant emission and environmental quality monitoring around the storage site. The adverse impact of the tailings storage site on the surrounding environment is associated with several processes both at the operational as well as at the closure phase. The main threat is periodic dusting of the finest fraction of the waste. Periodic discharge of leachate to surface flows and direct infiltration into the substrate also impact the environment. It is important that monitoring is continued at the post-operational phase and that the assayed parameters are consistent with the specificity of the stored tailings. Environmental monitoring at the post-operational and closure phases is important for the surveillance of proper storage site closure and the subsequent reclaim treatment. Measurement of diffuse dust emission into the atmosphere is not mandatory, but it is an essential element of surveillance of the facility's impact on the environment. It is important to monitor the total amount of dust fall and the content of the main heavy metals present in the tailings slime (such as zinc and lead). Dust emission is connected with many anthropogenic and natural factors. This phenomenon may be enhanced in dry weather conditions and violent winds. Long-term monitoring of these pollutants allows a comparison of emissions at different periods of mining and production operations and the associated phases of the storage site operation (storage, closure, reclaim treatment, the period following reclaim). The flotation tailings storage site (pond) of "Trzebionka" SA mine (currently in liquidation), is located on the border of Trzebinia and Chrzanow communes in south-western part of the Malopolska region. The storage site opened in the late 1960s after the opening of the ore enrichment plant. From the beginning, the storage site was located above ground. Currently, it occupies an area of approximately 64 ha, has a height of about 60 m above the ground and the area at the top is about 20 ha. The facility is made mainly of fine-grained dolomitic material, which is waste material from the process of Zn-Pb ore flotation. The storage site was closed down in 2009, currently work is underway aimed at final biological reclamation of the area. Regular monitoring of dust emissions from the area of the storage site has been conducted since the early 1980s. Emission monitoring is conducted indirectly, based on continuous measurement of dust fall at selected points, located around the site. Measurements of dust fall in the area of the sedimentation pond constitute one of the elements of the implemented, comprehensive monitoring study of soil and water environment regarding water and wastewater analysis and dust fall. The study includes quantitative measurements of dust and chemical analysis of the total zinc and lead content in the accumulated sediment. The end result of the study is to estimate the total amount of dust, lead and zinc reported for individual years. The long-term monitoring has allowed to determine the effectiveness of reclaim treatments both during the operational phase and at closure. An analysis of the research results shows that the amount of dust in the region closest to the impact zone of the, tailings accumulated at the storage site was characterized by large changeability from 1982 to 2011 There has been a sharp decrease in the amount of dust fall from the over 150 Mg/km2 year in the early years of operation to about 50 Mg/km2 year in the late years. At the closure phase and at the phase of biological reclaim further reduction of dust emission from the storage site dome has been observed and it amounted to 16 Mg/km2 per year. Such changeability is due to many factors both natural and connected directly with the technology applied at a given time to protect against dusting. The conducted analysis of data indicates the effectiveness of reclaim treatments and satisfactory closure and reclamation of the facility.
Źródło:: Rocznik Ochrona Środowiska; 2012, Tom 14; 844-855
1506-218X
Pojawia się w:: Rocznik Ochrona Środowiska
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Ci, którzy przeżyli : biografie żołnierzy batalionu "Zośka" Armii Krajowej
Autorzy:: Trojan, Włodzimierz.
Data publikacji:: 2002
Wydawca:: Warszawa : Środowisko Batalionu "Zośka" Armii Krajowej
Tematy:: Szamborski Józef J. (1921-2008) biografia
Szamborski, Józef J.
Armia Krajowa. Zgrupowanie "Radosław". Batalion "Zośka". II Kompania "Rudy". 3 Pluton "Felek"
Opis:: W Powstaniu Warszawskim walczy na Woli, Starym Mieście. Ewakuowany kanałami do Śródmieścia, Walczy na Czerniakowie. Łodzią ewakuacyjną dociera na drugi brzeg Wisły.
S. 346-348, Szamborski Józef kpr. "Medyk", III plut. "Felek" 2. komp. "Rudy".
Dostawca treści:: Bibliografia CBW