Computer Science Journal (AGH University of Science and Technology, Krakow)
Not a member yet
476 research outputs found
Sort by
Agents modeling experience applied to control of semi-continuous production process
Get PDFThe lack of proper analytical models of some production processes prevents us from obtaining proper values of process parameters by simply computing optimal values. Possible solutions of control problems in such areas of industrial processes can be found using certain methods from the domain of artificial intelligence: neural networks, fuzzy logic, expert systems, or evolutionary algorithms. Presented in this work, a solution to such a control problem is an alternative approach that combines control of the industrial process with learning based on production results. By formulating the main assumptions of the proposed methodology, decision processes of a human operator using his experience are taken into consideration. The researched model of using and gathering experience of human beings is designed with the contribution of agent technology. The presented solution of the control problem coincides with case-based reasoning (CBR) methodology
Comparison of Hybrid Sorting Algorithms Implemented on Different Parallel Hardware Platforms
No full textSorting is a common problem in computer science. There are lot of well-known sorting algorithms created for sequential execution on a single processor. Recently, hardware platforms enable to create wide parallel algorithms. We have standard processors consist of multiple cores and hardware accelerators like GPU. The graphic cards with their parallel architecture give new possibility to speed up many algorithms. In this paper we describe results of implementation of a few different sorting algorithms on GPU cards and multicore processors. Then hybrid algorithm will be presented which consists of parts executed on both platforms, standard CPU and GPU
GRID RESOURCE REGISTRY – ABSTRACT LAYER FOR COMPUTATIONAL RESOURCES
Get PDFThe growing number of resources available to researchers in the e-Science domain has openednew possibilities for constructing complex scientific applications while at the same timeintroducing new requirements for tools which assist developers in creating such applications.This paper discusses the problems of rapid application development, the use of distributedresources and a uniform approach to resource registration, discovery and access. It presentsthe Grid Resource Registry, which delivers an abstract layer for computational resources.The Registry is a central place where developers may search for available services and fromwhich the execution engine receives technical specifications of services. The Registry is usedthroughout the lifetime of the e-science application, starting with application design, throughimplementation to execution
CLUO: Web-Scale Text Mining System for Open Source Intelligence Purposes
Get PDFThe amount of textual information published on the Internet is considered tobe in billions of web pages, blog posts, comments, social media updates andothers. Analyzing such quantities of data requires high level of distribution –both data and computing. This is especially true in case of complex algorithms,often used in text mining tasks.The paper presents a prototype implementation of CLUO – an Open SourceIntelligence (OSINT) system, which extracts and analyzes significant quantitiesof openly available information
FORMAL ANALYSIS OF USE CASE DIAGRAMS
Get PDFUse case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed
SIMPLE CYCLIC MOVEMENTS AS A DISTINCT AUTISM FEATURE - COMPUTATIONAL APPROACH
Get PDFDiversity of symptoms in autism dictates a broad definition of Autism Spectrum of Disorders(ASD). Each year percentage of children diagnosed with ASD is growing. One common diag-nostic feature in individuals with ASD is the tendency to atypical simple cyclic movements.The motor brain activity seems to generate periodic attractor state that is hard to escape.Despite numerous studies scientists and clinicians do not know exactly if ASD is a result ofa simple but general mechanism, or a complex set of mechanisms, both on neural, molecularand system levels. Simulations using biologically relevant neural network model presentedhere may help to reveal simplest mechanisms that may be responsible for specific behavior.Abnormal neural fatigue mechanisms may be responsible for motor as well as many if notall other symptoms observed in ASD
A CRISIS MANAGEMENT APPROACH TO MISSION SURVIVABILITY IN COMPUTATIONAL MULTI-AGENT SYSTEMS
Get PDFIn this paper we present a biologically-inspired approach for mission survivability (consideredas the capability of fulfilling a task such as computation) that allows the system to be aware ofthe possible threats or crises that may arise. This approach uses the notion of resources usedby living organisms to control their populations.We present the concept of energetic selectionin agent-based evolutionary systems as well as the means to manipulate the configuration ofthe computation according to the crises or user’s specific demands
CONVERGENCE OF ITERATIVE SOLVERS FOR NON-LINEAR STEP-AND-FLASH IMPRINT LITHOGRAPHY SIMULATIONS
Get PDFThe paper presents the analysis of the iterative solvers utilized to solve the non-linear problemof Step-and-Flash Imprint Lithography (SFIL) a modern patterning process. The simulationsconsists in solving molecular statics problem for the polymer network, with quadratic potentials.The model distinguishes the strong interparticle interactions between particles forminga polymer network, and weak interactions between remaining particles. It also allows for largedeformations, which all together implies the non-linear model. To illustrate the convergenceof the iterative solvers, we present snapshots of the deformation of the sample being subjectto the iterative solution. We claim that the animation is an interesting way of illustratingthe convergence of the iterative solvers
Erlang-based Software Update Platform for Mobile Devices
Get PDFGrowing computational power of mobile devices modifies existing approachesto data processing in large-scale sensor networks. Since sensors are no lon-ger limited to simple data acquisition tasks, such networks can be consideredcomplex geo-distributed data processing systems. Features and requirements ofsuch systems justify use of Erlang language and technology for programmingmobile devices. The technology provides several crucial features, including fault-tolerance, message-passing concurrency or hot-code loading. In this paper theproblem of software management in Erlang-based distributed systems is di-scussed. A mechanism for installing and upgrading Erlang applications usingoperating system package manager is described. A platform for updating so-ftware in large scale systems is presented
Towards a new Approach for Arabic root extraction:Exploit relations between the word letters and their placement in the word for Arabic root extraction
No full textIn this paper we present a new root-extraction approach for Arabic words. The approach tries to assign for Arabic word a unique root without having a database of word roots, a list of words patterns or even a list of all the prefixes and the suffixes of the Arabic words. Unlike most of Arabic rule-based stemmers, it tries to predict the letters positions that may form the word root one by one using some rules based on the relations among the Arabic word letters and their placement in the word. This paper will focus on two parts of the approach. The first one deals with the rules that distinguish between the Arabic definite article “ال -AL” and the permanent component “ال -AL” that may found in any Arabic word. The second part of the approach adopts the segmentation of the word into three parts and classifies Arabic letters in to groups according to their positions in each segment. The proposed approach is a system composed of several modules that corporate together to extract the word root. The approach has been tested and evaluated using the Holy Quran words. The results of the evaluation show a promising root extraction algorithm