Dissertations / Theses on the topic 'Cardd dant'

La mesure de performance est utilisée dans tous les systèmes informatiques pour garantir la meilleure performance pour le plus faible coût possible. L'établissement d'outils de mesures et de métriques a permis d'établir des bases de comparaison entre ordinateurs. Bien que le monde de la carte à puce ne fasse pas exception, les questions de sécurité occupent le devant de la scène pour celles-ci. Les efforts allant vers une plus grande ouverture des tests et de la mesure de performance restent discrets. Les travaux présentés ici ont pour objectif de proposer une méthode de mesure de la performance dans les plates-formes Java Card qui occupent une part considérable du marché de la carte à puce dans le monde d'aujourd'hui. Nous étudions en détails les efforts fournis par d'autres auteurs sur le sujet de la mesure de performance et en particulier la mesure de performance sur les cartes à puce. Un grand nombre de ces travaux restent embryonnaires ou ignorent certains aspects des mesures. Un des principaux défauts de ces travaux est le manque de rapport entre les mesures effectuées et les applications généralement utilisées dans les cartes à puce. Les cartes à puce ont par ailleurs des besoins importants en termes de sécurité. Ces besoins rendent les cartes difficiles à analyser. L'approche logique consiste à considérer les cartes à puce comme des boites noires. Après l'introduction de méthodologies de mesures de performance pour les cartes à puce, nous choisirons les outils et les caractéristiques des tests que nous voulons faire subir aux cartes, et nous analyserons la confiance à accorder aux données ainsi récoltées. Enfin une application originale des cartes à puce est proposée et permet de valider certains résultats obtenus.

Nous relatons comment nous avons bousculé les habitudes décisionnelles de 3 organisations en leur proposant d’intégrer une procédure souvent peu ou pas formalisée : le débat. Les organisations focalisent la majorité de leurs ressources sur la construction ou l’utilisation d’outils rationnels (Cabantous et Gond 2010, 2012; Cabantous, Gond, et Johnson-Cramer 2010; Subramony 2006), qui hiérarchisent un certain nombre d’options, mais qui sont insuffisants en termes de diversification des arguments disponibles (Hollard et Vion 2006).La théorie du sensemaking (Weick 1995, 1979, 2012, 1988; Weick, Sutcliffe, et Obstfeld 2005), notre cadre analytique, insiste au contraire sur l’importance de mettre en débat les croyances des acteurs dans le processus organisant (organizing).Nous avons mobilisé l’outil « cartes cognitives » (Allard-Poesi 1996; Cossette 1994, 2004; Eden 1992; Eden, Ackermann, et Cropper 1992; Axelrod 1976; Verstraete 1997a, 1998) dans 3 collectivités territoriales pour créer du débat. Or, l’utilisation des outils n’est pas neutre, et les théories sous-jacentes à ceux-ci sont performées par leur usage (Cabantous et Gond 2010, 2012; Cabantous, Gond, et Johnson-Cramer 2010).À quelles conditions pouvons-nous performer la théorie du sensemaking grâce aux cartes cognitives ? La réponse apportée par notre étude à cette question est que les procédures organisationnelles freinent la performation de la théorie du sensemaking dans les organisations, mais que l’utilisation des cartes cognitives des croyances peut provoquer chez les acteurs un écart cognitif favorable à l’adoption d’un modèle de décision énactionnel, améliorant ainsi la prise en compte des informations
In this study, we narrate how we shaked decisionnal habits in three organizations by proposing them to integrate a new procedure, often not formalized, into the decision process : debate. Organizations indeed focus most of their resources on the building or the use of rational tools (Cabantous et Gond 2010, 2012; Cabantous, Gond, et Johnson-Cramer 2010; Subramony 2006), wich rank a certain number of options but are not sufficient to diversify the available arguments (Hollard et Vion 2006).The theory of sensemaking (Weick 1995, 1979, 2012, 1988; Weick, Sutcliffe, et Obstfeld 2005) insists on the contrary on the importance to debate about beliefs into organizing.In order to implement organizationnal debate, we used cognitive mapping (Allard-Poesi 1996; Cossette 1994, 2004; Eden 1992; Eden, Ackermann, et Cropper 1992; Axelrod 1976; Verstraete 1997a, 1998) in three municipalities. The use of tools is not neutral, and theories are performed through them (Cabantous et Gond 2010, 2012; Cabantous, Gond, et Johnson-Cramer 2010).At which conditions is it possible to perform the theory of sensemaking thanks to cognitive cards ? The answer we brought through our study is that organizational procedures slow down performation of the sensemaking theory, but that the use of cognitive cards may create a cognitive gap propitious for the adoption of an enactionnal model of decision, which improves the consideration of diverse informations. In consequence, our studies allowed us to discuss the sensemaking theory, which neglects the constraining aspect of procedures above cognitive processes such as performation and decision

