No description available.

Submitted by Fernanda Terra de Castro Collicchio (fernanda@terraevecci.com.br) on 2018-11-16T12:59:04Z No. of bitstreams: 1 Dissertação Depósito.pdf: 817890 bytes, checksum: 2733b8cc35486ed3aaf9472cb77c6d3a (MD5) / Approved for entry into archive by Thais Oliveira (thais.oliveira@fgv.br) on 2018-11-21T18:05:36Z (GMT) No. of bitstreams: 1 Dissertação Depósito.pdf: 817890 bytes, checksum: 2733b8cc35486ed3aaf9472cb77c6d3a (MD5) / Approved for entry into archive by Isabele Garcia (isabele.garcia@fgv.br) on 2018-11-22T12:13:34Z (GMT) No. of bitstreams: 1 Dissertação Depósito.pdf: 817890 bytes, checksum: 2733b8cc35486ed3aaf9472cb77c6d3a (MD5) / Made available in DSpace on 2018-11-22T12:13:34Z (GMT). No. of bitstreams: 1 Dissertação Depósito.pdf: 817890 bytes, checksum: 2733b8cc35486ed3aaf9472cb77c6d3a (MD5) Previous issue date: 2018-10-05 / Analisa a remissão proposta na Lei Complementar nº 160 de 07 de agosto de 2017, como solução para extinção dos créditos tributários decorrentes da concessão de incentivos e benefícios fiscais de ICMS sem a aprovação do CONFAZ, concedidos no âmbito da Guerra Fiscal existente entre os Estados, até a publicação da referida Lei Complementar. Tendo como objetivo confirmar o alcance da remissão, proposição, considerando a natureza da remissão, subdividindo os benefícios e incentivos fiscais em três categorias: a) benefícios e incentivos fiscais que não são devidos, porque não foram declarados inconstitucionais, seja por não serem objeto de discussão judicial ou porque não são conhecidos (aqueles concedidos por atos infra-legais); b) benefícios e incentivos fiscais que estão sub judice, mas ainda não foram declarados inconstitucionais e c) benefícios e incentivos fiscais que já foram declarados inconstitucionais pelo STF. Responde quanto a eficácia de seu alcance ainda que sob condição e conclui que a remissão disposta na Lei Complementar nº160/2017 não é de eficácia plena imediata, mas está posta e pode ser alcançada por todos que usufruíram os benefícios e incentivos fiscais concedidos em desacordo com o disposto na alínea “g” do inciso XII do § 2o do art. 155 da Constituição Federal e por esta razão traz segurança jurídica. / This paper analyses the revision of Complementary Law no. 160 of August 7, 2017, as a solution to the issue originated with the granting of the tax credits originated from the concession of incentives and tax benefits of ICMS (state VAT) without the approval of CONFAZ, until the publication of the Complementary Law itself. Aiming at confirming the reaching of the remission, proposition, considering the nature of the remission, subdividing the benefits and incentives into three categories: a) tax benefits and incentives which are not due, because they have not been declared unconstitutional, either because they are not subject to legal proceedings or because they are not known yet (those granted by infra-legal acts); b) tax benefits and incentives which are under examination (sub judice), but have not yet been declared unconstitutional and c) benefits and tax incentives that have already been declared unconstitutional by the STF (Superior Federal Court). Responding to the efficiency of its scope even though under condition and, it concludes that the remission set forth in the Supplementary Law no. 160/2017, is not immediately effective, but it is posted and can be reached by all who have benefited from the benefits and tax incentives granted in disagreement with the provisions of item "g" of item XII of paragraph 2 of art. 155 of the Federal Constitution and for that reason brings legal certainty.

No description available.

Ces travaux de recherche présentent une modélisation/Simulation du Test BCI (Bulk Current Injection) sous contrainte RTCA – DO 160, test de qualification des équipements très contraignant en termes de coûts et délais. Lors de sa réalisation, il présente aussi beaucoup de disparités dont il est parfois difficile d’identifier les sources et de les maîtriser lors du test avec une maquette physique. La simulation présente tout son intérêt dans l’étude de ces phénomènes (qui peuvent avoir un impact non moins significatif sur les résultats de test) mais aussi la répétabilité des essais.Dans un premier temps, une méthode de modélisation du couplage pince d’injection de courant et câbles est établie qui tient compte de l’évolution en fonction de la fréquence du noyau de ferrite du transformateur RF (Pince de courant) et des paramètres linéiques des câbles. Deux modèles sont principalement proposés dans ces travaux :- Un modèle générique, modèle circuit constitué uniquement d’éléments passifs RLC et élaboré (sous SPICE) à partir de la mesure des paramètres S. Ce modèle fait apparaitre la zone de couplage entre pince et câbles au secondaire.- Un modèle magnétique, macro-modèle développé sous le logiciel Flux2D. Les paramètres géométriques du modèle sont renseignés à partir de la connaissance des dimensions de la pince (diamètres intérieur /extérieur, longueur) et des câbles (diamètres/longueurs). Les paramètres physiques de la pince de courant particulièrement la perméabilité magnétique complexe du noyau de ferrite est obtenue à partir de la mesure du coefficient de réflexion au port d’entrée de la pince et extraction en post-traitement.Les validations dans le domaine fréquentiel ont été effectuées avec une bonne corrélation entre simulations et mesures dans la bande BCI [10 kHz – 400 MHz]. Ces résultats obtenus ont permis l'élaboration d'un modèle complet du test BCI (sous l’outil logiciel PAM-CEM/CRIPTE) qui tient compte d’un toron aéronautique complexe et de l’EST (Équipement Sous Test modélisé au laboratoire Ampère de Lyon). Il est constitué du générateur de perturbation (qui fait office de pince d’injection de courant), du modèle du toron de câbles (constitué de paires torsadées blindées, de paires non-blindées, …) et de l’EST (Équipement Sous Test) dans la bande [10 kHz – 400 MHz]. La bonne concordance entre simulations et mesures laisse présager une utilisation par les avionneurs ou équipementiers pour des études paramétriques concernant le test BCI (influence de la disposition des câbles, queue de cochon, longueur toron, disposition de l’EST par rapport au plan de masse, …) et/ou pour une virtualisation dans une phase de pré-qualification des équipements.Mots clés : CEM (Compatibilité ElectroMagnétique), Test BCI (Bulk Current Injection), Modélisation/Simulation, Norme aéronautique DO 160. / This work presents a modeling/simulation approach of BCI (Bulk Current Injection) test under constraint RTCA - DO 160. This qualification test of equipment is very constraining in terms of cost and deadline. During the test, there are also many disparities for which it is difficult to identify sources (and control them) with a physical test setup. The simulation is of interest in the study of phenomena (which can have negative impacts on test results) but also the repeatability of tests.First, a method of modeling for the probe/cables coupling is established which takes into account the variation with frequency of the RF transformer (current probe) of the magnetic ferrite core and the linear parameters of cables (skin/ proximity effects). Two models are proposed in this work:- A generic model which is made up solely of passive elements RLC and elaborated (with SPICE software) from the measurement of S-parameters. It shows the coupling zone between probe and cables (secondary winding).- A magnetic macro-model developed with the Flux2D software. Its geometrical parameters are defined from dimensions of the probe (inner/outer diameter, length) and cables (diameters / length). Physical parameters of the current probe, particularly the complex magnetic permeability of the ferrite core, are obtained from measurement of the S-parameter at the input port of the probe and post-treatment extraction.Frequency domain validations were performed with a good correlation between simulations and measurements in the BCI band ([10 kHz - 400 MHz]).These results led to the development of a complete virtual BCI test (with PAM-CEM / CRIPTE software), which take into account an aeronautic complex harness and a DUT (Device Under Test which is modeled at Ampère laboratory). It consists of disturbance generator, harness model (consisting of shielding twisted cables, no shielding cables, etc.) and DUT (Device Under Test) in the band [10 kHz - 400 MHz].The good correlation between simulations and measurements suggests a use by the aircraft manufacturers or equipment manufacturers for parametric studies about BCI test (uncertainties related to cable positions, pigtail, cable length, DUT position with respect to the ground plane, ...) and /or for virtualization in a pre-qualification phase of the equipment.Keywords: EMC (ElectroMagnetic Compatibility), BCI (Bulk Current Injection) test, Modeling/Simulation, DO 160 aeronautic standard.

