La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. Pour de tels composants où les techniques de vérification formelle ne peuvent s'appliquer, la vérification dynamique à base de propriétés connecte au circuit des moniteurs et des générateurs de test synthétisés à partir de propriétés pour construire de manière simple un environnement de test. Durant cette thèse une partie des travaux à consisté à développer une approche de synthèse de propriétés pour la génération de vecteurs de test. Dans ce contexte, les propriétés décrivent l'environnement du circuit sous test. Elles sont synthétisées en générateurs produisant des séquences de test respectant la propriété correspondante. Il est alors possible de spécifier et d'obtenir un modèle pour tout l'environnement du circuit. Alors que notre approche est modulaire, une méthode à base d'automates a été développée en collaboration avec l'université de McGill. La contribution la plus intéressante de cette thèse tiens dans la méthode qui a été mise en place pour synthétiser une spécification temporelle en un circuit correct par construction. Alors que les approches de l'état de l'art ont une complexité polynomiale, la nôtre est linéaire en la spécification. L'outil SyntHorus a été développé pour supporter cette méthode et synthétise en quelques secondes un circuit correct par construction à partir d'une spécification de plusieurs centaines de propriétés. La correction des générateurs et de la méthode de synthèse a été effectuée à l'aide du prouveur de théorème PVS. Les méthodes et outils développés durant cette thèse ont été validés, renforcés et transférés dans l'industrie grâce à plusieurs coopérations (Thalès Group, Dolphin Integration et ST-Microelectronics) et au projet ANR SFINCS.

This work focuses on the axiomatized relationships between different ontologies of varying levels of expressivity. Motivated by experiences in the decomposition of first-order logic ontologies, we partially decompose the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) into modules. By leveraging automated reasoning tools to semi-automatically verify the modules, we provide an account of the meta-theoretic relationships found between DOLCE and other existing ontologies. As well, we examine the composition process required to determine relationships between DOLCE modules and the Process Specification Language (PSL) ontology. Then, we propose an ontology based on the semantically-weak Computer Integrated Manufacturing Open System Architecture (CIMOSA) framework by augmenting its constructs with terminology found in PSL. Finally, we attempt to map two semantically-weak product ontologies together to analyze the applications of ontology mappings in e-commerce.

This work focuses on the axiomatized relationships between different ontologies of varying levels of expressivity. Motivated by experiences in the decomposition of first-order logic ontologies, we partially decompose the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE) into modules. By leveraging automated reasoning tools to semi-automatically verify the modules, we provide an account of the meta-theoretic relationships found between DOLCE and other existing ontologies. As well, we examine the composition process required to determine relationships between DOLCE modules and the Process Specification Language (PSL) ontology. Then, we propose an ontology based on the semantically-weak Computer Integrated Manufacturing Open System Architecture (CIMOSA) framework by augmenting its constructs with terminology found in PSL. Finally, we attempt to map two semantically-weak product ontologies together to analyze the applications of ontology mappings in e-commerce.

Notre recherche doctorale a pour objet d’apporter un éclairage novateur sur la chaîne logistique dans le contexte des réseaux de franchise en s’appuyant sur la théorie des ressources et la théorie des parties prenantes. S’inscrivant dans une logique d’exploration, la recherche participe à enrichir les travaux sur les réseaux de franchise sous l’angle de la chaîne logistique. Une telle approche, jusqu’à présent peu explorée, permet de mieux saisir l’avantage compétitif que représente de la maîtrise de la chaîne logistique pour le réseau de franchise, ainsi que le rôle du prestataire de services logistiques (PSL) dans le contexte français. En effet, son rôle de conseil, voire de prescripteur d’évolution des processus,s’appuie sur sa connaissance des métiers de la chaîne logistique, imprégnée de la culture du client, et sur sa capacité à imposer les évolutions nécessaires vis-à-vis des 3PL auprès desquels il aura sous-traité une partie de ses activités. Il ressort de la recherche que la maîtrise de la chaîne logistique est un enjeu stratégique pour le réseau de franchise. Au travers d’études de cas, la relation de longue durée, la confiance et l’appropriation de la culture du réseau par le PSL sont des critères incontournables de l’avantage compétitif que procure la maîtrise de la chaîne logistique au profit du réseau de franchise. / Our doctoral research aims to bring innovative light on the supply chain in the context offranchise networks based on resource theory and stakeholder theory. As part of an explorationstrategy, research contributes to enriching the work on franchise networks in terms of the supplychain. Such an approach, hitherto little explored, makes it possible to better understand thecompetitive advantage of supply chain control for the franchise network and the role of thelogistics service provider (LSP) in the French context. Indeed, its advisory role, and even theprescriber of the evolution of processes, relies on its knowledge of the supply chain businesses,imbued with the customer's culture, and its ability to impose the necessary changes vis-à-vis3PLs from which it will have subcontracted part of its activities. Research shows that supplychain management is a strategic challenge for the franchise network. Through case studies, thelong-term relationship, trust and ownership of the network culture by the PSL are essentialcriteria for the competitive advantage of supply chain control in favor of the network franchise.

The Diploma thesis is focused on reballing of BGA packages with the device PACE TF 2700. It describes the general types of BGA packages, their defects, importance of thermal management to the solder techniques, where it is also talked about the meaning of solders and fluxes for the joint. The work informs about the most common methods of reballing, the proper handling of components and the current situation with BGA stencils on the market. It briefly describes the device operation of PACE TF 2700, that is working on the convection and IR principle of heating components. It deals with the manufacturing of the template, dummy BGA packages, the test plates, creation of the thermo profile, comparing and examining the defects and their causes, which had the most significant impact on the results. The achievements would serve for comparing them with the results of the future laboratory exercises or as a subject for further works.

Apesar de o Brasil ser o país com a maior comunidade japonesa fora do Japão, ainda há poucos estudos sobre a aquisição e aprendizagem do português por falantes japoneses. Partindo da descrição do sistema silábico da língua portuguesa (CÂMARA JR., 1970; FERREIRA NETTO, 2001; CRISTÓFARO SILVA, 2009; CAGLIARI, 2007; CAVALIERE, 2005) e da língua japonesa (SHIBATANI, 1987; ITÔ, 1986; McCAWLEY, 1968; HINDS, 1986), pretende-se observar por meio da Análise de Erros (CORDER, 1967) quais as estratégias utilizadas por falantes japoneses em processo de aprendizagem da língua portuguesa para pronunciar duas estruturas silábicas que não existem em sua língua materna: sílabas CVC terminadas em /r/ ou /s/, e sílabas com mais de uma consoante pré-vocálica do tipo CCV, com /r/ ou /l/ ocupando a segunda posição de ataque. A partir dessa observação, busca-se determinar quais dessas estruturas representam maior dificuldade para o aprendiz japonês. Para a composição do corpus, foram criados dezenove nomes fictícios com as estruturas silábicas em questão e sete informantes foram gravados. Ainda que não tenha sido uma pesquisa quantitativa, por meio da comparação dos resultados foi possível verificar a maior facilidade de produzir sílabas CVC em relação às CCV e, para a maioria, o número de acertos foi maior com a consoante /s/ em posição de coda e /r/ na segunda posição de ataque complexo. Quanto à estratégia utilizada, o uso de inserção vocálica foi maior que o de apagamento, exceto quando /r/ ocupa a posição de coda. A pesquisa mostrou que a dificuldade maior ou menor do aprendiz pode ser entendida a partir de processos fonológicos que acontecem na L1, no caso a língua japonesa. / Although Brazil is the country with the largest Japanese community outside Japan, there are few studies about Portuguese acquisition and learning by Japanese speakers. Based on the description of the syllabic system of the Portuguese language (CÂMARA JR., 1970; FERREIRA NETTO, 2001; CRISTÓFARO SILVA, 2009; CAGLIARI, 2007; CAVALIERE, 2005) and of the Japanese language (SHIBATANI, 1987; ITÔ, 1986; McCAWLEY, 1968; HINDS, 1986), we intend to observe through Error Analysis (CORDER, 1967) the strategies used by Japanese learners of Portuguese to pronounce two syllable structures that do not exist in their native language: CVC syllables closed by /r/ or /s/ and CCV syllables with /r/ or /l/ in the second onset position. From this observation, we seek to determine which of these structures represents more difficulty for Japanese learners. To compose the corpus, nineteen fictitious names with the syllabic structure in question were created and seven informants were recorded. Although it has not been a quantitative research, by comparing the results we could verify that it was easier to produce CVC syllables than CCV ones. In addition, for most of the informants, the number of correct production was higher with the consonant /s/ in coda position and /r/ in the second onset position. For the strategy used, the use of vowel insertion was higher than deletion, except when /r/ occupies the coda position. Research has shown that the greater or lesser difficulty of the learner can be understood from phonological processes that occur in L1, in this case the Japanese language.