The introduction of digital tachographs has brought many changes compared to previously used analogue tachograph. Legislation addressing this issue is quite extensive and often amended. Ever-present threat of industrial equipment, which affect the observed, and the stored data has a negative impact on road safety. The aim of this paper is to present a comprehensive overview of legislation regulating the issue of digital tachographs in relation to the introduction and use of digital tachographs, with obligations to use a tachograph, tachograph functional requirements. Process further review of data on vehicle operation recorded with a digital tachograph and analyze their availability in terms of approval of the different actors (the driver, carrier, service, police, other supervisory authorities). Contribution of this work is the elaboration of recommendations for the expert's methodology in analyzing data from the digital tachograph.

This paper describes implementation of the whole cryptographic protocol TLS including control logic and used cryptographic systems. The goal is to implement an application in the FPGA technology, so it could be used in hardware accelerated network card. The reason for this is new supported higher transmission speeds that Ethernet is able to operate on, and the absence of implementation of this protocol on FPGA. In the first half of this paper is described theory of cryptography followed by description of TLS protocol, its development, structure and operating workflow. The second half describes the implementation on the chosen technology that is also described here. It is used already existing solutions of given cryptographic systems for the implementation, or at least their parts that are modified if needed for TLS. It was implemented just several parts of whole protocol, such are RSA, Diffie-Hellman, SHA and part of AES. Based on these implementations and continuing studying in this matter it was made conclusion, that FPGA technology is inappropriate for implementation of TLS protocol and its control logic. Recommendation was also made to use FPGA only for making calculations of given cryptographic systems that are controlled by control logic from software implemented on standard processors.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-04-05T17:20:44Z No. of bitstreams: 1 FranciscoEricValedeSousaDissertacao2017.pdf: 843554 bytes, checksum: 28da4913da460128349b6bdc7cf1994d (MD5)
Made available in DSpace on 2017-04-05T17:20:44Z (GMT). No. of bitstreams: 1 FranciscoEricValedeSousaDissertacao2017.pdf: 843554 bytes, checksum: 28da4913da460128349b6bdc7cf1994d (MD5) Previous issue date: 2016-12-08
Hypertension (AH) increases with the passage of years, affecting mainly people over 60 years. In face of this reality, daily dance practice is responsible for a number of benefits in everyday life, such as improved balance, motor coordination and blood pressure (BP) reduction. However, little is known about the acute effects of a playful dance session in the elderly. The objectives of the present study were to analyze the behavior of PA and HR during and after an acute ludic dance session in hypertensive elderly women; To verify the contribution of the dance of playful character as hypotensive agent of the Blood Pressure; Check the regulation of CF, through an acute dance session of a playful character; To demonstrate the dance of playful character as a propulsive tool to obtain the health of hypertensive elderly women. Ten elderly women (65 ?? 3, years) of a Group of Coexistence of Sector O, Ceil??ndia - DF were recruited. They performed a dance session of a playful character with an average duration of 60 minutes, which is divided into 5 ', 10', 40 'and 4' back. PA was measured at rest, at the end and post-exercise: 0 ', 5' and 10 'by the oscillometric method (BPA 100, Microlife, Switzerland). Repeated measures ANOVA was used for statistical analysis (Prism 6.0, USA). As a result, systolic blood pressure (SBP) increased immediately after the session (p <0.01). However, there was a significant reduction of SBP (p <0.05) in the recovery period at 5 'and 10' post-exercise, there was no change in diastolic BP (Table 1). This study demonstrated the cardiovascular safety of this modality of physical activity, and the potential benefit of dance in post-exercise hypotension in hypertensive elderly women. It is possible that this hypotensive effect may last for more than 10 'after the session. In the future the studies could analyze the cardiovascular parameters induced by the dance by a greater post-exercise period.
A hipertens??o arterial (HA) aumenta com o passar dos anos, acometendo principalmente as pessoas com mais de 60 anos. Diante dessa realidade, a pr??tica di??ria da dan??a ?? respons??vel por uma s??rie de benef??cios na vida cotidiana, como melhora do equil??brio, coordena????o motora e redu????o da press??o arterial (PA). No entanto, pouco se sabe dos efeitos agudos de uma sess??o de dan??a de car??ter l??dica em idosas. Para tanto os objetivos do presente estudo foi Analisar o comportamento da PA e FC durante e ap??s uma sess??o aguda de dan??a de car??ter l??dico em idosas hipertensas; Verificar a contribui????o da dan??a de car??ter l??dico como agente hipotensor da Press??o Arterial; Verificar a regula????o da FC, por meio de uma sess??o aguda da dan??a de car??ter l??dico; Demonstrar a dan??a de car??ter l??dico como uma ferramenta propulsora para obten????o de sa??de de idosas hipertensas. Foram recrutadas 10 mulheres idosas (65??3, anos) de um Grupo de Conviv??ncia do Setor O, Ceil??ndia ??? DF. Elas realizaram uma sess??o de dan??a de car??ter l??dica com dura????o m??dia de 60 minutos, sendo esta dividida em alongamento (5???), aquecimento (10???), parte principal (40???) e volta ?? calma (5???). A PA foi mensurada em repouso, final e p??s-exerc??cio: 0???, 5??? e 10???, pelo m??todo oscilom??trico (BPA 100, Microlife, Su????a). Foi usado ANOVA de medidas repetidas para an??lise estat??stica (Prism 6.0, USA). Como resultados a press??o arterial sist??lica (PAS) aumentou imediatamente ap??s a sess??o (p <0,01). No entanto, houve uma redu????o significativa da PAS (p <0,05) no per??odo de recupera????o aos 5??e 10??p??s- exerc??cio, n??o houve altera????o na PA diast??lica (Tabela 1). Este estudo demonstrou a seguran??a cardiovascular desta modalidade de atividade f??sica, e o potencial benef??cio da dan??a na hipotens??o p??s-exerc??cio em idosas hipertensas. ?? poss??vel que este efeito hipotensor possa perdurar por mais de 10??? ap??s a sess??o. No futuro os estudos poderiam analisar os par??metros cardiovasculares induzidos pela dan??a por um maior per??odo p??s-exerc??cio.

