Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "partial order" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 19
Tytuł:
Visualisation of concurrent processes
Autorzy:
Mikulski, Ł
Piątkowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/205775.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
concurrency
partial order
Hasse diagram
directed acyclic graph
linearisation
Mazurkiewicz traces
Opis:
Mazurkiewicz traces are a widely used model for describing the languages of concurrent systems computations. The causal structure of atomic actions occurring in a process modeled as a trace generates a partial order. Hasse diagrams of such order are very common structures used for presentation and investigation in the concurrency theory, especially from the behavioural perspective. We present effective algorithms for Hasse diagrams construction and transformation. Later on, we use them for enumeration of all linearisations of the partial order that represents a concurrent process. Additionally, we attach the flexible visual implementation of all considered Algorithms.
Źródło:
Control and Cybernetics; 2013, 42, 3; 699-725
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:
Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Powiązania:
https://bibliotekanauki.pl/articles/182716.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady
Opis:
A general semantics of strategic abilities of agents in asynchronous systems with and without perfect information is proposed, and some general complexity results for verification of strategic abilities in asynchronous systems are presented. A methodology for partial order reduction (POR) in verification of agents with imperfect information is developed, based on the notion of traces introduced by Mazurkiewicz. Two semantics of ATL∗ −X are considered and it is shown that for memoryless imperfect information (|=ir) contrary to memoryless perfect information (|=Ir), one can apply techniques known for LTL−X.
Raport definiuje ogólną semantykę dla strategicznych umiejętności agentów w systemach asynchronicznych z pełną i częściową informacją, oraz prezentuje ogólne wyniki dotyczące złożoności weryfikacji strategicznych możliwości w systemach asynchronicznych. Metoda redukcji częścio-porządkowych, wykorzystująca ślady Mazurkiewicza, została zastosowana do weryfikacji agentów z niepełną informacją. Dla rozważanych dwóch semantyk logiki ATL*_x zostało pokazane, że dla bezpamięciowej niepełnej informacji (|=ir) w przeciwieństwie do bezpamięciowej pełnej informacji (|=Ir), można zastosować metody znane dla LTL_x.
Źródło:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1036; 1-32
0138-0648
Pojawia się w:
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Phylogeny Graphs of Doubly Partial Orders
Autorzy:
Park, Boram
Sano, Yoshio
Powiązania:
https://bibliotekanauki.pl/articles/29551728.pdf
Data publikacji:
2013-09-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
competition graph
phylogeny graph
doubly partial order
interval graph
Opis:
The competition graph of a doubly partial order is known to be an interval graph. The CCE graph and the niche graph of a doubly partial order are also known to be interval graphs if the graphs do not contain a cycle of length four and three as an induced subgraph, respectively. Phylogeny graphs are variant of competition graphs. The phylogeny graph P(D) of a digraph D is the (simple undirected) graph defined by V (P(D)) := V (D) and E(P(D)) := {xy | N+D (x) ∩ N+D(y) ¹ ⊘ } ⋃ {xy | (x,y) ∈ A(D)}, where N+D(x):= {v ∈ V(D) | (x,v) ∈ A (D)}. In this note, we show that the phylogeny graph of a doubly partial order is an interval graph. We also show that, for any interval graph G̃, there exists an interval graph G such that G̃ contains the graph G as an induced subgraph and that G̃ is the phylogeny graph of a doubly partial order.
Źródło:
Discussiones Mathematicae Graph Theory; 2013, 33, 4; 657-664
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stabilized model reduction for nonlinear dynamical systems through a contractivity-preserving framework
Autorzy:
Chaturantabut, Saifon
Powiązania:
https://bibliotekanauki.pl/articles/1838159.pdf
Data publikacji:
2020
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
model order reduction
ordinary differential equation
partial differential equation
proper orthogonal decomposition
discrete empirical interpolation method
redukcja rzędu modelu
równanie różniczkowe zwyczajne
równanie różniczkowe cząstkowe
rozkład ortogonalny
Opis:
This work develops a technique for constructing a reduced-order system that not only has low computational complexity, but also maintains the stability of the original nonlinear dynamical system. The proposed framework is designed to preserve the contractivity of the vector field in the original system, which can further guarantee stability preservation, as well as provide an error bound for the approximated equilibrium solution of the resulting reduced system. This technique employs a low-dimensional basis from proper orthogonal decomposition to optimally capture the dominant dynamics of the original system, and modifies the discrete empirical interpolation method by enforcing certain structure for the nonlinear approximation. The efficiency and accuracy of the proposed method are illustrated through numerical tests on a nonlinear reaction diffusion problem.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 615-628
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some remarks on operators preserving partial orders of matrices
Autorzy:
Hauke, Jan
Powiązania:
https://bibliotekanauki.pl/articles/729966.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
star partial ordering
minus partial ordering
löwner partial ordering
sharp partial order
nonnegative definite matrix
Hermitian matrix
EP-matrix
power of a matrix
polynomial of a matrix
Opis:
Stępniak [Linear Algebra Appl. 151 (1991)] considered the problem of equivalence of the Löwner partial order of nonnegative definite matrices and the Löwner partial order of squares of those matrices. The paper was an important starting point for investigations of the problem of how an order between two matrices A and B from different sets of matrices can be preserved for the squares of the corresponding matrices A² and B², in the sense of the Löwner partial ordering, the star partial ordering, the minus partial ordering, and the sharp partial ordering. Many papers have since been published (mostly coauthored by J.K. Baksalary - to whom the present paper is dedicated) that generalize the results in two directions: by widening the class of matrices considered and by replacing the squares by arbitrary powers. In the present paper we make a résumé of some of these results and suggest some further generalizations for polynomials of the matrices considered.
Źródło:
Discussiones Mathematicae Probability and Statistics; 2008, 28, 1; 143-155
1509-9423
Pojawia się w:
Discussiones Mathematicae Probability and Statistics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Replenishment policy for entropic order quantity (ENOQ) model with two component demand and partial back-logging under inflation
Metoda uzupełnień dla modelu entropicznej wielkości zamówienia (ENOQ) z dwuelementowym popytem i uwzględniający inflację
Autorzy:
Dash, B.
Pattnaik, M.
Pattnaik, H.
Powiązania:
https://bibliotekanauki.pl/articles/362217.pdf
Data publikacji:
2017
Wydawca:
Wyższa Szkoła Logistyki
Tematy:
Entropic Order Quantity
EnOQ
two component demand
partial back-logging
inflation
entropiczna wielkość zamówienia
popyt dwuskładnikowy
zużycie częściowe
inflacja
Opis:
Background: Replenishment policy for entropic order quantity model with two component demand and partial backlogging under inflation is an important subject in the stock management. Methods: In this paper an inventory model for non-instantaneous deteriorating items with stock dependant consumption rate and partial back logged in addition the effect of inflection and time value of money on replacement policy with zero lead time consider was developed. Profit maximization model is formulated by considering the effects of partial backlogging under inflation with cash discounts. Further numerical example presented to evaluate the relative performance between the entropic order quantity and EOQ models separately. Numerical example is present to demonstrate the developed model and to illustrate the procedure. Lingo 13.0 version software used to derive optimal order quantity and total cost of inventory. Finally sensitivity analysis of the optimal solution with respect to different parameters of the system carried out. Results and conclusions: The obtained inventory model is very useful in retail business. This model can extend to total backorder.
Wstęp: Metoda uzupełnień dla modelu entropicznej wielkości zamówienia (ENOQ) z dwuelementowym popytem i uwzględniający inflację jest istotnym zagadnieniem w obrębie zarządzania zapasem. Metody: W pracy stworzono model zarządzania zapasem dla pozycji o nierównomiernym zużyciu oraz uwzględniający czynnik inflacyjny w ujęciu wartościowym dla zamówień z zerowym czasem realizacji. Sformułowano model maksymalizacji zysku przy uwzględnieniu inflacji oraz systemu rabatów gotówkowych. Zaprezentowano przykład numeryczny dla porównania efektów uzyskiwanych przy zastosowaniu modelu entropicznej wielkości zamówienia oraz ekonomicznej wielkości zamówienia. Na przykładzie został zaprezentowany stworzony model oraz została zilustrowana procedura. Oprogramowanie Lingo 13.0 zostało wykorzystane do wyprowadzenia optymalnej wielkości zamówienia oraz całkowitego kosztu zapasu. Następnie przeprowadzono analizę wrażliwości optymalnego rozwiązania dla różnych parametrów. Wyniki i wnioski: Otrzymany model zapasu jest bardzo przydatny w przedsiębiorstwie handlu detalicznego. Może on został użyty również w szerszym zakresie.
Źródło:
LogForum; 2017, 13, 3; 353-365
1734-459X
Pojawia się w:
LogForum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quality of Algebraic Numeration Problems to Measure Higher Order Thinking Skills Using Partial Credit Model
Autorzy:
Harvani, Indah Dwi
Kurniati, Dian
Kim, Dong-Joong
Osman, Sharifah
Powiązania:
https://bibliotekanauki.pl/articles/2233931.pdf
Data publikacji:
2023-06-30
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
algebraic numeration problems
higher-order thinking skills
partial
credit model
Opis:
Higher-order thinking skills are abilities that all students must possess. Students are given algebraic numeracy questions to measure this ability. This research aims to determine the quality of algebraic numeracy questions based on their validity and reliability. This type of research is quantitative, with analysis using a partial credit model with 28 students as research subjects. The results in this study were that the 10 numeration questions developed were valid because they met at least one of the validity and reliability criteria with an item reliability value of 0.82, indicating that the instrument could measure high-level thinking skills well.
Źródło:
The New Educational Review; 2023, 72; 218-229
1732-6729
Pojawia się w:
The New Educational Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Power-ordered sets
Autorzy:
Goldstern, Martin
Schweigert, Dietmar
Powiązania:
https://bibliotekanauki.pl/articles/729055.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
partial order
chain
linear order
antichain
power set
power-ordered set
distributive lattice
anti-automorphism
Opis:
We define a natural ordering on the power set (Q) of any finite partial order Q, and we characterize those partial orders Q for which (Q) is a distributive lattice under that ordering.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 1; 39-46
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the structure of halfdiagonal-halfterminal-symmetric categories with diagonal inversions
Autorzy:
Vogel, Hans-Jürgen
Powiązania:
https://bibliotekanauki.pl/articles/728750.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
halfdiagonal-halfterminal-symmetric category
diagonal inversion
partial order relation
subidentity
equation
Opis:
The category of all binary relations between arbitrary sets turns out to be a certain symmetric monoidal category Rel with an additional structure characterized by a family $d = (d_{A}: A → A⨂ A | A ∈ |Rel|)$ of diagonal morphisms, a family $t = (t_{A}: A → I | A ∈ |Rel|)$ of terminal morphisms, and a family $∇ = (∇_{A}: A ⨂ A → A | A ∈ |Rel|)$ of diagonal inversions having certain properties. Using this properties in [11] was given a system of axioms which characterizes the abstract concept of a halfdiagonal-halfterminal-symmetric monoidal category with diagonal inversions (hdht∇s-category). Besides of certain identities this system of axioms contains two identical implications. In this paper is shown that there is an equivalent characterizing system of axioms for hdht∇s-categories consisting of identities only. Therefore, the class of all small hdht∇-symmetric categories (interpreted as hetrogeneous algebras of a certain type) forms a variety and hence there are free theories for relational structures.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 139-163
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the asymptotic behavior of solutions of second order parabolic partial differential equations
Autorzy:
Lian, Wei-Cheng
Yeh, Cheh-Chih
Powiązania:
https://bibliotekanauki.pl/articles/1311133.pdf
Data publikacji:
1996
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
asymptotic behavior
second order partial differential equation
maximum principles
Opis:
We consider the second order parabolic partial differential equation $∑^n_{i,j=1} a_{ij}(x,t) u_{x_{i}x_{j}} + ∑^n_{i=1} b_i(x,t) u_{x_i} + c(x,t)u - u_t = 0$. Sufficient conditions are given under which every solution of the above equation must decay or tend to infinity as |x|→ ∞. A sufficient condition is also given under which every solution of a system of the form $L^α[u^α] + ∑_{β=1}^N c^{αβ}(x,t) u^β = f^α(x,t)$, where $L^α[u] ≡ ∑^n_{i,j=1} a_{ij}^α(x,t) u_{x_{i}x_{j}} + ∑^n_{i=1} b_i^α(x,t) u_{x_i} - u_t$, must decay as t → ∞.
Źródło:
Annales Polonici Mathematici; 1996, 63, 3; 223-234
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type. Part II
Autorzy:
Shirai, A.
Powiązania:
https://bibliotekanauki.pl/articles/255197.pdf
Data publikacji:
2015
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
singular partial differential equations
totally characteristic type
nilpotent vector field
formal solution
Gevrey order
Maillet type theorem
Opis:
In this paper, we study the following nonlinear first order partial differential equation: [formula] The purpose of this paper is to determine the estimate of Gevrey order under the condition that the equation is singular of a totally characteristic type. The Gevrey order is indicated by the rate of divergence of a formal power series. This paper is a continuation of the previous papers [Convergence of formal solutions of singular first order nonlinear partial differential equations of totally characteristic type, Funkcial. Ekvac. 45 (2002), 187-208] and [Maillet type theorem for singular first order nonlinear partial differential equations of totally characteristic type, Surikaiseki Kenkyujo Kokyuroku, Kyoto University 1431 (2005), 94-106]. Especially the last-mentioned paper is regarded as part I of this paper.
Źródło:
Opuscula Mathematica; 2015, 35, 5; 689-712
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Impulsive Hyperbolic System of Partial Differential Equations of Fractional Order with Delay
Autorzy:
Benchohra, Mouffak
Boutefal, Zohra
Powiązania:
https://bibliotekanauki.pl/articles/746465.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
impulsive partial hyperbolic differential equations,
fractional order, solution
left-sided mixed Riemann-Liouville integral
Caputo fractional-order derivative
finite delay
fixed point
Opis:
This paper deals with the existence of solutions to impulsive partial hyperbolic differential equations with finite delay, involving the Caputo fractional derivative. Our results will be obtained using Krasnoselskii fixed point theorem.
Źródło:
Commentationes Mathematicae; 2014, 54, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy calculus with aplications
Autorzy:
Chwastyk, Anna
Kosiński, Witold
Powiązania:
https://bibliotekanauki.pl/articles/748465.pdf
Data publikacji:
2013
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
ordered fuzzy numbers, partial order relations, defuzzification functionals, man- agement of supply, net present value (NPV), internal rate of return (IRR)
Opis:
The aim of the artile is presenting the current state of ordered fuzzy numbers development. New model of fuzzy number was invented in 2002 to overcome drawbacks of classical (convex) fuzzy numbers. Two problems of management accounting are considered. The first relates to the management of supply and determining the optimal size of a delivery from outside, which minimalize total costs, when unit costs of delivery and storage are fuzzy. The second problem is related to determination of Internal Rate of Return (IRR) for investments in which the value of cash flow are not specified accurately. Key words and phrases: ordered fuzzy numbers, partial order relations, defuzzification functionals, management of supply, net present value (NPV), internal rate of return (IRR).
Źródło:
Mathematica Applicanda; 2013, 41, 1
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Exploiting Ordinal Data for Subjective Well-Being Evaluation
Autorzy:
Fattore, Marco
Maggino, Filomena
Arcagni, Alberto
Powiązania:
https://bibliotekanauki.pl/articles/465885.pdf
Data publikacji:
2015
Wydawca:
Główny Urząd Statystyczny
Tematy:
subjective well-being multidimensional ordinal data
partial order
Opis:
The evaluation of subjective well-being, and of similar issues related to quality of life, is usually addressed through composite indicators or counting procedures. This leads to inconsistencies and inefficiency in the treatment of ordinal data that, in turn, affect the quality of information provided to scholars and to policy-makers. In this paper we take a different path and prove that the evaluation of multidimensional ordinal well-being can be addressed in an effective and consistent way, using the theory of partially ordered sets. We first show that the proper evaluation space of well-being is the partially ordered set of achievement profiles and that its structure depends upon the importance assigned to well-being attributes. We then describe how evaluation can be performed extracting information out of the evaluation space, respecting the ordinal nature of data and producing synthetic indicators without attribute aggregation. An application to subjective well-being in Italy illustrates the procedure.
Źródło:
Statistics in Transition new series; 2015, 16, 3; 409-428
1234-7655
Pojawia się w:
Statistics in Transition new series
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Estimation of the partial order on the basis of pairwise comparisons
Autorzy:
Klukowski, L.
Powiązania:
https://bibliotekanauki.pl/articles/205797.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
estimation of partial order
multiple pairwise comparisons with random errors
binary and multivalent comparisons
Opis:
The problem of estimation of the partial order on the basis of multiple pairwise comparisons in binary and multivalent form, with random errors, is investigated. The estimators are based on the idea of the nearest adjoining order (see Slater, 1961; Klukowski 2011). Two approaches are examined: comparisons indicating the direction of preference (binary) and comparisons indicating the difference of ranks (multivalent) - both with possibility of existence of incomparable elements. The properties of estimators and the optimization problems formulated in order to obtain them are similar to those for the case of complete relation. However, the assumptions about the distributions of comparison errors are different – they comprise the case of incomparable elements.
Źródło:
Control and Cybernetics; 2014, 43, 4; 577-588
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 19

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies