A partir de l'identification des 3 hypothèses que sont l'information imparfaite, l'asymétrie informationnelle et la rationalité limitée, la science économique a du profondément modifier la représentation et l'explication des phénomènes économiques du modèle standard. Ce mouvement a concerné à la fois la vision des marchés et celle de la firme. A partir de la notion de « firme processeur d'information » qui est celle largement retenue dans l'orthodoxie néo-classique ou apparentée, cette thèse propose de penser l'articulation entre organisation, information et pouvoir. Afin de dépasser la double tradition en économie qui consiste soit à postuler le pouvoir (approche des radicaux), soit à le nier (courant néo-classique), une démarche pragmatique essaie d'aller chercher en dehors des frontières de l'économie des modèles susceptibles de donner des pistes de représentation du pouvoir intra-organisationnel. Ce choix est renforcé par les travaux de micro-économie contemporain qui mobilisent eux-mêmes des travaux d'inspiration « sociologique » et qui permettent de penser l'introduction du pouvoir dans les modèles de al théorie standard. Cette démarche aboutit au choix d'une définition opérationnelle du pouvoir ouvrant la voie à une quantification de l'organisation. Celle-ci est menée en utilisant la théorie des graphes d'influence, qui allie la représentation topologique de la théorie des graphes au calcul matriciel de la méthodologie input-output. Les indicateurs qu'elle fournit sont calculés dans le cadre de l'étude d'une organisation concrète. La base de données est construite à partir des flux d'échange de mails. Ils fournissent une caractérisation assez fine de l'organisation en distinguant notamment le niveau global du niveau local. Ils permettent également de discuter de l'articulation entre la structure formelle et la structure informelle. <br />Finalement sur la base de trois définitions des notions d'organisation, d'information et de pouvoir, élaborées à partir d'une large revue de la littérature en économie des organisations, cette thèse propose des indicateurs permettant de déterminer qui a le pouvoir dans une organisation concrète définie comme une structure d'échanges d'informations.

Rapport de stage diplôme de conservateur des bibliothèques : Bibliothéconomie : Villeurbanne, ENSSIB : 2003.

Mémoire d'étude DCB : Ecole nationale supérieure des sciences de l'information et des bibliothèques : 2003.

Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2001. / Titre provenant de l'écran-titre. Bibliogr. 137 réf.

Thèse de doctorat : Sciences de gestion : Metz : 2009. / Titre provenant de l'écran-titre. Notes bibliogr.

Cette thèse appartient à la catégorie dite recherche-action qui fleurit pendant les années 1970. Il résulte de questions venant de la société et utilise la méthodologie venant des recherches récentes et enraciné dans les théories validées.Dans le premier article, nous déterminons les facteurs principaux qui incitent à la gestion écologique dans l'industrie textile. Nous définissons des facteurs internes (le coût écologique, la culture écologique, la capacité de communication, la capacité d'innovation technologique écologique) et des facteurs externes (le gouvernement et les lois, la pression d'environnement du aux concurrents) pour des entreprises et utilisons une méthode basée sur les dire d'experts et la méthode ANP pour déterminer les facteurs principaux et leurs interactions.Le deuxième article se concentre sur l'industrie textile du vêtement et propose un tableau de bord spécifique au niveau d'une usine pour évaluer les performances économiques, et environnementales et, sociales. Ce tableau de bord est une première tentative, tant sur le plan méthodologique que sur le front de collecte de données, vers la construction d'une vue globale sur l'impact de la production dans l'industrie de vêtement en Chine. Les caractéristiques de certaines des sociétés impliquées dans la chaîne d'approvisionnement sont prises en compte. Nous donnons un exemple de notre méthodologie en montrant comment une petite société a utilisé ce tableau de bord dans les processus de décision. Enfin, nous proposons des pistes pour la réglementation pouvant permettre d'attendre pour l'industrie de nouveaux standards de qualité écologique de production.Le troisième article vise à construire un modèle de prise de décisions pour cette petite usine de vêtement qui fait face à un ensemble de choix alternatifs. Le modèle prend en compte de multiples critères et des perspectives des parties prenantes diverses. Il permet d'aider à la décision pour choisir des fournisseurs, des machines industrielles voire changer de système énergétique. Nous mettons en œuvre la méthode Prométhée pour une usine textile. Des parties prenantes multiples sont prises en compte : PDG, actionnaires, autorités gouvernementales locales et centrales.Cette thèse répond à la mise en œuvre pratique d'une stratégie de développement durable dans une petite entreprise chinoise soumise à la concurrence international. / This thesis can be said to belong to the research-action which flourishes during the 1970's. It arises from questions coming from the society and uses methodology coming from recent researchers and rooted in the validated theories.In the first paper, we determine which main factors induce the green management in the garment industry. We define internal factors (green cost, green culture, communication skill, ability of green technology innovation) and external factors (government and laws, competitors' environment pressure) for companies and use the expert scoring method and ANP to determine main factors and how they interact.The second paper focuses on the textile industry and proposes a specific dashboard at the plant level to evaluate the environmental, social and economic performances.This dashboard is a first attempt, both on the methodological and data collection front,towards building a global view on the impact of production in the garment industry in China at the level of individual production firms. In particular, the characteristics of some of the firms involved in the supply chain are taken into account. We exemplify our methodology by showing how a small firm has introduced this dashboard in the decision process. Then we propose some guidelines about possible new regulations and enticements for firms to meet new quality standards. Taken together, the dashboard gives insights into the impacts of the processes from a triple angle: economic, social and ecological.The third paper attempts to construct a decision making model for a small garment businesswho face a set of alternative choices. The model deals with multi-criteria from various stakeholders' perspectives to choose suppliers, change machines and switch the energy system.We implement the Prométhée method for a textile factory. Multiple stakeholders are taken into account: CEO, shareholders, local and central governmental authorities.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-07-14Bitstream added on 2014-06-13T18:53:32Z : No. of bitstreams: 1 matulovic_m_me_mar.pdf: 351553 bytes, checksum: ce05b2472eda1483cbde0d4d3caf708d (MD5) / Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumbência de interpretar aspectos indutivos de quantificadores das linguagens naturais. Como um caso particular de lógica modulada, a lógica do muito formaliza a noção intuitiva de “muitos”. O quantificador do muito é representado por G. Assim, uma sentença do tipo Gxα(x) deve ser entendida como “muitos indivíduos satisfazem a propriedade α”. Semanticamente, a noção de muitos está associada a uma estrutura matemática denominada família fechada superiormente e própria. Seja E um conjunto não vazio. Uma família própria fechada superiormente F em E é tal que: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitivamente, F caracteriza os conjuntos que possuem ‘muitos’ elementos. E, assim, o universo E possui muitos elementos; o ∅ não possui muitos elementos; e se A possui muitos elementos, então todo conjunto que contém A também possui muitos elementos. Com elementos sintáticos que caracterizam linguisticamente estas propriedades de F, pode-se verificar que a lógica do muito é correta e completa para uma estrutura de primeira ordem estendida por uma família própria fechada superiormente. A lógica do muito foi originalmente introduzida em um sistema dedutivo hilbertiano, baseado apenas em axiomas e regras de dedução. Neste trabalho, desenvolvemos um outro sistema dedutivo para a lógica do muito, porém num sistema de tablôs. Demonstramos, naturalmente, que esse novo sistema é equivalente ao sistema axiomático original. / Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.