Les travaux présentés dans ce mémoire ont pour objectif de renforcer le niveau de sûreté et de sécurité des systèmes embarqués dans les cartes à puce grâce à l'utilisation des Méthodes Formelles. D'une part nous présentons la vérification formelle de l'isolation des données de différentes applications chargées sur une même carte à puce, et plus précisément la preuve formelle, dans le système de preuve Coq, que le contrôle dynamique d'accès aux données implémenté par Java Card assure les propriétés de confidentialité et d'intégrité. D'autre part, nous nous sommes intéressés à la correction et à l'innocuité du code source bas niveau d'un système d'exploitation embarqué. Cette étude est illustrée par un module de gestion de mémoire Flash par journalisation, assurant la cohérence des données de la mémoire en cas d'arrachage de la carte du terminal. La vérification de propriétés fonctionnelles et locales a été développée à l'aide de l'outil Caduceus. Cet outil n'acceptant pas certaines constructions de bas niveau du langage C, telles que les unions et les casts, nous proposons des solutions pour la formalisation de ces constructions. Nous proposons également une extension de Caduceus permettant de spécifier et de vérifier le comportement d'une fonction en cas d'interruption soudaine de son exécution. Puis nous introduisons une méthodologie de vérification de propriétés globales de haut niveau sur un modèle formellement lié au code source. Plus précisément, nous décrivons l'extraction automatique d'un système de transitions formel, à partir d'annotations vérifiées par le code source. Ce système de transitions peut alors être plongé dans une logique d'ordre supérieur
The work presented in this thesis aims at strengthening the security and safety level of smart card embedded systems, with the use of Formal Methods. On one hand, we present the formal verification of the isolation of the data belonging to different applets loaded on the same card. More precisely, we describe the formal proof, in the Coq proof system, that the run-time access control, performed by the Java Card platform, ensures data confidentiality and integrity. On the other hand, we study the correctness and the safety of low level source code of an embedded operating system. Such source code is illustrated by a case study of a Flash memory management module, using a journalling mechanism and ensuring the memory consistency in the case of a card tear. The verification of functional and local properties has been developed using the Caduceus program verification tool. Since this tool does not support some low level constructions of the C language, such as the unions and the casts, we propose an analysis and some solutions for the formalisation of such constructions. We also propose an extension of Caduceus that allows to specify and verify the behaviour of a function in the case of sudden interruption of its execution. Then, we introduce a methodology for the verification of high level and global properties, which is meant for the expression and proof of this kind of properties on a model formally linked to the source code. More precisely, we describe an automatic extraction of a transition system from the annotations that are verified by the source code. This transition system can then be translated in a high order logic

