The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Rozważane są uogólnione sieci Petriego zwane sieciami kontekstowymi i procesy takich sieci. Procesy sieci kontekstowych są definiowane jako porządki częściowe z pewna dodatkową strukturą. Definiuje się operacje składania procesów tak, że każdy proces sieci kontekstowej można otrzymać składając procesy odpowiadające miejscom i tranzycjom tej sieci. Definiuje się podobne do macierzy i zwane tablicami...
W pracy zaproponowano probabilistyczną wersję rozproszonego algorytmu numeracji węzłów sieci procesów. Zaletą tego probabilistycznego podejścia jest to, że wynikowy algorytm poprawnie numeruje węzły sieci o dowolnej topologii i może być całkowicie asynchroniczny (w przypadku deterministycznych rozwiązań obie te cechy mają pewne ograniczenia). Przebadano zarówno poprawność zaproponowanego algorytmu...
The randomized grade regression function of Y on X and two important grade measures of monotone dependence: Spearman's rho and Kendall's tau are expressed as functions of the family of monotone Gini separation indices for pairs consisting of a conditional distribution of Y on X and a marginal distribution of Y. They are also expressed as functions of the family of monotone Gini separation indices...
Each semicommutation (A, q) determines the class REG (A) - the family of all q-closed and regular subsets of A*. Let (A, q) and B, g) be two semicommutations. A morphism f:A*->B* is said to be regular if and only if f (f(L)) REG (B) whenever L REG (A). A characterization of regular semicommutations (the case A=B and f=id) was given in [OW93]. In this paper we prove regularity of some special class...
Przedmiotem porównania są tabele wyników wyborów do Sejmu RP z lat 1993 i 1997, zawierające liczby głosów oddanych na poszczególne partie w 52 okręgach wyborczych (chodzi więc o pierwotne wyniki wyborów, a nie o późniejsze ich przetworzenie na reprezentację sejmową). Każde oczko takiej tabeli jest opisane przez wskaźnik nadreprezentacji partii w okręgu (w odniesieniu do wyniku proporcjonalnego do...
We adress the problem of null values and other forms of semi-structured data in object-oriented databases. Various aspects and issues concerning semi-structured data that are currently presented in the litarature are discussed in the paper. We propose a new universal approach to semi-structured data based on the idea of absent objects. The idea covers null values and union types and can be smoothly...
We consider bivariate densities having diagonal expansions and review and generalize some of its known properties. In particular, Mehler's equality and Gebelein's inequality are generalized. Moreover, we consider stationary processes [...] with a covariance function r(i) and with bivariate densities of [...] having diagonal form with coefficients a (i),k=0,1,... and state general conditions under...
In theories of job scheduling and of distributed computing, there have been many attempts to introduce tools originating from algebraic and combinatorial topology, such as homotopy groups. Informally, the fundamental (or first homotopy) group gives an account of the nature of 'holes' in a topological space. In the realm of processes, such holes may correspond to forbidden configurations; e.g. where...
A process of team formation by autonomous agents in a distributed environment is presented. Since the environment is distributed, there are serious problems with communication and consistent decision making inside a team. To deal with this problems, the standard technique of token passing in a computer network is applied. The passing cycle of the token serves as the communication route, assures consistent...
A weak additive subgroups decomposition of the concentration index and of the absolute concentration index onto three terms B+W+R (Between, Within and Rest) is derived and applied to the Gini Inequality Index as well as the Gini Dependence Index and Gini Absolute Dependence Index. The B+W+R decompositions of the Gini Indices are then compared with covariance-based decompositions consisting of two...
Opracowanie zawiera przegląd zagadnień związanych z tematyką rozproszonych obiektowych baz danych. Omówione są podstawowe cele, założenia, pojęcia i metody wiążące się z tą dziedziną. Przedstawiono typowe architektury systemów rozproszonych baz danych (architektury: klient-serwer i klient-broker-serwer), a także problemy związane z rozproszeniem zasobów (m.in. replikacje, migracje obiektów, przetwarzanie...
Jest to drugi zeszyt w serii 'Na wózku inwalidzkim po infostradzie do Europy?', przygotowany przez grupę działaczy Fundacji Pomocy Matematykom i Informatykom Niesprawnym Ruchowo (FPMiINR). Zachowany został podział zeszytu na trzy części, jaki został wprowadzony w pierwszym zeszycie (wydanym w październiku 1996 w Pracach IPI PAN no 813). Część pierwsza niniejszego zeszytu jest poświęcona Internetowi...
Praca dotyczy zastosowania filtracji adaptacyjnej do rejestracji silnie zakłóconego i dynamicznie zmieniającego się sygnału EKG. Na początku przedstawiono i przedyskutowano właściwości typowych algorytmów używanych do tego typu filtracji. W części finalnej - opisany został algorytm filtracyjny oparty na dwu równolegle pracujących elementach filtrujących oraz przeanalizowano jego przydatność przy rejestracji...
Opracowanie zawiera opis koncepcji i implementacji algorytmu analizującego mapę głębi 3W sceny złożonej z wielościanów wypukłych i jest przewidziany do zastosowania w systemie analizy stereowizualnej. Algorytm analizuje mapę i wydziela jej wysokopoziomową strukturę, stanowiącą jej krawędziowo-wierzchołkowy opis. Został on przetestowany na syntetycznych mapach głębi.
Opracowanie dotyczy konstruowania widokowych modeli wielościanów wypukłych w rzutowaniu środkowym wg koncepcji sfery widokowej, które to modele są przeznaczone dla systemów identyfikacji wizualnej. W szczególności jest opisana nowa koncepcja generowania widoków oraz nowa metoda i algorytm wyznaczania obszarów 1-widokowych (O1-W).
Przedstawiono metody analizy obrazu do określenia parametrów procesu transportowego: wykrywania ruchu i jego kierunku, pomiaru prędkości i odległości między obiektami. Zdefiniowano ograniczenia spowodowane właściwościami sprzętu oraz warunków wykonywania obserwacji. Wszystkim rozwiązaniom został postawiony warunek pracy w czasie rzeczywistym. Rozwiązanie oparto o wykrywanie ruchu na podstawie obrazów...
This report explains how to factor partial orders to get quotient partial orders and how to factor cpo-s to get quotient cpo-s. This is supplemented by an important issue of collapsing the cpo-s to simpler ones. The motivations for this research come from investigations of concurrent processes addressed elsewhere. However, the article may be read independently of these motivations.
The menagerie of epimorphisms in the category Cat of small categories is studied. The standard notion of a congruence on a category is generalized and used subsequently to introduce the notion of a kernel of a functor, quotient category and quotient functor. Theory of concurrent processes seems to be a natural place to look for applications of the notions and results presented here in the area of...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.