Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Issue Date
2013
Volume
Vol. 14
Number
No. 4
Description
Reviewed by: Paweł Russek, Zoltan Mann, Piotr Breitkopf, Jan Kucwaj, Kaimo Hu, Joanna Kołodziej, Zuzana Kominkova Oplatkova, Jarosław Rudy, Luis Garcia-Castillo, Robert Schaefer, Marek Skomorowski, Tomasz Arodz, Luis Garcia-Castillo, Krzysztof Banas, Andrzej Opaliński, Maozhen Li, Juan Rial, Łukasz Faber, Antoni Ligęza, Andrzej Goscinski
Journal Volume
Computer Science
Vol. 14 (2013)
Projects
Pages
Articles
FPGA-based DVCPRO HD decoder implementation using impulse C
(Wydawnictwa AGH, 2013) Cichoń, Sławomir; Gorgoń, Marek
High-level languages (HLL) for defining hardware implementation are important in both academic and commercial research. Impulse C could be an example of such language. This environment provides a programming model and library of functions for parallel applications, targeting FPGA-based platforms with the ability to partition the algorithm between software and hardware. This article’s aim is to briefly describe DVCPRO HD, one of the intra-frame video-coding algorithms widely used in consumer equipment. DVCPRO HD is a DCT -based lossy video coding algorithm which uses variable-length coding (VLC) and run-length encoding (RLE) to achieve a 5:1 compression ratio. This paper presents DVCPRO HD video-coding-standard principles as well as decoder implementation working in real-time, compliant with the afore-mentioned standard and implemented in Impulse C. According to the authors’ knowledge, the presented solution is the first FPGA implementation of this coding standard which includes all three VLC stages of data re-arrangement. What is more, this is the first DVCPRO HD implementation which utilizes Impulse C.
Preparation of control space for remeshing polygonal surfaces
(Wydawnictwa AGH, 2013) Jurczyk, Tomasz; Głut, Barbara
The subject of the article concerns the issues of remeshing, transforming a polygonal mesh into a triangular mesh adapted to its surface. From the initial polygonal mesh, the curvature of surface and boundary is retrieved and used to calculate a metric tensor varying in three-dimensional space. In the proposed approach, the curvature is computed using local approximation of surfaces and curves on the basis of vertices of the polygonal mesh. An essential part of the presented remeshing procedure is a creation of a control space structure based on the retrieved discrete data. The subsequent process of remeshing is then supervised by the contents of this auxiliary structure. The article presents various aspects related to the procedure of initialization, creation, and adjustment of the control space structure.
Evolutionary multi-agent systems in non-stationary environments
(Wydawnictwa AGH, 2013) Kisiel-Dorohinicki, Marek
In this article, the performance of an evolutionary multi-agent system in dynamic optimization is evaluated in comparison to classical evolutionary algorithms. The starting point is a general introduction describing the background, structure and behavior of EMAS against classical evolutionary techniques. Then, the properties of energy-based selection are investigated to show how they may influence the diversity of the population in EMAS. The considerations are illustrated by experimental results based on the dynamic version of the well-known, high-dimensional Rastrigin function benchmark.
Verification mechanism for lightweight component-based environment based on IoC container
(Wydawnictwa AGH, 2013) Leszko, Rafał; Piętak, Kamil
This paper presents a concept of component verification framework dedicated to a particular lightweight component environment. The starting point of the paper constitutes a discussion about the significance of verification of syntax inconsistencies in software development. Next, the need of verification in service-oriented and component-based systems is presented, and various approaches of verification in existing component environments are explained. The main part of the paper introduces a concept of functional integrity of component-based systems that utilize verification mechanisms which check consistency between components. The proposed solution is built on a fine-grained component environment (close to classes similarly to the Spring Framework) realized in the AgE platform. Selected technical aspects of framework design illustrate the considerations of the paper.
Grammar based multi-frontal solver for isogeometric analysis in 1D
(Wydawnictwa AGH, 2013) Kuźnik, Krzysztof; Paszyński, Maciej; Calo, Victor Manuel
In this paper, we present a multi-frontal direct solver for one-dimensional isogeometric finite element method. The solver implementation is based on the graph grammar (GG) model. The GG model allows us to express the entire solver algorithm, including generation of frontal matrices, merging, and eliminations as a set of basic undividable tasks called graph grammar productions. Having the solver algorithm expressed as GG productions, we can find the partial order of execution and create a dependency graph, allowing for scheduling of tasks into shared memory parallel machine. We focus on the implementation of the solver with NVIDIA CUDA on the graphic processing unit (GPU). The solver has been tested for linear, quadratic, cubic, and higher-order B-splines, resulting in logarithmic scalability.