La dernière génération de cartes à puce permet le téléchargement d'applications après leur mise en circulation. Outre les problèmes que cela implique, cette capacité d'extension applicative reste encore aujourd'hui bridée par un espace de stockage adressable restreint. La thèse défendue dans ce mémoire est qu'il est possible d'exécuter efficacement des applications stockées dans la mémoire non-adressable des cartes à puce, disponible en plus grande quantité, et ce, malgré ses temps de latences très longs, donc peu favorables a priori à l'exécution de code. Notre travail consiste d'abord à étudier les forces et faiblesse de la principale réponse proposée par l'état de l'art qu'est un cache. Cependant, dans notre contexte, il ne peut être implémenté qu'en logiciel, avec alors une latence supplémentaire. De plus, ce cache doit respecter les contraintes mémoires des cartes à puce et doit donc avoir une empreinte mémoire faible. Nous montrons comment et pourquoi ces deux contraintes réduisent fortement les performances d'un cache, qui devient alors une réponse insuffisante pour la résolution de notre challenge. Nous appliquons notre démonstration aux caches de code natif, puis de code et méta-données Java et JavaCard2. Forts de ces constats, nous proposons puis validons une solution reposant sur une pré-interprétation de code, dont le but est à la fois de détecter précocement les données manquantes en cache pour les charger à l'avance et en parallèle, mais aussi grouper des accès au cache et réduire ainsi l'impact de son temps de latence logiciel, démontré comme son principal coût. Le tout produit alors une solution efficace, passant l'échelle des cartes à puce.

Control authorities and experts in their practice come across digital tachographs. Digital data is an important source of relevant input data and informations needed for in depth road accident analysis. In practice, it is possible to encounter an existing negative phenomenon, an unauthorised access to and fraudulent manipulation of the tachograph´s data. False data has a major impact on the results of the accident investigation and analysis. Control authorities and experts should be prepared for such cases. This thesis describes the different types of manipulation of Digital Tachograph records and the ways of their detection. Tachograph manipulation is a nowaday issue. It is very important to deal with this problem. For the reasons mentioned above I have set up a Data Control Procedure Standard for control authorities and experts and drafted technical requirements for future generation of tachographs.

Thesis deals with device firmware design located in lorry, which provides remote access to vehicle digital tachograph data according to valid EU legislation. The result of this work is a system, which downloads digital data from digital tachograph and save them on remote server. The system for remote data downloading from automotive digital tachograph consists of three kinds of applications: server application, user application and firmware for communication device. Communication between applications uses encrypted TCP connection and own special designed messages.

This master's thesis deals with design of universal data logging device. The work proposes the design of device architecture and describes individual systems and components, that are necessary for data logging. Logger is designed as a mobile device, with ARM microcontroller at its core. Thesis specifies requirements for device in terms of performance and versatility. The device uses modular construction, as it comprises multiple PCBs. The thesis describes their design and also design of the mechanical construction of data logger. Designed device has been realized and assembled. Software design for microcontroller is also part of the thesis. In the last part, measurements to determine achieved parameters of the device are conducted.

