Browsing by Issue Date, starting with "2002"

Now showing 1 - 20 of 43

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: 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: 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 ,
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 ,
Ś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)
Access status: Open Access ,
Urządzenie do rozmrażania ładunków, zwłaszcza sypkich opis patentowy nr 183075
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Wojnar, Edward; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)
Access status: Open Access ,
Sposób otrzymywania spieku glino-siarczano-wapniowego opis patentowy nr 183042
(Urząd Patentowy Rzeczypospolitej Polskiej, 2002-05-31) Konik, Zofia; Stok, Andrzej; Wijk, Gijsbert W. M. van; Malinowski, Anatol; Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków)