A presente dissertação procurou verificar como os consumidores compreendem o processo de rastreabilidade, que é considerada uma certificação. Também, buscou o entendimento dos consumidores de carne bovina sobre a carne rastreada, verificando como os consumidores valorizam essa carne e identificando elementos para que a rastreabilidade seja apresentada nas gôndolas. A discussão sobre o tema encontra-se embasada sob três aspectos, a rastreabilidade bovina e o seu mercado; a competitividade e a diferenciação dos produtos alimentares, especialmente, as vantagens competitivas de Porter; o marketing, o comportamento e as percepções do consumidor. O método utilizado neste trabalho, em uma primeira fase, baseiase no caráter exploratório e natureza qualitativa, a qual propiciou o desenvolvimento do instrumento da coleta de dados para a fase seguinte. Após realizou-se uma pesquisa descritiva, de natureza quantitativa, dando origem à coleta de dados, ocorrida por uma survey via internet com o auxílio do software Sphinx, obtendo-se uma amostra de 417 consumidores, sendo a maioria dos respondentes gaúchos, residentes em Porto Alegre, com ensino superior e renda acima de R$ 4.000,00. Na análise e discussão dos resultados foram apresentadas as análises estatísticas dos resultados alcançados, classificadas pelos seguintes tópicos: caracterização da amostra, hábitos de consumo, conhecimento sobre diferenciação e certificação, conhecimento sobre rastreabilidade bovina e o consumo da carne bovina rastreada. Os resultados confirmam que a amostra de pesquisa possui um predomínio de consumidores da carne bovina, são conhecedores desta carne, compram preferencialmente em hipermercados, conhecem a carne bovina certificada, consideram-na importante, porém não a exigem. Já, com relação à carne rastreada, consideram-se uma oportunidade de mercado, sendo esta ferramenta de diferenciação e dispõe-se a pagar mais por este tipo de carne. Por fim, demonstrou-se como o consumidor gostaria que a carne rastreada fosse apresentada na gôndola. / The present dissertation has aimed to verify how the consumers know the traceability process that is considered a certification. It has also searched the understanding of beef meat consumers about meat traceability, checking how consumers value this meat, identifying elements so that traceability is presented on the shelves. The discussion about the topic is based on three aspects: bovine traceability and its market; the competitiveness and the differentiation of alimentary products, especially the Porter's competitiveness advantages; the marketing, the consumer's behavior and perceptions. The method employed in this work, in the first stage, is based on the exploratory character and qualitative nature which has provided the development of data collecting instrument for the following stage. Afterwards one has made a descriptive research, of quantitative nature, giving origin to the data collecting, taken place by a survey via internet with the help of Sphinx software, one gaining a sample of 417 consumers, being majority of respondents gaucho's, residents in Porto Alegre, with higher education and income over $ 4,000.00. In the analysis and result discussion the statistical analysis of the results obtained were presented, classified by the following topics: characterization of the sample, consume habits, knowledge about differentiation and certification, knowledge about bovine traceability and consume of the bovine meat traced. The results confirm that the sample of the research has got a predominance in the bovine meat consumers, that are specialist of this meat, buy preferentially in supermarkets, know the bovine meat certified, consider it important although do not demand it. Concerning the traced meat, one considers a market opportunity, being this a differential tool and one predisposes to pay more for this sort of meat. At last, one has demonstrated how the consumer would like that the traced meat was shown on the shelves.

A presente dissertação procurou verificar como os consumidores compreendem o processo de rastreabilidade, que é considerada uma certificação. Também, buscou o entendimento dos consumidores de carne bovina sobre a carne rastreada, verificando como os consumidores valorizam essa carne e identificando elementos para que a rastreabilidade seja apresentada nas gôndolas. A discussão sobre o tema encontra-se embasada sob três aspectos, a rastreabilidade bovina e o seu mercado; a competitividade e a diferenciação dos produtos alimentares, especialmente, as vantagens competitivas de Porter; o marketing, o comportamento e as percepções do consumidor. O método utilizado neste trabalho, em uma primeira fase, baseiase no caráter exploratório e natureza qualitativa, a qual propiciou o desenvolvimento do instrumento da coleta de dados para a fase seguinte. Após realizou-se uma pesquisa descritiva, de natureza quantitativa, dando origem à coleta de dados, ocorrida por uma survey via internet com o auxílio do software Sphinx, obtendo-se uma amostra de 417 consumidores, sendo a maioria dos respondentes gaúchos, residentes em Porto Alegre, com ensino superior e renda acima de R$ 4.000,00. Na análise e discussão dos resultados foram apresentadas as análises estatísticas dos resultados alcançados, classificadas pelos seguintes tópicos: caracterização da amostra, hábitos de consumo, conhecimento sobre diferenciação e certificação, conhecimento sobre rastreabilidade bovina e o consumo da carne bovina rastreada. Os resultados confirmam que a amostra de pesquisa possui um predomínio de consumidores da carne bovina, são conhecedores desta carne, compram preferencialmente em hipermercados, conhecem a carne bovina certificada, consideram-na importante, porém não a exigem. Já, com relação à carne rastreada, consideram-se uma oportunidade de mercado, sendo esta ferramenta de diferenciação e dispõe-se a pagar mais por este tipo de carne. Por fim, demonstrou-se como o consumidor gostaria que a carne rastreada fosse apresentada na gôndola. / The present dissertation has aimed to verify how the consumers know the traceability process that is considered a certification. It has also searched the understanding of beef meat consumers about meat traceability, checking how consumers value this meat, identifying elements so that traceability is presented on the shelves. The discussion about the topic is based on three aspects: bovine traceability and its market; the competitiveness and the differentiation of alimentary products, especially the Porter's competitiveness advantages; the marketing, the consumer's behavior and perceptions. The method employed in this work, in the first stage, is based on the exploratory character and qualitative nature which has provided the development of data collecting instrument for the following stage. Afterwards one has made a descriptive research, of quantitative nature, giving origin to the data collecting, taken place by a survey via internet with the help of Sphinx software, one gaining a sample of 417 consumers, being majority of respondents gaucho's, residents in Porto Alegre, with higher education and income over $ 4,000.00. In the analysis and result discussion the statistical analysis of the results obtained were presented, classified by the following topics: characterization of the sample, consume habits, knowledge about differentiation and certification, knowledge about bovine traceability and consume of the bovine meat traced. The results confirm that the sample of the research has got a predominance in the bovine meat consumers, that are specialist of this meat, buy preferentially in supermarkets, know the bovine meat certified, consider it important although do not demand it. Concerning the traced meat, one considers a market opportunity, being this a differential tool and one predisposes to pay more for this sort of meat. At last, one has demonstrated how the consumer would like that the traced meat was shown on the shelves.

A presente dissertação procurou verificar como os consumidores compreendem o processo de rastreabilidade, que é considerada uma certificação. Também, buscou o entendimento dos consumidores de carne bovina sobre a carne rastreada, verificando como os consumidores valorizam essa carne e identificando elementos para que a rastreabilidade seja apresentada nas gôndolas. A discussão sobre o tema encontra-se embasada sob três aspectos, a rastreabilidade bovina e o seu mercado; a competitividade e a diferenciação dos produtos alimentares, especialmente, as vantagens competitivas de Porter; o marketing, o comportamento e as percepções do consumidor. O método utilizado neste trabalho, em uma primeira fase, baseiase no caráter exploratório e natureza qualitativa, a qual propiciou o desenvolvimento do instrumento da coleta de dados para a fase seguinte. Após realizou-se uma pesquisa descritiva, de natureza quantitativa, dando origem à coleta de dados, ocorrida por uma survey via internet com o auxílio do software Sphinx, obtendo-se uma amostra de 417 consumidores, sendo a maioria dos respondentes gaúchos, residentes em Porto Alegre, com ensino superior e renda acima de R$ 4.000,00. Na análise e discussão dos resultados foram apresentadas as análises estatísticas dos resultados alcançados, classificadas pelos seguintes tópicos: caracterização da amostra, hábitos de consumo, conhecimento sobre diferenciação e certificação, conhecimento sobre rastreabilidade bovina e o consumo da carne bovina rastreada. Os resultados confirmam que a amostra de pesquisa possui um predomínio de consumidores da carne bovina, são conhecedores desta carne, compram preferencialmente em hipermercados, conhecem a carne bovina certificada, consideram-na importante, porém não a exigem. Já, com relação à carne rastreada, consideram-se uma oportunidade de mercado, sendo esta ferramenta de diferenciação e dispõe-se a pagar mais por este tipo de carne. Por fim, demonstrou-se como o consumidor gostaria que a carne rastreada fosse apresentada na gôndola. / The present dissertation has aimed to verify how the consumers know the traceability process that is considered a certification. It has also searched the understanding of beef meat consumers about meat traceability, checking how consumers value this meat, identifying elements so that traceability is presented on the shelves. The discussion about the topic is based on three aspects: bovine traceability and its market; the competitiveness and the differentiation of alimentary products, especially the Porter's competitiveness advantages; the marketing, the consumer's behavior and perceptions. The method employed in this work, in the first stage, is based on the exploratory character and qualitative nature which has provided the development of data collecting instrument for the following stage. Afterwards one has made a descriptive research, of quantitative nature, giving origin to the data collecting, taken place by a survey via internet with the help of Sphinx software, one gaining a sample of 417 consumers, being majority of respondents gaucho's, residents in Porto Alegre, with higher education and income over $ 4,000.00. In the analysis and result discussion the statistical analysis of the results obtained were presented, classified by the following topics: characterization of the sample, consume habits, knowledge about differentiation and certification, knowledge about bovine traceability and consume of the bovine meat traced. The results confirm that the sample of the research has got a predominance in the bovine meat consumers, that are specialist of this meat, buy preferentially in supermarkets, know the bovine meat certified, consider it important although do not demand it. Concerning the traced meat, one considers a market opportunity, being this a differential tool and one predisposes to pay more for this sort of meat. At last, one has demonstrated how the consumer would like that the traced meat was shown on the shelves.

On étudie dans cette thèse une structure de semi-anneau dont le produit est basé sur la règle de résolution de la programmation logique. Cet objet mathématique a été initialement introduit dans le but de modéliser la procédure d'élimination des coupures de la logique linéaire, dans le cadre du programme de géométrie de l'interaction. Il fournit un cadre algébrique et abstrait, tout en étant présenté sous une forme syntaxique et concrète, dans lequel mener une étude théorique du calcul. On reviendra dans un premier temps sur l'interprétation interactive de la théorie de la démonstration dans ce semi-anneau, via l'axiomatisation catégorique de l'approche de la géométrie de l'interaction. Cette interprétation établit une traduction des programmes fonctionnels vers une forme très simple de programmes logiques. Dans un deuxième temps, on abordera des problématiques de théorie de la complexité: bien que le problème de la nilpotence dans le semi-anneau étudié soit indécidable en général, on fera apparaître des restrictions qui permettent de caractériser le calcul en espace logarithmique (déterministe et non-déterministe) et en temps polynomial (déterministe). / We study in this thesis a semiring structure with a product based on the resolution rule of logic programming. This mathematical object was introduced initially in the setting of the geometry of interaction program in order to model the cut-elimination procedure of linear logic. It provides us with an algebraic and abstract setting, while being presented in a syntactic and concrete way, in which a theoretical study of computation can be carried on. We will review first the interactive interpretation of proof theory within this semiring via the categorical axiomatization of the geometry of interaction approach. This interpretation establishes a way to translate functional programs into a very simple form of logic programs. Secondly, complexity theory problematics will be considered: while the nilpotency problem in the semiring we study is undecidable in general, it will appear that certain restrictions allow for characterizations of (deterministic and non-deterministic) logarithmic space and (deterministic) polynomial time computation.

