1000 resultados para Máquina de Turing
Resumo:
Resumen basado en el de la publicación
Resumo:
Resumen basado en el de la publicación
Resumo:
Resumen basado en el de la publicación
Resumo:
El principal objectiu d’aquest projecte és aconseguir classificar diferents vídeos d’esports segons la seva categoria. Els cercadors de text creen un vocabulari segons el significat de les diferents paraules per tal de poder identificar un document. En aquest projecte es va fer el mateix però mitjançant paraules visuals. Per exemple, es van intentar englobar com a una única paraula les diferents rodes que apareixien en els cotxes de rally. A partir de la freqüència amb què apareixien les paraules dels diferents grups dins d’una imatge vàrem crear histogrames de vocabulari que ens permetien tenir una descripció de la imatge. Per classificar un vídeo es van utilitzar els histogrames que descrivien els seus fotogrames. Com que cada histograma es podia considerar un vector de valors enters vàrem optar per utilitzar una màquina classificadora de vectors: una Support vector machine o SVM
Resumo:
El Laboratori de Mecànica de l’Escola Politècnica Superior disposa d’una màquina equilibradora de rotors. El projecte consisteix a fer un nou disseny de l’equilibradora i els seus components, realitzar tots els càlculs necessaris per assegurar-ne el bon funcionament i pressupostar la màquina per si, en un futur, es creu convenient construir-la. A l’hora de fer aquest nou disseny s’ha mantingut un principi de funcionament i un manteniment el més senzill possible. També s’ha procurat que l’aparell tingui una gran flexibilitat a l’hora de plantejar casos pràctics, ja que la finalitat d’aquesta equilibradora de rotors és realitzar pràctiques de laboratori. Pel que fa a la part mecànica s’ha hagut d’assegurar una bona transmissió de moviment entre el motor i el rotor, i garantir una bona lectura dels aparells de mesura. El fet de ser un aparell d’ús docent ha fet que es donés molta importància a la seguretat
Resumo:
Una empresa de la indústria farmacèutica vol comercialitzar càpsules elaborades amb plantes medicinals. El procés a seguir per a aconseguir el producte final es realitza mitjançant un molí motoritzat que consta d’unes ganivetes, la funció de les quals és triturar les fulles de les plantes prèviament seleccionades a unes mides realment minúscules, de tal manera que llavors es puguin introduir dins les càpsules. Actualment el procés de trituració es realitza aproximadament a 3.000 rpm i en intentar assolir majors velocitats de treball el capçal de la màquina no les aguanta, cedint un o més dels seus components, patint sobretot l’eix de transmissió i els rodaments, que en ocasions acaben trencant-se. Per a intentar resoldre aquest problema, l’empresa subministradora de maquinària industrial es planteja la viabilitat d’un nou prototipus. La primera mesura que es proposa al client per a solucionar el problema derivat d’aquest augment de la producció és dissenyar un nou capçal del molí motoritzat perquè pugui treballar a velocitats superiors, aproximadament de 18.000 r.p.m, que significaria un canvi total de la transmissió de la màquina
Resumo:
La desintegració és una etapa important en la recuperació de paper vell, ja que té importants conseqüències en consum d'energia i en el comportament de les etapes posteriors. Per això els objectius es centren en analitzar la desintegració des del punt de vista del temps de desintegració, els aspectes energètics, modelització de la màquina de desintegració utilitzada i anàlisi dels factors de cisallament calculats com a mesura global de les forces implicades en la desintegració. Els autors que hi han treballat donen diferents explicacions a aquestes forces. Fins avui només s'ha pogut avaluar qualitativament la influència que tenen cada un dels mecanismes en el temps necessari per a desintegrar i en el consum energètic. Les característiques reològiques de les suspensions papereres, i el seu comportament no newtonià tenen una clara influència en el consum energètic i les forces de desfibrat en el desintegrador. Els experiments de desintegració s'han realitzat en un púlper convencional, amb tres tipus de paper recuperat: paper estucat d'alta qualitat imprès offset (PQ), paper revista estucat imprès en color (PR), paper blanc imprès en impresora làsser (PF). Anàlisi del temps de desintegració Per cada un del papers estudiats (PQ, PR i PF), les fraccions màssiques des de 0.06 fins a la màxima que estat possible per cada paper (de 0.14 a 0.18), i a dues velocitats d'agitació diferents, s'ha determinat el temps de desintegració (tD) fins a aconseguir un índex de Sommerville de 0.01%. S'obté que en augmentar la fracció màssica disminueix potencialment el temps de desintegració. S'ha estudiat la velocitat de desintegració, la producció teòrica del púlper en cada cas, i la seva relació amb les forces d'impacte i de fregament que produeixen la desintegració. Aspectes energètics El consum específic d'energia (SEC), definit com l'energia consumida per a desintegrar 1 kg de paper recuperat, disminueix molt en augmentar Xm, ja que a més de disminuir l'energia consumida en cada desintegració, el contingut en paper és més elevat. Pel disseny de desintegradors, cal tenir en compte que en augmentar Xm i en augmentar la velocitat, sempre augmenta la potència consumida. Però així com els beneficis de treballar a Xm alt són de 10 vegades en termes de SEC i de producció, l'augment de potència és només de l'ordre de 2 vegades la necessària respecte de la Xm baixa. Viscositat aparent i energia de fluidització S'estudia la relació entre el temps de desintegració, les forces de fregament i els valors de viscositat aparent de la bibliografia. Per cada paper i velocitat s'ha observat que el consum específic d'energia disminueix en funció de la viscositat aparent. Reologia del púlper Utilitzant el mètode de Metzner i Otto (1957) per determinar la viscositat aparent mitjana de les suspensions papereres, modificat per Roustan, s'ha caracteritzat el pulper mitjançant el model: Np= K· Rex·Fry S'han utilitzat dissolucions de glicerina com a fluid newtonià per a calcular les constants d'ajust, i a partir d'aquí, aïllar la viscositat aparent en funció de la potència neta i els paràmetres d'agitació. La viscositat aparent, d'acord amb Fabry (1999) es substitueix pel concepte de factor de cisallament. Factor de cisallament Calculat el factor de cisallament per a cada paperot i condicions d'agitació, s'ha relacionat amb Xm, SEC, tD, consum de potència, potència instal·lada i fracció cel·lulòsica. El factor de cisallament és un paràmetre útil per a quantificar les forces globals implicades en la desintegració.
Resumo:
A memória auditiva é um misto de lembrança e de construção. É neste binómio que se jogam as nossas memorias áudio, quer as individuais, quer as coletivas. Este ensaio parte do conto de Ballard, The Sound Sweep, como forma de lançar estas questões. Em The Sound Sweep Ballard descreve-nos uma cantora de ópera aposentada que anseia pelo seu regresso aos palcos. A razão da sua decadência deve-se ao aparecimento de uma nova manifestação musical, a música ultrassónica. Madame Gioconda torna-se amiga de Mangon, um jovem mudo mas que ouve muito bem. Mangon tem por profissão ser uma espécie de limpador de sons. Opera uma máquina chamada sonovac que tem por função apagar todos os vestígios de sons antigos. Mangon, mais algumas pessoas do círculo de Madame Gioconda, montam a estratégia de organizar um espetáculo que será o seu regresso à atividade, espetáculo em que ela vai cantar mas não vai ser ouvida; o sonovac de Mangon estará lá para apagar qualquer vestígio de som sem que ela dê conta. Mas, à última hora, Mangon resolve destruir o seu sonovac e ela acaba por cantar... mal, muito mal, fazendo toda a gente sair da sala. A questão central a analisar é a da memória do som. Nesta ficção de Ballard há elementos interessantes que nos ajudam a refletir sobre esse tema. Parte-se da ficção de Ballard e lançam-se questões que estão bem presentes no universo real que habitamos. De certa forma, desenvolve-se também a questão de saber o que é que a ficção tem a ver com a realidade, sobretudo em termos de som e música.
Resumo:
"O progresso é natural", afirma Millôr Fernandes (Isto É, 29 de Abril de 1987) puxando nota de roda-pé que remete a Noel Rosa. Depois de afirmação tão séria o humorista, improvisado em museólogo, informa que "em Tóquio toquianos prevenidos contra a poluição andam com venda num olho. Descansam um usam o outro, descansam o outro, usam o um." Mais adiante informa que "a Sony mandou instalar em sua sede, também em Tóquio, uma máquina de vender oxigênio." E por uma ótica prospectiva adianta: "Já, já São Paulo entra no páreo - teremos no viaduto do Café" - inventado por Millôr - "uma loja de clorificação dos olhos". "Portanto - arremata o humorista - aproveitando a onda, por que não levar a coisa às suas últimas consequências e criar museus ao ar livre onde, por preço acessível, crianças e adultos possam ver, cheirar e mesmo subir em árvores!? Bolei até um nome pro museu - Praça Pública. Será que pega?" Ao que tudo indica a idéia não vingou - ainda que Millôr acenasse com a possibilidade de se cobrar preços acessíveis para a coisa pública - pois, a cada dia é menor o número de crianças e adultos que podem ver, cheirar e subir em árvores, seja pelo clima de violência nos grandes centros urbanos, o que inibe o acesso da população às áreas verdes, seja pela gradual e sistemática redução dessas mesmas áreas ou ainda pelo corre-corre urbano. O fato, no entanto, é que a idéia é brilhante e que Millôr, não se sabe com que referência acadêmicas, porém com fina ironia, estabelece uma relação de aproximação entre a instituição museu e a ecologia; entre a instituição museu e a praça pública - que "é do povo como o céu é do condor", e na rota do progresso natural, do Concord. Nos periódicos especializados esta relação está incluída no bojo da denominada Nova Museologia.
Resumo:
A máquina-ferramenta representa uma fase da gramatização, o alfabeto, a imprensa, o cinema e hoje a Internet, representam outras tantas fases da gramatização. A missão é um objecto mediológico. A catequese, a evangelização são igualmente máquinas de gramatização. Analisa-se aqui esse processo através da análise de um documento inédito e de várias outras referências à missão enquanto mecanismo de conversão e empresa de salvação.
Resumo:
Konputagarritasun Teoriaren asmoa sistema konputazionalen muga teorikoak aztertzea da. Bere helburu nagusia problemak konputagarri eta konputaezinen artean bereiztea da, problema konputagarria ebazpide informatikoa onartzen duenari deitzen diogula kontuan hartuta. Emaitza horiek garatzeko konputagailu eredu abstraktu erabiliena, historikoki, Turing-en Makina izan da. Ingeniaritza Informatikoko ikasleek eredu abstraktuaren eta konputagailu errealen artean distantzia dagoela nabari dezakete, horregatik programaziotik hurbilago dagoen eredu bat erabiltzea egokiagoa da, while programak hain zuzen ere. While programekin Turingen makinekin ebazten diren problema berak ebazten dira. Aldiz, while programak erabiltzen askoz errazagoak dira, batez ere aurretik informatika errealean esperientzia duten pertsonentzat, lengoaia agintzaile klasikoen programen itxura hartzen baitute. Testu honek while programak erabiltzen ditu, behar denean hauek birformulatuz eta beraien abantailak aprobetxatuz, konputazioa sinbolo arbitrarioen manipulazioaren baitan definituta gera dadin. Horrela, errealitate informatikotik askoz hurbilagoa egongo da. While programak zer diren eta nola erabiltzen diren zehaztasunez azaltzen da, eta gainera, beste agindu edo datu-mota batzuk gehitzea zergatik ez den beharrezkoa justifikatzen da.
Resumo:
Los supuestos fundamentales de la Teoría de la Computabilidad se establecieron antes de la aparición de los primeros ordenadores (a finales de los años 40), supuestos que muchos años de vertiginoso cambio no han conseguido alterar. Alan Mathison Turing demostró ya entonces que ningún ordenador, por muy potente que lo imaginemos, podría resolver algunas cuestiones. Estos problemas para los que no existe ningún algoritmo posible, los incomputables, no son excepcionales y hay un gran número de ellos entre los problemas que se plantean en torno al comportamiento de los programas. El problema de parada, es sin duda el miembro más conocido de esta familia: no existe un algoritmo para decidir con carácter general si un programa ciclará o no al recibir unos datos de entrada concretos. Para demostrar la incomputabilidad de un problema necesitamos un argumento lógico que certifique la inexistencia de algoritmo, o lo que es lo mismo, que pruebe que ninguno de los algoritmos existentes es capaz de resolver dicho problema. Tal argumento de carácter universal no suele ser sencillo de establecer, y normalmente suele estar relacionado con una demostración por reducción al absurdo. Existen distintas técnicas para lograr este objetivo. La técnica de diagonalización es la más básica de ellas, y resulta bastante conocida al no tratarse de una herramienta específica de la Informática Teórica. En este documento no se trata de explicar la técnica en sí, que se supone conocida, sino de ilustrarla con una colección de ejemplos de diferente grado de dificultad.
Resumo:
Konputagarritasunaren Teoriaren oinarriak lehenengo ordenadoreak azaldu aurretik (40. hamarkadaren bukaera aldera) ezarri ziren, eta ziztu biziko eta etenik gabeko eraldaketek aldatzea lortu ez duten oinarriak dira. Alan Mathison Turing-ek jadanik garai hartan frogatu zuen, ahalik eta potentzia handienekoa imajinatuta ere, inolako ordenadorek ebatzi ezingo zituen zenbait gai edo arazo bazeudela. Balizko algoritmorik ez duten problema horiek, konputaezinak deitzen ditugunak, ez dira salbuespenak eta adibide ugari aurki dezakegu. Programen portaeraren inguruan planteatzen diren problemen artean, asko konputaezinak dira. Familia horretako kide ezagunena, zalantzarik gabe, geratze problema da: sarrerako datu zehatz batzuk hartzerakoan, programa bat begizta infinituan geratuko ote den era orokorrean erabakitzeko algoritmorik ez dago. Problema baten konputaezintasuna frogatzeko, hau ebatziko duen algoritmo zehatz bat existitzen ez dela ziurtatuko duen argumentu logikoa behar dugu, edo beste era batera esanda, existitzen diren algoritmoak problema hori ebazteko gai izango ez direla egiaztatuko duen argumentua. Izaera unibertsaleko argumentu hori ezartzea ez da batere erraza izaten, eta normalean, absurduraino eramandako frogapen batekin erlazionatuta egon ohi da. Helburu hori lortzeko zenbait teknika daude. Diagonalizazioaren teknika horien artean oinarrizkoena da, eta nahiko ezaguna, ez baita Informatika Teorikoaren tresna espezifikoa. Dokumentu honen helburua ez da teknika bera azaldu edo deskribatzea, ezaguntzat hartzen baita, zailtasun maila desberdineko hainbat adibideren bitartez argitzea baizik.
Resumo:
La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Frente a las disciplinas y técnicas que día a día amplían el campo de aplicabilidad práctica de los computadores, esta teoría establece una serie de barreras insalvables por ninguna tecnología digital de procesamiento de la información. Los métodos propios de la Teoría de la Computabilidad pueden ser extraordinariamente complejos, sin embargo, existe un núcleo de resultados fundamentales que son abordables mediante técnicas más asequibles, y que tienen la virtud de reflejar razonablemente el concepto central de indecidibilidad computacional. Este informe incluye una descripción de los conceptos y técnicas que configuran ese núcleo básico de la Teoría. Su propósito es dar cuenta de la primera batería de resultados relacionados con la incomputabilidad de algunos problemas conocidos y relevantes en Informática. Los resultados se presentan utilizando como estándar de programación los programas-while, incluyéndose una explicación detallada y sistemática de la técnica de Diagonalización, además de resultados tan importantes como la tesis de Church-Turing, la función universal o el problema de parada.
Resumo:
El presente estudio trata de dar una solución en la planificación de la producción para una Planta industrial que fabrica productos semiterminados de acero, tanto para mantener stock como para productos bajo pedido. En esta línea se genera un modelo de planificación que obedezca a las necesidades de fabricar productos para clientes en tiempos de entrega reales y ciertos en su cumplimiento. Además mediante el levantamiento de la capacidad individual por máquina y la determinación del cuello de botella en cada línea de producción se discute la forma en la cual se pueda mejorar el estado actual de la mencionada Planta, y el ordenamiento de producción en cuanto a las prioridades comerciales y operacionales. Para esto se disponen los contenidos que en breves palabras se los puede mencionar como sigue: análisis actual del funcionamiento de la Planta, una base teórica respecto a la Teoría de las Restricciones el cual es el fundamento que más se adapta a la descripción de la realidad y a su mejoramiento, la descripción del modelo en cuanto a su funcionamiento, y algunas conclusiones y recomendaciones que aportarían a futuro, al mejor desempeño en la gestión de la producción de la Planta en cuestión. Es importante mencionar que al haber realizado el estudio para una Planta con los dos tipos de productos (stock y bajo pedido), el modelo es extrapolable hacia otras Plantas que tengan ya sea el un tipo de producto o el otro, claro esta que las soluciones a la mejor gestión dependerá del caso que se esté analizando.