Amido resistente, a última geração no controle de energia e digestão saudável

Estudos clínicos demonstraram que amido resistente tem propriedades semelhantes a fibras e mostra benefícios fisiológicos em humanos, podendo resultar em prevenção de doenças. A Organização Mundial de Saúde (OMS) recomenda que cerca de 55% da energia ingerida seja proveniente de carboidratos. A preocupação com o tipo de carboidrato ingerido é importante, pois há fibras, por exemplo, que devem ser ingeridas de 25-30 g/dia/pessoa, e normalmente não o são. Por ser um alimento resistente à digestão e fermentado no intestino grosso, principalmente pelas bifidobactérias, o amido resistente é um alimento prebiótico. Durante a fermentação ocorre a produção de ácidos graxos de cadeia curta, principalmente o butirato, que contribui muito para a saúde do cólon, inibindo o crescimento de células cancerígenas devido à redução do pH no intestino grosso. Além disso, contribui para a produção da energia difusa progressiva (EDP), que é a energia liberada ao longo do tempo de uma digestão lenta, e para a queda do índice glicêmico dos alimentos, proporcionando uma menor resposta glicêmica e, conseqüentemente, uma resposta insulínica mais adequada, auxiliando no tratamento da diabete, principalmente do tipo 2 e mantendo o indivíduo com sensação de saciedade por um período maior de tempo. A National Starch Food Innovation possui o Hi-Maize 260 como amido resistente que, quando comparado com as fibras convencionais, apresenta muitas vantagens. É branco e possui sabor brando, tamanho pequeno de partícula e baixa capacidade de retenção de água, praticamente não altera a textura de produtos de baixa umidade como pães, macarrão, barrinha de cereais, etc, ao contrário das fibras convencionais, o que permite formular produtos com alto teor de fibras e ainda ser rotulado como simplesmente "amido de milho". Também apresenta teor calórico reduzido e pode ser usado como agente de corpo complementar em formulações com valor reduzido ou sem gordura.

Hardware design of a multiconverter for hybrid vehicle applications

Hybridiajoneuvosovellukset vaativat usein sekä korkea- että matalajännitejärjestelmän. Korkeajännitejärjestelmä sisältää yleensä energiavaraston, joka on joko superkondansaattori tai korkeajänniteakusto, dieselgeneraattorin tai range extenderin ja ajokäytön. Korkeajännitejärjestelmään liitetään usein myös erilaisia apukäyttöjä kuten kompressoreita ja hydraulipumppuja. Matalajännitejärjelmä koostuu yleensä ohjausyksiköistä, ajovaloista, yms. laitteista. Perinteisesti matalajännitejärjestelmää on syötetty dieselmoottorin laturista, mutta korkeajännitejärjestelmien myötä DC/DC-hakkurin käyttäminen korkea- ja matalajännitejärjestelmien välillä on herättänyt kiinnostusta, koska tällöin laturin voisi poistaa ja matalajänniteakustoa pienentää. Tässä työssä kuvatun monilähöisen tehonmuokkaimen invertterisilta soveltuu apukäyttöjen ajamiseen, ja erotettu DC/DC-hakkuri matalajännitejärjestelmän syöttämiseen. Tässä työssä käydään läpi edellä mainitun tehonmuokkaimen suunnittelu, keskittyen eritoten laitteen korkeajänniteosien mitoitukseen ja termiseen suunniteluun. DC/DC-hakkurin osalta perinteisiä piistä valmistettuja IGBT transistoreja vertaillaan piikarbidi MOSFET transistoreihin. Lämpömallilaskujen paikkaansapitävyyttä tutkitaan suorittamalla prototyyppilaitteelle hyötysuhdemittaus, jonka tuloksia verrataan laskettuihin tuloksiin. Lämpömallin parannusmahdollisuuksia käsitellään myös hyötysuhdemittauksen tulosten perusteella.

Relação entre mercado de terras, crescimento econômico e insegurança fundiária explicada por um modelo a "geração imbricada"

In this paper, we analyze the relationship between the land market failures and the economic growth in Brazil, starting from an overlapping model including two sectors: agricultural and industrial. The land is both a specific factor for agriculture and an asset that can be substituted to the capital used in industry. The trade-off between land and capital holding depends, among other factors, on the transaction costs on the land market. These costs result from land insecurity and generate a decrease in the land price that favors capital accumulation. Two assumptions follow from our model: one the one hand, land insecurity has a negative effect on the land price; one the other hand it has a positive effect on economic growth. These two hypotheses are tested on panel data for Brazilian Federation. The econometric results do not reject our hypothesis.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont. A. Jeffrey says that he will be able to supply Mr. Woodruff with glass and iron pipe, June 7, 1875.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont.

Letter to S.D. Woodruff from A. Jeffrey importer of Hardware, Iron, Steel, and Window Glass of St. Catharines, Ont. regarding breakage and freight, June 23, 1875.

Receipt from A. Jeffrey importer of Hardware, Iron, Steel, Nails and etc

Receipt from A. Jeffrey importer of Hardware, Iron, Steel, Nails and etc. regarding payment received on glass panes, Nov. 12, 1875.

Receipt from Pratt and Company for hardware

Receipt from Pratt and Company for hardware, Aug. 22, 1876.

Receipt from W.J. McCalla, Groceries, Hardware, Paints and Oils, St. Catharines

Receipt from W.J. McCalla, Groceries, Hardware, Paints and Oils, St. Catharines for groceries and cutlery, March 21, 1887.

Receipt from A. Jeffrey, Hardware, St. Catharines

Receipt from A. Jeffrey, Hardware, St. Catharines for hardware items, April 1, 1887.

Aplicación de conceptos de desarrollo organizacional, planeación estratégica y reingeniería en el departamento de soporte técnico de una empresa comercializadora de software y hardware.

Tesis (Maestro en Ciencias de la Administración con Especialidad en Relaciones Industriales) UANL, 2010.

Programación genética para la generación automática de prototipos de clasificación.

Tesis (Maestría en Ciencias en Ingeniería de Sistemas) UANL, 2012.

Parallelization of SAT on Reconfigurable Hardware

Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

En la actualidad, el uso de las tecnologías ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informáticos o usuarios llamados “no expertos” se interesen en su uso, razón por la cual los investigadores científicos se han visto en la necesidad de producir estudios que permitan la adaptación de sistemas, a la problemática existente dentro del ámbito informático. Una necesidad recurrente de todo usuario de un sistema es la gestión de la información, la cual se puede administrar por medio de una base de datos y lenguaje específico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseño y construcción, lo cual se ve reflejado en costos y métodos complejos, entonces se plantea una pregunta ¿qué hacer cuando los proyectos son pequeñas y los recursos y procesos son limitados? Teniendo como base la investigación realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una técnica diferente de aprendizaje, para lo cual utiliza una aproximación evolucionista, donde la aplicación de un algoritmo genético adaptado origina sentencias SQL válidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximación, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigación [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin éxito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% más alto que la herramienta siguiente más próxima Query by Output QBO[31]. El promedio obtenido en la ejecución de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo genético supone la existencia de fases que amplían los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relación a las aplicaciones de este tipo. En conclusión y según lo anteriormente expuesto, se obtuvo una herramienta automática con una aproximación evolucionista, con buenos resultados y un proceso simple para el usuario “no experto”.

Regelbasiertes Reasoning auf massiv paralleler Hardware

Eine wesentliche Funktionalität bei der Verwendung semantischer Technologien besteht in dem als Reasoning bezeichneten Prozess des Ableitens von impliziten Fakten aus einer explizit gegebenen Wissensbasis. Der Vorgang des Reasonings stellt vor dem Hintergrund der stetig wachsenden Menge an (semantischen) Informationen zunehmend eine Herausforderung in Bezug auf die notwendigen Ressourcen sowie der Ausführungsgeschwindigkeit dar. Um diesen Herausforderungen zu begegnen, adressiert die vorliegende Arbeit das Reasoning durch eine massive Parallelisierung der zugrunde liegenden Algorithmen und der Einführung von Konzepten für eine ressourceneffiziente Ausführung. Diese Ziele werden unter Berücksichtigung der Verwendung eines regelbasierten Systems verfolgt, dass im Gegensatz zur Implementierung einer festen Semantik die Definition der anzuwendenden Ableitungsregeln während der Laufzeit erlaubt und so eine größere Flexibilität bei der Nutzung des Systems bietet. Ausgehend von einer Betrachtung der Grundlagen des Reasonings und den verwandten Arbeiten aus den Bereichen des parallelen sowie des regelbasierten Reasonings werden zunächst die Funktionsweise von Production Systems sowie die dazu bereits existierenden Ansätze für die Optimierung und im Speziellen der Parallelisierung betrachtet. Production Systems beschreiben die grundlegende Funktionalität der regelbasierten Verarbeitung und sind somit auch die Ausgangsbasis für den RETE-Algorithmus, der zur Erreichung der Zielsetzung der vorliegenden Arbeit parallelisiert und für die Ausführung auf Grafikprozessoren (GPUs) vorbereitet wird. Im Gegensatz zu bestehenden Ansätzen unterscheidet sich die Parallelisierung insbesondere durch die gewählte Granularität, die nicht durch die anzuwendenden Regeln, sondern von den Eingabedaten bestimmt wird und sich damit an der Zielarchitektur orientiert. Aufbauend auf dem Konzept der parallelen Ausführung des RETE-Algorithmus werden Methoden der Partitionierung und Verteilung der Arbeitslast eingeführt, die zusammen mit Konzepten der Datenkomprimierung sowie der Verteilung von Daten zwischen Haupt- und Festplattenspeicher ein Reasoning über Datensätze mit mehreren Milliarden Fakten auf einzelnen Rechnern erlauben. Eine Evaluation der eingeführten Konzepte durch eine prototypische Implementierung zeigt für die adressierten leichtgewichtigen Ontologiesprachen einerseits die Möglichkeit des Reasonings über eine Milliarde Fakten auf einem Laptop, was durch die Reduzierung des Speicherbedarfs um rund 90% ermöglicht wird. Andererseits kann der dabei erzielte Durchsatz mit aktuellen State of the Art Reasonern verglichen werden, die eine Vielzahl an Rechnern in einem Cluster verwenden.

Teoría del hardware adaptada a los ciclos formativos de grado superior de informática.

Manual adaptado a los ciclos formativos superiores de informática sobre teoría del hardware, estructurado en seis capítulos cuyos contenidos son: introducción a la informática, representación interna de la información (sistemas, conversión, representación y codificación) la estructura del ordenador, la memoria interna, los microprocesadores y los periféricos.