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ę "completeness" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
    Wyświetlanie 1-60 z 60
    Tytuł:
    On the completeness of decomposable properties of graphs
    Autorzy:
    Hałuszczak, Mariusz
    Vateha, Pavol
    Powiązania:
    https://bibliotekanauki.pl/articles/744156.pdf
    Data publikacji:
    1999
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    decomposition
    hereditary property
    completeness
    Opis:
    Let ₁,₂ be additive hereditary properties of graphs. A (₁,₂)-decomposition of a graph G is a partition of E(G) into sets E₁, E₂ such that induced subgraph $G[E_i]$ has the property $_i$, i = 1,2. Let us define a property ₁⊕₂ by {G: G has a (₁,₂)-decomposition}.
    A property D is said to be decomposable if there exists nontrivial additive hereditary properties ₁, ₂ such that D = ₁⊕₂. In this paper we determine the completeness of some decomposable properties and we characterize the decomposable properties of completeness 2.
    Źródło:
    Discussiones Mathematicae Graph Theory; 1999, 19, 2; 229-236
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of 2D standard and positive Fornasini-Marchesini models with state-feedbacks
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/205641.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    pointwise completeness
    standard
    state-feedbacks
    Opis:
    Necessary and sufficient conditions are established for the pointwise completeness of 2D standard and positive Fornasini-Marchesini models with state-feedbacks. Similar relations are obtained for the pointwise degeneracy of the 2D models with state-feedbacks. It is shown that if the positive 2D model is pointwise complete then there exists a gain matrix of the state-feedback such that the closed-loop system is pointwise degenerated if both matrices B1 and B2 of the 2D Fornasini-Marchesini model are nonzero. The considerations are illustrated by numerical examples.
    Źródło:
    Control and Cybernetics; 2011, 40, 1; 39-58
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The pragmatics of casual dialogue
    Autorzy:
    Warchala, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/468274.pdf
    Data publikacji:
    2015
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    casual dialogue
    coherence
    completeness
    extralinguistic factors
    Opis:
    In this paper, the author presents the relationships of dialogue and then characterizes dialogue as a text. In dialogue’s characteristics, it is necessary to distinguish its units and both obligatory and optional elements. The author notes that a lively and spontaneous dialogue is dependent on various extralinguistic factors as well as accident.
    Źródło:
    Forum Lingwistyczne; 2015, 2; 97-119
    2449-9587
    2450-2758
    Pojawia się w:
    Forum Lingwistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The pointwise completeness and the pointwise degeneracy of fractional descriptor discrete-time linear systems
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/200344.pdf
    Data publikacji:
    2019
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    fractional
    descriptor
    pointwise completeness
    pointwise degeneracy
    Opis:
    The Drazin inverse of matrices is applied to analysis of the pointwise completeness and of the pointwise degeneracy of the fractional descriptor linear discrete-time systems. Necessary and sufficient conditions for the pointwise completeness and the pointwise degeneracy of the fractional descriptor linear discrete-time systems are established. It is shown that every fractional descriptor linear discrete-time systems is not pointwise complete and it is pointwise degenerated in one step (for i= 1).
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2019, 67, 6; 989-993
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Carathéodory completeness on the plane
    Autorzy:
    Edigarian, Armen
    Powiązania:
    https://bibliotekanauki.pl/articles/2188102.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    Carathéodory distance
    completeness
    Melnikov's theorem
    peak function
    Opis:
    M. A. Selby [8-10] and, independently, N. Sibony [11] proved that on the complex plane c-completeness is equivalent to c-finitely compactness. Their proofs are quite similar and are based on [4]. We give more refined equivalent conditions and, along the way, simplify the proofs.
    Źródło:
    Universitatis Iagellonicae Acta Mathematica; 2019, 56; 15-21
    2084-3828
    0083-4386
    Pojawia się w:
    Universitatis Iagellonicae Acta Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    NP-completeness of weakly convex and convex dominating set decision problems
    Autorzy:
    Raczek, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/2050778.pdf
    Data publikacji:
    2004
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    dominating set
    NP-completeness
    distance
    convex set
    Opis:
    The convex domination number and the weakly convex domination number are new domination parameters. In this paper we show that the decision problems of convex and weakly convex dominating sets are NP-complete for bipartite and split graphs. Using a modified version of Warshall algorithm we can verify in polynomial time whether a given subset of vertices of a graph is convex or weakly convex.
    Źródło:
    Opuscula Mathematica; 2004, 24, 2; 189-196
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/377430.pdf
    Data publikacji:
    2014
    Wydawca:
    Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
    Tematy:
    regularity
    pointwise completeness
    pointwise generacy
    descriptor electrical circuits
    Opis:
    The regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits composed of resistances, capacitances, inductances and voltage (current) sources are addressed. It is shown that every descriptor electrical circuit is a linear system with regular pencil. Conditions for the pointwise completeness and pointwise generacy of the descriptor linear electrical circuits are established. The considerations are illustrated by examples of descriptor electrical circuits.
    Źródło:
    Poznan University of Technology Academic Journals. Electrical Engineering; 2014, 77; 9-28
    1897-0737
    Pojawia się w:
    Poznan University of Technology Academic Journals. Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Balanced problems on graphs with categorization of edges
    Autorzy:
    Berežný, Štefan
    Lacko, Vladimír
    Powiązania:
    https://bibliotekanauki.pl/articles/743374.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    algorithms on graphs
    categorization of edges
    NP-completeness
    Opis:
    Suppose a graph G = (V,E) with edge weights w(e) and edges partitioned into disjoint categories S₁,...,Sₚ is given. We consider optimization problems on G defined by a family of feasible sets (G) and the following objective function:
    $L₅(D) = max_{1≤i≤p} (max_{e ∈ S_i ∩ D} w(e) - min_{e ∈ S_i ∩ D} w(e))$
    For an arbitrary number of categories we show that the L₅-perfect matching, L₅-a-b path, L₅-spanning tree problems and L₅-Hamilton cycle (on a Halin graph) problem are NP-complete.
    We also summarize polynomiality results concerning above objective functions for arbitrary and for fixed number of categories.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2003, 23, 1; 5-21
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On some properties of Musielak-Orlicz sequence spaces
    Autorzy:
    Shragin, Isaac V.
    Powiązania:
    https://bibliotekanauki.pl/articles/745761.pdf
    Data publikacji:
    2008
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    normal pregenfunction
    Musielak-Orlicz sequence space
    completeness
    separability
    Opis:
    We consider a nontrivial vector space \(X\) and a semimodular \(M\colon X\tp [0, \infty]\) with property: \((\forall\ x \in X) (\exists\ \alpha \gt 0)\ M (\alphax) \lt \infty\) (in other words, \(M\) is normal (i.e. \((\forall\ x\in X \setminus \{0\}) (\exists \alpha \gt 0)\ M (\alphax) \gt 0)\) pregenfunction). The function \(M\) generates in \(X\) a metric \(d\) with \[ d(x, y) := inf \{a \gt 0: M (a^{-1} (x-y)) \leq a\}. \] At the same time \(M\) generates a metric \(\rho\) in Musielak-Orlicz sequence space \(l_M\), namely \[ \rho(\varphi, \psi) := inf \{a \gt 0 : I(a^{-1} (\varphi - \psi)) \leq a\} \] with \(I(\varphi) = \sum_{n \geq 1} M (\varphiφ(n))\). It is proved that the space \((l_M,\rho)\) is complete if and only if the space \((X, d)\) is complete. We consider also the closed subspace \(G_M \subset l_M\) of sequences \(\varphi = \{\varphi(n)\}\) such that \((\forall \alpha \gt 0) (\exists m \in N) \sum_{n\geq m} M(\alpha\varphi(n)) \lt \infty\) and prove that \((G_M ,\rho)\) is separable if and only if \((X, d)\) is the same. Several examples are considered.
    Źródło:
    Commentationes Mathematicae; 2008, 48, 2
    0373-8299
    Pojawia się w:
    Commentationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems
    Autorzy:
    Kaczorek, T.
    Busłowicz, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/384856.pdf
    Data publikacji:
    2009
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    linear system
    fractional
    continuous-time
    positive
    pointwise completeness
    Opis:
    A dynamical system described by homogeneous equation is called pointwise complete if every final state can be reached by suitable choice of the initial state. The system which is not pointwise complete is called pointwise degenerated. Definitions and necessary and sufficient conditions for the pointwise completeness and the pointwise degeneracy of continuous-time linear systems of fractional order, standard and positive, are given. It is shown that: 1) the standard fractional system is always pointwise complete; 2) the positive fractional system is pointwise complete if and only if the state matrix is diagonal.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 1; 8-11
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of the regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/97423.pdf
    Data publikacji:
    2014
    Wydawca:
    Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
    Tematy:
    regularity
    pointwise completeness
    pointwise generacy
    descriptor electrical circuits
    Opis:
    A method for analysis of the regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits composed of resistances, capacitances, inductances and voltage (current) sources is proposed. It is shown that every descriptor electrical circuit is a linear system with regular pencil. Conditions for the pointwise completeness and pointwise generacy of the descriptor linear electrical circuits are established. The considerations are illustrated by examples of descriptor electrical circuits.
    Źródło:
    Computer Applications in Electrical Engineering; 2014, 12; 1-20
    1508-4248
    Pojawia się w:
    Computer Applications in Electrical Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Iterated neighborhood graphs
    Autorzy:
    Sonntag, Martin
    Teichert, Hanns-Martin
    Powiązania:
    https://bibliotekanauki.pl/articles/743216.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    neighborhood graph
    2-step graph
    neighborhood completeness number
    Opis:
    The neighborhood graph N(G) of a simple undirected graph G = (V,E) is the graph $(V,E_N)$ where $E_N$ = {{a,b} | a ≠ b, {x,a} ∈ E and {x,b} ∈ E for some x ∈ V}. It is well-known that the neighborhood graph N(G) is connected if and only if the graph G is connected and non-bipartite.
    We present some results concerning the k-iterated neighborhood graph $N^k(G) : = N(N(...N(G)))$ of G. In particular we investigate conditions for G and k such that $N^k(G)$ becomes a complete graph.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2012, 32, 3; 403-417
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of standard and positive linear systems with state-feedbacks
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/384546.pdf
    Data publikacji:
    2010
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    pointwise completeness
    pointwise degeneracy
    positive linear systems
    state-feedbacks
    Opis:
    The pointwise completeness and pointwise degeneracy of standard and positive linear discrete-time and continuous- time systems with state-feedbacks are addressed. It is shown that: 1) the pointwise completeness and pointwise degeneracy of continuous-time standard systems are invariant under the state and output feedbacks, 2) for standard and positive discrete-time and positive continuous- time systems necessary and sufficient conditions are established for the existence of gain matrices of statefeedbacks such that the closed-loop systems are pointwise complete. Considerations are illustrated by numerical examples.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2010, 4, 1; 3-7
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of standard and positive hybrid linear systems described by the general model
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/229797.pdf
    Data publikacji:
    2010
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    pointwise completeness
    degeneracy
    standard
    positive
    general model
    hybrid systems
    Opis:
    Necessary and sufficient conditions for the pointwise completeness and pointwise degeneracy of the standard and positive hybrid linear systems described by the general model are established. It is shown that the standard general model is always pointwise complete and it is not pointwise degenerated and the positive general model is pointwise complete if and only if its matrix A2 is diagonal.
    Źródło:
    Archives of Control Sciences; 2010, 20, 2; 123-131
    1230-2384
    Pojawia się w:
    Archives of Control Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
    Autorzy:
    Aranda, Víctor
    Powiązania:
    https://bibliotekanauki.pl/articles/750024.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Husserl
    completeness
    categoricity
    relative and absolute definiteness
    imaginary numbers
    Opis:
    Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Problems remaining NP-complete for sparse or dense graphs
    Autorzy:
    Schiermeyer, Ingo
    Powiązania:
    https://bibliotekanauki.pl/articles/972006.pdf
    Data publikacji:
    1995
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Computational Complexity
    NP-Completeness
    Hamiltonian Circuit
    Hamiltonian Path
    Independent Set
    Opis:
    For each fixed pair α,c > 0 let INDEPENDENT SET ($m ≤ cn^α$) and INDEPENDENT SET ($m ≥ (ⁿ₂) - cn^α$) be the problem INDEPENDENT SET restricted to graphs on n vertices with $m ≤ cn^α$ or $m ≥ (ⁿ₂) - cn^α$ edges, respectively. Analogously, HAMILTONIAN CIRCUIT ($m ≤ n + cn^α$) and HAMILTONIAN PATH ($m ≤ n + cn^α$) are the problems HAMILTONIAN CIRCUIT and HAMILTONIAN PATH restricted to graphs with $m ≤ n + cn^α$ edges. For each ϵ > 0 let HAMILTONIAN CIRCUIT (m ≥ (1 - ϵ)(ⁿ₂)) and HAMILTONIAN PATH (m ≥ (1 - ϵ)(ⁿ₂)) be the problems HAMILTONIAN CIRCUIT and HAMILTONIAN PATH restricted to graphs with m ≥ (1 - ϵ)(ⁿ₂) edges.
    We prove that these six restricted problems remain NP-complete. Finally, we consider sufficient conditions for a graph to have a Hamiltonian circuit. These conditions are based on degree sums and neighborhood unions of independent vertices, respectively. Lowering the required bounds the problem HAMILTONIAN CIRCUIT jumps from 'easy' to 'NP-complete'.
    Źródło:
    Discussiones Mathematicae Graph Theory; 1995, 15, 1; 33-41
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Note on Polynomial Algorithm for Cost Coloring of Bipartite Graphs with Δ ≤ 4
    Autorzy:
    Giaro, Krzysztof
    Kubale, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/31526308.pdf
    Data publikacji:
    2020-08-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    bipartite graph
    chromatic sum
    cost coloring
    NP-completeness
    polynomial algorithm
    Opis:
    In the note we consider vertex coloring of a graph in which each color has an associated cost which is incurred each time the color is assigned to a vertex. The cost of coloring is the sum of costs incurred at each vertex. We show that the minimum cost coloring problem for n-vertex bipartite graph of degree Δ ≤ 4 can be solved in O(n2) time. This extends Jansen’s result [K. Jansen, The optimum cost chromatic partition problem, in: Proc. CIAC’97, Lecture Notes in Comput. Sci. 1203 (1997) 25–36] for paths and cycles to subgraphs of biquartic graphs.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2020, 40, 3; 885-891
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
    Autorzy:
    Giaro, Krzysztof
    Kubale, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/744404.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    cost coloring
    dynamic programming
    list coloring
    NP-completeness
    polynomial-time algorithm
    Opis:
    We consider a list cost coloring of vertices and edges in the model of vertex, edge, total and pseudototal coloring of graphs. We use a dynamic programming approach to derive polynomial-time algorithms for solving the above problems for trees. Then we generalize this approach to arbitrary graphs with bounded cyclomatic numbers and to their multicolorings.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2009, 29, 2; 361-376
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An Arithmetically Complete Predicate Modal Logic
    Autorzy:
    Hao, Yunge
    Tourlakis, George
    Powiązania:
    https://bibliotekanauki.pl/articles/2033850.pdf
    Data publikacji:
    2021-08-23
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Predicate modal logic
    arithmetic completeness
    logic GL
    Solovay's theorem
    equational proofs
    Opis:
    This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.
    Źródło:
    Bulletin of the Section of Logic; 2021, 50, 4; 513-541
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Post-style proof of completeness theorem for symmetric relatedness Logic S
    Autorzy:
    Klonowski, Mateusz
    Powiązania:
    https://bibliotekanauki.pl/articles/749984.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    normal forms
    Post-style proof of completeness
    relatedness logic
    relating logic
    Opis:
    One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
    Autorzy:
    Witczak, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/749992.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    intuitionistic modal logic
    neighbourhood semantics
    topological semantics
    Kripke frames
    soundness and completeness
    Opis:
    We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 3; 187-205
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Isomorphisms of direct products of lattice-ordered groups
    Autorzy:
    Jakubík, Ján
    Powiązania:
    https://bibliotekanauki.pl/articles/728908.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    Lattice-ordered group
    direct product
    Specker lattice-ordered group
    orthogonal σ-completeness
    Opis:
    In this paper we investigate sufficient conditions for the validity of certain implications concerning direct products of lattice-ordered groups.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 43-52
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Koncepcja androgyna w utworze Mój księżycowy przyjaciel (Мой лунный друг) Zinaidy Gippius
    The concept of androgyny in Zinaida Gippius’s My moon friend
    Autorzy:
    Okroj, Kinga
    Powiązania:
    https://bibliotekanauki.pl/articles/460081.pdf
    Data publikacji:
    2016
    Wydawca:
    Fundacja Pro Scientia Publica
    Tematy:
    Błok, Gippius, modernizm, androgyne, pełnia, doskonałość
    Blok, Gippius, modernism, androgyny, completeness, perfection
    Opis:
    The article comprises an analysis of My moon friend by the modernist Russian poet and diarist, Zinaida Gippius. Vladimir Solovyov’s theories about the possibility to create a new human (androgyny) as well as Otto Weininger’s ideas about bisexual nature of every human being serve as a starting point for the analysis. The author focuses on the image of the protagonist, the Russian poet Alexander Blok, and sees him as the eponymous moon friend, who possesses features typical of androgynous creatures.
    Celem niniejszego artykułu jest analiza utworu Mój księżycowy przyjaciel (Мой лунный друг) pióra poetki i diarystki epoki modernizmu Zinaidy Gippius. Punktem wyjścia artykułu jest teoria Włodzimierza Sołowjowa o możliwości stworzenia doskonałego człowieka przyszłości (androgyna) oraz myśl Otto Weiningera, mówiąca o biseksualnej naturze każdego człowieka. Artykuł jest próbą zinterpretowania obrazu bohatera utworu Mój księżycowy przyjaciel, poety Aleksandra Błoka, jako tytułowej „księżycowej” postaci, czyli takiej, która wyróżnia się cechami charakterystycznymi dla istoty androgynicznej.
    Źródło:
    Ogrody Nauk i Sztuk; 2016, 6; 451-457
    2084-1426
    Pojawia się w:
    Ogrody Nauk i Sztuk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity, Equality, Nameability and Completeness
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Powiązania:
    https://bibliotekanauki.pl/articles/750030.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    first-order logic
    type theory
    identity
    equality
    indiscernibility
    comprehension
    completeness
    translations
    nameability
    Opis:
    This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts (connectives and quantifiers) in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On Incidence Coloring of Complete Multipartite and Semicubic Bipartite Graphs
    Autorzy:
    Janczewski, Robert
    Małafiejski, Michał
    Małafiejska, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/31342434.pdf
    Data publikacji:
    2018-02-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    incidence coloring
    complete multipartite graphs
    semicubic graphs
    subcubic graphs
    -completeness
    L (1,1)-labelling
    Opis:
    In the paper, we show that the incidence chromatic number $ \chi_i $ of a complete $k$-partite graph is at most $ \Delta + 2 $ (i.e., proving the incidence coloring conjecture for these graphs) and it is equal to $ \Delta + 1 $ if and only if the smallest part has only one vertex (i.e., $ \Delta = n − 1 $). Formally, for a complete k-partite graph $ G = K_{r_1,r_2,...,r_k} $ with the size of the smallest part equal to $ r_1 \ge 1 $ we have $$ \chi_i (G)= \begin{cases} \Delta(G)+1 & \text { if } r_1=1, \\ \Delta(G)+2 & \text { if } r_1>1. \end{cases} $$ In the paper we prove that the incidence 4-coloring problem for semicubic bipartite graphs is \( \mathcal{NP} \)-complete, thus we prove also the \( \mathcal{NP} \)-completeness of L(1, 1)-labeling problem for semicubic bipartite graphs. Moreover, we observe that the incidence 4-coloring problem is \( \mathcal{NP} \)-complete for cubic graphs, which was proved in the paper [12] (in terms of generalized dominating sets).
    Źródło:
    Discussiones Mathematicae Graph Theory; 2018, 38, 1; 107-119
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of standard and positive Roesser models
    Punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/157244.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    dodatni model Roessera
    pointwise completeness
    pointwise degeneracy
    positive Roesser model
    Opis:
    The pointwise completeness and pointwise degeneracy of standard and positive Roesser models are addressed. Necessary and sufficient conditions for pointwise completeness and pointwise degeneracy of standard and positive Roesser models are established. The considerations are illustrated by numerical examples.
    W systemach dodatnich wartości sygnałów wejściowych, wyjściowych i zmiennych stanu przyjmuj ą jedynie wartości dodatnie. Przykładami takich systemów są m.in. procesy przemysłowe w reaktorach chemicznych, wymiennikach ciepła, kolumnach destylacyjnych, zbiornikach, a także modele zanieczyszczeń wody i atmosfery. Systemy liniowe dodatnie są definiowane na przestrzeniach stożkowych, dlatego też ich teoria jest bardziej skomplikowana i mniej rozwinięta. Najpopularniejsze modele liniowe dwuwymiarowe Roessera, Fornasiniego-Marchesiniego oraz Kurka są rozszerzone także na zastosowania w systemach dodatnich. W pracy została przedstawiona punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera. Rozważania oparto na niezbędnych formalizmach matematycznych. Podane zostały warunki konieczne i wystarczające punktowej zupełności i punktowej degeneracji takich standardowych modeli Roessera. Rozważania zilustrowano przykładami numerycznymi. W pracy znajduje się wiele odniesień do innych prac źródłowych rozszerzających obszar zagadnienia.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 163-165
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pure Infinitely Self-Modifying Code is Realizable and Turing-complete
    Autorzy:
    Morse, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/227291.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    x86
    x86-64
    assembly language
    self-modifying code
    turing completeness
    code obfuscation
    Opis:
    Although self-modifying code has been shyed away from due to its complexity and discouragement due to safety issues, it nevertheless provides for a very unique obfuscation method and a different perspective on the relationship between data and code. The generality of the von Neumann architecture is hardly realized by today’s processor models. A code-only model is shown where every instruction merely modifies other instructions yet achieves the ability to compute and Turing machine operation is easily possible.
    Źródło:
    International Journal of Electronics and Telecommunications; 2018, 64, 2; 123-129
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Complexity of the 3-Kernel Problem in Some Classes of Digraphs
    Autorzy:
    Hell, Pavol
    Hernández-Cruz, César
    Powiązania:
    https://bibliotekanauki.pl/articles/30147225.pdf
    Data publikacji:
    2014-02-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    kernel
    3-kernel
    NP-completeness
    multipartite tournament
    cyclically 3-partite digraphs
    k-quasi-transitive digraph
    Opis:
    Let D be a digraph with the vertex set V (D) and the arc set A(D). A subset N of V (D) is k-independent if for every pair of vertices u, v ∈ N, we have d(u, v), d(v, u) ≥ k; it is l-absorbent if for every u ∈ V (D) − N there exists v ∈ N such that d(u, v) ≤ l. A k-kernel of D is a k-independent and (k − 1)-absorbent subset of V (D). A 2-kernel is called a kernel. It is known that the problem of determining whether a digraph has a kernel (“the kernel problem”) is NP-complete, even in quite restricted families of digraphs. In this paper we analyze the computational complexity of the corresponding 3-kernel problem, restricted to three natural families of digraphs. As a consequence of one of our main results we prove that the kernel problem remains NP-complete when restricted to 3-colorable digraphs.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2014, 34, 1; 167-185
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On absolute retracts and absolute convex retracts in some classes of l-groups
    Autorzy:
    Jakubík, Ján
    Powiązania:
    https://bibliotekanauki.pl/articles/728952.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    l-group
    absolute retract
    absolute convex retract
    archimedean l-group
    complete l-group
    orthogonal completeness
    Opis:
    By dealing with absolute retracts of l-groups we use a definition analogous to that applied by Halmos for the case of Boolean algebras. The main results of the present paper concern absolute convex retracts in the class of all archimedean l-groups and in the class of all complete l-groups.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 1; 19-30
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Względna punktowa zupełność dodatnich układów ciągło-dyskretnych niecałkowitego rzędu
    Relative pointwise completeness of positive continuous-discrete time fractional order systems
    Autorzy:
    Trzasko, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/277387.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    dodatnie liniowe układy ciągło-dyskretne
    punktowa zupełność
    positive linear continuous-discrete time systems
    pointwise completeness
    Opis:
    W pracy sformułowano definicje oraz podano warunki konieczne i wystarczające punktowej zupełności oraz względnej punktowej zupełności dodatnich liniowych dwuwymiarowych układów ciągło-dyskretnych niecałkowitego rzędu. Podano też metodę wyznaczania nieujemnych warunków brzegowych, dla których trajektoria stanu układu względnie punktowo zupełnego przechodzi przez dowolny zadany nieujemny stan końcowy. Rozważania zilustrowano przykładem.
    The paper considers a class of linear 2D positive continuous-discrete time fractional order systems. The definitions of pointwise completeness and relative pointwise completeness are introduced and necessary and sufficient conditions are given. The considerations are illustrated by numerical example.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 2; 528-537
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    OpenStreetMap – building data completeness visualization in terms of “Fitness for purpose”
    Autorzy:
    Borkowska, Sylwia
    Bielecka, Elzbieta
    Pokonieczny, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/43852777.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    baza danych
    jakość danych
    lokalizacja budynku
    data completeness
    data quality
    bivariate choropleth map
    OSM
    VGI
    Opis:
    The purpose of this article was to provide the user with information about the number of buildings in the analyzed OpenStreetMap (OSM) dataset in the form of data completeness indicators, namely the standard OSM building areal completeness index (C Index), the numerical completeness index (COUNT Index) and OSM building location accuracy index (TP Index). The official Polish vector database BDOT10k (Database of Topographic Objects) was designated as the reference dataset. Analyses were carried out for Piaseczno County in Poland, differentiated by land cover structure and urbanization level. The results were presented in the form of a bivariate choropleth map with an individually selected class interval suitable for the statistical distribution of the analyzed data. The results confirm that the completeness of OSM buildings close to 100% was obtained mainly in built-up areas. Areas with a commission of OSM buildings were distinguished in terms of area and number of buildings. Lower values of completeness rates were observed in less urbanized areas. The developed methodology for assessing the quality of OSM building data and visualizing the quality results to assist the user in selecting a dataset is universal and can be applied to any OSM polygon features, as well as for peer review of other spatial datasets of comparable thematic scope and detail.
    Źródło:
    Advances in Geodesy and Geoinformation; 2023, 72, 1; art. no. e35, 2023
    2720-7242
    Pojawia się w:
    Advances in Geodesy and Geoinformation
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorithms for testing security in graphs
    Algorytmy testujące bezpieczeństwo zbioru wierzchołków grafu
    Autorzy:
    Hiler, Arkadiusz
    Lewoń, Robert
    Małafiejski, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/41205262.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Kazimierza Wielkiego w Bydgoszczy
    Tematy:
    property tester
    pseudotester
    secure set
    security
    coNP-completeness
    testowanie własności
    zbiór bezpieczny
    bezpieczeństwo
    coNP-zupełność
    Opis:
    In this paper we propose new algorithmic methods giving with a high probability the correct answer to the decision problem of security in graphs. For a given graph G and a subset S of a vertex set of G we have to decide whether S is secure, i.e. every subset X of S fulfils the condition:|N[X] ∩ S| ≥ |N[X] \ S|, where N[X]is a closed neighbourhood of X in graph G. We constructed a polynomial time property pseudotester based on the heuristic using simulated annealing and tested it on graphs with induced small subgraphs G[S] being trees or graphs with a bounded degree (by 3 or 4). Our approach is a generalization of the concept of property testers known from the subject literature, but we applied our concepts to the coNP-complete problem.
    W niniejszym artykule przedstawiamy metodę weryfikowania bezpieczeństwa zbioru w grafie, dającą wysokie prawdopodobieństwo poprawnej weryfikacji. Problemem jest określenie, czy dla danego grafu G oraz podzbioru S zbioru wierzchołków tego grafu zbiór S jest bezpieczny, to znaczy każdy jego podzbiór X spełnia warunek: |N[X] ∩ S| ≥ |N[X] \ S|, gdzie N[X] jest domkniętym sąsiedztwem zbioru X w grafie G. Zaprojektowaliśmy pseudotester o wielomianowej złożoności obliczeniowej dla decyzyjnego problemu bezpieczeństwa zbioru w grafie wykorzystując m.in. koncepcję symulowanego wyżarzania. Wykonaliśmy testy dla grafów, w których podgraf indukowany przez zbiór S jest drzewem lub grafem ograniczonego stopnia (przez 3 oraz 4). Z uwagi na coNP-zupełność problemu bezpieczeństwa zaproponowane przez nas podejście jest uogólnieniem koncepcji testowania własności znanej z literatury.
    Źródło:
    Studia i Materiały Informatyki Stosowanej; 2014, 14; 18-26
    1689-6300
    Pojawia się w:
    Studia i Materiały Informatyki Stosowanej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Functional Completeness in CPL via Correspondence Analysis
    Autorzy:
    Leszczyńska-Jasion, Dorota
    Petrukhin, Yaroslav
    Shangin, Vasilyi
    Jukiewicz, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/749866.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    correspondence analysis
    invertible rules
    classical propositional logic
    functional completeness
    sequent calculus
    automated deduction
    automated rules generation
    Opis:
    Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set (sets) of rules characterizing a two-argument Boolean function(s) to the negation fragment of classical propositional logic. The properties of soundness and completeness of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness.
    Źródło:
    Bulletin of the Section of Logic; 2019, 48, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of the Drazin inverse to the analysis of pointwise completeness and pointwise degeneracy of descriptor fractional linear continuous-time systems
    Autorzy:
    Kaczorek, Tadeusz
    Ruszewski, Andrzej
    Powiązania:
    https://bibliotekanauki.pl/articles/330993.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    pointwise completeness
    pointwise degeneracy
    fractional system
    descriptor system
    zupełność punktowa
    degeneracja punktowa
    system ułamkowy
    system deskryptorowy
    Opis:
    The Drazin inverse of matrices is applied to the analysis of pointwise completeness and pointwise degeneracy of fractional descriptor linear continuous-time systems. It is shown that (i) descriptor linear continuous-time systems are pointwise complete if and only if the initial and final states belong to the same subspace, and (ii) fractional descriptor linear continuous-time systems are not pointwise degenerated in any nonzero direction for all nonzero initial conditions. The discussion is illustrated with examples of descriptor linear electrical circuits.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 2; 219-223
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Punktowa zupełność oraz punktowa degeneracja wybranej klasy układów dyskretnych singularnych niecałkowitego rzędu
    Pointwise completeness and pointwise degeneracy of selected class of singular linear discrete-time systems
    Autorzy:
    Kociszewski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274766.pdf
    Data publikacji:
    2016
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    rząd niecałkowity
    układ singularny
    pointwise completeness
    pointwise degeneracy
    fractional order
    singular system
    Opis:
    W pracy podano kryteria punktowej zupełności i punktowej degeneracji układów liniowych dyskretnych singularnych niecałkowitego rzędu. Pokazano, że przy zastosowaniu pewnych przekształceń, można oceny punktowej zupełności lub degeneracji dokonywać stosując kryteria jak dla układów standardowych niecałkowitego rzędu. Rozważania zilustrowano przykładem liczbowym.
    The paper presents a problem of pointwise completeness and pointwise degeneracy of selected class of singular linear discrete-time systems. It has been shown that after decomposition of considered system into two independent systems: regular (standard) fractional system and closely singular system (with a nilpotent matrix N) pointwise completeness and pointwise degeneracy conditions can be formulated in reference to standard fractional discrete-time system. Proposed approach is possible if the matrix N = 0. The considerations are illustrated by a numerical example.
    Źródło:
    Pomiary Automatyka Robotyka; 2016, 20, 4; 5-8
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Użyteczność danych o lasach udostępnianych w serwisie OpenStreetMap
    Usability of the OpenStreetMap forest data
    Autorzy:
    Bielecka, E.
    Leszczyńska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/986666.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Leśne
    Tematy:
    lesnictwo
    lasy
    zrodla danych
    serwis OpenStreetMap
    kompletnosc danych
    wiarygodnosc
    forest
    osm
    spatial data quality
    completeness
    location accuracy
    Opis:
    OpenStreetMap (OSM) is a collaborative project covering the whole World with topographic data. Data are edited by volunteer users on the basis of satellite images, ortophotomaps and GPS traces, therefore are of diversified quality, especially completeness and positional accuracy. The aim of this study was to evaluate the usability of OSM forest data for Poland. We proved that positional accuracy, expressed by RMSE that equals to 16 m, was comparable with the national topographic data at the scale 1:10 000. However 3.5% of the outliers were noticed, for which the positional accuracy amounted to about 300 m. The completeness of the OSM data in May 2017, computed on the basis of Czekanowski matching feature area−based completeness index, equalled 86% and was still increasing. The lowest value of the completeness was observed for lubuskie voivodeship (76.4%), while the highest (92.5%) for zachodniopomorskie. For ten voivodeships the completeness of forest cover was greater than national average. In general, there were only a few forest polygons with their name or other pertinent characteristics like tree type (coniferous/deciduous) attributed by the editors. Logical consistency was nearly perfect as only 5.8% of the polygons were topologically incorrect. Forest definition as ‘an area dominated by trees’, is very similar in national topographic data and in OSM, both are based on physical characteristics of the surface of the Earth. Contrary to the national spatial data, OSM data are constantly updated, free and available without restrictions. It constitutes valuable alternative data source for all users. However, the heterogeneity of these data should also be kept in mind, while they are used in analysis and decision process support.
    Źródło:
    Sylwan; 2018, 162, 06; 460-468
    0039-7660
    Pojawia się w:
    Sylwan
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Punktowa zupełność i degeneracja określonej klasy dynamicznych układów ciągło-dyskretnych
    Pointwise completeness and pointwise degeneracy of a specified class of continuous-discrete time dynamical systems
    Autorzy:
    Kociszewski, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/277389.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    dynamiczne układy ciągło-dyskretne
    pointwise completeness
    pointwise degeneracy
    continuous-discrete time dynamical systems
    Opis:
    W artykule rozpatrzono problem punktowej zupełności oraz punktowej degeneracji na przykładzie drugiego modelu typu Fornasiniego-Marchesiniego układu ciągło-dyskretnego (DMF-MCD). Podano warunki konieczne i wystarczające punktowej zupełności oraz punktowej degeneracji dla przypadku gdy model ten jest układem standardowym oraz układem dodatnim. Rozważania zilustrowano przykładami liczbowymi.
    The paper presents a problem of pointwise completeness and pointwise degeneracy of the standard and positive continuous-discrete time (hybrid) linear systems. The second Fornasini-Marchesini model (SF-MCDM) of the hybrid system has been considered. Two cases of SF-MCDM i.e. standard and positive have been analyzed. Definitions as well as necessary and sufficient conditions of pointwise completeness and pointwise degeneracy for this model have been given. Considerations are illustrated by numerical examples.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 2; 538-545
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Jakość danych OpenStreetMap – analiza informacji o budynkach na terenie Siedlecczyzny
    OpenStreetMap building data quality: the Siedleckie county study
    Autorzy:
    Nowak-DaCosta, J.
    Bielecka, E.
    Całka, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/346673.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    jakość danych
    OSM
    VGI
    kompletność
    dokładność położenia
    OpenStreetMap
    building data
    Volunteered Geographic Information (VGI)
    completeness
    data quality
    Opis:
    Jakość danych OpenStreetMap (OSM), a w szczególności takie jej elementy ilościowe jak kompletność oraz dokładność położenia, wzbudza szerokie zainteresowanie naukowców na świecie. W artykule przedstawiono potencjalne okoliczności powszechnie obserwowanej heterogenicznej charakterystyki OSM, zwracając uwagę na aspekt niedoskonałości ustaleń semantycznych i założeń jakościowych inicjatywy oddolnej jaką jest OpenStreetMap. Część praktyczną badań stanowi ocena kompletności i dokładności lokalizacji danych o budynkach i budowlach OSM w stosunku do krajowych danych urzędowych, bazy danych obiektów topograficznych BDOT10k. Analizy zostały przeprowadzone dla peryferyjnie położonego, powiatu siedleckiego i miasta Siedlce. Opracowanie dopełnia dotychczasowe rezultaty badawcze w zakresie analiz ilościowych jakości OSM, a otrzymane wyniki potwierdzają zróżnicowaną jakość danych o budynkach, w sensie ich kompletności i wypełnienia wartościami ich atrybutów oraz dokładności lokalizacji, także na terenie Polski. Niemniej jednak, wyniki analizy dokładności geometrycznej są zaskakująco dobre. W dyskusji autorzy zwracają uwagę na fakt, że mimo niedoskonałości danych wolnych i otwartych są one powszechnie wykorzystywane przez użytkowników, do których należy także administracja publiczna.
    Researchers all over the world are interested in OpenStreetMap data and its quality including completeness and geometric accuracy. This article looks into the commonly observed heterogeneous characteristics of OpenStreetMap geospatial data and draws attention to the vague semantic and quality foundations of this important grass-roots initiative. The experiment is an assessment of the completeness and positional accuracy of OSM building data compared to the national data: the Database of Topographic Objects in Poland (BDOT10k). The analysis was performed for the county and city of Siedlce. This study complements previous research results in the quantitative analysis of OpenStreet- Map data quality. The results confirm the variable quality of OSM data in terms of completeness and updating of building information found in their attribute's, and the positional accuracy of building corners even for the Polish territory. Nevertheless, the analysis did find that the positional accuracy of the OpenStreetMap building data was very good in comparison to the BDOT10K database. The authors draw attention to the fact that Free and Open geospatial data, despite its imperfections, is widely adopted by users including public administrations.
    Źródło:
    Roczniki Geomatyki; 2016, 14, 2(72); 201-211
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity, equality, nameability and completeness. Part II
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Powiązania:
    https://bibliotekanauki.pl/articles/749980.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    identity
    equality
    completeness
    nameability
    first-order modal logic
    hybrid logic
    hybrid type theory
    equational hybrid propositional type theory
    Opis:
    This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity is a notion used to define other logical concepts. In our previous paper, [16], we investigated whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic with standard semantics a reliable definition of identity is possible. In the present study we have moved to modal logic and realized that here we can distinguish in the formal language between two different equality symbols, the first one shall be interpreted as extensional genuine identity and only applies for objects, the second one applies for non rigid terms and has the characteristic of synonymy. We have also analyzed the hybrid modal logic where we can introduce rigid terms by definition and can express that two worlds are identical by using the nominals and the @ operator. We finish our paper in the kingdom of identity where the only primitives are lambda and equality. Here we show how other logical concepts can be defined in terms of the identity relation. We have found at the end of our walk a possible point of convergence in the logic Equational Hybrid Propositional Type Theory (EHPTT), [14] and [15].
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of fractional standard and descriptor linear continuous-time systems with different fractional orders
    Autorzy:
    Kaczorek, Tadeusz
    Sajewski, Łukasz
    Powiązania:
    https://bibliotekanauki.pl/articles/1838160.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    descriptor system
    fractional system
    noncommensurate order
    pointwise completeness
    pointwise degeneracy
    system deskryptorowy
    system ułamkowy
    zupełność punktowa
    degeneracja punktowa
    Opis:
    Descriptor and standard linear continuous-time systems with different fractional orders are investigated. Descriptor systems are analyzed making use of the Drazin matrix inverse. Necessary and sufficient conditions for the pointwise completeness and pointwise degeneracy of descriptor continuous-time linear systems with different fractional orders are derived. It is shown that (i) the descriptor linear continuous-time system with different fractional orders is pointwise complete if and only if the initial and final states belong to the same subspace, (ii) the descriptor linear continuous-time system with different fractional orders is not pointwise degenerated in any nonzero direction for all nonzero initial conditions. Results are reported for the case of two different fractional orders and can be extended to any number of orders.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2020, 30, 4; 641-647
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of fractional descriptor continuous-time linear systems with regular pencils
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/201950.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    pointwise completeness
    pointwise degeneracy
    descriptor
    fractional
    continuous-time
    linear
    system
    punktowa kompletność
    punktowa degeneracja
    deskryptor
    czas ciągły
    liniowość
    Opis:
    Pointwise completeness and pointwise degeneracy of the fractional descriptor continuous-time linear systems with regular pencils are addressed. Conditions for the pointwise completeness and pointwise degeneracy of the systems are established and illustrated by an example.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 1; 169--172
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A note on hardness of multiprocessor scheduling with scheduling solution space tree
    Autorzy:
    Dwibedy, Debasis
    Mohanty, Rakesh
    Powiązania:
    https://bibliotekanauki.pl/articles/27312879.pdf
    Data publikacji:
    2023
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    combinatorial structures
    computational complexity
    hardness
    makespan
    multiprocessor scheduling
    multiuser
    NP-completeness
    nondeterministic algorithms
    reduction
    scheduling solution space tree
    Opis:
    We study the hardness of the non-preemptive scheduling problem of a list of independent jobs on a set of identical parallel processors with a makespan minimization objective. We make a maiden attempt to explore the combinatorial structure of the problem by introducing a scheduling solution space tree (SSST) as a novel data structure. We formally define and characterize the properties of SSST through our analytical results. We show that the multiprocessor scheduling problem is N P-complete with an alternative technique using SSST and weighted scheduling solution space tree (WSSST) data structures. We propose a non-deterministic polynomial-time algorithm called magic scheduling (MS) based on the reduction framework. We also define a new variant of multiprocessor scheduling by including the user as an additional input parameter, which we called the multiuser multiprocessor scheduling problem (MUMPSP). We also show that MUMPSP is N P-complete. We conclude the article by exploring several non-trivial research challenges for future research investigations.
    Źródło:
    Computer Science; 2023, 24 (1); 53--74
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Equitable Colorings Of Corona Multiproducts Of Graphs
    Autorzy:
    Furmánczyk, Hanna
    Kubale, Marek
    Mkrtchyan, Vahan V.
    Powiązania:
    https://bibliotekanauki.pl/articles/31341573.pdf
    Data publikacji:
    2017-11-27
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    corona graph
    equitable chromatic number
    equitable coloring conjecture
    equitable graph coloring
    multiproduct of graphs
    NP-completeness
    polynomial algorithm
    Opis:
    A graph is equitably k-colorable if its vertices can be partitioned into k independent sets in such a way that the numbers of vertices in any two sets differ by at most one. The smallest k for which such a coloring exists is known as the equitable chromatic number of G and denoted by χ=(G). It is known that the problem of computation of χ=(G) is NP-hard in general and remains so for corona graphs. In this paper we consider the same model of coloring in the case of corona multiproducts of graphs. In particular, we obtain some results regarding the equitable chromatic number for the l-corona product G ◦l H, where G is an equitably 3- or 4-colorable graph and H is an r-partite graph, a cycle or a complete graph. Our proofs are mostly constructive in that they lead to polynomial algorithms for equitable coloring of such graph products provided that there is given an equitable coloring of G. Moreover, we confirm the Equitable Coloring Conjecture for corona products of such graphs. This paper extends the results from [H. Furmánczyk, K. Kaliraj, M. Kubale and V.J. Vivin, Equitable coloring of corona products of graphs, Adv. Appl. Discrete Math. 11 (2013) 103–120].
    Źródło:
    Discussiones Mathematicae Graph Theory; 2017, 37, 4; 1079-1094
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Structure of a Person as the Basis for Determining the Common Good as Understood by Mieczysław A. Krąpiec
    Autorzy:
    Ragan, Gabriel
    Powiązania:
    https://bibliotekanauki.pl/articles/507340.pdf
    Data publikacji:
    2019-06-30
    Wydawca:
    International Étienne Gilson Society
    Tematy:
    Mieczysław A. Krąpiec
    man
    person
    common good
    intellectual knowledge
    will
    good
    love
    religion
    personal dignity
    ontic completeness
    legal subjectivity
    Opis:
    The author makes an attempt to analyze the anthropological views of Mieczysław A. Krąpiec in order to show the reasons why some elements of the structure of man as a person—resulting from the human mode of access to truth, goodness, beauty and religion—are essentially significant for determining the common good that lies at the foundation of all forms of human social life. He analyzes such parts of the human person’s structure as intellectual knowledge, will for the good, love, religion, personal dignity, ontic completeness and legal subjectivity.
    Źródło:
    Studia Gilsoniana; 2019, 8, 2; 305-317
    2300-0066
    Pojawia się w:
    Studia Gilsoniana
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The smallest hard-to-color graphs for the classical, total and strong colorings of vertices
    Autorzy:
    Kubale, M.
    Manuszewski, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/206254.pdf
    Data publikacji:
    1999
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    optymalizacja
    teoria grafów
    złożoność obliczeniowa
    benchmark
    chromatic number
    chromatic sum
    graph oring
    hard-to-color graph
    NP-completeness
    strong coloring
    Opis:
    : Let A(G) be the number of colors used by algorithm to color the vertices of graph G. A graph G is said to be hard-to-color (HC) (resp. slightly HC) if for every (resp. some) implementation of the algorithm A we have A(G) > chi(G), where chi(G) is the chromatic number of G. The study of HC graphs makes it possible design improved algorithms trying to avoid hard instances as far possible. Hard-to-color graphs are also good benchmarks for the evaluation of existing and future algorithms and provide an alternative way of assessing their quality. In this paper we demonstrate the smallest HC graphs for the best known coloring heuristics in classical applications, as well as when adapted to the chromatic sum coloring and strong coloring of vertices.
    Źródło:
    Control and Cybernetics; 1999, 28, 2; 355-365
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness and pointwise degeneracy of positive fractional descriptor continuous-time linear systems with regular pencils
    Autorzy:
    Kaczorek, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/331475.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    pointwise completeness
    pointwise degeneracy
    descriptor system
    fractional system
    positive system
    zupełność punktowa
    degeneracja punktowa
    układ deskrypcyjny
    układ ułamkowy
    system dodatni
    Opis:
    Pointwise completeness and pointwise degeneracy of positive fractional descriptor continuous-time linear systems with regular pencils are addressed. Conditions for pointwise completeness and pointwise degeneracy of the systems are established and illustrated by an example.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2015, 25, 2; 217-221
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
    Autorzy:
    Tourlakis, George
    Powiązania:
    https://bibliotekanauki.pl/articles/749974.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Modal logic
    GL
    first-order logic
    proof theory
    cut elimination
    reflection property
    disjunction property
    quantified modal logic
    QGL
    arithmetical completeness
    Opis:
    Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
    Źródło:
    Bulletin of the Section of Logic; 2016, 45, 1
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    „Chłop polski w Europie i Ameryce” a brak kwestii przywództwa etnicznego
    The Polish Peasant in Europe and America and the missing ethnic leaders
    Autorzy:
    Mucha, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/413397.pdf
    Data publikacji:
    2019
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    strumienie migracji, struktura klasowa, chłopi, przywództwo, społeczności migranckie, kompletność instytucjonalna
    migration flows, class structure, peasants, leadership, migrant communities, institutional completeness
    Opis:
    Thomas and Znaniecki became interested in the international migration issues nearly at the same time, at the beginning of the 20th century. Since they met, they concentrated, for about a decade, on the emigration from Polish lands to Western Europe and the US of a particular social class – the peasants. Znaniecki’s interests in ethnic (including national) matters continued after World War I. Thomas moved into other important sociological and psychological territories which strengthened his theoretical prominence. Only to a limited extent, he continued his theoretical concerns with the “immigrant types.” He published his findings under other names. Therefore, this article concentrates on Znaniecki’s contribution. It seems to be absurd to ask why Thomas and Znaniecki did not research other Polish internationally mobile groups than peasants. However, there seem to be good reasons to ask why the processes of organization of the collectivity of Polish immigrants to America were not theorized deeper in the masterpiece of sociology. In the opinion of the author, if Znaniecki had been more sociologically interested in some topics (like leadership) which later became prominent in his own work, he would look at the social organization more efficiently.
    Thomas i Znaniecki zainteresowali się badawczo problematyką migracji międzynarodowych mniej więcej w tym samym czasie, to znaczy na początku XX wieku. Od rozpoczęcia współpracy, skupiali się, przez całą dekadę, na emigracji z ziem polskich do Europy Zachodniej, a później do USA, jednej klasy społecznej – chłopów. Zainteresowania Znanieckiego kwestiami etnicznymi (w tym narodowymi) trwały również i po I wojnie światowej. Thomas skoncentrował się natomiast na innych, ogromnie ważnych z punktu widzenia socjologii i psychologii społecznej zagadnieniach, co przyczyniło się do wzmocnienia jego prestiżu jako teoretyka społecznego, i tylko w ograniczonym zakresie kontynuował swe wcześniejsze teoretyczne zainteresowania „typami imigrantów”. Publikował pod innymi nazwiskami. Stąd niniejszy artykuł skupia się na dorobku Znanieckiego. Wydaje się absurdem pytanie o to, dlaczego Thomas i Znaniecki nie badali czegoś innego niż to, co interesowało ich przede wszystkim – czemu nie studiowali losów innych niż chłopi polskich grup klasowych, aktywnie uczestniczących w migracjach międzynarodowych. Jednakże istnieją dobre powody aby spytać o to, dlaczego sposób zorganizowania zbiorowości polskich imigrantów do Ameryki nie został głębiej przebadany pod względem teoretycznym w klasycznym Dziele. W opinii autora niniejszego artykułu, gdyby Znaniecki był bardziej socjologicznie zainteresowany niektórymi tematami (jak na przykład przywództwo), które później stały się dla niego bardzo ważne, trafniej przebadałby procesy społecznej organizacji zbiorowości migracyjnych.
    Źródło:
    Przegląd Socjologiczny; 2019, 68, 4
    0033-2356
    Pojawia się w:
    Przegląd Socjologiczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Algorytm sprawdzania kompletności danych w procesie ich wymiany między systemami informatycznymi przedsiębiorstw produkcyjnych z uwzględnieniem analizy składniowej
    Data completeness veriecation algorithm in the process of its exchange between production enterprise systems with syntax analysis included
    Autorzy:
    Pękala, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276283.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    algorytm sprawdzania kompletności danych
    transformacja danych
    wymiana danych
    analiza składniowa
    data completeness verincation algorithm
    data transformation
    data exchange
    syntax analysis
    Opis:
    W artykule przedstawiono koncepcję schematu sprawdzania kompletności danych po procesie ich transformacji opracowaną na potrzeby wymiany informacji pomiędzy różnymi systemami informatycznymi przetwarzającymi informacje w przedsiębiorstwie produkcyjnym. Scharakteryzowano pokrótce mechanizm konwersji informacji wykorzystywany podczas ich przepływu pomiędzy systemami informatycznymi przedsiębiorstwa. Opisano problematykę utraty części danych w trakcie ich przekształcania. Zaprezentowano opracowany algorytm a także wyniki działania programu go implementującego.
    The paper presents newest version of data completeness verification algorithm used in the process of its transformation elaborated for the information exchange between different systems in manufacturing company. Data conversion mechanism used in information flow between enterprise systems was characterized. Problems of data loss during the conversion process were described. Results of working of the program which implements the algorithm were presented.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 153-158
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Tentative division of Latin adverbs of degree
    Próba podziału łacińskich przysłówków stopnia
    Autorzy:
    Górska, Małgorzata
    Powiązania:
    https://bibliotekanauki.pl/articles/1882754.pdf
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    stopniowanie
    przysłówki stopnia
    wykładniki gradacji
    intensywność
    kompletność
    dostateczność i nadmiar
    comparison
    adverbs of degree
    indices of gradation
    intensity
    completeness
    sufficiency and excess
    Opis:
    Artykuł jest próbą podziału łacińskich leksemów służących do wskazywania bezwzględnego stopnia cechy lub stanu, określanego przez predykaty gradualne, tradycyjnie nazywanych przysłówkami stopnia. Proponuje się rozróżnianie czterech grup wykładników stopnia, charakteryzujących cechę lub stan ze względu na kategorie intensywności, kompletności, dostateczności i nadmiaru: (1) wykładniki intensywności: a. intensyfikatory, wskazujące na wysoki stopień cechu lub stanu (valde, multum, magnopere/magno opere, admodum, bene, male, sane, plane, non mediocriter, abunde, impense, vehementer, graviter, egregie, eximie, mire, mirifice, mirabiliter), b. dezintensyfikatory, wskazujące na niski stopień cechy lub stanu (non valde, non magnopere, non admodum, male, mediocriter); (2) wykładniki kompletności: a. wskazujące na pełny stopień cechy lub stanu (bene, male, plane, admodum, longe, omnino), b. wskazujące na niepełny stopień cechy lub stanu (prope, paene, non plane); (3) wykładniki dostateczności: a. wskazujące na dostateczny stopień cechy lub stanu (satis/sat), b. wskazujące na niedostateczny stopień cechy lub stanu (non satis/sat, parum) i (4) wykładniki nadmiaru: a. wskazujące na nadmiar cechy lub stanu (nimis/nimium, oppido), b. wskazujące na brak nadmiaru cechy lub stanu (non nimis).
    The paper is an attempt of dividing Latin lexemes of the nonrelative degree of a property or state, which is expressed by gradable predicates, traditionally called adverbs of degree. The disitnction of four groups of degree indices is proposed, which characterize a property or state according to categories of intensity, completeness, sufficiency and excess, i.e. (1) Indices of intensity: a. intensifiers describing the high degree of a property or state (valde, multum, magnopere/magno opere, admodum, bene, male, sane, plane, non mediocriter, abunde, impense, vehementer, graviter, egregie, eximie, mire, mirifice, mirabiliter), b. disintensifiers describing the low degree of a property or state (non valde, non magnopere, non admodum, male, mediocriter); (2) Indices of completeness: a. describing the complete degree of a property or state (bene, male, plane, admodum, longe, omnino), b. describing the incomplete degree of a property or state (prope, paene, non plane); (3) Indices of sufficiency: a. describing the sufficient degree of a property or state (satis/sat), b. describing the insufficient degree of a property or state (non satis/sat, parum) and (4) Indices of excess: a. describing the excess of a property or state (nimis/nimium, oppido), b. describing the lack of excess of a property or state (non nimis).
    Źródło:
    Roczniki Humanistyczne; 2015, 63, 3; 177-198
    0035-7707
    Pojawia się w:
    Roczniki Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Distribution Laws in Weak Positional Logics
    PRAWA DYSTRYBUCYJNE W SŁABYCH LOGIKACH POZYCYJNYCH
    Autorzy:
    TKACZYK, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/943518.pdf
    Data publikacji:
    2018-09-28
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    positional logic
    weak positional logic
    distribution
    distributive law
    realization connective
    completeness
    logika pozycyjna
    słaba logika pozycyjna
    dystrybucja
    prawo dystrybucyjne
    spójnik realizacji
    pełność
    Opis:
    A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective R, first introduced by Jerzy Łoś. Formulas RtA involve a singular name t and a formula A to the effect that RtA is satisfied (true) relative to the position designated by t. In weak positional calculi no nested occurences of the connective are allowed. The distribution problem in weak positional logics is actually the problem of distributivity of the connective R over classical connectives, viz. the problem of relation between the occurences of classical connectives inside and outside the scope of the positional connective R.
    Logiki pozycyjne zawierają spójnik realizacji, który odnosi wyrażenie do pozycji ustalonego rodzaju, np. pozycji w czasie, przestrzeni, osób. W szczególności wyrażenie RtA należy odczytywać: w punkcie t jest tak, że A lub w podobny sposób. Najsłabszą logiką pozycyjną, w której spójnik R jest dystrybutywny względem wszystkich spójników klasycznego rachunku zdań, a w konsekwencji spójniki są booleowskie w każdym kontekście, jest system MR. Rozważane w tej pracy słabe logiki pozycyjne są systemami pośrednimi między klasycznym rachunkiem zdań a systemem MR. Niektóre, ale niekoniecznie wszystkie, spójniki w tych systemach mogą być booleowskie. Przedstawiam tutaj prosty algorytm budowy dowolnego adekwatnego systemu z rozważanego przedziału, wyznaczonego przez wybrane prawa dystrybucyjne. Przedstawiony tutaj algorytm łatwo rozszerza się na inne zestawy spójników.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 3; 163-179
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards the boundary between easy and hard control problems in multicast Clos networks
    Autorzy:
    Obszarski, P.
    Jastrzębski, A.
    Kubale, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/200819.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    Clos-network
    2-cast call
    hypergraph edge coloring
    rearrageable network
    nonblocking network
    NP-completeness
    3-uniform hypergraph
    sieci
    połączenie sieciowe
    problem sieciowy
    Opis:
    In this article we study 3-stage Clos networks with multicast calls in general and 2-cast calls, in particular. We investigate various sizes of input and output switches and discuss some routing problems involved in blocking states. To express our results in a formal way we introduce a model of hypergraph edge-coloring. A new class of bipartite hypergraphs corresponding to Clos networks is studied. We identify some polynomially solvable instances as well as a number of NP-complete cases. Our results warn of possible troubles arising in the control of Clos networks even if they are composed of small-size switches in outer stages. This is in sharp contrast to classical unicast Clos networks for which all the control problems are polynomially solvable.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 3; 739-744
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
    Autorzy:
    Dzik, Wojciech
    Wróbel, Beniamin
    Powiązania:
    https://bibliotekanauki.pl/articles/749956.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    admissible rules
    passive rules
    unification
    projective unification
    almost structural completeness
    n-modal logic S5n
    relation algebras
    representable diagonal-free cylindric algebras
    Opis:
    Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided.
    Źródło:
    Bulletin of the Section of Logic; 2015, 44, 1-2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zupełność systemu prawa. Analogia legis jako metoda uzupełniania luk w prawie
    Completeness of the legal system. The legis analogy as a method of filling gaps in the law
    Autorzy:
    Przewoźnik, Sylwia
    Powiązania:
    https://bibliotekanauki.pl/articles/2158863.pdf
    Data publikacji:
    2022
    Wydawca:
    Krakowska Akademia im. Andrzeja Frycza Modrzewskiego
    Tematy:
    analogy legis
    legal inference
    gaps in law
    completeness of law
    legal system
    analogia legis
    wnioskowania prawnicze
    luka w prawie
    zupełność prawa
    system prawa
    Opis:
    Głównym analizowanym problemem badawczym podjętym w niniejszym artykule jest podejście do zagadnienia stosowania prawa na zasadzie analogii, a konkretnie – wnioskowania per analogiam o obowiązywaniu danej normy prawnej z przepisu prawnego (analogia legis), tudzież z prawa w ogóle (analogia iuris), co stanowi nie tyle odrębną metodę stosowania prawa, co metodę jego interpretacji. Mówić tu należy o wykładni sensu largo – wnioskowaniu prawniczym opartym na stosunku podobieństwa, zmierzającym do sformułowania w oparciu o aksjologię systemu prawnego przesłanki większej sylogizmu prawniczego na potrzeby danej sprawy.
    The main research problem analyzed in this article is the approach to the issue of applying the law by analogy, and specifically – inference per analogy about the validity of a given legal norm from a legal provision (analogy legis), or from law in general (analogy iuris). At the same time, it is not so much a separate method of applying the law as a method of its interpretation. We should talk here about the interpretation of the largo sense – a legal inference based on a relationship of similarity, aimed at formulating on the basis of the axiology of the legal system the premise of a greater legal syllogism for the needs of a given case.
    Źródło:
    Studia Prawnicze: rozprawy i materiały; 2022, (30), 1; 71-85
    1689-8052
    2451-0807
    Pojawia się w:
    Studia Prawnicze: rozprawy i materiały
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Punktowa zupełność i punktowa degeneracja układów dyskretnych niecałkowitego rzędu
    Pointwise completeness and pointwise degeneracy of fractional discrete-time systems
    Autorzy:
    Trzasko, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/276640.pdf
    Data publikacji:
    2012
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    punktowa zupełność
    punktowa degeneracja
    niecałkowity niewspółmierny rząd
    układ dyskretny
    standardowy
    dodatni
    pointwise completeness
    pointwise degeneracy
    non-commensurate fractional-order
    standard
    positive
    discrete-time system
    Opis:
    W pracy rozpatrzono liniowe stacjonarne układy dyskretne niecałkowitego niewspółmiernego rzędu. Sformułowano definicje oraz podano warunki konieczne i wystarczające punktowej zupełności oraz punktowej degeneracji układów dyskretnych standardowych oraz dodatnich. Rozważania zilustrowano przykładami.
    In the paper the linear discrete-time non-commensurate fractional-order systems is considered. Definitions and necessary and sufficient conditions for the pointwise completeness and pointwise degeneracy of standard and positive systems are given. The considerations are illustrated by examples.
    Źródło:
    Pomiary Automatyka Robotyka; 2012, 16, 2; 332-337
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimal estimator of hypothesis probability for data mining problems with small samples
    Autorzy:
    Piegat, A
    Landowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/330967.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    estymacja prawdopodobieństwa
    interpretacja częstotliwości prawdopodobieństwa
    interpretacja kompletności prawdopodobieństwa
    teoria niepewności
    single case problem
    probability estimation
    frequency interpretation of probability
    completeness interpretation of probability
    uncertainty theory
    Opis:
    The paper presents a new (to the best of the authors' knowledge) estimator of probability called the "[...] completeness estimator" along with a theoretical derivation of its optimality. The estimator is especially suitable for a small number of sample items, which is the feature of many real problems characterized by data insufficiency. The control parameter of the estimator is not assumed in an a priori, subjective way, but was determined on the basis of an optimization criterion (the least absolute errors).The estimator was compared with the universally used frequency estimator of probability and with Cestnik's m-estimator with respect to accuracy. The comparison was realized both theoretically and experimentally. The results show the superiority of the [...] completeness estimator over the frequency estimator for the probability interval ph (0.1, 0.9). The frequency estimator is better for ph [0, 0.1] and ph [0.9, 1].
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2012, 22, 3; 629-645
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    General Principles of Law: The Gentle Guardians of Systemic Integration of International Law
    Autorzy:
    Kwiecień, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/706905.pdf
    Data publikacji:
    2018-09-01
    Wydawca:
    Polska Akademia Nauk. Instytut Nauk Prawnych PAN
    Tematy:
    coherence of the legal order
    completeness of the legal order
    general principles of law
    international legal reasoning
    sources of international law
    systemic integration of international law
    Opis:
    There are different meanings and functions of what is called a “general principle of law.” This article seeks to address their importance as the basis for the systemic integration of the international legal order. When international law is considered as a legal system, its normative unity and completeness seems essential. This article argues that general principles of law are a necessary, although less visible, element of international legal practice and reasoning, which secure the systemic integration and longlasting underpinnings of international law. In this sense they may be seen as the gentle guardians of international law as a legal system.
    Źródło:
    Polish Yearbook of International Law; 2017, 37; 235-242
    0554-498X
    Pojawia się w:
    Polish Yearbook of International Law
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Методика вивчення ціннісно-мотиваційних чинників політичної активності
    Method of Studying of Value-motivational Factors of Political Activity
    Autorzy:
    Савиченко, Ольга
    Powiązania:
    https://bibliotekanauki.pl/articles/489392.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Naukowe w Żytomierzu
    Tematy:
    motivation of political activity
    political values
    power motivation
    achievement
    motivation
    motivation of affiliation
    completeness of motivational structure
    internal and external
    balance of motivational structure
    social
    processual and subjective levels of value regulation
    Opis:
    The article presents the method of studying of value-motivational factors of political activity. The analysis of terminological and theoretical premises of research of value-motivational factors of political activity is done. Author’s approach to organization of empirical research of psychology of minority political activity is proposed. Correlation of values and motivation, dynamics of social, activity and personal mechanisms of personality development are considered in the terminological analysis. Using of three factor theory by D. McClelland to empirical research of value-motivational factors of political activity is justified. Based on analysis of research methods of value-motivational factors the content analysis system that allows to measure individual motivational tendencies and qualitative features of human motivation is described. Based on the analysis of H.Hekhauzen’s research 4 types of situations of the development and implementation of political values and motivation are singled out: 1) the self comparison with own achievements; 2) the self comparison with standart; 3) social comparison with a real opponent; 4) social comparisons with generalized or personalized ideal. Structure of the research of value-motivational factors of political activity comprises the steps of photobiographical research, expert evaluation and value grates building. Analysis of the results provides quantitative and qualitative interpretation. Quantitative analysis includes content analysis of the structure of motivation and levels of the value regulation, and the factor modeling. Categories of content analysis can explore the achievement motivation (success motive and the motive of avoiding failure), power motivation and motivation of affiliation (adoption). Each of the categories of content analysis is analyzed for compliance motivational components to one of value levels - social, processual or subjective. The categories for content analysis of achievement motivation is the need to achieve success or to avoid failure, the corresponding instrumental activity, expectations of success or failure, positive or negative reinforcement, emotional state and result. The study of power motive is through singling of categories of prestige, instrumental activity aimed at power, external interference, power anticipation, emotional states, the effect of power action. Content analysis of affiliation motives includes an analysis following categories: positive emotions, dialogue, growth, loyalty, freedom from restrictions, reunification, harmony, conquest to sense, a refuge in a relationship, unity with nautre. As for the level of value, the article noted that on social level individual development is determined by the needs for approval and recognition and reflection is directed to understanding of referential awareness of assessments and forecasting of the basis of their own development. Process level is characterized by awareness of conditions and requirements of activity, reflection focus on skills, actions and operations and the their related results criterion for evaluating of which is effort. On the subjective level processes that occur in the sphere of activity and in social relations are conscious and influence the planning of further self-development. The indicators of qualitative analysis are: expression of each component in the structure of motivation, completeness of structure of motivation, external and internal balance of motivation structure, the analysis of groups of values that were significant for the results of value assessment. The proposed research represents the ideographic approach to the study of values and motivation and allows to follow the laws of value-motivational determination of political activity of the political leaders of national minorities.
    Źródło:
    Studia Politologica Ucraino-Polona; 2016, 6; 323-331
    2312-8933
    Pojawia się w:
    Studia Politologica Ucraino-Polona
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A three-valued doxastic logic based on Kleene’s and Bochvar’s ideas
    Autorzy:
    Wesserling, Janusz
    Powiązania:
    https://bibliotekanauki.pl/articles/1068978.pdf
    Data publikacji:
    2019-12-30
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    logika doksastyczna
    silne przekonanie
    silna logika trójwartościowa Kleene'a
    łączniki wewnętrzne
    łączniki zewnętrzne
    twierdzenie o zupełności
    doxastic logic
    strong belief
    Kleene’s strong three-valued logic
    internal connectives
    external connectives
    completeness theorem
    Opis:
    W tym artykule zaproponuję konstrukcję trójwartościowej logiki przekonań, którą nazywam: LSB3_1 (skrót od: logika trójwartościowa dla typu silnej wiary). Podam również i udowodnię kompletność LSB3_1 w odniesieniu do danej semantyki. LSB3_1 opiera się na preformalnych założeniach i intuicjach, które przedstawiono w sekcji 1. Sekcja 2 zawiera składnię i podział instrukcji LSB3_1 na wewnętrzne i zewnętrzne. Rozdział 3 przedstawia semantykę LSB3_1, a także szereg tautologii i formuł nietautologicznych w LSB3_1 wraz z ich intuicyjną interpretacją. System aksjomatyczny dla LSB3_1 i jego porównanie z silną logiką Kleene'a są przedstawione w sekcji 4. Twierdzenie o kompletności dla LSB3_1 jest przedstawione w rozdziale 5. Zdefiniuję termin koniunkcyjna forma normalna i przedstawię lematy, które prowadzą do udowodnienia redukcji języka LSB3_1 wzory przed udowodnieniem twierdzenia o zupełności.
    In this paper, I shall propose the construction of a three-valued logic of beliefs, which I call: LSB3_1 (short for: Three-valued Logic for a type of Strong Belief). I shall also state and prove the completeness of LSB3_1 with respect to a given semantics. LSB3_1 is based on preformal assumptions and intuitions, which are stated in section 1. Section 2 includes the syntax and division of LSB3_1 statements into internal and external. Section 3 presents the semantics of LSB3_1, as well as a number of tautologies and non-tautological formulae in LSB3_1 with their intuitive interpretation. The axiomatic system for LSB3_1 and its comparison to Kleene’s strong logic are provided in section 4. The completeness theorem for LSB3_1 is presented in section 5. I shall define the term conjunctive normal form and provide lemmas which lead to proving the reduction of the LSB3_1 language formulae before proving the completeness theorem.
    Źródło:
    Studia Philosophiae Christianae; 2019, 55, 4; 89-113
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Pointwise completeness, pointwise degeneracy and stability of standard and positive linear systems after discretization
    Punktowa zupełność, punktowa degeneracja i stabilność standardowych i dodatnich układów liniowych po dyskretyzacji
    Autorzy:
    Kaczorek, T.
    Borawski, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/157209.pdf
    Data publikacji:
    2014
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    discretization
    forward rectangular rule
    pointwise completeness
    pointwise degeneracy
    stability
    standard and positive continuous-time linear system
    standard and positive discrete-time linear system
    dyskretyzacja
    aproksymacja prostokątna w przód
    punktowa zupełność
    punktowa degeneracja
    stabilność
    standardowy i dodatni liniowy układ ciągły
    standardowy i dodatni liniowy układ dyskretny
    Opis:
    Definitions and necessary and sufficient conditions of the pointwise completeness, pointwise degeneracy and stability of standard and positive continuous-time and discrete-time linear systems are given. A problem of influence of the discretization of standard and positive continuous-time linear systems on the pointwise completeness, pointwise degeneracy and stability of standard and positive discrete-time linear systems is analyzed. The derivative is approximated using forward rectangular rule. Considerations are illustrated by numerical examples.
    Standardowy układ dynamiczny, niepoddany wymuszeniu, jest nazywany punktowo zupełnym, jeżeli każdy zadany stan końcowy można osiągnąć poprzez odpowiedni wybór stanu początkowego. Standardowy układ dynamiczny jest punktowo degenerowany w kierunku v, jeżeli istnieje stan końcowy, który jest nieosiągalny dla każdego warunku początkowego. W pracy podano definicje oraz warunki konieczne i wystarczające punktowej zupełności, punktowej degeneracji oraz stabilności standardowych i dodatnich liniowych układów ciągłych i dyskretnych. Dokonano analizy wpływu dyskretyzacji standardowego i dodatniego liniowego układu ciągłego na punktową zupełność, punktową degenerację i stabilność standardowego i dodatniego liniowego układu dyskretnego. Pochodna jest aproksymowana przy wykorzystaniu metody prostokątnej w przód. Rozważania zobrazowano przykładami numerycznymi. Praca ma następującą strukturę. W rozdziałach 2-5 podano definicje punktowej zupełności, punktowej degeneracji i stabilności liniowego układu ciągłego oraz liniowego układu dyskretnego. W rozdziałach 6 i 7 dokonano analizy wpływu dyskretyzacji standardowego i dodatniego liniowego układu ciągłego na punktową zupełność, punktową degenerację i stabilność standardowego i dodatniego liniowego układu dyskretnego. Rozdział 8 zawiera przykłady numeryczne, natomiast uwagom końcowym poświęcony jest rozdział 9.
    Źródło:
    Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 405-409
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-60 z 60

      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