De nos jours, les cartes à puces sont utilisées quotidiennement. Elles nous permettent par exemple d'effectuer des paiements ou encore de signer des documents numériques. Parce que les cartes à puces contiennent des informations personnelles et sensibles relatives à leur propriétaire légitime, elles sont convoitées par les attaquants. En particulier, ces attaquants peuvent utiliser le fuzzing. Cette attaque consiste à tester le plus de messages de communication possible avec un programme afin de pouvoir détecter des vulnérabilités. Cette thèse vise à protéger les cartes à puces face aux attaques par fuzzing. Deux approches de détection automatique d'erreurs d'implémentation sont proposées. La première, est l'adaptation pour Java et son amélioration d'un outil issu de l'état de l'art. Il repose sur une technique de fouille de code sources automatique. La seconde approche est également basée sur la fouille de code sources, en prenant en compte les limites de la première. En particulier, la précision et la réduction des dimensions est améliorée par l'utilisation de techniques issues du Traitement Automatique du Langage Naturel. De plus, une étude des techniques de plagiat augmente la robustesse de l'analyse face aux différences d'implémentation des applets. Cette même approche effectue une analyse inter-procédurale du graphe de flot de contrôle des applets, lui permettant de réduire le nombre de faux positifs lors de la détection d'anomalies. Les deux approches sont évaluées sur deux points: leur capacité à retrouver des méthodes de sémantique similaire, ainsi que sur leur capacité à détecter des anomalies. Cette évaluation repose sur trois oracles construits manuellement à partir de programmes AES et d'applets OpenPGP. Les résultats montrent que la seconde approche permet de détecter des vulnérabilités avec plus de précision, de rappel, et en moins de temps que la première approche. Aussi, son implémentation nommée Confiance pourrait être utilisé en entreprise pour sécuriser des applets
Nowadays, smart cards are used daily. They enable users to pay or sign numeric documents for example. Because they contain sensible information about their user and secrets, attackers are interested in them. In particular, these attackers can use fuzzing. This attack consists in sending the most possible communication messages to a program in order to detect its vulnerabilities. This thesis aims at protecting smart cards against fuzzing. Two approaches for detecting implementation errors are proposed. The first one is from the state of the art, and it is adapted and improved for Java. It is based on an automated source code analysis. The second approach analyses source codes too, but it takes into account limitations of the first one. In particular, the precision and the dimension reduction is improved by using Natural Language Processing techniques. In addition, it studies plagiarsm techniques in order to reinforce its analysis against different implementations choices. An inter-procedural of the control flow graph is achieved for reducing the false positives. Both approaches are evaluated against three manually created oracles from OpenPGP and AES implementations for the neighborhood discovery and the anomaly detection. Results show that the second approach is improved in precision, recall and with less execution time than the first one. Its implementation, Confiance can be used in companies to secure source codes