Apesar de o Brasil ser o país com a maior comunidade japonesa fora do Japão, ainda há poucos estudos sobre a aquisição e aprendizagem do português por falantes japoneses. Partindo da descrição do sistema silábico da língua portuguesa (CÂMARA JR., 1970; FERREIRA NETTO, 2001; CRISTÓFARO SILVA, 2009; CAGLIARI, 2007; CAVALIERE, 2005) e da língua japonesa (SHIBATANI, 1987; ITÔ, 1986; McCAWLEY, 1968; HINDS, 1986), pretende-se observar por meio da Análise de Erros (CORDER, 1967) quais as estratégias utilizadas por falantes japoneses em processo de aprendizagem da língua portuguesa para pronunciar duas estruturas silábicas que não existem em sua língua materna: sílabas CVC terminadas em /r/ ou /s/, e sílabas com mais de uma consoante pré-vocálica do tipo CCV, com /r/ ou /l/ ocupando a segunda posição de ataque. A partir dessa observação, busca-se determinar quais dessas estruturas representam maior dificuldade para o aprendiz japonês. Para a composição do corpus, foram criados dezenove nomes fictícios com as estruturas silábicas em questão e sete informantes foram gravados. Ainda que não tenha sido uma pesquisa quantitativa, por meio da comparação dos resultados foi possível verificar a maior facilidade de produzir sílabas CVC em relação às CCV e, para a maioria, o número de acertos foi maior com a consoante /s/ em posição de coda e /r/ na segunda posição de ataque complexo. Quanto à estratégia utilizada, o uso de inserção vocálica foi maior que o de apagamento, exceto quando /r/ ocupa a posição de coda. A pesquisa mostrou que a dificuldade maior ou menor do aprendiz pode ser entendida a partir de processos fonológicos que acontecem na L1, no caso a língua japonesa. / Although Brazil is the country with the largest Japanese community outside Japan, there are few studies about Portuguese acquisition and learning by Japanese speakers. Based on the description of the syllabic system of the Portuguese language (CÂMARA JR., 1970; FERREIRA NETTO, 2001; CRISTÓFARO SILVA, 2009; CAGLIARI, 2007; CAVALIERE, 2005) and of the Japanese language (SHIBATANI, 1987; ITÔ, 1986; McCAWLEY, 1968; HINDS, 1986), we intend to observe through Error Analysis (CORDER, 1967) the strategies used by Japanese learners of Portuguese to pronounce two syllable structures that do not exist in their native language: CVC syllables closed by /r/ or /s/ and CCV syllables with /r/ or /l/ in the second onset position. From this observation, we seek to determine which of these structures represents more difficulty for Japanese learners. To compose the corpus, nineteen fictitious names with the syllabic structure in question were created and seven informants were recorded. Although it has not been a quantitative research, by comparing the results we could verify that it was easier to produce CVC syllables than CCV ones. In addition, for most of the informants, the number of correct production was higher with the consonant /s/ in coda position and /r/ in the second onset position. For the strategy used, the use of vowel insertion was higher than deletion, except when /r/ occupies the coda position. Research has shown that the greater or lesser difficulty of the learner can be understood from phonological processes that occur in L1, in this case the Japanese language.

