CZASOPISMA AGH (CN)
Stały identyfikator URI dla tego zbioru
TYTUŁY AKTUALNE
CZASOPISMA NAUKOWE AGH
Computer Methods in Materials Science
Computer Science
Decision Making in Manufacturing and Services
Energetyka Rozproszona
Geology, Geophysics & Environment
Geomatics and Environmental Engineering
Geotourism/Geoturystyka
Journal of Casting & Materials Engineering
Journal of Geotechnology and Energy
Managerial Economics
Mining - Informatics, Automation and Electrical Engineering
Opuscula Mathematica
Studia Humanistyczne AGH
CZASOPISMA INNE
Biuletyn AGH
TYTUŁY ARCHIWALNE
CZASOPISMA NAUKOWE AGH - tytuły archiwalne
AGH Drilling, Oil, Gas
AGH Journal of Mining and Geoengineering
Automatyka
Automatyka / Automatics
Auxiliary Sciences in Archaeology, Preservation of Relics and Environmental Engineering
Ekonomia Menedżerska
Elektrotechnika i Elektronika
Geodezja
Geologia
Górnictwo i Geoinżynieria
Inżynieria Środowiska
Mechanics
Mechanics and Control
Metallurgy and Foundry Engineering
Telekomunikacja Cyfrowa
Total Logistic Management
Wiertnictwo Nafta Gaz
Zagadnienia Techniczno-Ekonomiczne
Przeglądanie
Przeglądanie CZASOPISMA AGH (CN) według daty wydania
Teraz pokazywane1 - 20 z 4373
Wyników na stronę
Opcje sortowania
- ArtykułDostęp ograniczonyFunkcje normalne jako nowy model definiowania funkcji obliczalnych(2004) Dubiel, LeszekReport sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbert’s system of recursive functions. Normal functions lack this disadvantage.
- ArtykułDostęp ograniczonyPrzygotowanie publikacji do rocznika „COMPUTER SCIENCE”(2004) Kmiecik, JacekIn this paper we present a short instruction for preparing manuscripts for ‘Computer Science’ annual with the use of LATEX and style csagh.sty.
- ArtykułDostęp ograniczonyJelly Views: extending relational database systems toward deductive database systems(2004) Wojnicki, IgorThis paper regards the Jelly View technology, which provides a new, practical methodology for knowledge decomposition, storage, and retrieval within Relational Database Management Systems (RDBMS). Intensional Knowledge clauses (rules) are decomposed and stored in the RDBMS founding reusable components. The results of the rule-based processing are visible as regular views, accessible through SQL. From the end-user point of view the processing capability becomes unlimited (arbitrarily complex queries can be constructed using Intensional Knowledge), while the most external queries are expressed with standard SQL. The RDBMS functionality becomes extended toward that of the Deductive Databases.
- ArtykułDostęp ograniczonyOparta na koncepcji rywalizacji metoda analizy ryzyka systemów informatycznych(2004) Ryba, MirosławPublikacja prezentuje opracowana przez autora metodę oceny poziomu ryzyka informatycznego z perspektywy ludzkich zachowań. Stanowi ona alternatywę dla powszechnie stosowanych podejść do analizy ryzyka, polegających na identyfikacji podatności i zagrożeń oraz szacowaniu prawdopodobieństw ich wystąpienia. Metoda ta uwzględnia wpływ na ryzyko systemu informatycznego takich czynników, jak kwalifikacje administratorów i użytkowników tego systemu, wiedze i determinacje atakującego czy zastosowane przez niego techniki ataku. Kluczowym elementem metody analizy ryzyka, proponowanej w niniejszej pracy, jest formuła matematyczna pozwalająca na ilościowe określenie poziomu tego ryzyka.
- ArtykułDostęp ograniczonyInformation retrieval using association lists(2004) Gajęcki, MarekThe paper presents the main models of information retrieval in text. The idea of association list and its use for information retrieval is introduced. The paper contains the evaluation results of the algorithms under discussion.
- ArtykułDostęp ograniczonyA new approach to the rule-based systems design and implementation process(2004) Nalepa, Grzegorz J.The paper discusses selected problems encountered in practical rule-based systems (RBS) design and implementation. To solve them XTT, a new visual knowledge representation is introduced. Then a complete, integrated RBS design, implementation and analysis methodology is presented. This methodology is supported by a visual CASE tool called Mirella.The main goal is to move the design procedure to a more abstract, logical level, where knowledge specification is based on use of abstract rule representation. The design specification is automatically translated into Prolog code, so the designer can focus on logical specification of safety and reliability. On the other hand, system formal aspects are automatically verified on-line during the design, so that its verifiable characteristics are preserved.
- ArtykułDostęp ograniczonyModelowanie efektu elektrohydrodynamicznego przy użyciu sieci neuronowych(2004) Wajs, Wiesław; Gancarz, JolantaThis paper presents currently achieved results concerning methods of electrohydrodynamiceffect used in geophysics simulated with feedforward networks trained with backpropagation algorithm, radial basis function networks and generalized regression networks.
- ArtykułDostęp ograniczonyFast and flexible modelling of real-time systems with RTCP-NETS(2004) Szpyrka, MarcinA large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.
- ArtykułOtwarty dostępWykrywanie analogii zachowań obiektów z zastosowaniem w sterowaniu ich właściwościami(2005) Turek, MichałThis paper will discuss usage possibilities of a new (and still being designed) analogies detection technique in object steering processes. Proposed solution could be named extraordinary, because it will automatically analyse incoming information stored in simple facts, consisting of object name, timestamp, factor name and factor amount only, and will build a knowledge base just on that information. A special knowledge format, similar to rule-based knowledge structure will be defined. This format apart from modified Input Facts will include statistically collected Fact Trends definitions, special Fact-connecting Rules and Output Rule Descriptions. As a destination - data mining process will produce rules consisting of object attribute changes and object factor affection changes. These rules will be updated every time, when a new fact arrives. Any analogies between different rules, especially coming from different objects will be used for construction or modification of another kind output rules. Rules will hold information about object-behaviour analogies, stored in a cause-result order. An output rules format will also be suitable for human interpretation and modification, what should allow to manipulate and mix manually stored expert knowledge with automatically gained one. During the analysis process, current object's state (being controlled) will be compared with object schemes defined in knowledge base rules. Compatible rules will finally deliver parameter change solution, which has usually been performed in similar object situation during a learning process.
- ArtykułOtwarty dostępEksperymentalne porównanie filtrów medianowych do usuwania szumów impulsowych z obrazów barwnych(2005) Stoliński, Sebastian; Grabowski, SzymonThe median filter is a classic tool for impulse noise attenuation. Unfortunately, there is no natural ordering in vector spaces and thus the median definition for, e.g., pixels in RGR color space requires a change. The first generalization of the median filter into vector spaces was VMF filter (1990). In the following years, many alternatives have been proposed, offering often better image restoration quality. In this work we extensively compare known filtering algorithms, taking into account both their image restoration accuracy and filtering speed. Additionally, we analyze the effectiveness of several filters on so-called microimages, i.e., small excerpts from real images. Also, we introduce the concept of using the directional metric as a decision criterion in several existing filters.
- ArtykułOtwarty dostępModel zużycia energii cieplnej przez budynek dla różnych stref sterowania(2005) Kreft, WojciechThe article presents problems about choosing the strategy of local control for the system of central heating one of the buildings of AGH in Cracow. One analyzes the realisation of constant in time flow of heating water and realisation of flow by periodic switching on and switching off the greatest possible flow. Each strategy has anvantages and disadvantages. The focus of this paper is to present them.
- ArtykułOtwarty dostępA multi-objective assignment of customer orders to planning periods in make-to-order manufacturing(2005) Sawik, TadeuszW pracy przedstawiono modele programowania całkowitoliczbowego do wielokryterialnej optymalizacji długoterminowych harmonogramów produkcji wytwarzanej na zamówienie w elastycznym systemie montażowym. System składa się z szeregowo połączonych gniazd montażowych, zaś każde gniazdo obejmuje jedną lub kilka maszyn, pracujących równolegle. Podstawowym celem harmonogramowania jest przydział zleceń do okresów planowania tak, aby zminimalizować liczbę zleceń wykonanych po terminie dostawy do odbiorcy. Ponadto należy ograniczyć liczbę zleceń wykonanych przed terminem dostawy oraz zrównoważyć wykorzystanie zasobów w kolejnych okresach planowania. Zastosowano i porównano dwa podejścia: monolityczne i leksykograficzne. Przykłady liczbowe zaczerpnięte z przemysłu elektronicznego oraz wyniki eksperymentów obliczeniowych ilustrują zastosowanie proponowanych podejść.
- ArtykułOtwarty dostępAdaptacyjna metoda poprawy kontrastu obrazu(2005) Vorobel, Roman; Stobińska, MagdalenaThe method for adaptive contrast enhancement in the process of image reconstruction was presented. To reduce the enhancement of noise, which we can see as artifacts in processed images, a new approach to the local contrast evaluation with using an adaptive power variation method was proposed. It contributes to reducing noise amplification.
- ArtykułOtwarty dostępSynchronizacja wzajemnie uwarunkowanych cyklicznych procesów produkcyjnych(2005) Dudek-Dyduch, Ewa; Dyduch, TadeuszThe paper deals with a control of cyclic discrete production processes. The main aim of the paper is to present a new method to scheduling such processes. The method is based on so called pattern scheduling devised by the authors. The method is applied for control of a coke battery in steelworks. The generated presently schedule is not good enough because the normative coke burn time cannot be kept for particular chambers of the coke battery. A description of the coke battery and an analysis of the process are given in the paper. Then a mathematical model of the process that is worked out by the authors is presented. The main part of the paper deals with control of the process in presence of disturbances. Some classes of disturbances are differentiated and their influence on the process is analyzed. The control algorithm based on the devised method for control coke battery is proposed and analyzed.
- ArtykułOtwarty dostępAlgorytmy wyznaczania dróg transportu w problemie szeregowania zadań z zasobami zależnymi od stanu(2005) Dutkiewicz, Lidia; Kucharska, EdytaThe aim of the paper is to present algorithms of transport paths for machines in specific task scheduling problem. This problem belongs to NP-hard class and its characteristic feature is that resources, which are required to accomplishing the tasks, are changeable and depend on the current state of the system. Proposed model allows machines wait for resources to be accessible. The shortest and the fastest transport path for machine are described and defined in the paper.
- ArtykułOtwarty dostępNauczanie technik multimedialnych w środowisku MATLAB 6.5 z wykorzystaniem aplikacji TMT(2005) Wielgat, Robert; Gorgoń, MarekAn original idea of multimedia teaching in Matlab 6.5 environment is presented. In order to accomplish the idea TMT program was created. Contents and structure of the program has been presented. Future works has been briefly discussed. Program is actually used by students in Higher State Vocational School in Tarnów.
- ArtykułOtwarty dostępAlgorytmy rekonstrukcji obrazów w dualnym systemie tomograficznym(2005) Włodarczyk, Jarosław; Mosorov, Volodymyr; Lewandowski, SławomirIn many cases tomographic systems containing the single set of measuring sensors are not sufficient to the calculation of all important characteristic of investigated flows. Nowadays more and more a dual modality systems containing two independent sets of measuring sensors are used. The best example is the connection of the gamma tomography with an electrical capacitance tomography. These two modalities are complimentary both for spatial and temporal resolutions. The article presents the review of algorithms enabling the processing of data from both electrical capacitance and gamma ray tomography systems.
- ArtykułOtwarty dostępAutomatyczne wyznaczanie stref kolizji pojazdów(2005) Bubliński, Zbigniew; Mikrut, Zbigniew; Pawlik, PiotrThis paper describes the method of automatic detection of vehicles' collision zones based on analysis of video sequences registered by digital camera at signalised traffic intersection. Moving vehicles, visible on particular frames, are detected and their trajectories are stored. Tracks of vehicles which are moving in the same direction create some kind of 'corridors' and overlaps of those 'corridors' (common areas) are quite precise localisation of collision zones. The detailed description of algorithm and results obtained during analysis of selected video sequences is presented.
- ArtykułOtwarty dostępZagadnienie przepływowe z ograniczeniami 'bez magazynowania'. Algorytm tabu search z multiruchami(2005) Grabowski, Józef; Pempera, JarosławThe paper deal with flow-shop scheduling problem with no store constrains and the makespan criterion. Some properties, models of the problem and algorithm based on the taboo search method have been presented and discussed. In the proposed algorithm, the blocks of jobs ideas and new mechanism called multimove are used. The high efficiency of proposed mechanism confirm the results of the computation experiment, where for 96 over 120 instances are obtained new references solution.
- ArtykułOtwarty dostępJakość bazy danych(2005) Janicki, WojciechThe subject of article is Data Quality understood as quality of data accumulated in database. Text contains definition of basic features and parameters which help to quality the quality of database. The article is trying to answer on questions whether the quality of database can be bad with discussion of causes and factors estimating database as database about Iow quality. There are described the directions of workings having on aim improving the quality of database. At the end of the article is placed discussion about influence of quality of database on the organization as well as results the bad quality of database.