Dans le cadre de la lutte contre le réchauffement climatique, plusieurs pays du monde notamment le Canada et certains pays européens dont la France, ont établi des mesures afin de réduire les nuisances environnementales. L'un des axes majeurs abordés par les états concerne le secteur du transport et plus particulièrement le développement des systèmes de transport en commun en vue de réduire l'utilisation de la voiture personnelle et les émissions de gaz à effet de serre. A cette fin, les collectivités concernées visent à mettre en place des systèmes de transports urbains plus accessibles, propres et durables. Dans ce contexte, cette thèse en codirection entre l'Université Paris-Est, l'Institut français des sciences et technologies des transports, de l'aménagement et des réseaux (IFSTTAR) et Polytechnique Montréal au Canada, s'attache à analyser la mobilité urbaine au travers de recherches menées sur la prévision et la visualisation de l'affluence des passagers dans les transports en commun à l'aide de méthodes d'apprentissage automatique. Les motivations finales concernent l'amélioration des services de transport proposés aux usagers, tels qu'une meilleure planification de l'offre de transport et une amélioration de l'information voyageur (e.g., proposition d'itinéraire en cas d'événement/incident, information concernant le taux de de remplissage des trains à un horaire choisi, etc.). Cette thèse s'inscrit dans un contexte général de valorisation des traces numériques et d'essor du domaine de la science des données (e.g., collecte et stockage des données, développement de méthodes d'apprentissage automatique, etc.). Les travaux comportent trois volets principaux à savoir (i) la prévision long terme de l'affluence des passagers à l'aide de base de données événementielles et de données billettiques, (ii) la prévision court terme de l'affluence des passagers et (iii) la visualisation de l'affluence des passagers dans les transports en commun. Les recherches se basent principalement sur l'utilisation de données billettiques fournies par les opérateurs de transports et ont été menées sur trois cas d'études réels, le réseau de métro et de bus de la ville de Rennes, le réseau ferré et de tramway du quartier d'affaire de la Défense à Paris en France, et le réseau de métro de Montréal, Québec au Canada
As part of the fight against global warming, several countries around the world, including Canada and some European countries, including France, have established measures to reduce greenhouse gas emissions. One of the major areas addressed by the states concerns the transport sector and more particularly the development of public transport to reduce the use of private cars. To this end, the local authorities concerned aim to establish more accessible, clean and sustainable urban transport systems. In this context, this thesis, co-directed by the University of Paris-Est, the french institute of science and technology for transport, development and network (IFSTTAR) and Polytechnique Montréal in Canada, focuses on the analysis of urban mobility through research conducted on the forecasting and visualization of public transport ridership using machine learning methods. The main motivations concern the improvement of transport services offered to passengers such as: better planning of transport supply, improvement of passenger information (e.g., proposed itinerary in the case of an event/incident, information about the crowd in the train at a chosen time, etc.). In order to improve transport operators' knowledge of user travel in urban areas, we are taking advantage of the development of data science (e.g., data collection, development of machine learning methods). This thesis thus focuses on three main parts: (i) long-term forecasting of passenger demand using event databases, (ii) short-term forecasting of passenger demand and (iii) visualization of passenger demand on public transport. The research is mainly based on the use of ticketing data provided by transport operators and was carried out on three real case study, the metro and bus network of the city of Rennes, the rail and tramway network of "La Défense" business district in Paris, France, and the metro network of Montreal, Quebec in Canada

Master‘s thesis deals with analysis solutions and construction of the devices for data collection. At the beginning, they describe the basic types of devices for data collection. In other parts of the work is compared few commercial devices for data collection, under which the requirements will be selected on the proposed device for data collection. In other chapters of the work devoted to the design of schemes and selecting components for their manufacture. The last chapters are devoted to describing the design of device for data collection.

La miniaturisation des composants CMOS (Complementary Metal Oxide Semiconductor) impose l’emploi de matériaux diélectriques de permittivité élevée. LaAlO3 et SrTiO3 sont aujourd’hui parmi les meilleurs candidats ; toutefois, la diffusion de l’oxygène dans ces matériaux conduit à la dégradation des propriétés électriques et de l’interface avec le silicium. Ce travail théorique a pour but d’étudier les facteurs gouvernant, à l’échelle de la liaison chimique, la diffusion de l’ion oxygène. L’approche choisie repose sur la théorie de la fonctionnelle de la densité (DFT), couplée à des méthodes d’analyse de la densité électronique, et sur le développement d’un outil original : les cartes de densité d’énergie. Les régions de la densité électronique contribuant à la barrière de diffusion ont ainsi pu être identifiées; une optimisation de ces matériaux à l’échelle de la liaison chimique peut alors être envisagée
The miniaturization of CMOS (Complementary Metal Oxide Semiconductor) components requires the use of high dielectric permittivity materials as gate oxide. LaAlO3 and SrTiO3 are among the best candidates, but the oxygen diffusion in these materials leads to the degradation of both the electrical properties and the interface with silicon. In this context, the aim of this theoretical work is to study the factors governing the oxygen ion diffusion at the chemical bonding scale. This approach is based on Density Functional Theory (DFT), coupled with electron density analysis methods, and the pioneering development of energy density cards. The regions of the electron density contributing to the diffusion barrier have been identified allowing new routes of optimization of these materials across the chemical bonding

This master´s thesis deals with realization of supercomputer using graphic card with CUDA technology. The theoretical part of this thesis describes the function and the possibility of graphic cards and desktop computers and processes taking place in the proces sof calculations on them. The practical part deals with creation system for calculations on the graphic card using the algorithm of artificial intelligence, more specifically artificial neural networks. Subsequently is the generated program used for data classification of large input data file. Finally the results are compared.

