Computer Science Journal (AGH University of Science and Technology, Krakow)
Not a member yet
476 research outputs found
Sort by
SYMBOLIC BLOCK DECOMPOSITION IN HEXAHEDRAL MESH GENERATION
Get PDFHexahedral mesh generation for three-dimensional solid objects is often done in stages. Usually an object is first subdivided into simple-shaped subregions, which then are filled withhexahedral finite elements. This article presents an automatic subdividing method of polyhedron with planar faces. The subdivision is based on medial surface, axes and nodes of a solid.The main emphasis is put on creating a topology of subregions. Obtaining such a topologyinvolves defining a graph structure OMG which contains necessary information about medialsurface topology and object topology, followed by simple symbolic processing on it
QUANTUM MECHANICAL CALCULATIONS OF ELASTIC PROPERTIES OF DOPED TETRAGONAL YTTRIA-STABILIZED ZIRCONIUM DIOXIDE
Get PDFWe report first principles calculations of the electronic and elastic properties of yttriastabilized tetragonal zirconium dioxide doped with metal oxides like: GeO2, TiO2, SiO2,MgO and Al2O3. It is shown that addition of such dopants affects selected elastic propertiesof ZrO2, which is driven by the attraction of electron density by dopant atom and creationof stronger dopant–oxygen bonds. This effect contributes to the increase of superplasticityof doped material
EVALUATING NEW ARCHITECTURAL FEATURES OF THE INTEL(R) XEON(R) 7500 PROCESSOR FOR HPC WORKLOADS
Get PDFIn this paper we take a look at what the Intel Xeon Processor 7500 family, code namedNehalem-EX, brings to high performance computing. We compare two families of Intel Xeonbased systems (Intel Xeon 7500 and Intel Xeon 5600) and present a performance evolutionof 16 node clusters based on these CPUs. We compare CPU generations utilizing dual socketplatforms and a cluster across a number of HPC benchmarks and focused on differentperformance field and aspect. We will evaluate also technologies and features like Intels HyperThreading Technology (HT) and Intel Turbo Boost Technology (Turbo Mode) and theperformance implication of these technologies for HPC
FPGA AS A PART OF MS WINDOWS CONTROL ENVIRONMENT
Get PDFThe attention is focused on the Windows operating system (OS) used as a control and measurementenvironment. Windows OS due to extensions becomes a real-time OS (RTOS).Benefits and drawbacks of typical software extensions are compared. As far as hardwaresolutions are concerned the field programmable gate arrays FPGA technology is proposed toensure fast time-critical operations. FPGA-based parallel execution and hardware implementationof the data processing algorithms significantly outperform the classical microprocessoroperating modes. Suitability of the RTOS for a particular application and FPGA hardwaremaintenance is studied
THE ATLAS EXPERIMENT SIMULATIONS AS THE COMPUTING CHALLENGE FOR THE ACK CYFRONET AGH
Get PDFThe present High Energy Physics (HEP) experiments require unprecedented amount of computingpower and storage space. We present the WLCG structure of the LHC computing,which will be used to perform data processing required by the ATLAS collaboration. Wealso describe the ATLAS detector full simulation chain. Finally, we quantify the computingneeds and up-to-date usage of the ACK CYFRONET AGH resources by the ATLAS detector simulations
PROBABILISTIC ANOMALY DETECTION BASED ON SYSTEM CALLS ANALYSIS
Get PDFWe present an application of probabilistic approach to the anomaly detection (PAD). Byanalyzing selected system calls (and their arguments), the chosen applications are monitoredin the Linux environment. This allows us to estimate “(ab)normality” of their behavior (bycomparison to previously collected profiles). We’ve attached results of threat detection ina typical computer environment
NUMERICAL SIMULATION OF THE LASER WELDING
Get PDFThe model takes into consideration thermophysical and metallurgical properties of theremelting steel, laser beam parameters and boundary conditions of the process. As a resultof heating the material, in the area of laser beam operation a weld pool is being created,whose shape and size depends on convection caused by the Marangoni force. The directionof the liquid stream depends on the temperature gradient on the surface and on the chemicalcomposition as well. The model created allows to predict the weld pool shape depending onmaterial properties, beam parameters, and boundary conditions of the sample
CODE GENERATION FOR CSM/ECSM MODELS IN COSMA ENVIRONMENT
Get PDFThe COSMA software environment, developed in the Institute of Computer Science, WUT,was designed primarily for model checking of reactive systems specified in terms of ConcurrentState Machines (CSM). However, COSMA supports also Extended CSM (ECSM).The extensions allow for using complex data types and pieces of C/C++ code, attributedto CSM states and/or transitions. Because of these extensions, ECSM models cannot beverified by model checking, but they can be used as an intermediate step in code generation.The underlying CSM represent then the flow of control within cooperating components andthe communication among them while the extensions specify the data structures and thedetails of their processing.The paper discusses the code generation from ECSM diagrams. The approach is illustratedwith an example
WEB PAGES CONTENT ANALYSIS USING BROWSER-BASED VOLUNTEER COMPUTING
Get PDFExisting solutions to the problem of finding valuable information on the Websuffers from several limitations like simplified query languages, out-of-date in-formation or arbitrary results sorting. In this paper a different approach to thisproblem is described. It is based on the idea of distributed processing of Webpages content. To provide sufficient performance, the idea of browser-basedvolunteer computing is utilized, which requires the implementation of text pro-cessing algorithms in JavaScript. In this paper the architecture of Web pagescontent analysis system is presented, details concerning the implementation ofthe system and the text processing algorithms are described and test resultsare provided
A PROPOSITION OF KNOWLEDGE MANAGEMENT METHODOLOGY FOR THE PURPOSE OF REASONING WITH THE USE OF AN UPPER-ONTOLOGY
Get PDFThis article describes a proposition of knowledge organization for the purpose of reasoningusing an upper-ontology. It presents a model of integrated ontologies architecture whichconsists of a domain ontologies layer with instances, a shared upper-ontology layer withadditional rules and a layer of ontologies mapping concrete domain ontologies with the upperontology.Thanks to the upper-ontology, new facts were concluded from domain ontologiesduring the reasoning process. A practical realization proposition is given as well. It is basedon some popular SemanticWeb technologies and tools, such as OWL, SWRL, nRQL, Prot´eg´eand Racer