Análisis de las herramientas ORCC y Vivado HLS para la Síntesis de Modelos de Flujo de Datos RVC-CAL

En este Proyecto Fin de Grado se ha realizado un estudio de cómo generar, a partir de modelos de flujo de datos en RVC-CAL (Reconfigurable Video Coding – CAL Actor Language), modelos VHDL (Versatile Hardware Description Language) mediante Vivado HLS (Vivado High Level Synthesis), incluida en las herramientas disponibles en Vivado de Xilinx. Una vez conseguido el modelo VHDL resultante, la intención es que mediante las herramientas de Xilinx se programe en una FPGA (Field Programmable Gate Array) o el dispositivo Zynq también desarrollado por Xilinx. RVC-CAL es un lenguaje de flujo de datos que describe la funcionalidad de bloques funcionales, denominados actores. Las funcionalidades que desarrolla un actor se definen como acciones, las cuales pueden ser diferentes en un mismo actor. Los actores pueden comunicarse entre sí y formar una red de actores o network. Con Vivado HLS podemos obtener un diseño VHDL a partir de un modelo en lenguaje C. Por lo que la generación de modelos en VHDL a partir de otros en RVC-CAL, requiere una fase previa en la que los modelos en RVC-CAL serán compilados para conseguir su equivalente en lenguaje C. El compilador ORCC (Open RVC-CAL Compiler) es la herramienta que nos permite lograr diseños en lenguaje C partiendo de modelos en RVC-CAL. ORCC no crea directamente el código ejecutable, sino que genera un código fuente disponible para ser compilado por otra herramienta, en el caso de este proyecto, el compilador GCC (Gnu C Compiler) de Linux. En resumen en este proyecto nos encontramos con tres puntos de estudio bien diferenciados, los cuales son: 1. Partimos de modelos de flujo de datos en RVC-CAL, los cuales son compilados por ORCC para alcanzar su traducción en lenguaje C. 2. Una vez conseguidos los diseños equivalentes en lenguaje C, son sintetizados en Vivado HLS para conseguir los modelos en VHDL. 3. Los modelos VHDL resultantes serian manipulados por las herramientas de Xilinx para producir el bitstream que sea programado en una FPGA o en el dispositivo Zynq. En el estudio del segundo punto, nos encontramos con una serie de elementos conflictivos que afectan a la síntesis en Vivado HLS de los diseños en lenguaje C generados por ORCC. Estos elementos están relacionados con la manera que se encuentra estructurada la especificación en C generada por ORCC y que Vivado HLS no puede soportar en determinados momentos de la síntesis. De esta manera se ha propuesto una transformación “manual” de los diseños generados por ORCC que afecto lo menos posible a los modelos originales para poder realizar la síntesis con Vivado HLS y crear el fichero VHDL correcto. De esta forma este documento se estructura siguiendo el modelo de un trabajo de investigación. En primer lugar, se exponen las motivaciones y objetivos que apoyan y se esperan lograr en este trabajo. Seguidamente, se pone de manifiesto un análisis del estado del arte de los elementos necesarios para el desarrollo del mismo, proporcionando los conceptos básicos para la correcta comprensión y estudio del documento. Se realiza una descripción de los lenguajes RVC-CAL y VHDL, además de una introducción de las herramientas ORCC y Vivado, analizando las bondades y características principales de ambas. Una vez conocido el comportamiento de ambas herramientas, se describen las soluciones desarrolladas en nuestro estudio de la síntesis de modelos en RVC-CAL, poniéndose de manifiesto los puntos conflictivos anteriormente señalados que Vivado HLS no puede soportar en la síntesis de los diseños en lenguaje C generados por el compilador ORCC. A continuación se presentan las soluciones propuestas a estos errores acontecidos durante la síntesis, con las cuales se pretende alcanzar una especificación en C más óptima para una correcta síntesis en Vivado HLS y alcanzar de esta forma los modelos VHDL adecuados. Por último, como resultado final de este trabajo se extraen un conjunto de conclusiones sobre todos los análisis y desarrollos acontecidos en el mismo. Al mismo tiempo se proponen una serie de líneas futuras de trabajo con las que se podría continuar el estudio y completar la investigación desarrollada en este documento. ABSTRACT. In this Project it has made a study of how to generate, from data flow models in RVC-CAL (Reconfigurable Video Coding - Actor CAL Language), VHDL models (Versatile Hardware Description Language) by Vivado HLS (Vivado High Level Synthesis), included in the tools available in Vivado of Xilinx. Once achieved the resulting VHDL model, the intention is that by the Xilinx tools programmed in FPGA or Zynq device also developed by Xilinx. RVC-CAL is a dataflow language that describes the functionality of functional blocks, called actors. The functionalities developed by an actor are defined as actions, which may be different in the same actor. Actors can communicate with each other and form a network of actors. With Vivado HLS we can get a VHDL design from a model in C. So the generation of models in VHDL from others in RVC-CAL requires a preliminary phase in which the models RVC-CAL will be compiled to get its equivalent in C. The compiler ORCC (Open RVC-CAL Compiler) is the tool that allows us to achieve designs in C language models based on RVC-CAL. ORCC not directly create the executable code but generates an available source code to be compiled by another tool, in the case of this project, the GCC compiler (GNU C Compiler) of Linux. In short, in this project we find three well-defined points of study, which are: 1. We start from data flow models in RVC-CAL, which are compiled by ORCC to achieve its translation in C. 2. Once you realize the equivalent designs in C, they are synthesized in Vivado HLS for VHDL models. 3. The resulting models VHDL would be manipulated by Xilinx tools to produce the bitstream that is programmed into an FPGA or Zynq device. In the study of the second point, we find a number of conflicting elements that affect the synthesis Vivado HLS designs in C generated by ORCC. These elements are related to the way it is structured specification in C generated ORCC and Vivado HLS cannot hold at certain times of the synthesis. Thus it has proposed a "manual" transformation of designs generated by ORCC that affected as little as possible to the original in order to perform the synthesis Vivado HLS and create the correct file VHDL models. Thus this document is structured along the lines of a research. First, the motivations and objectives that support and hope to reach in this work are presented. Then it shows an analysis the state of the art of the elements necessary for its development, providing the basics for a correct understanding and study of the document. A description of the RVC-CAL and VHDL languages is made, in addition an introduction of the ORCC and Vivado tools, analyzing the advantages and main features of both. Once you know the behavior of both tools, the solutions developed in our study of the synthesis of RVC-CAL models, introducing the conflicting points mentioned above are described that Vivado HLS cannot stand in the synthesis of design in C language generated by ORCC compiler. Below the proposed solutions to these errors occurred during synthesis, with which it is intended to achieve optimum C specification for proper synthesis Vivado HLS and thus create the appropriate VHDL models are presented. Finally, as the end result of this work a set of conclusions on all analyzes and developments occurred in the same are removed. At the same time a series of future lines of work which could continue to study and complete the research developed in this document are proposed.

Ästhetik des reinen gefühls,

1. t. Die grundlegung der systematischen ästhetik.-- 2. t. Die bestätigung der systematischen ästhetik in den arten der künste und an ihrer geschichte.

Vom wesen und werden des modernen maturgefühls ...

Programm.

The Herschel Lensing Survey (HLS): Overview

The Herschel Lensing Survey (HLS) will conduct deep PACS and SPIRE imaging of ~40 massive clusters of galaxies. The strong gravitational lensing power of these clusters will enable us to penetrate through the confusion noise, which sets the ultimate limit on our ability to probe the Universe with Herschel. Here we present an overview of our survey and a summary of the major results from our science demonstration phase (SDP) observations of the Bullet cluster (z = 0.297). The SDP data are rich and allow us to study not only the background high-redshift galaxies (e. g., strongly lensed and distorted galaxies at z = 2.8 and 3.2) but also the properties of cluster-member galaxies. Our preliminary analysis shows a great diversity of far-infrared/submillimeter spectral energy distributions (SEDs), indicating that we have much to learn with Herschel about the properties of galaxy SEDs. We have also detected the Sunyaev-Zel'dovich (SZ) effect increment with the SPIRE data. The success of this SDP program demonstrates the great potential of the Herschel Lensing Survey to produce exciting results in a variety of science areas.

Alcohol consumption by undergraduate students

Assessed correlates of alcohol consumption (AC) in 212 undergraduates (81 "college" and 131 "noncollege" residents [COLRs and NCOLRs], mean ages 18.9 and 18.6 yrs, respectively) and studied the proportion who were drinking at potentially harmful levels (HLs). This study also examined changes in AC during the course of the 1st semester and predicted drinking levels in the 2nd semester from demographics, drug use, social variables and self-efficacy data. Data were collected using self-administered questionnaires. During both semesters, the COLRs reported drinking significantly more alcohol than NCOLRs, but during vacation the intake of the 2 groups was almost equal. Higher AC in the 2nd semester was best predicted by higher AC during the 1st semester, followed by more AC by friends and higher parental occupation status. Female COLRs were those most likely to be drinking at HLs. Results also showed that a significant proportion of COLRs were drinking at HLs.

Coupling hybrid-game strategies with particle swarm optimisation for multi-objective high lift systems design optimisation

This paper investigates the High Lift System (HLS) application of complex aerodynamic design problem using Particle Swarm Optimisation (PSO) coupled to Game strategies. Two types of optimization methods are used; the first method is a standard PSO based on Pareto dominance and the second method hybridises PSO with a well-known Nash Game strategies named Hybrid-PSO. These optimization techniques are coupled to a pre/post processor GiD providing unstructured meshes during the optimisation procedure and a transonic analysis software PUMI. The computational efficiency and quality design obtained by PSO and Hybrid-PSO are compared. The numerical results for the multi-objective HLS design optimisation clearly shows the benefits of hybridising a PSO with the Nash game and makes promising the above methodology for solving other more complex multi-physics optimisation problems in Aeronautics.

Advanced Computational Intelligence System for inverse aeronautical design optimisation

Abstract—Computational Intelligence Systems (CIS) is one of advanced softwares. CIS has been important position for solving single-objective / reverse / inverse and multi-objective design problems in engineering. The paper hybridise a CIS for optimisation with the concept of Nash-Equilibrium as an optimisation pre-conditioner to accelerate the optimisation process. The hybridised CIS (Hybrid Intelligence System) coupled to the Finite Element Analysis (FEA) tool and one type of Computer Aided Design(CAD) system; GiD is applied to solve an inverse engineering design problem; reconstruction of High Lift Systems (HLS). Numerical results obtained by the hybridised CIS are compared to the results obtained by the original CIS. The benefits of using the concept of Nash-Equilibrium are clearly demonstrated in terms of solution accuracy and optimisation efficiency.

Fabrication of a corneal-limbal tissue substitute using silk fibroin

Fibroin extracted from silkworm cocoon silk provides an intriguing and potentially important biomaterial for corneal reconstruction. In the present chapter we outline our methods for producing a composite of two fibroin-based materials that supports the co-cultivation of human limbal epithelial (HLE) cells and human limbal stromal (HLS) cells. The resulting tissue substitute consists of a stratified epithelium overlying a three-dimensional arrangement of extracellular matrix components (principally ‘degummed’ fibroin fibers) and mesenchymal stromal cells. This tissue substitute is currently being evaluated as a tool for reconstructing the corneal limbus and corneal epithelium.

Fibroin-based materials support cultivation of limbal stromal cells

Purpose: The silk protein fibroin provides a potential substrate for use in ocular tissue reconstruction. We have previously demonstrated that transparent membranes produced from fibroin support cultivation of human limbal epithelial cells (Tissue Eng A. 14(2008)1203-11). We presently extend this body of work to studies of human limbal stromal cell (HLS) growth on fibroin in the presence and absence of serum. Methods: Primary cultures of HLS cells were established in DMEM/F12 medium supplemented with either 10% fetal bovine serum (FBS) or 2% B27 supplement. Defined keratinocyte serum-free medium (DK-SFM, Invitrogen) was also tested. The resulting cultures were analysed by flow cytometry for expression of CD34, CD90, CD45, and CD141. Cultures grown under each condition were subsequently passaged either onto transparent fibroin membranes prepared from purified fibroin or within 3D scaffolds prepared from partially-solubilised fibroin. Results: HLS cultures were successfully established under each condition, but grew more slowly and passaged poorly in the absence of serum. Cultures grown in 10% FBS were <0.5% CD34+ (keratocytes) and >97% CD90+ (fibroblasts). Cultures established in 2% B27 formed floating spheres and contained >8% CD34+ cells and reduced CD90 expression. Cultures established in DK-SFM displayed traces of epithelial cell growth (CD141), but mostly consisted of CD90+ cells with <1% CD34+ cells. Cells of bone marrow lineage (CD45) were rarely observed under any conditions. Cultures grown in 10% FBS were able to adhere to and proliferate on silk fibroin 3-D scaffolds and transparent films while those grown serum-free could not. Adhesion of HLS cells to fibroin was initially poorer than that displayed on tissue culture plastic. Conclusions: HLS cultures containing cells of predominantly fibroblast lineage can be grown on fibroin-based materials, but this process is dependent upon additional ECM factors such as those provided by serum.

Fibroin-based materials support co-cultivation of limbal epithelial and stromal cells

The silk protein fibroin (Bombyx mori) provides a potential substrate for use in ocular tissue reconstruction. We have previously demonstrated that transparent membranes produced from fibroin support cultivation of human limbal epithelial (HLE) cells (Tissue Eng A. 14(2008)1203-11). We extend this body of work to studies of human limbal stromal cell (HLS) growth on fibroin in the presence and absence of serum. Also, we investigate the ability to produce a bi-layered composite scaffold of fibroin with an upper HLE layer and lower HLS layer.

Parallel parsing of programming languages

A new method of specifying the syntax of programming languages, known as hierarchical language specifications (HLS), is proposed. Efficient parallel algorithms for parsing languages generated by HLS are presented. These algorithms run on an exclusive-read exclusive-write parallel random-access machine. They require O(n) processors and O(log2n) time, where n is the length of the string to be parsed. The most important feature of these algorithms is that they do not use a stack.

The Molecular Basis of Hydrolethalus Syndrome

Hydrolethalus syndrome (HLS) is a severe fetal malformation syndrome that is inherited by an autosomal recessive manner. HLS belongs to the Finnish disease heritage, an entity of rare diseases that are more prevalent in Finland than in other parts of the world. The phenotypic spectrum of the syndrome is wide and it is characterized by several developmental abnormalities, including hydrocephalus and absent midline structures in the brain, abnormal lobation of the lungs, polydactyly as well as micrognathia and other craniofacial anomalies. Polyhydramnios are relatively frequent during pregnancy. HLS can nowadays be effectively identified by ultrasound scan already at the end of the first trimester of pregnancy. One of the main goals in this study was to identify and characterize the gene defect underlying HLS. The defect was found from a previously unknown gene that was named HYLS1. Identification of the gene defect made it possible to confirm the HLS diagnosis genetically, an aspect that provides valuable information for the families in which a fetus is suspected to have HLS. Neuropathological findings of mutation confirmed HLS cases were described for the first time in detail in this study. Also, detailed general pathological findings were described. Since HYLS1 was an unknown gene with no relatives in the known gene families, many functional studies were performed in order to unravel the function of the gene and of the protein it codes for. Studies showed, for example, that the subcellular localization of the HYLS1 protein was different when the normal and the defective forms were compared. In addition, HYLS1 was shown to possess transactivation potential which was significantly diminished in the defective form. According to the results of this study it can be stated that HYLS1 most likely participates in transcriptional regulation and also in the regulation of cholesterol metabolism and that the function of HYLS1 is critical for normal fetal development.

Efeitos benéficos do tratamento com óleo de peixe em camundongos c57bl/6 alimentados com dieta hiperlipídica e rica em sacarose

Avaliar os efeitos benéficos do tratamento com óleo de peixe sobre mudanças metabólicas e morfológicas no pâncreas e tecido adiposo de camundongos C57BL/6 alimentados com dieta rica em lipídeos e sacarose (HLS).Camundongos machos da linhagem C57BL/6, foram alimentados com dieta padrão (P) ou dieta HLS. Aos 3 meses de idade, os camundongos do grupo HLS foram separados em grupo não-tratado (HLS) ou grupo tratado com óleo de peixe (HLS-Px, 1,5g/kg/dia). Aos 4 meses de idade os animais foram sacrificados. O grupo HLS apresentou aumento da massa corporal (MC) e no acúmulo do tecido adiposo total, porém o grupo HLS-Px apresentou menor MC e massa de tecido adiposo comparado ao grupo HLS. As concentrações de glicose plasmática e insulina não foram afetadas entre os grupos, no entanto os grupos HLS e HLS-Px apresentaram maior HOMA-IR. Os grupos HLS e HLS-Px apresentaram maiores concentrações plasmáticas do colesterol total e LDL-C, porém o grupo HLS-Px apresentou maior concentração plasmática do HDL-C e redução da concentração de triglicerídeos. Os adipócitos do grupo HLS apresentaram maior diâmetro quando comparado aos grupos controle e HLS-Px. A massa do pâncreas foi menor no grupo HLS-Px e as ilhotas pancreáticas apresentaram maior diâmetro no grupo HLS, quando comparado ao grupo controle. A expressão de insulina, glucagon e GLUT-2 mostrou-se forte em todas as ilhotas pancreáticas do grupo controle, mas o grupo HLS apresentou fraca expressão para o GLUT-2. Entretanto, HLS-Px apresentou maior expressão do GLUT-2. O tratamento com óleo de peixe foi capaz de reduzir o ganho de massa corporal e a concentração de triglicerídeos, assim como reduzir o acúmulo de tecido adiposo,hipertrofia dos adipócitos, das ilhotas pancreáticas, assim como prevenir a redução do GLUT-2 em camundongos C57BL/6.