Sistemas Electrónicos Digitales. Hoja de ejercicios (curso 2014-2015)

Hoja de ejercicios con las soluciones

Diseño de Sistemas Electrónicos Digitales Avanzados. Práctica 1 (curso 2015-2016)

Introducción a la utilización de la herramienta de descripción hardware de Xilinx ISE 14.3

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Interfaz natural para la programación de un robot manipulador a través de un Kinect

Tesis (Ingeniero(a) en Automaziación).--Universidad de La Salle. Facultad de Ingeniería. Programa de Ingeniería en Automatización, 2014

Fundamentos de los computadores

Los fundamentos, conceptos y modos de operación de estas máquinas tan comunes hoy en día, son los que tratamos de introducir y desentrañar en este texto. O con otras palabras, este libro está orientado a aquellas personas que alguna vez se han preguntado "¿Cómo es posible que los transistores y puertas lógicas que hay dentro de mi ordenador me permitan editar un archivo o ejecutar un programa que he escrito en Modula o en C?", pregunta, que por otro lado, esperamos se hayan planteado todos nuestros alumnos de asignaturas de introducción a los computadores. Aunque no son del todo necesarios, suponemos que el lector tiene algunos conocimientos de electrónica digital y programación. Pues bien, en este libro precisamente queremos cubrir el desnivel semántico que existe en un sistema computador entre esas dos materias (electrónica digital y lenguajes de alto nivel), contemplando el control microprogramado y cableado, el lenguaje ensamblador y los sistemas operativos, según desglosamos a continuación por temas.

Coleta de dados por computadores de m??o para censos de propor????es continentais

Para tornar a coleta e a consolida????o de dados mais ??geis e econ??micas, aumentando a seguran??a sobre os dados, o IBGE est?? realizando a Contagem da Popula????o e o Censo Agropecu??rio 2007 com alternativa tecnol??gica para uso de computadores de m??o ??? PDAs (Personal Digital Assistant). ?? uma inova????o mundial, pois nenhum pa??s, nessas dimens??es, j?? realizou tal opera????o. A a????o dispensa question??rios em papel, substitu??dos por perguntas na tela do PDA, equipado com GPS para localizar estabelecimentos agropecu??rios por coordenadas. O PDA substitui bolsa e grandes volumes em papel. O plano de cr??tica, para validar informa????es coletadas, ?? transformado em programa, rodando em tempo real no PDA, para detec????o e corre????o de dados inconsistentes durante a entrevista, o que antes s?? era poss??vel ap??s meses. Outro salto em efici??ncia ?? a transmiss??o direta dos dados para o banco de dados do IBGE (sem escanear ou digitar documentos), criando mais confiabilidade e intelig??ncia na etapa de coleta

Programa????o de computadores

Treinar pessoal especializado para o exerc??cio da Fun????o de Programador de Computadores na Administra????o p??blica

Acoplamentos: um estudo sobre a intera????o entre humanos e computadores

Este estudo investiga a intera????o dos humanos com os computadores pessoais. A partir dos inc??modos produzidos por esses encontros, na primeira parte estuda-se a produ????o da m??quina ???amig??vel??? ??? que insinua compara????es com a mente humana ??? e seus fortes efeitos nas transforma????es culturais do final do s??culo XX. Na segunda parte do trabalho, a partir de entrevistas de trabalhadores falando sobre sua aprendizagem b??sica do uso de computadores pessoais, faz-se uma an??lise das principais concep????es sobre a rela????o homem-t??cnica que est??o influenciando a intera????o humano-computador. Com isso fica evidenciado o papel do computador na crise do sujeito moderno, e afirma-se a necessidade de se pensar a subjetividade para al??m da cl??ssica divis??o sujeito-objeto, homem m??quina, natureza-artif??cio... o que aponta para a id??ia de acoplamentos flex??veis entre humanos e computadores e pede por uma no????o de aprendizagem que acolha a cria????o de problemas como seu aspecto mais rico.

Avaliação das informações sobre rinite alérgica em sites brasileiros na rede mundial de computadores (Internet)

A rede mundial de computadores (Internet) é, atualmente, fonte de informação sobre saúde para leigos e profissionais da área médica. A Rinite Alérgica é uma doença muito prevalente que chega a atingir mais de 10% da população geral, causando queda da qualidade de vida. OBJETIVO: Avaliar os princípios éticos de sites brasileiros que divulgam informações a respeito do tema "rinite alérgica". FORMA DE ESTUDO: revisional. MATERIAL E MÉTODO: Foi feita avaliação de 173 sites brasileiros encontrados através de quatro mecanismos de busca (Google, Yahoo, Altavista e Radar Uol). Os sites foram avaliados de acordo com o Manual de Princípios Éticos para Sites de Medicina e Saúde do CREMESP (Conselho Regional de Medicina do Estado de São Paulo), de acordo com os itens transparência, honestidade, qualidade, consentimento livre e esclarecido, privacidade, ética médica, responsabilidade e procedência. RESULTADOS: Entre os sites analisados, 149 (86,1%) não estavam de acordo como Manual de Princípios Éticos para Sites de Medicina e Saúde do CREMESP. As proporções de irregularidades entre os itens avaliados foram: qualidade (84,4%), privacidade (46,2%) honestidade (18,5%), consentimento livre e esclarecido (15,6%), responsabilidade (13,9%), transparência (12,1%), ética médica (2,3%). Havia informações inexatas em 24,3% dos sites analisados. CONCLUSÕES: A maioria dos sites estudados contendo informações sobre rinite alérgica fere os princípios éticos para sites do CREMESP. Tanto a qualidade em geral de grande parte dos sites brasileiros que abordam o tema "rinite alérgica", quanto à qualidade das informações por eles divulgadas, são insuficientes para satisfazer a médicos e pacientes.