L’analyse statique de programmes est un domaine crucial en compilation, en optimisation, et en validation de logiciels. Les structures de données complexes (tableaux, listes, graphes...), omniprésentes dans les programmes, posent des problèmes difficiles, du fait qu’elles représentent des ensembles de données de taille importante ou inconnue, et que l’adressage des données dans ces ensembles est calculé (indexation, indirection). La plupart des travaux sur l’analyse des structures de données concernent la vérification de la correction des accès aux données (vérification que les indices d’un tableau sont dans les bornes, que les pointeurs ne sont pas nuls, “shape analysis”). L’analyse du contenu des structures de données est encore peu abordée. A Verimag, ce domaine a été abordé récemment, et a donné lieu à de premiers résultats sur l’analyse de tableaux unidimensionnels. Une méthode d’analyse de programmes simples a été proposée [1], qui permet de découvrir des propriétés des contenus de tableaux, comme par exemple que le résultat d’un programme de tri est bien un tableau trié. Un autre type de propriétés, dites “non positionnelles” a aussi été considéré [2], qui concerne le contenu global d’un tableau, indépendamment de son rangement: par exemple, on montre que le résultat d’un tri est une permutation du tableau initial. Ces premiers résultats sont très encourageants, mais encore embryonnaires. L’objectif du travail de thèse proposé est de les étendre dans plusieurs directions. Notre analyse de propriétés positionnelles est capable de découvrir des relations point- à-point entre des “tranches” de tableaux (ensembles de cellules consécutives). Les extensions envisagées concernent les tableaux multidimensionnels, les ensembles de cellules non nécessairement consécutives, et les structures de données plus générales. Concernant les propriétés non positionnelles, les premiers résultats sont limités aux égalités de contenus de tableaux. Ils doivent être étendus à des relations plus complexes (inclusions, sommes disjointes...) et à d’autres structures de données. Ce travail prend place dans le projet ASOPT (“Analyse statique et optimisation”), accepté dans le programme Arpège de l’ANR en 2008. Références : [1] N. Halbwachs, M. Péron. Discovering properties about arrays in simple programs. ACM Conference on Programming Language Design and Implementation, PLDI 2008. Tucson (Az.), juin 2008. [2] V. Perrelle. Analyse statique du contenu de tableaux, propriétés non positionnelles. Rapport de M2R, Master Parisien de Recherche en Informatique, septembre 2008. / Static analysis is key area in compilation, optimization and software validation. The complex data structures (arrays, dynamic lists, graphs...) are ubiquitous in programs, and can be challenging, because they can be large or of unbounded size and accesses are computed. (through indexing or indirections). Whereas the verification of the validity of the array accesses was one of the initial motivations of abstract interpretation, the discovery of properties about array contents was only adressed recently. Most of the analyses of array contents are based on a partitioning of the arrays. Then, they try to discover properties about each fragment of this partition. The choice of this partition is a difficult problem and each method have its flaw. Moreover, classical representations of array partitions induce an exponential complexity for these analyzes. In this thesis, we generalize the concept of array partitioning into the concept of "fragmentation" which allow overlapping fragments, handling potentially empty fragments and selecting specialized relations. On the other hand, we propose an abstraction of these fragmentations in terms of graphs called "slices diagrams" as well as the operations to manipulate them and ensuring a polynomial complexity. Finally, we propose a new criterion to compute a semantic fragmentation inspired by the existing ones which attempt to correct their flaws. These methods have been implemented in a static analyzer. Experimentations shows that the analyzer can efficiently and precisly prove some challenging exemples in the field of static analysis of programs manipulating arrays.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, Mestrado em Informática, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2015-03-31T15:40:32Z No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Approved for entry into archive by Ruthléa Nascimento(ruthleanascimento@bce.unb.br) on 2015-04-20T19:01:54Z (GMT) No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Made available in DSpace on 2015-04-20T19:01:54Z (GMT). No. of bitstreams: 1 2015_ThiagoCoelhoVieira.pdf: 662085 bytes, checksum: 8fae3df1c74c85937e5cd8c48823b60b (MD5) / Diversos tipos de lógicas são usadas como linguagens para descrever sistemas complexos e suas propriedades com a finalidade de serem verificadas formalmente. Provadores de teoremas baseados em tableaux são ferramentas computacionais capazes de realizar esta tarefa de verificação. Em (WDF98) é proposto um método de prova baseado em tableaux para duas lógicas epistêmico-temporais, KL(n) e BL(n). Neste trabalho implementamos o método de prova baseado em tableaux descrito em (WDF98) e apresentamos um algoritmo para verificação de propriedades epistêmicas e temporais sobre a estrutura do tableau construída por este método. / Logics are used as languages to describe complex systems and their properties in order to be formally verified. Tableaux-based theorem-provers are computational tools which can be used to perform this verification task. (WDF98) propose a proof method based on tableaux for both the epistemic-temporal logics KL(n) and BL(n) . In this work we implement the tableaux-based proof method described in (WDF98) and present an algorithm for verification of epistemic-temporal properties over the structure of the tableau built by this method.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T07:04:57Z (GMT). No. of bitstreams: 1 BarreroGuzman_TomasAndres_M.pdf: 584062 bytes, checksum: b969cc9456140851ae30720d7d2f5d09 (MD5) Previous issue date: 2004 / Resumo: O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas características da implicação, quer pela presença de um tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica através de um sistema de tablos que utiliza somente recursos metalinguísticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito de paratrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o vinculo filosofico entre verdade e significado / Abstract: This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive method to on-classical fragments equipped with weaker implications (that avoid Curry?s objection). This is the case, for example, of Jan Lukasiewicz?s n-valued logics and Wilhelm Ackermann?s logic of restricted implication. Besides such problems, both Henkin?s method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to motivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a first-order positive logic as well as the philosophical connection between truth and meaning are discussed from a conceptual point of view / Mestrado / Mestre em Filosofia