La théorie des ressources et compétences est appliquée à de multiples champs et terrains, dont le management des chaînes logistiques. La thèse s'interroge sur la nature des ressources et compétences logistiques aux mains des prestataires de services logistiques (PSL), et à la manière dont elles sont mobilisées dans le cadre d'une manoeuvre d'intégration de la chaîne logistique entre industriel et PSL pour améliorer la performance logistique perçue par l'industriel. Le cadre conceptuel développé dans la thèse s'appuie par conséquent à la fois sur la théorie des ressources et compétences et sur l'analyse approfondie des processus d'intégration de la chaîne logistique. Nous nous fondons sur une revue extensive de la littérature, et nous construisons un modèle s'appuyant sur cinq propositions de recherche relatives à la relation entre intégration de la chaîne logistique et performance logistique perçue, en y associant par ailleurs la capacité d'innovation dont peut faire preuve le PSL. Le terrain est constitué d'une enquête conduite par questionnaire auprès de 139 industriels du secteur alimentaire au Vietnam. Les principaux résultats de la recherche peuvent être résumés en deux points. D'une part, l'intégration des ressources et compétences logistiques entre l'industriel et son PSL impacte fortement sur la performance logistique perçue par l'industriel. D'autre part, la capacité d'innovation constitue pour le PSL une ressource de première importance, qui peut avoir une influence significative sur la performance logistique perçue par l'industriel. / Resource and competence theory is applied to multiple fields and countries. It seems pertinent to infer a possible use to the management of supply chains to better understand the operation. This is the goal of this thesis by questioning the nature of resources and logistic expertise in the hands of logistics service providers (LSP), and how they are mobilized as part of a maneuver integration of the supply chain between industrial and PSL to improve logistics performance perceived by the industry. The conceptual framework developed in the thesis is based therefore on both the resource and competence theory and in-depth analysis of the supply chain integration process. By relying on an extensive literature review, we build a model based on five research proposals relating to the relationship between supply chain integration and perceived logistics performance, which also involves the innovation capacity that can demonstrate LSP. A questionnaire survey was conducted in Vietnam with the participation of 139 food actors. The main results of the research can be summarized in two points. On the one hand, the integration of resources and logistics expertise between industrial and LSP impacts heavily on logistics performance perceived by the industrial. On the other hand, the innovation capacity constitutes for the LSP an important resource, which can have a significant impact on logistics performance perceived by the industrial.

