Wyniki wyszukiwania - Biblioteka Nauki

1

Parametryzacja geometrii granic i rzeźby terenu działki ewidencyjnej w systemach GIS

100%

Ligęza A.

|

2011

|

tom Vol. 32, nr 2B

329-348

PL

Trudne, a w praktyce niemożliwe, jest skierowanie zapytań do systemów informacji o terenie, które potrafią zwrócić działki ewidencyjne o określonej w zapytaniu geometrii granic lub rzeźbie terenu. W niniejszym artykule wprowadzono parametryzację geometrii granic oraz rzeźby terenu działki ewidencyjnej, dostarczając w systemach GIS, opartych na modelu relacyjno-obiektowym, cech niezbędnych do analizy przestrzennej z wykorzystaniem podstawowych konstrukcji języka SQL.

EN

It's difficult or impossible in practice to send query to Land Information Systems, which are able to return cadastral parcels with required geometry or terrain topography. In this study the parametrical description of geometry and terrain topography of cadastral parcels was introduced. It makes it possible to perform spatial analyses in GIS systems using only basic subset of the SQL language.

2

Knowledge representation and inference for analysis and design of databases and tabular rule-based systems

100%

Ligęza A.

|

2001

|

tom Vol. 3

13-60

EN

Rule-based systems constitute a powerful tool for specification of knowledge in design and implementation of knowledge-based systems. They provide also a universal programming paradigm for domains such as intelligent control, decision support, situation classification and operational knowledge encoding. In order to assure safe and reliable performance, such systems should satisfy certain formal requirements, including completeness and consistency. This paper addresses the issue of analysis and verification of selected properties of a class of such systems in a systematic way. A uniform, tabular scheme of single-level rule-based systems is considered. Such systems can be applied as a generalized form of databases for specification of data patterns (unconditional knowledge), or can be used for defining attributive decision tables (conditional knowledge in form of rules). They can also serve as lower-level components of a hierarchical, multi-level control and decision support knowledge-based systems. An algebraic knowledge representation paradigm using extended tabular representation, similar to relational database tables is presented and algebraic bases for system analysis, verification and design support are outlined.

PL

Systemy regułowe stanowią silne narzędzie specyfikacji wiedzy dla projektowania i implementacji systemów z bazą wiedzy. Równocześnie dostarczają one uniwersalnej metodologii programowania dla zastosowań w dziedzinach, takich jak: inteligentne sterowanie, wspomaganie decyzji, klasyfikacja sytuacji oraz kodowanie wiedzy operacyjnej. Aby jednak zapewnić bezpieczne i niezawodne działanie takich systemów powinny one spełniać szereg wymagań formalnych, takich jak zupełność i spójność. W artykule przedstawiono problematykę systematycznej analizy i weryfikacji wybranych własności pewnej klasy systemów. Zaproponowano jednolity, jednopoziomowy tablicowy sposób reprezentacji wiedzy w systemach regułowych. Systemy takie mogą znaleźć zastosowanie jako uogólnione bazy danych dla specyfikacji wzorców danych (wiedza w postaci uogólnionych faktów) lub też mogą być zastosowane do budowy atrybutowych tablic decyzyjnych (wiedza w postaci reguł). Mogą one także stanowić komponenty niskiego poziomu w wielopoziomowych systemach hierarchicznych przeznaczonych do sterowania lub wspomagania decyzji. Zaprezentowano algebraiczne podejście do reprezentacji rozszerzonych systemów tablicowych oparte na schemacie relacyjnych baz danych oraz naszkicowano podstawy algebraicznej analizy, weryfikacji i wspomagania projektowania takich systemów.

3

Uzyskanie zadanych pól powierzchni wieloboków uogólnionych poprzez modyfikację uwarunkowaną współrzędnych wierzchołków w systemach GIS

100%

Ligęza A.

|

2012

|

tom Vol. 33, nr 2B

91-104

PL

W niniejszym opracowaniu przedstawiono procedurę, która umożliwia uzyskanie - w warstwie GIS, którą tworzą wieloboki uogólnione - zadanych pól powierzchni, przez modyfikację, spełniającą określone warunki funkcyjne, współrzędnych wierzchołków wieloboków. Przykładowe wykorzystanie wprowadzonej procedury przedstawiono dla warstwy działek ewidencyjnych z Systemu Ewidencji Gruntów i Budynków.

EN

The article presents the procedure of obtaining the areas of generalized polygons by conditioned modification of vertices coordinates. In the practical use, the procedure was presented for the cadastral parcels layer, managed by the Polish Land and Building Register.

4

Tabular systems with object values. Extended knowledge representation and knowledge manipulation algebra

63%

Ligęza A. , Parra P. F.

|

2001

|

tom T. 5, z. 1/2

355-363

EN

Tabular systems constitute an important extension of Relational Databases. A tabular system consists of a table with columns labelled by attributes. Any row of such system specifies characteristics of some object defined in the attribute space; it can also define a rule, provided that some attributes refer to preconditions and at least one is a decision attribute. In this paper an extended form of tabular systems is proposed -instead of atomic values object values for representing complex structures are allowed. A formal definition of an object is put forward. Partial order relation over objects is defined and elements for object algebra are outlined. The extended knowledge representation and manipulation formalism can be used for data and knowledge representation, analysis, manipulation and verification of theoretical properties.

