Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Call number
Volume
Vol. 3
Date
2001
Description
Journal
Computer Science
AGH University Press (2004-)
ISSN: 1508-2806 e-ISSN: 2300-7036
ISSN: 1508-2806 e-ISSN: 2300-7036
journal.volume.project
Contains
Journal Issues
Articles
Knowledge representation and inference for analysis and design of databases and tabular rule-based systems
(Wydawnictwa AGH, 2001) Ligęza, Antoni
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.
Metody sztucznej inteligencji w analizie morfologii wybranych narządów na obrazach medycznych
(Wydawnictwa AGH, 2001) Ogiela, Marek; Tadeusiewicz, Ryszard
The goal of this paper is the presentation of the possibilities of application of syntactic methods of computer image analysis for recognition of local stenoses of coronary arteries lumen and detection of pathological signs in upper parts of ureter ducts and renal calyxes. Analysis of correct morphology of these structures is possible thanks to the application of sequence and tree methods from the group of syntactic methods of pattern recognition. In the case of analysis of coronary arteries images the main objective is computer-aided early diagnosis of different forms of ischemic cardiovascular diseases. Such diseases may reveal in the form of stable or unstable disturbances of heart rhythm or infarction. In analysis of kidney radiograms the main goal is recognition of local irregularities in ureter lumens and examination of morphology of renal pelvis and calyxes.
Generation of triangular meshes for complex domains on the plane
(Wydawnictwa AGH, 2001) Jurczyk, Tomasz; Głut, Barbara
Many physical phenomena can be modeled by partial differential equations. The development of numerical methods based on the spatial subdivision of a domain into finite elements immediately extended interests to the tasks of generating a mesh. With the availability of versatile field solvers and powerful computers, the simulations of ever inereasing geometrical and physical complexity are attempted. At some point the main bottleneck becomes the mesh generation itself. The paper presents a detailed description of the triangular mesh generation scheme on the plane based upon the Delaunay triangulation. A mesh generator should be fully automatic and simplify input data as much as possible. It should offer rapid gradation from small to large sizes of elements. The generated mesh must be always valid and of good quality. All these requirements were taken into account during the selection and elaboration of utilized algorithms. Successive chapters describe procedures connected with the specification of a modeled domain, generation and triangulation of boundary vertices, introducing inner nodes, improving the quality of the created mesh, and renumbering of vertices.
Patrzenie w przestrzeni n-wymiarowej
(Wydawnictwa AGH, 2001) Jamróz, Dariusz
The possibility of looking at the exterior appearance of the n-dimensional solids using the eyesight is introduced in this article. The developed mathematical model allows to create the computer program that makes looking at any solid having any number of dimensions possible. The appearance of hypothetical solids from various perspectives is shown as well, for instance the four-dimensional and the seven-dimensional dices which are the multidimensional equivalents of a cube.
Syntaktyczne metody rozstrzygania wieloznaczności form fleksyjnych
(Wydawnictwa AGH, 2001) Szostek, Grażyna
There are different types of ambiguity in natural language, which causes different problems in natural language processing. This paper describes the ambiguity of inflection form, eg. kamień (the stone), which is the form of Moninative Singular or Accusative Singular. The paper also proposes the constraint driven method for resolving that type of ambiguity.