No description available.

Counterfactual reasoning, an understanding of events that are counter to reality, or false, is an essential ingredient of our everyday cognition. Counterfactual situations are frequently depicted through language, yet surprisingly little is known of how they are processed during reading or listening. This is remarkable given the social importance of understanding counterfactuals and the wealth of psychological research that has focused on the production of counterfactual statements. In this thesis, I present eight experiments that investigate how a counterfactual discourse can disrupt or facilitate processing of some subsequent linguistic input and address related comprehension issues involving negation and theory of mind. The main findings suggest that a counterfactual scenario (e.g. ‘If cats were vegetarians’) leads the comprehender to rapidly update their processing model to incorporate a counterfactual continuation. However, a secondary process briefly interferes at the point of ambiguity resolution in cases where world knowledge has been violated (e.g. ‘Families could feed their cat a bowl of fish/ carrots’). The effects are compared across the different experimental paradigms used, including eye- tracking, event- related brain potentials and the visual world paradigm, which reveal distinct integration, neural and anticipatory processes. Finally, these findings are discussed in relation to existing research on counterfactuals and the processing relationships between counterfactuals, negation and theory of mind reasoning.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Pour résoudre un problème de mathématiques ou comprendre une démonstration, une figure bien choisie est parfois d’un grand secours. Ce fait souvent remarqué peut être vu comme un cas particulier d’un phénomène plus général. Utiliser une figure plutôt que des phrases, reformuler un problème sous la forme d’une équation, employer telles notations plutôt que telles autres : dans tous ces cas, en un sens, on ne fait que représenter sous une nouvelle forme ce qu’on sait déjà, et pourtant, cela peut permettre d’avancer. Comment est-ce possible ? Pour répondre à cette question, la première partie de cette thèse étudie ce qu’apporte un changement notationnel précis introduit par Leibniz à la fin du XVIIe siècle. La suite de ce travail analyse, et confronte à l’exemple précédent, plusieurs manières de penser les différences représentationnelles proposées dans la littérature philosophique récente. Herbert Simon, étudié dans la deuxième partie, s’appuie sur le modèle informatique des structures de données : deux représentations peuvent être « informationnellement » équivalentes, mais « computationnellement » différentes. Les logiciens Barwise et Etchemendy, étudiés dans la troisième partie, cherchent à élargir les concepts de la logique mathématique (en particulier ceux de syntaxe et de sémantique) aux diagrammes et figures. Enfin, certains philosophes des mathématiques contemporains, comme Kenneth Manders, remettent en cause la notion même de représentation, en soutenant qu’elle n’est pas éclairante pour comprendre l’usage de figures, formules ou autres supports externes en mathématiques. C’est à ces critiques qu’est consacrée la quatrième et dernière partie. / When solving a mathematical problem or reading a proof, drawing a well-chosen diagram may be very helpful. This well-known fact can be seen as an instance of a more general phenomenon. Using a diagram rather than sentences, reformulating a problem as an equation, choosing a particular notation rather than others : in all these cases, in a sense, we are only representing in a new form what we already knew; and yet, it can help us make progress. How is this possible? To address this question, the first part of this thesis explores the benefits afforded by a specific notational change introduced by Leibniz in the late seventeenth-century. The rest of this work analyses, and puts to the test of the preceding case study, several ways of understanding representational differences which have been put forward in the recent philosophical literature. Herbert Simon, studied in the second part, relies on a comparison with the notion of data structures in computer science: two representations, he writes, can be “informationally” equivalent yet “computationnally” different. The logicians Barwise and Etchemendy, studied in the third part, try to broaden the concepts of mathematical logic (in particular those of syntax and semantics) to cover diagrams and figures. Finally, some contemporary philosophers of mathematics, for instance Ken Manders, argue that the notion of representation itself is not helpful to understand the use of diagrams, formulas or other external reasoning tools in mathematics. Such arguments are the focus of the fourth (and last) part.