Que ce soit à des fins spéculatives ou pour financer des conflits armés, une grande opacité entoure les filières des concentrés de matières premières minérales dont la demande ne cesse d'augmenter. Compte-tenu de l'éloignement entre les sites primaires d'extraction et les sites de production de produits finis, il est difficile d'identifier l'origine de ces produits. Dans un souci de traçabilité des concentrés, l'établissement d'une carte d'identité du minerai permettrait le contrôle des échanges dans l'industrie minérale. Le problème peut être posé en termes d'inversion: remonter au minerai d'origine en étudiant le produit vendu. Deux stades doivent être distingués: 1) la caractérisation du minerai brut et 2) la " perte de mémoire " des caractéristiques du tout-venant au cours du traitement minéralurgique. Les paramètres retenus sont la composition minéralogique, l'identification de microfaciès caractéristiques des minéraux cibles, la pseudo-succession paragénétique, le contenu et la distribution en éléments mineurs de minéraux cibles. Les minéraux cibles retenus sont la pyrite pour son ubiquité, la sphalérite car elle est susceptible d'incorporer une grande variété d'éléments mineurs, éventuellement valorisants ainsi que la chalcopyrite car elle est souvent liée aux deux autres minéraux. La comparaison de la composition chimique des phases minérales est effectuée en calculant la distance de Kolmogorov-Smirnov et de Colin-White. Des tests ont été réalisés sur les gîtes de type amas sulfuré volcanogène. Ils ont montré que les caractéristiques retenues permettaient de distinguer les pyrites, les sphalérites et les chalcopyrites de deux gisements de la province Sud-Ibérique (IPB), de sept gisements de la province d'Oural et du fumeur noir actuel de Rainbow. Les cartes d'identité obtenues permettent de discriminer les différents sites (IPB, Oural et Rainbow) et les gisements d'une même province. Les paramètres minéralogiques et microtexturaux ont également été suivis au cours du traitement minéralurgique de la mine de Neves Corvo. Pour une chaîne de traitement donnée, le paramètre " perte de mémoire " est une estimation de l'erreur commise lors de l'inversion, mais aussi une façon de caractériser une succession d'opérations minéralurgiques.

The project considers realization system, which will allow us to test six different operation modes on lifetime accumulators. The system will link to computer, which will execute measurement current and tension and switch betwencharging and discharging modes. The measured values will record in someone time intervals in to computer memory. After someone time will analise these measured valuer and will provide optional operation mode.

This thesis deals with creating application Datalogger for PROFIBUS. Describes communications standard Profibus, PLC and PC communication via PROFIBUS, API used for Profibus-PCI card, used programming language and development tool, a description of graphic and software parts of developed application Datalogger and finally describes the testing of developed applications datalogger.

Master´s thesis is focus on problems of marketing research, especially contentment of customers. The analyse of satisfaction of customers is focus on two important segments – final customers and distributors. Subject of this work is research of satisfactory these client´s segments. Their comments have major effect on quality and structure of publishing books for customers.

This Master thesis deals with the design and construction of a measuring device for measuring and the current consumption logging of sensors using LPWAN (Low Power Wide Area Network) technology. The theoretical part of the thesis firstly summarizes selected LPWAN technologies. Selected technologies, namely: LoRaWAN, Sigfox and Narrowband IoT (NB-IoT), are described more in detail. Further, the current measurement techniques are briefly discussed. The main focus is given to the current shunt measuring methods. The second half of thesis describes procedures conducted during the design and construction of a measuring device. The current measuring is based on the current shunt circuit complemented by the voltage amplification circuit, whose output is subsquently converted into digital form using an AD converter. The thesis describes in great detail the procedures for selecting individual components and important processes used in design of printed circuit boards. An integral part of the measuring device implementation is the design and implementation of control software, which is described in detail and supplemented by workflow charts underlining the entire description. The implementation of the entire measuring device is completed by the design and implementation of the cover box using 3D printing technology. Finally, the specifications of designed device are briefly discussed based on the limits of the used components.