La recherche souligne, selon une perspective béhavioriste, l’importance grandissante de l’intermédiation logistique à travers le rôle dynamisant du PSL au sein des chaînes logistiques multi-acteurs. En s’éloignant de son métier historique, en l’occurrence la gestion de simples acheminements, le PSL évolue vers des services à plus forte valeur ajoutée, voire de nouveaux métiers, qui transforment en profondeur le fonctionnement de ces chaînes. S’inscrivant dans une logique d’exploration, la recherche participe à enrichir les travaux antérieurs relatifs au PSL, souvent de nature technique, par une approche béhavioriste. Le PSL est d’abord un acteur, doté d’objectifs propres, qui développe un comportement stratégique singulier ; il ne se résume pas à être un simple exécutant opérationnel d’activités issues d’une externalisation voulue par des chargeurs à la recherche d’une minimisation des coûts. Une telle approche, jusque-là peu explorée, permet de mieux saisir le rôle dynamisant du PSL dans les chaînes logistiques multi-acteurs, tout particulièrement dans le contexte français. Il ressort de la recherche que le PSL a acquis un pouvoir suffisant pour en influencer le fonctionnement. Il occupe une position de choix pour capter durablement de la valeur, autrement dit, bénéficier de transfert d’activités, de compétences et de ressources de la part des chargeurs. / The goal of our research is to underline, from a behavioral angle, the increasing importance of logistical intermediation through the LSP’s dynamic role within supply chains. By digressing from its historical profession, the management of simple carriages to be specific, the LSP is moving towards high added value services, even new trades, which deeply transform the chains’ functioning. By falling within an exploratory logic, this research participates in enriching the previous works about LSP, mainly of a technical nature, through a behavioral approach. At first, the LSP is an actor which has his own goals and who develops a singular strategic behavior: it does not amount to be a simple operational performer of activities coming from an outsourcing required by shippers in search of a minimization of the costs. Such an approach, which has not been explored so far, enables a better understanding of the dynamic role of the LSP in supply chains, particularly in the French context. It comes out of the research that the LSP has acquired enough power to influence its functioning. It is rightly placed to get some value durably, in other words, to benefit from transfer of activities, skills and resources from the shippers.

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits. L'ABV permet de valider qu'un circuit satisfait ou non une propriété(ou assertion). Des travaux antérieurs ont montré qu'il était possible de synthétiser ces propriétés sous la forme de moniteurs matériels. Ces derniers peuvent ainsi être embarqués à demeure sur un circuit afin qu'ils assurent une tâche de monitoring. Avec un objectif de surveillance et de sûreté, l'utilisation de tels moniteurs est un plus. Néanmoins, ces derniers sont aussi sensibles que les circuits surveillés à une dégradation environnementale(tension, température, vieillissement, …). Afin de réduire le risque de dysfonctionnement des moniteurs, initialement conçus comme des circuits synchrones, une variante asynchrone(quasi-insensible aux délais) est proposée dans cette thèse. Ces travaux s'inscrivent dans le cadre du projet ANR SFINCS(Thalès, Dolphin Integration, TIMA) et ont mené à la définition d'une méthode de synthèse de moniteurs asynchrones matériels tirant parti de la robustesse et de la modularité des implémentations asynchrones. Les études menées se focalisent en premier lieu sur la conception d'une bibliothèque de moniteurs élémentaires asynchrones et sur une méthode d'interconnexion ad hoc permettant de constituer des moniteurs complexes. Afin de garantir les bonnes propriétés de robustesse de ces moniteurs, une étude a été menée à l'aide de l'outil de vérification formelle RAT. Il a notamment été prouvé que la connexion d'un moniteur asynchrone avec un circuit synchrone(à surveiller) était un point particulièrement délicat car les hypothèses du circuit synchrone contraignent le moniteur asynchrone. Il a donc été proposé d'introduire un dispositif de contrôle de l'horloge du circuit synchrone, appelé « clock stretching », afin de relaxer les hypothèses temporelles synchrones qui sont appliquées à la partie asynchrone. / With the advent of complex integrated systems, the assertion based verification(ABV) has emerged as a solution for the semi-formal circuits verification. The ABV is used to validate that a circuit satisfies a property(or assertion). Previous work has shown that it is possible to synthesize these properties in the form of hardware monitors. These can then be embeddded permanantly on a circuit so that they provide monitoring task. With a goal of security and surveillance, the use of such monitors is a plus. Nevertheless, they are as sensitive as the monitored circuits to environmental degradation(voltage, temperature, age, ...). To reduce the risk of failure in monitors, originally designed as synchronous circuits, an asynchronous variant(quasi-delay insensitive) is proposed in this thesis. This work is part of the ANR project SFINCS(Thales, Dolphin Integration, TIMA) and led to the definition of a method for synthesizing asynchronous hardware monitors leveraging the robustness and modularity of asynchronous implementations. The studies focus primarily on the design of a library of basic asynchronous monitors and an ad hoc method of interconnection to build complex monitors. To ensure the robustness of these monitors, a study was conducted using formal verification tool RAT. In particular it was proved that the connection of an asynchronous monitor with a synchronous circuit(to watch) was particularly tricky because the timing assumptions of synchronous circuit impact the asynchronous monitor. It was therefore proposed to introduce a devicet, called "clock stretching", for controlling the clock of the synchronous circuit and relax synchronous timing assumptions that are applied to the asynchronous monitor.