<p>Bakgrunden till arbetet väcktes genom debatterna sensommaren 2009 om skyddsnivån på de fordon som svenska soldater i Afghanistan använder sig av och det ökade antalet attacker mot den svenska kontingenten där. I takt med att upprorsmännens attacker började skada personalen så var frågeställningen klar. Hur ser stödet till de svenska soldaterna och officerarna ut? Syftet med arbetet är presentera en sammanhållen bild av hur försäkringsskyddet ser ut genom att svara på dessa frågor. Hur försäkringsskyddet ser ut för svensk personalen som tjänstgör för utlandsstyrkan idag? Samt vad innebär den så kallade veteransoldatspropositionen ur försäkringssynpunkt, vilka är skillnaderna? Metoden i arbetet kommer att vara i huvudsak deskriptivt men även komparativt. Inledningsvis så kommer en litteraturstudie att genomföras som mynnar ut i en beskrivning av hur försäkringsskyddet ser ut i dagsläget. Därefter kommer veteransoldatspropositionen att studeras och förslagen där i att beskrivas. Slutligen kommer dagsläget och propositionen att jämföras. Ur försäkringssynpunkt är det fyra skillnader i propositionen jämfört med dagsläget. Det är bland annat att lagen och förordningen som reglerar försäkringarna för utlandsstyrkan byts för att innefatta även personal som inte ingår i utlandsstyrkan, vilket ger den personalen ett robustare skydd. Vidare förlängs Försvarsmaktens uppföljnings- och rehabiliteringsansvar vilket är positivt för en soldat som skadat sig och behöver stöd. Försvarsmakten ska dessutom bli bättre och tydligare i sitt arbete att informera soldater och anhöriga i hur skyddsnätet ser ut.</p>

Bakgrunden till arbetet väcktes genom debatterna sensommaren 2009 om skyddsnivån på de fordon som svenska soldater i Afghanistan använder sig av och det ökade antalet attacker mot den svenska kontingenten där. I takt med att upprorsmännens attacker började skada personalen så var frågeställningen klar. Hur ser stödet till de svenska soldaterna och officerarna ut? Syftet med arbetet är presentera en sammanhållen bild av hur försäkringsskyddet ser ut genom att svara på dessa frågor. Hur försäkringsskyddet ser ut för svensk personalen som tjänstgör för utlandsstyrkan idag? Samt vad innebär den så kallade veteransoldatspropositionen ur försäkringssynpunkt, vilka är skillnaderna? Metoden i arbetet kommer att vara i huvudsak deskriptivt men även komparativt. Inledningsvis så kommer en litteraturstudie att genomföras som mynnar ut i en beskrivning av hur försäkringsskyddet ser ut i dagsläget. Därefter kommer veteransoldatspropositionen att studeras och förslagen där i att beskrivas. Slutligen kommer dagsläget och propositionen att jämföras. Ur försäkringssynpunkt är det fyra skillnader i propositionen jämfört med dagsläget. Det är bland annat att lagen och förordningen som reglerar försäkringarna för utlandsstyrkan byts för att innefatta även personal som inte ingår i utlandsstyrkan, vilket ger den personalen ett robustare skydd. Vidare förlängs Försvarsmaktens uppföljnings- och rehabiliteringsansvar vilket är positivt för en soldat som skadat sig och behöver stöd. Försvarsmakten ska dessutom bli bättre och tydligare i sitt arbete att informera soldater och anhöriga i hur skyddsnätet ser ut.