[ES] Hoy en día, los materiales cementicios están presentes en la gran mayoría de las infraestructuras de nuestro entorno, como pueden ser el hormigón y el mortero, debido a su bajo coste y sus características mecánicas estructurales y de durabilidad. Pese a todo, estas se ven degradadas por factores externos e internos, reduciendo la viabilidad de estos con el paso del tiempo. Para inspeccionar estos materiales se han creado múltiples ensayos destructivos (ED) y ensayos no destructivos (END) que indican mediante ciertos parámetros el estado de los materiales de construcción. Dentro de los no destructivos, encontramos los ultrasonidos cuya propagación en estos materiales otorga información sobre su estado y estructura interna. Entre los múltiples ensayos ultrasónicos se encuentra la tomografía ultrasónica cuya base nace gracias a las Tomografías Computarizadas (TC): se ilumina un objeto mediante una fuente y se reciben las señales mediante los receptores. Se rota entorno al objeto bajo estudio combinando las señales mediante los algoritmos tomográficos y obteniendo una reconstrucción del objeto interno sin producirle ningún tipo de daño. No obstante, aunque para determinadas longitudes de onda podemos asumir una trayectoria de rayo recto, los ultrasonidos son ondas dispersivas que se difractan y se reflejan alejándose de esta condición de idoneidad afectando negativamente a las reconstrucciones. En esta tesis se estudia la tomografía de ultrasonidos aplicada a probetas de mortero. Para ello, previamente se realiza un estudio de los algoritmos de reconstrucción tomográfica donde se hace un recorrido por los principales algoritmos convencionales. Los transformados (FBP y DFT) cuyos resultados son excelentes en caso de que tengamos un nivel elevado de rayos y direcciones que conforman las proyecciones. Los algoritmos de redes neuronales (BPE y RBF) y métodos algebraicos (ART, CART, SART y SIRT) presentan buenos resultados en aquellas situaciones donde se tenga un bajo número de rayos y direcciones o alta presencia de ruido. Se comparan entre ellos mediante proyecciones obtenidas con señales simuladas y se obtienen los mejores resultados para el algoritmo FBP, con lo que las siguientes reconstrucciones reales se llevan a cabo con este método. La aplicación en la que se centra este trabajo consiste en la detección del frente de carbonatación en probetas cementicias. Es por ello que se diseñan diferentes casos de probetas con daño y sin daño para validar el funcionamiento de un sistema tomográfico. Se diseña y se construye el sistema hardware capaz de la toma automatizada de medidas empleando una configuración de rayos paralelos o de rayos en abanico. Además, se ha adaptado para que sea capaz de inspeccionar tanto con transductores acoplados por aire como inspeccionar el objeto en inmersión (acoplamiento por agua). Se concluye que la tomografía por inmersión ofrece una solución de compromiso entre transferencia de energía y proceso de automatización. Además se implementan dos modelos de redes neuronales entrenados mediante sinogramas simulados para posteriormente reconstruir casos reales. Todos los algoritmos y casos son evaluados tanto en calidad de reconstrucción como en prestaciones. / [CA] Avui dia, els materials cimentants són presents a la majoria de les infraestructures del nostre entorn com poden ser el formigó i el morter, donat el seu baix cost i les seues característiques mecànic estructurals i la seua durabilitat. Malgrat tot, aquestes es veuen degradades per factors externs i interns, reduint la seua viabilitat amb el pas del temps. Per inspeccionar dits materials s'han creat múltiples assajos destructius (AD) i assajos no destructius (AND) que indiquen mitjançant certs paràmetres l'estat dels materials de construcció. Dins del no destructius trobem els ultrasons, la propagació dels quals per aquests materials ens aporta informació sobre el seu estat i estructura interna. Entre els múltiples assajos ultrasònics, es troba la tomografia ultrasònica, la base de la qual neix gràcies a les Tomografies Computeritzades (TC): s'il·lumina un objecte per mitjà d'una font i es reben les senyals a través dels receptors. Es rota entorn l'objecte en estudi combinant les senyals mitjançant els algoritmes tomogràfics i obtenint una reconstrucció de l'objecte intern sense produir-li cap tipus de dany. No obstant això, i encara que per a determinades longituds d'ona podem assumir una trajectòria recta del raig, els ultrasons són ones dispersives que es difracten i reflecteixen, allunyant-se d'aquesta condició d'idoneïtat i afectant negativament les reconstruccions. En aquesta tesi s'estudia la tomografia d'ultrasons aplicada a provetes de morter. Amb aquesta finalitat, prèviament es realitza un estudi dels algoritmes de reconstrucció tomogràfica on es fa un recorregut pels principals algoritmes convencionals. Els transformats (FDB i DFT) els resultats dels quals son excel·lents en cas que tinguem un nivell elevat de raigs i direccions que conformen les projeccions. Els algoritmes de xarxes neuronals (BPE i RBF) i mètodes algebraics (ART, CART, SART i SIRT) presenten bons resultats en aquelles situacions on es tingui un baix número de raigs i direccions o una alta presència de soroll. Es comparen entre ells per mitjà de projeccions obtingudes amb senyals simulades i s'obtenen els millors resultats per a l'algoritme FBP, duent-se a terme les següents reconstruccions amb aquest mètode. L'aplicació en la que es centra aquest treball consisteix en la detecció del front de carbonatació en provetes cimentants. És per això que es dissenyen diferents casos de provetes amb desperfectes i sense desperfectes per validar el funcionament d'un sistema tomogràfic. Es dissenya i es construeix el sistema hardware capaç de la presa automatitzada de mesures emprant una configuració de raigs paral·lels o de raigs en ventall. A més, s'ha adaptat per a que sigui capaç d'inspeccionar tant amb transductors acoblats per aire com inspeccionar l'objecte en immersió (acoblament per aigua). Es conclou que la tomografia per immersió ofereix una solució de compromís entre la transferència d'energia i el procés d'automatització. A més s'implenten dos models de xarxes neuronals entrenats per mitjà de sinogrames simulats per a posteriorment reconstruir casos reals. Tots els algoritmes i casos són avaluats tant en qualitat de reconstrucció com en prestacions. / [EN] Nowadays, cementitious materials are present in the great majority of our surrounding infrastructures such as concrete and mortar, due to its low cost mechanic-structural features and its lasting. Nevertheless, this characteristics are degraded because of external and internal factors, reducing its viability over time. In order to inspect this materials, multiple destructive testing (DT) and non-destructive testing (NDT) have been created. This trials show construction materials conditions with certain parameters. In the non-destructive group, we found ultrasounds whose spreading in this materials gives us information about their condition and internal structure. Among the multiple ultrasonic tests, we can find the ultrasonic tomography which is based in the Computed Tomography Scans (CT) basis: an object is illuminated by a source and signals are received through receivers. Rotation is made around the object under study combining the signals using tomographic algorithms for the purpose of obtaining an internal object reconstruction without damaging it. However we can assume a straight beam path for certain wavelengths, ultrasound are dispersive waves that diffract and reflect, making them less suitable because they worsen the quality of reconstructions. In this thesis, the ultrasonic tomography applied to mortar specimens is studied. For that, a study of tomographic reconstruction algorithms is carried out and the main conventional algorithms are reviewed. The transforms (FBD and DFT) whose results are excellent in case we have a high level of beams and directions that make up the projections. The neuronal network algorithms (BPE and RBF) and the ones for algebraic methods (ART, CART, SART and SIRT) have good results in situations where a low number of beams and directions or high noise presence are found. A comparation between them is made using projections obtained with simulated signals and the best FBP algorithm results are extracted. The following real reconstructions are carried out with this method. The application on which this work focuses consists of the detection of the carbonation front in cementitious specimens. That is why different types of specimens with damage and without damage are designed to validate a tomographic system function. A hardware system capable of taking automated measures using a configuration of parallel beams or fan beams is designed and built. Moreover, it has been adapted to be able to inspect both with air-coupled transducers and to inspect the object while submerged (water coupled). It is concluded that immersion tomography offers a compromise solution between energy transfer and automation process. Two models of neuronal networks trained through simulated sinograms are also implemented to reconstruct real cases afterwards. All the algorithms and cases are evaluated both in reconstruction quality and in features. / Gallardo Llopis, C. (2023). Tomografía ultrasónica para la evaluación de daño por gradiente en materiales cementantes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/194552