Browsing by Issue Date, starting with "2000"

Now showing 1 - 20 of 43

Access status: Open Access ,
Formalna weryfikacja wymagań systemów czasu rzeczywistego
(Wydawnictwa AGH, 2000) Szpyrka, Marcin
The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements. The main problem that is considered is to create a complete description of the system requirements without any negatives. Verification of the initially defined requirements is based on the coloured Petri nets. Those nets are useful for testing some properties of system requirements such as completeness, consistency and optimality. An example of the lift controller is presented.
Access status: Open Access ,
Zastosowanie metod naturalnych w problemach poszukiwania optymalnego rozwiązania
(Wydawnictwa AGH, 2000) Jasińska-Suwada, Anna; Dzwinel, Witold; Rozmus, Krzysztof; Sołtysiak, Jacek
In the paper we present a new method, which can be used as a natural solver for searching the best solution in the multidimensional and multimodal parameter space. The method is based on a well-known simulation technique, i.e., molecular dynamics. To show advantages and disadvantages of the particle method in comparison to the standard genetic algorithm, we analyse efficiency of the methods in finding the global minimum of multi-dimensional and multi-modal test-bed functions and we calculate the evaluation indices. We analyse also the ways the solution space is explored and the parameters of algorithms adjusted. The optimal heuristics are proposed. The tests carried out show that the choice of the most appriopriate optimization method depends on type of a problem considered. We show that the particle method is more efficient for finding the optimal solution for multi-modal problems with distinct global extreme, while the genetic algorithm is better for deceptive functions with several locals extreme, which are placed far away from the global optimum. This comes from the different ways in which the particle method and genetic algorithm explore the solution space. The particle method can be used for initial analysis of functions, which character is unknown.
Access status: Open Access ,
Obliczenia metodą elementów skończonych na sieci stacji roboczych i na komputerze równoległym
(Wydawnictwa AGH, 2000) Chrobak, Renata
This paper presents three parallel algorithms for simulation of axisymmetrical metal forging processes. The algorithms are based on the non-overlapping domain decomposition method where a mesh of elements is divided into layers assigned to different processes. Parallel programs implementing these algorithms are written in C using PVM calls. The efficiency of the parallel programs is verified on networked IBM RS/6000, Sun SPARCstations and HP 9000 workstations as well as on HP/Convex Exemplar SPP1000.
Access status: Open Access ,
Dopasowanie krzywej tonalnej i równoważenie poziomów szarości przy kontrastowaniu i wstępnej wizualizacji struktur w analizie zdjęć medycznych
(Wydawnictwa AGH, 2000) Ogiela, Marek
The article presents a group of transformations which medical pictures can be subjected to, in the aim of enhancing their contrast and better distinguishing and diagnosis of organs shown in this pictures. In this work the analysis was based on images acquired by various techniques, such as roentgenography (RTG), magnetic resonance (MRI), classic computer tomography (CT) and ultrasonography (USG). Contrast expansion in these images was performed using the histogram method of balancing of gray levels and the method based on the modification of tonal curve. Such transformations were necessary during preliminary processing of these images, especially to adjust their quality for next steps of the analysis in case of automatic medical diagnosis, and also to enable their visual evaluation by specialists and diagnostic interpretation of images of organs and their structural features. The studies show that the method based on the modification of tonal curve yields better results in case of images acquired by roentgenography and magnetic resonance imaging. On the other hand, histogram method is more suitable for contrast expansion in CT and USG images.
Access status: Open Access ,
Semantyczny parser języka polskiego
(Wydawnictwa AGH, 2000) Szostek, Grażyna; Grudzińska, Agnieszka
Amount of information transferred by computers grows very rapidly thus outgrowing the average man's capability of reception. It implies computer programs increase in the demand for which would be able to perform an introductory classification or even selection of information directed to a particular receiver. Due to the complexity of the problem, we restricted it to understanding short newspaper notes. Among many conceptions formulated so far, the conceptual dependency worked out by Roger Schank has been chosen. It is a formal language of description of the semantics of pronouncement integrated with a text understanding algorithm. Substantial part of each text transformation system is a semantic parser of the Polish language. It is a module, which as the first and the only one has an access to the text in the Polish language. It plays the role of an element, which finds relations between words of the Polish language and the formal registration. It translates sentences written in the language used by people into the language of theory. The presented structure of knowledge units and the shape of understanding process algorithms are universal by virtue of the theory. On the other hand the defined knowledge units and the rules used in the algorithms are only examples because they are constructed in order to understand short newspaper notes.
Access status: Open Access ,
Wykorzystanie łącza 12C oraz informacji lokalizacyjnej do personalizacji działania urządzeń
(Wydawnictwa AGH, 2000) Długopolski, Jacek
The article refers to the part of the hardware and software research which concerns the problem of personalization of a common used device operation. The proposed solution is based on the ABS system (Active Badge System) developed by ORL (Olivetti research Laboratories) in the United Kingdom, which delivers localization and identification information, and the universal communication interface I2C (Inter Integrated Circuit) developed by PHILIPS. The two above mentioned elements were used to create both the system of the automatic video signal flow control and the system to identify a TV program being currently viewed.
Access status: Open Access ,
Wykorzystanie sieci neuronowych i analizy portfelowej w prognozowaniu kursów akcji na giełdzie papierów wartościowych
(Wydawnictwa AGH, 2000) Stochel, Przemysław
The article presents the use of neural networks in decision making process on the capital market. The author tried to show the efficiency of established solution in Polish reality which features different conditions in comparison with the markets of higher developed countries. The aim of the paper was to prove that neural networks are flexible tools which on one hand might be adjusted to investor's requirements and on the other, can reduce equirements to his experience. The article is based on the author's own research carried out by modelling neural network operation with a simulation program. The established solutions are input which employs stocks portfolio computed on the basis of Markowitz portfolio theory and Sharpe's model. According to the established propositions, the portfolio created in such a way is modified by neutral network in order to optimise a criterion which maximises the income of such a modified portfolio. A detailed genesis of the established input vector and network structure are presented. It allows the reader to carry out his own research and create his own attitude towards applied values. The research results based on a real stock market database with the use of one-output networks predicting the price of a single company - Agros as well as networks predicting the desirable structure of the whole portfolio are presented. The effect of the network structure learning parameters, input vector (not only as to the input quantity but also as to period of time they were collected) was examined. The dependence between the factors mentioned above such as input vector and network structure were discussed. It seems that the presented paper has proved that some not widely spread methods with neural networks can become a competitive tool to optimisation methods.
Access status: Open Access ,
Kształtowanie się chemizmu wód w strefie aeracji wapieni górnej jury w południowej części Wyżyny Krakowsko-Częstochowskiej
(2000-01-21) (Data obrony: 2008) Różkowski, Kazimierz
Wydział Geologii, Geofizyki i Ochrony Środowiska
The Kraków-Częstochowa Upland is geologically a unique region of vast carbonate outcrop, forming an unconfined aquifer with a complex hydraulic structure. This thesis aims to characterise the processes as well as the rainwater chemical composition dynamics during infiltration through the aeration zone. The investigations were carried out within cave systems scattered at the southern part of the Upland, mainly at the Zakrzówek horst area. Atmospheric precipitation, with a dominantly acidic character during infiltration through the soil and the Upper Jurassic carbonate environment, significantly modifies the prevalent hydrogeochemical composition. The chemistry of water depends mainly on the lithology of rocks forming the zone of aeration, thus limiting the set of possible dissolved constituents to that present in the geological structure. Diversification results from the solubility products of minerals, variable Eh, pH, thermal conditions, as well as the partial pressure of CO2. Also of significance is the velocity of the migrating solution, which is dependent upon the hydraulic structure of rocks, which determines the contact time of the solvent, being the undersaturated precipitation, with the solid rock environment. Modifications occur with variations in rainfall chemical composition, the state of soil evolution or the character of land development.
Access status: Open Access ,
Płuczka wiertnicza opis patentowy nr 178083
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-02-29) Bielewicz, Danuta; Bortel, Edgar; Kraj, Łucja; Kochanowski, Andrzej; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób wyznaczania chwilowych wartości indukcyjności uzwojeń w silniku reluktancyjnym opis patentowy nr 178046
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-02-29) Zarudzki, Jacek; Skotniczny, Józef; Grzegorski, Janusz; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Stal łożyskowa opis patentowy nr 177982
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-02-29) Pacyna, Jerzy; Strączyński, Stanisław; Domagalski, Ryszard; Pawłowski, Mirosław; Piejko, Władysław; Gąsior, Wacław; Szczęch, Stanisław; Krawiarz, Jerzy; Fabryka Łożysk Tocznych 'ISKRA'; Huta Stalowa Wola Zakład Hutniczy; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Układ regulacji łuku pieca łukowego opis patentowy nr 178224
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-03-31) Kurbiel, Aleksy; Łoziak, Władysław; Waradzyn, Zbigniew; Kieroński, Roman; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Węzeł łożyskowy obrotowego noża stycznego głowicy organu urabiającego opis patentowy nr 178171
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-03-31) Bęben, Artur; Maziarz, Michał; Tylek, Ryszard; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Zespół błony radiograficznej, zwłaszcza dla potrzeb chirurgii kostnej i stomatologicznej opis patentowy nr 178181
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-03-31) Szydło, Zbigniew; Zachara, Bolesław; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób przerobu odpadów zawierających fluorek wapniowy opis patentowy nr 178404
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-04-28) Kowalski, Zygmunt; Drzymała, Zygmunt; Piwowarski, Michał; Paszek, Andrzej Piotr; Instytut Chemii Nieorganicznej (Gliwice)
Access status: Open Access ,
Studnia, zwłaszcza w gruntach kurzawkowych opis patentowy nr 178528
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-05-31) Zięba, Antoni; Bednarz, Stanisław; Furmanik, Kazimierz; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Urządzenie do mieszania gazów z cieczami, zwłaszcza podczas eksploatacji wody i płynnych surowców mineralnych opis patentowy nr 178493
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-05-31) Macuda, Jan; Zięba, Antoni; Rzyczniak, Mirosław; Chrząszcz, Wacław; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób przygotowania szlamu zgorzelinowo-zendrowego do stosowania jako komponent wsadu wielkopiecowego i/lub konwertorowego opis patentowy nr 178633
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-05-31) Balak, Czesław; Chowaniec, Jerzy; Danecki, Romuald; Drzymała, Zygmunt; Hryniewicz, Marek; Maćkow, Edward; Kaszewski, Wiesław; Kućmierz, Jerzy; Bróg, Remigiusz; Skupień, Stanisław; Zimmer, Marian; Huta im. Tadeusza Sendzimira (Kraków); Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób przygotowania szlamu zgorzelinowo-zendrowego do stosowania jako komponent wsadu wielkopiecowego i/lub konwertorowego opis patentowy nr 178647
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-05-31) Balak, Czesław; Chowaniec, Jerzy; Danecki, Romuald; Drzymała, Zygmunt; Hryniewicz, Marek; Maćkow, Edward; Kaszewski, Wiesław; Kućmierz, Jerzy; Bróg, Remigiusz; Skupień, Stanisław; Zimmer, Marian; Huta im. Tadeusza Sendzimira (Kraków); Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Urządzenie do odkształcania plastycznego materiałów, zwłaszcza metalicznych podczas kucia lub prasowania opis patentowy nr 178830
(Urząd Patentowy Rzeczypospolitej Polskiej, 2000-06-30) Szyndler, Robert; Korbel, Andrzej; Bochniak, Włodzimierz; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)