PL

Systemy tablicowe stanowią istotne rozszerzenie relacyjnych baz danych. System tablicowy jest zbudowany zgodnie ze strukturą tablicy relacyjnej bazy danych, której kolumny etykietowane są wybranymi atrybutami. Każdy wiersz takiej tablicy zawiera specyfikację charakterystyki pewnego obiektu przestrzeni atrybutów. Wiersz taki może definiować również regułę, o ile przyjęty jest podział atrybutów na definiujące prewarunki i atrybuty decyzyjne. W pracy rozważa się rozszerzenie formalizmu systemów tablicowych - zamiast atomicznych wartości atrybutów dopuszcza się wartości w formie obiektów reprezentujących złożone struktury. Zaproponowano formalną definicję obiektu. Zdefiniowano też relację częściowego porządku dla obiektów oraz naszkicowano elementy algebry obiektowej. Tak rozszerzony sposób reprezentacji wiedzy może być zastosowany do reprezentacji bardziej złożonych struktur danych i wiedzy, analizy i przetwarzania oraz weryfikacji własności formalnych.

5

Abductive diagnostic inference: theory and implementation

63%

Ligęza A. , Parra P. F.

|

1999

|

tom T. 3, z. 1

201-207

EN

In this paper a tool for diagnosing certain class of "steady-state" faults occurring in static or dynamic systems is presented. The formalism that is used is called an AND/OR/NOT causal graphs. The influences between possible symptoms, from elementary diagnoses to manifestation failures are represented in a connected graph where the links can be positive or negative (NOT). These links are combined at each node by means of the logical connectives. Diagnostic reasoning is supported using various techniques and extensions, and a final validation stage of generated possible diagnoses. The presented approach includes introduction of diagnoses covering not only specific component faults but "wrong" compositions of control actions and operational conditions, fuzzy characterization of faults, ordering of alternative symptoms with use of qualitative probabilities.

PL

W pracy przedstawiono narzędzie do diagnostyki pewnej klasy ustalonych awarii występujących w systemach statycznych i dynamicznych. Zastosowany formalizm opiera się na grafach przyczynowo-skutkowych reprezentujących logiczne zależności typu AND/OR7 NOT. Powiązania przyczynowo-skutkowe pomiędzy symptomami są reprezentowane łukami grafu, przy czym istnieje możliwość reprezentacji oddziaływania pozytywnego i negatywnego (NOT). Łuki grafu są połączone w każdym węźle za pomocą spójników logicznych. Realizowane jest wnioskowanie diagnostyczne z wykorzystaniem różnych technik i rozszerzeń oraz końcową weryfikacją generowanych diagnoz. Proponowane podejście umożliwia nie tylko diagnostykę awarii poszczególnych elementów ale także błędnego sterowania i nieodpowiednich warunków pracy oraz diagnostykę w przypadku oddziaływań rozmytych i jakościowych prawdopodobieństw wystąpienia symptomów.

6

Adaptive granular planning for robust plan generation under uncertain traffic conditions

63%

Ernst S. , Ligęza A.

|

2008

|

tom Vol. 34, no 1

77-83

EN

Real-time execution of planned routes often requires re-planning, especially in highly dynamic environments. However, re-planning not only induces deterioration of solution quality - it is often time-consuming or even impossible. The article describes a new approach to solving Plan Generation Problems (PGPs), aimed at application for route planning in uncertain environments. The concept is based on maintaining a set of alternative solutions to allow quick switching when conditions change. A new formal representation of a PGP solution is proposed. Map abstraction methods are discussed in the context of landmarks defined by natural characteristics of urban areas. The article introduces the concept of solution robustness and presents methods for a priori prediction of solution feasibility under unreliable conditions. Finally, the paper presents strategies for execution of robust plans, as well as a formal definition of a plan execution problem. Several new possibilities are discussed, such as the inclusion of human decisions as feedback for intelligent route planning systems.

7

Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods

38%

Ligęza A. , Nalepa G. J. , Szmuc T. , Szpyrka M. , Szwed P. , Wojnicki I.

|

2001

|

tom T. 5, z. 1/2

345-354

EN

This paper is devoted to presentation of certain issues concerning analysis and verification of tabular systems. Such systems constitute an extension of relational databases and attributive decision tables. In order to assure safe and reliable performance of tabular systems, certain logical properties should be verified. The paper provides a logical model of tabular systems and states logical definitions of features such as completeness, consistency with constraints and determinism. Further, an algebraic approach to verification of these properties is proposed. A graphical interpretation and use of some graphical methods is also discussed.

PL

W pracy przedstawiono zagadnienia analizy, weryfikacji i projektowania tablicowych systemów regułowych. Systemy takie stanowią istotne rozszerzenie relacyjnych baz danych i atrybutowych tablic decyzyjnych. Aby zapewnić ich niezawodną i bezpieczną pracę, pewne własności logiczne powinny zostać zweryfikowane. W pracy przedstawiono model logiczny systemów tablicowych oraz podano definicje logiczne własności takich, jak zupełność, zgodność z ograniczeniami i determizm. Zaproponowano elementy algebraicznego podejścia do weryfikacji tych własności. Przedstawiono także ideę zastosowania podejścia graficznego do wspomagania projektowania.