Browsing by Issue Date, starting with "2002"

Now showing 1 - 20 of 47

Access status: Open Access ,
Time extensions of Petri nets for modelling and verification of hard real-time systems
(Wydawnictwa AGH, 2002) Samolej, Sławomir; Szmuc, Tomasz Bartłomiej
The main aim of the paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow, an ability to force a transition to fire within a stated timing constraint (the so-called the strong firing rule), and timing constraints represented by intervaIs. The presented survey includes extensions of classical Place/Transition Petri nets, as welI as the ones applied to high-level Petri nets. An expressiveness of each time extension is illustrated using simple hard real-time system. The paper includes also a brief description of analysis and verification methods related to the extensions, and a survey of software tooIs supporting modelling and analysis of the considered Petri nets.
Access status: Open Access ,
Semigroups, groups and grammar inference problem
(Wydawnictwa AGH, 2002) Sokolicki, Zbigniew
In the paper we analyse a problem of inferring a grammar from a given sample of a language. We try to present an algebraic formalism capable of describing the issue. We consider two cases: a case of inferring canonical finite-state grammars, and a case of inferring general grammars. In both cases we define a semigroup structure. Finally we look at the possibility of getting a structure of a group.
Access status: Open Access ,
Kontekstowe rozstrzyganie wieloznaczności w tekście polskim
(Wydawnictwa AGH, 2002) Krężołek, Marek
This article describes a computer programme designed to assign the appropriate meaning to homonyms based on the context in which they appear. Homonyms can be defined as words with a number of different, often unrelated, meanings (for example a bank - a business that lends or keeps money, the land along the side of river, a large pile of earth, sand, snow). The programme described in the paper exploits a monolingual dictionary, which, together with and supported by declension dictionary assigns the appropriate meaning for any given word from the text. In order to assign the correct and appropriate meaning for the given context two methods are used and exploited: 1) Recognition of the meaning of a particular homonym based on the occurrence of its collocations in the immediate context. 2) Applying the correct meaning of the word based on the overall theme or topic of the text in which appears.
Access status: Open Access ,
Distorted pattern recognition and analysis with the help of IE(f] graph representation
(Wydawnictwa AGH, 2002) Sędziwy, Adam
An algorithm for distorted pattern recognition is presented. It's generalization of M. Flasiński results (Pattern Recognition, 27, 1-16, 1992). A new formalism allows to make both qualitative and quantitive distortion analysis. It also enlarges parser flexibility by extending the set of patterns which may be recognized.
Access status: Metadata only ,
Metody numeryczne
(2002) Przewoźnik, Łukasz
Wydział Inżynierii Mechanicznej i Robotyki; Centrum e-Learningu i Innowacyjnej Dydaktyki
Na stronie zaprezentowano materiał z zajęć „Metody numeryczne” z III semestru na Wydziale Inżynierii Mechanicznej i Robotyki AGH. Zagadnienia tematyczne: całkowanie numeryczne, schemat Hornera, iteracja, metoda Newtona, metoda Eulera, metody typu Runge-Kutty, interpolacja, aproksymacja. Strona brała udział w konkursie <a href="https://notatki.cel.agh.edu.pl/">„Notatki w Internecie”.</a>
Access status: Open Access ,
Zagadnienie bezpieczeństwa komunikacji w systemie CORBA
(Wydawnictwa AGH, 2002) Byrski, Jędrzej
CORBA standard defines the mechanisms of shearing services. The key rule plays ORB (Object Request Broker) which enables location of suitable server and transparent communication between client and server. This paper presents problems connected with security during communication between ORB systems. In the CORBA system the objects are identified by IOR (Interoperable Object Reference). For TCP/IP it contains IP server address, port and object key. Filtration may use such information as: type of communicate, IP address of client, object key to which client wants to access, type of operation, clients principal. In proposed implementation the firewall works as CORBA server and cooperates with halfbridge. It is registered in ORB system and provides the controlling functions for entering packages by IDL interface. In the paper also the structure of filtering module is presented. Its main part is ACL (Access Control List) with rules of access. The performance evaluation results are also presented.
Access status: Metadata only ,
Teoria pasmowa własności elektronowych ciał stałych
(2002) Kosturek, Rafał
Centrum e-Learningu i Innowacyjnej Dydaktyki
Zamieszczone materiały pochodzą z części wykładu fizyki ciała stałego prowadzonego na Wydziale Fizyki i Techniki Jądrowej AGH (2002). Wykład prowadził dr hab. Andrzej Zięba dla studentów III roku specjalności fizyka ciała stałego, fizyka jądrowa i fizyka komputerowa. Zagadnienia tematyczne: <ul><li>Co to jest teoria pasmowa?</li><li>Rozwiązanie równania Schrödingera dla potencjału periodycznego,</li> <ul><li>Funkcja falowa,</li> <li>Własności wektora k, </li><li>Widmo energii elektronów,</li></ul><li>Zapełnianie pasm przez elektrony. Metale i niemetale,</li><ul><li>Zapełnienie stanów w pasmach przez elektrony,</li><li>Metal w teorii pasmowej,</li><li>Półprzewodniki i izolatory, </li></ul><li>Komputerowe obliczenia ab initio struktury pasmowej,</li><ul><li>Zasada samouzgodnienia,</li><li>Potencjał wymienno-korelacyjny,</li><li>Samouzgodnione obliczenia ab initio struktury elektronowej kryształu,</li><li>Rezultaty na przykładzie miedzi,</li><li>Rozszerzenia formalizmu: magnetyzm i efekty relatywistyczne, </li></ul><li>Ewolucja struktury elektronowej pierwiastków układu okresowego w stanie krystalicznym, </li><li>Podsumowanie: możliwości i granice teorii pasmowej.</li></ul>Na stronie znajduje się również słownik matematyczny polsko-angielsko i pytania testowe. Strona brała udział w konkursie <a href="https://notatki.cel.agh.edu.pl/">„Notatki w Internecie”.</a>
Access status: Open Access ,
Automatyczna ekstrakcja powiązań semantycznych z tekstu polskiego
(Wydawnictwa AGH, 2002) Lubaszewski, Wiesław; Gajęcki, Marek
In the paper we presents a method for automatic construction of an association list for a particular word. Association list is a set of word, each of which is in a semantic relation with the words, to define. To construct the association list we use statistic reasoning algorythm, which works on the base of the Polish inflection dictionary, text corpus, and the quantitative dictionary created for the corpus. Experiments are encouraging enough - one may think that the association can serve as the base for the entry in a semantic dictionary.
Access status: Open Access ,
A cellular automata models of evolution of transportation networks
(Wydawnictwa AGH, 2002) Topa, Paweł; Paszkowski, Mariusz
We present a new approach to modelling of transportation networks. Supply of resources and their influence on the evolution of the consuming environment is a principal problem considered. We present two concepts, which are based on cellular automata paradigm. In the first model SCAMAN (Simple Cellular Automata Model of Anastomosing Network), the system is represented by a 2D mesh of elementary cells. The rules of interaction between them are introduced for modelling of the waterflow and other phenomena connected with anastomosing river. Due to limitations of SCAMAN model, we introduce a supplementary model. The MANGraCA (Model of Anastomosing Network with Graph of Cellular Automata) model beside the classical mesh of automata, introduces an additional structure: the graph of cellular automata, which represents the network pattern. Finally we discuss the prospective applications of the models. The concepts of future implementation are also presented.
Access status: Open Access ,
Hirschberg's algorithm for approximate matching
(Wydawnictwa AGH, 2002) Drozdek, Adam
The Hirschberg algorithm was devised to solve the longest common subsequence problem. The paper discusses the way of adopting the algorithm to solve the string matching problem in linear space to determine edit distance for two strings and their alignment.
Access status: Open Access ,
Wpływ mikrododatków i azotu na hartowność stali średniowęglowej z 2% Cr
(2002-01-18) (Data obrony: 2007-09-24) Staśko, Renata
Wydział Inżynierii Metali i Informatyki Przemysłowej
In work results of investigations of increased nitrogen content (in the rangę of 0.004÷0,04 %) and microalloying additions of V, Ti, Nb, Al on hardenability and austenite grain size of 0,4 %C, 2 %Cr are presented. Investigations were carried out on 26 laboratories melts. The hardenability of steels were carried out using austenitising temperature in the range 840÷1000°C. Using thermodynamic model the chemical composition of austenite as well as content of undissolved carbonitrides and nitrides were calculated and their effect on hardenability and austenite grain size was investigated. It was found, that in studied steel the increase of nitrogen content without microalloying additions decreases the hardenability of steel and increases susceptibility for austenite grain growth. However introduction microalloing additions at enlarged content of nitrogen permitted to get high hardenability at low grain of austenite at suitable temperature of hardening. Values of estimated ideal critical diameters were in the range 100 to 200 mm. Results of investigations permitted to affirm synergetic effect Mn and Cr onto hardenability of steel. Quantitative and qualitative analysis carbonitrides were carried out The effect of microalloying and nitrogen contents on mechanical properties of heat treated steel was investigated. Introduction of microalloing elements in steel with increased nitrogen content resulted in increasing tensile properties and decreasing impact strength of quenched and tempered steel.
Access status: Open Access ,
Sposób wytwarzania hydroksyapatytowych cienkościennych kształtek implantacyjnych opis patentowy nr 182683
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-02-28) Paszkiewicz, Zofia; Ślósarczyk, Anna; Stobierska, Ewa; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób naprawy i wzmocnienia odkształconych belek stalowych opis patentowy nr 182671
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-02-28) Przytuła, Romuald; Woliński, Jacek; Kurowski, Jerzy; Kwiatek, Marian; Hanszke, Waldemar; Blum, Artur; Gallos, Maciej; Lis, Edward; Słota, Ludwik; Pajor, Stanisław; Huta im. Tadeusza Sendzimira (Kraków)
Access status: Open Access ,
Sposób wytwarzania powłoki ochronnej na podłożu metalowym opis patentowy nr 182697
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-02-28) Stoch, Anna; Długoń, Elżbieta; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Środek powłokowy na formy, rdzenie oraz modele w technologii pełnej formy opis patentowy nr 182652
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-02-28) Falęcki, Zygmunt; Mocek, Jan; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Reduction of energy losses in CMOS circuits considering die temperature
(2002-05-23) (Data obrony: 2008) Gołda, Adam
Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
In this dissertation, the elaboration of predictive techniques used in dynamic power management has been presented. The supervisors that are dedicated to managing these predictive methods, which are based on DCT, DFS, and DVS techniques, have also been worked out. These techniques belong to rare methods of energy minimisation that take into account chip temperature. The author of this dissertation has analysed each component of energy consumption by means of theoretical investigations, simulations, and measurements. The temperature influence on each part of energy losses have also been taken into account. The considerations have been performed for wide range of technologies from 3 $\mu$m to 32 nm. The next stage is consideriation of thermal phenomena in solids and electro-thermal interactions. Using original software EThS and test chips designed by the author the electro-thermal models are matched and verified. The new predictive techniques that are based on common DCT, DFS, and DVS methods have been worked out. They are dedicated to high efficiency systems in order to keep theirs throughput on the possible maximum level. They consist in cooperation of supervisory unit with operating system that has to deliver data about the curreni and future process requirements of power consumption. The simply shape of equations, which describes the behaviour of theirs supervisors, allows dired implementation in neural networks. The presented supervisors can also be easily applied in the other hardware or software. Not only the supervisors turn a profit in energy consumption, they also gain in performance.
Access status: Open Access ,
Środek do rafinacji ciekłego aluminium lub jego stopów opis patentowy nr 183006
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Nowakowski, Jerzy; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Ślizgowe uszczelnienie czołowe opis patentowy nr 182996
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Ochoński, Włodzimierz; Zachara, Bolesław; Szydło, Zbigniew; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Uszczelnienie czołowe z cieczą ferromagnetyczną opis patentowy nr 183050
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Zachara, Bolesław; Ochoński, Włodzimierz; Szydło, Zbigniew; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Uszczelnienie ferromagnetyczne wału obrotowego opis patentowy nr 182999
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Ochoński, Włodzimierz; Zachara, Bolesław; Szydło, Zbigniew; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)