Relevant bibliographies by topics / MSO logic / Dissertations / Theses
To see the other types of publications on this topic, follow the link: MSO logic.

Dissertations / Theses on the topic 'MSO logic'

Author: Grafiati
Published: 25 May 2024
Last updated: 19 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'MSO logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Baschenis, Félix. "Minimizing resources for regular word transductions." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0810/document.

Full text
Abstract:
Cette thèse a eu pour objectif d'étudier des questions naturelles de définissabilité autour des transducteurs bidirectionnels.Il est bien connu que les transducteurs bidirectionnels définissent une plus grande classe de transductions que celles des transducteurs unidirectionnels. La première question que nous avons étudiée est donc de décider si un transducteur bidirectionnel est définissable par un transducteur unidirectionnel. Il a été montré en 2013 que cette question est décidable pour des transducteurs fonctionnels (nous montrons aussi en paralèlle que cette question devient indécidable s
APA, Harvard, Vancouver, ISO, and other styles
2

Götze, Doreen. "Weighted Unranked Tree Automata over Tree Valuation Monoids." Doctoral thesis, Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-221154.

Full text
Abstract:
Quantitative aspects of systems, like the maximal consumption of resources, can be modeled by weighted automata. The usual approach is to weight transitions with elements of a semiring and to define the behavior of the weighted automaton by mul- tiplying the transition weights along a run. In this thesis, we define and investigate a new class of weighted automata over unranked trees which are defined over valuation monoids. By turning to valuation monoids we use a more general cost model: the weight of a run is now determined by a global valuation function. Besides the binary cost functions im
APA, Harvard, Vancouver, ISO, and other styles
3

Suresh, Amrita. "Formal Verification of Communicating Automata." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG092.

Full text
Abstract:
Les systèmes distribués concernent des processus qui s’exécutent indépendamment et communiquent de manière asynchrone. Bien qu’ils couvrent un large éventail de cas d’utilisation et soient donc omniprésents dans notre monde, il est particulièrement difficile de garantir leur exactitude. Dans cette thèse, nous modélisons de tels systèmes en utilisant une formulation mathématique et logique, et nousles vérifions algorithmiquement. En particulier, nous nous concentrons sur les automates FIFO (First In First Out), et plus précisément sur des systèmes à un ou plusieurs automates finis qui communiqu
APA, Harvard, Vancouver, ISO, and other styles
4

Mohan, Ashwin. "A fuzzy controller developed in RSLogix 5000 using ladder logic and function blocks implemented on a Control Logix PLC /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420941.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Srinivasan, Venkataramanujam. "Gigahertz-Range Multiplier Architectures Using MOS Current Mode Logic (MCML)." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/9643.

Full text
Abstract:
The tremendous advancement in VLSI technologies in the past decade has fueled the need for intricate tradeoffs among speed, power dissipation and area. With gigahertz range microprocessors becoming commonplace, it is a typical design requirement to push the speed to its extreme while minimizing power dissipation and die area. Multipliers are critical components of many computational intensive circuits such as real time signal processing and arithmetic systems. The increasing demand in speed for floating-point co-processors, graphic processing units, CDMA systems and DSP chips has shaped the ne
APA, Harvard, Vancouver, ISO, and other styles
6

Maestro, Izquierdo Marcos. "Analysis of the Resistive Switching phenomenon in MOS devices for memory and logic applications." Doctoral thesis, Universitat Autònoma de Barcelona, 2017. http://hdl.handle.net/10803/405453.

Full text
Abstract:
En general, la continua evolución de la tecnología ha llevado a afrontar nuevos retos emergentes. En cuanto al campo de la electrónica, uno de los más relevantes ha sido la ley de Moore que postula que "el número de transistores en un circuito integrado se duplica aproximadamente cada dos años". Para cumplir esta ley, la solución ha sido reducir las dimensiones de los dispositivos. Sin embargo, en las últimas décadas se han alcanzado limitaciones físicas debido a que la disminución de las dimensiones está alcanzando el rango atómico. Se han observado además problemas debidos al escalamiento de
APA, Harvard, Vancouver, ISO, and other styles
7

Khordoc, Karim. "A MOS switch-level simulator with delay calculation /." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65461.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kirawanich, Phumin. "Fuzzy logic control for an active power line conditioner /." free to MU campus, to others for purchase, 2002. http://wwwlib.umi.com/cr/mo/fullcit?p3060114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lee, Hoon-Kyeu. "An automatic test pattern generation in the logic gate level circuits and MOS transistor circuits at Ohio University." Ohio : Ohio University, 1986. http://www.ohiolink.edu/etd/view.cgi?ohiou1183139647.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Lindberg, Jordan J. "Language, logic, knowledge, and reality : the logical atomisms of Russell and Wittgenstein /." free to MU campus, to others for purchase, 1997. http://wwwlib.umi.com/cr/mo/fullcit?p9842548.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Ramirez, Carlos. "Meso-machining of miniature space system components." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2007. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Hosseini, Ebrahim. "A multiple-input-single-output, MISO, fuzzy logic model for generation of watershed Soil Conservation Service, SCS, curve numbers." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/tape15/PQDD_0025/NQ31526.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Zeng, Yinghui. "Internet-based fuzzy logic and statistics models for integrated solid waste management planning /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p3164557.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Choi, Youngsik. "Incorporating robustness into fuzzy logic and mixture decomposition for image enhancement and segementation /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9737866.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Ahmed, Mahbub. "Investigation on the flame dynamics of meso-combustors." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Heim, Marcus Edwin Allan. "ANALYSIS OF MOS CURRENT MODE LOGIC (MCML) AND IMPLEMENTATION OF MCML STANDARD CELL LIBRARY FOR LOW-NOISE DIGITAL CIRCUIT DESIGN." DigitalCommons@CalPoly, 2015. https://digitalcommons.calpoly.edu/theses/1422.

Full text
Abstract:
MOS current mode logic (MCML) offers low noise digital circuits that reduce noise that can cripple analog components in mixed-signal integrated circuits, when compared to CMOS digital circuits. An MCML standard cell library was developed for the Cadence Virtuoso Integrated Circuit (IC) design software that gives IC designers the ability to design complex, low noise digital circuits for use in mixed-signal and noise sensitive systems at a high level of abstraction, allowing them to get superior products to market faster than competitors. The MCML standard cell library developed and presented he
APA, Harvard, Vancouver, ISO, and other styles
17

Bice, Jonathon Ray. "Experimental investigation of a meso-scale axial flow pump." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Furtado, Gabriela Firpo. "Metodologia determinística para simulação elétrica do impacto de BTI em circuitos MOS." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2017. http://hdl.handle.net/10183/165167.

Full text
Abstract:
Aborda-se, nesse trabalho, o fenômeno de envelhecimento de transistores MOS por bias temperature instability (BTI), relevante fator de degradação da confiabilidade e de redução do tempo de vida de circuitos integrados CMOS. Uma nova modelagem matemática determinística para BTI é introduzida, proporcionando, rapidamente, informação acerca do desvio na tensão de limiar de um transistor em decorrência da ação de BTI. O modelo é, então, implementado em uma ferramenta comercial SPICE, com o intuito de se verificarem, através de simulações transientes, os efeitos de BTI em circuitos CMOS; nesse sent
APA, Harvard, Vancouver, ISO, and other styles
19

Lyaudet, Laurent. "Graphes et hypergraphes : complexités algorithmique et algébrique." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2007. http://tel.archives-ouvertes.fr/tel-00905137.

Full text
Abstract:
Attention, ce résumé comporte un peu d'ironie et d'humour. Dans ce mémoire, nous défendons l'idée selon laquelle, pour tout modèle de calcul raisonnable, ce n'est plus tant le modèle qui compte pour caractériser les classes de complexité importantes que la complexité de la structure combinatoire sous-jacente et en définitive d'un graphe sous-jacent. Pour prendre l'exemple des circuits booléens ou algébriques comme modèles, tout ce qui importe est la complexité du graphe orienté sous-jacent au circuit. Par modèle de calcul raisonnable, nous entendons, comme il se doit, un modèle qui étudié sur
APA, Harvard, Vancouver, ISO, and other styles
20

Wasman, Deanna G. "An investigation of algebraic reasoning of seventh- and eighth-grade students who have studied from the Connected mathematics project curriculum /." free to MU campus, to others for purchase, 2000. http://wwwlib.umi.com/cr/mo/fullcit?p9988711.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Hermosillo, Jesus Manuel. "Acoustic-based localization in wireless sensor networks using MISO Least Squares Estimators." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Jabeur, Kotb. "Ambipolar independent double gate FET (Am -IDGFET) logic design : methods and techniques." Phd thesis, Ecole Centrale de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00777679.

Full text
Abstract:
The continuous growth of global demand for semiconductor products (in a broad range of sectors, such as security, healthcare, entertainment, connectivity, energy, etc.) has been both enabled and fuelled by Moore's law and regular doubling of circuit density and performance increases. However, as CMOS technology scaling begins to reach its theoretical limits, the ITRS predicts a new era known as "Beyond CMOS". Novel materials and devices show an ability to complement or even replace the CMOS transistor or its channel in systems on chip with silicon-based technology. This has led to the identifi
APA, Harvard, Vancouver, ISO, and other styles
23

Marks, Leonie A. "Evaluating alternative farming systems : a fuzzy MADM approach /." free to MU campus, to others for purchase, 1998. http://wwwlib.umi.com/cr/mo/fullcit?p9924905.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Li, Hongzheng. "Design of fast algorithms through matrix manipulation for image processing applications /." free to MU campus, to others for purchase, 1999. http://wwwlib.umi.com/cr/mo/fullcit?p9962538.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Parker, Don James. "A study of the macro to micro process of persuasion for advertising in context towards a meso dominant logic model of consumer behaviour." Thesis, University of South Wales, 2014. https://pure.southwales.ac.uk/en/studentthesis/a-study-of-the-macro-to-micro-process-of-persuasion-for-advertising-in-context-towards-a-meso-dominant-logic-model-of-consumer-behaviour(8a76c8ce-2301-4134-9d8b-489af0136500).html.

Full text
Abstract:
This thesis gains an insight into advertising and integrated marketing communications with an exploration of the relationships between advertisers and consumers at the meso level of interface between the two groups. As an initial investigation into advertising and integrated marketing communications and its relationships to consumers’ behaviour, the inquiry develops by exploring an alternative lineage of interpretive consumer research. The two areas of focus emerging from the literature review are the concepts of manufacturing consent (Herman and Chomsky, 2002) as the macro advertiser/sender l
APA, Harvard, Vancouver, ISO, and other styles
26

Braud, Laurent. "The structure of orders in the pushdown hierarchy." Phd thesis, Université Paris-Est, 2010. http://tel.archives-ouvertes.fr/tel-00587409.

Full text
Abstract:
Cette thèse étudie les structures dont la théorie au second ordremonadique est décidable, et en particulier la hiérarchie à pile. Onpeut définir celle-ci comme la hiérarchie pour $n$ des graphesd'automates à piles imbriquées $n$ fois ; une définition externe, partransformations de graphes, est également disponible. Nous nousintéressons à l'exemple des ordinaux. Nous montrons que les ordinauxplus petits que $epsilon_0$ sont dans la hiérarchie, ainsi que des graphesporteurs de plus d'information, que l'on appelle "graphecouvrants''. Nous montrons ensuite l'inverse : tous les ordinaux de lahiérar
APA, Harvard, Vancouver, ISO, and other styles
27

Zhao, Weisheng. "Conception, evaluation and development of the non-volatile programmable logic circuits using the Magnetic Tunnel Junction (MTJ)." Paris 11, 2008. http://www.theses.fr/2008PA112051.

Full text
Abstract:
Ces 20 dernières années, les circuits logiques programmables se sont développés rapidement, notamment grâce à l’avantage présenté par leur reconfigurabilité, leur facilité d’utilisation et le prix réduit de leur procédé de développement. Cependant, la volatilité intrinsèque de leur technologie de réalisation (CMOS) est à l’origine des inconvénients pour ces circuits, tels que : la perte de données en cas de pannes d’alimentation, la latence longue pour initialiser le système à chaque démarrage et la consommation d’énergie en état veille à cause des courants de fuite. Ce dernier point est deven
APA, Harvard, Vancouver, ISO, and other styles
28

Naveh-Benjamin, Yizchak. "Simulating organizational decision-making using a cognitively realistic agent model /." free to MU campus, to others for purchase, 2004. http://wwwlib.umi.com/cr/mo/fullcit?p1420946.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

卓維信 та Wei-Hsin Cho. "MSK 通訊系統效能分析". 碩士, 中華大學, 1997. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22097CHPI5442035%22.&searchmode=basic.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Marusiak, David. "MOS CURRENT MODE LOGIC (MCML) ANALYSIS FOR QUIET DIGITAL CIRCUITRY AND CREATION OF A STANDARD CELL LIBRARY FOR REDUCING THE DEVELOPMENT TIME OF MIXED-SIGNAL CHIPS." DigitalCommons@CalPoly, 2014. https://digitalcommons.calpoly.edu/theses/1363.

Full text
Abstract:
Many modern digital systems use forms of CMOS logical implementation due to the straight forward design nature of CMOS logic and minimal device area since CMOS uses fewer transistors than other logic families. To achieve high-performance requirements in mixed-signal chip development and quiet, noiseless circuitry, this thesis provides an alternative toCMOSin the form of MOS Current Mode Logic (MCML). MCML dissipates constant current and does not produce noise during value changing in a circuit CMOS circuits do. CMOS logical networks switch during clock ticks and with every device switching, no
APA, Harvard, Vancouver, ISO, and other styles
31

Wood, Diane L. "The influence of abiotic factors on lotic insect communities of submerged rootmats and temporary pools /." free to MU campus, to others for purchase, 1999. http://wwwlib.umi.com/cr/mo/fullcit?p9964013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

BOGGERO, LUCA. "Design techniques to support aircraft systems development in a collaborative MDO environment." Doctoral thesis, Politecnico di Torino, 2018. http://hdl.handle.net/11583/2710702.

Full text
Abstract:
The aircraft design is a complex multidisciplinary and collaborative process. Thousands of disciplinary experts with different design competences are involved within the whole development process. The design disciplines are often in contrast with each other, as their objectives might be not coincident, entailing compromises for the determination of the global optimal solution. Therefore, Multidisciplinary Design and Optimization (MDO) algorithms are being developed to mathematically overcome the divergences among the design disciplines. However, a MDO formulation might identify an optimal solu
APA, Harvard, Vancouver, ISO, and other styles
33

Poucin, Cyprien. "Borane adsorption on MgO nanoparticles for increased catalytic activity in the cycloaddition of CO2 on epoxides." Electronic Thesis or Diss., Sorbonne université, 2023. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2023SORUS142.pdf.

Full text
Abstract:
La capture et la valorisation du dioxyde de carbone sont devenus des défis majeurs pour les décennies à venir. Les technologies de capture sont déjà suffisamment matures pour être mises en œuvre à l'échelle industrielle, mais les technologies de valorisation font encore défaut. Ce travail de thèse se concentre sur le développement de nouveaux catalyseurs pour la valorisation chimique du CO2. L'introduction bibliographique souligne le potentiel des oxydes alcalino-terreux pour la capture et la valorisation du CO2 en raison de leur capacité à former facilement des carbonates, ainsi que le dévelo
APA, Harvard, Vancouver, ISO, and other styles
34

Canal, Bruno. "MCML gate design methodology ante the tradeoffs between MCML and CMOS applications." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/142585.

Full text
Abstract:
Este trabalho propõe uma metodologia de projeto para células digitais MOS Current-Mode Logic (MCML) e faz um estudo da utilização destes circuitos, frente à utilização de células CMOS tradicionais. MCML é um estilo lógico desenvolvido para ser utilizado em circuitos de alta frequência e tem como princípio de funcionamento o direcionamento de uma corrente de polarização através de uma rede diferencial. Na metodologia proposta o dimensionamento inicial da célula lógica é obtido a partir do modelo quadrático de transistores e através de simulações SPICE analisa-se o comportamento da célula e se r
APA, Harvard, Vancouver, ISO, and other styles
35

Nichols, Rebecca Jo. "Biodiversity of aquatic insects in relation to temperate and tropical land use, and the life histories and microhabitat associations of Lotic mayflies /." free to MU campus, to others for purchase, 1996. http://wwwlib.umi.com/cr/mo/fullcit?p9737899.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Tran, Duc Anh. "Architecture hybride tolérante aux fautes pour l'amélioration de la robustesse des circuits et systèmes intégrés numériques." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20132/document.

Full text
Abstract:
L'évolution de la technologie CMOS consiste à la miniaturisation continue de la taille des transistors. Cela permet la réalisation de circuits et systèmes intégrés de plus en plus complexes et plus performants, tout en réduisant leur consommation énergétique, ainsi que leurs coûts de fabrication. Cependant, chaque nouveau noeud technologique CMOS doit faire face aux problèmes de fiabilité, dues aux densités de fautes et d'erreurs croissantes. Par conséquence, les techniques de tolérance aux fautes, qui utilisent des ressources redondantes pour garantir un fonctionnement correct malgré la prése
APA, Harvard, Vancouver, ISO, and other styles
37

Abouzeid, Fady. "Étude d'architecture et circuiterie digitale dans le régime sous le seuil en technologie submicronique." Grenoble INPG, 2010. http://www.theses.fr/2010INPG0144.

Full text
Abstract:
L'alimentation des circuits à très faible tension, permettant une efficacité énergétique multipliée par 10, répond aux contraintes des applications mobiles, au prix d'une variabilité accrue limitant la prédiction des résultats et nécessitant des efforts et méthodologies de conception spécifiques. Cette thèse associe la conception à très faible tension aux exigences industrielles, et présente le développement de cellules digitales optimisées pour la très faible tension, par une méthodologie indépendante de la technologie. Ces cellules, validées par des mesures sur silicium en technologie CMOS 4
APA, Harvard, Vancouver, ISO, and other styles
38

Haque, Francia. "Réactivité de nanoparticules d'oxydes d'orientations définies." Electronic Thesis or Diss., Paris 6, 2015. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2015PA066420.pdf.

Full text
Abstract:
La connaissance d’un système gaz/solide requiert l’analyse de l’adsorption, du premier stade jusqu’à saturation. C’est la motivation de l’analyse des surfaces sous vide. L’approche des surfaces divisées est souvent tronquée. Pratiquée à des pressions suffisamment élevées pour être compatible avec un temps de réaction raisonnable, elle ne permet pas l'analyse de la surface nue à la monocouche. L’objectif du présent travail a été d’établir une continuité d’observation par FTIR, de l’UHV à la pression ambiante, de poudres de MgO, ZnO et ZnxMg1-xO exposées à l’eau ou à l’hydrogène. Il a été montré
APA, Harvard, Vancouver, ISO, and other styles
39

Usai, Giulia. "Conception et Fabrication hybride 3D monolithique de relais NEMS co-integrés CMOS." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAT069.

Full text
Abstract:
Ce travail de thèse porte sur les relais nano électromécaniques (NEMS en anglais). Afin de surmonter la limite d’efficacité énergétique inhérente à la technologie CMOS, l’utilisation de relais NEMS pour des circuits logiques a été récemment proposée. En effet, les bénéfices cumulés d’un courant nul à l’état bloqué et d’une commutation abrupte permettent d’améliorer le compromis puissance-performance lorsque la tension d’alimentation VDD est réduite.Cependant, les relais NEMS sont limités intrinsèquement par leur endurance, leur fréquence de fonctionnement ainsi que par leur faible densité d’in
APA, Harvard, Vancouver, ISO, and other styles
40

Dekhissi, Habri. "Etude des performances des technologies HCMOS 3 et HCMOS 4." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37604368s.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Dandache, Abbas. "Conception de PLA CMOS." Phd thesis, Grenoble 2 : ANRT, 1986. http://catalogue.bnf.fr/ark:/12148/cb37596962j.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Delevoye-Orsier, Elisabeth. "Contribution à la démonstration de faisabilité d'une filière durcie, mixte, sur silicium-sur-isolant." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0043.

Full text
Abstract:
La realisation de circuits complexes, durcis aux effets des rayonnements ionisants, impose le developpement d'une nouvelle technologie, mixte, sur silicium sur isolant reepitaxie, dmill, alliant composants mos et a jonctions et permettant l'integration monolithique de fonctions logiques et analogiques resistantes aux irradiations. Ce memoire presente une analyse approfondie des conditions d'obtention des composants a jonctions, njfet, pjfet et transistors bipolaires verticaux npn et pnp, prenant en compte l'ensemble des contraintes technologiques induites par les methodes de durcissement et pa
APA, Harvard, Vancouver, ISO, and other styles
43

Deng, Erya. "Conception et développement de circuits logiques de faible consommation et fiables basés sur des jonctions tunnel magnétiques à écriture par transfert de spin." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT012/document.

Full text
Abstract:
Avec la diminution du nœud de la technologie CMOS, la puissance statique et dynamique augmente spectaculairement. It est devenu l'un des principaux problèmes en raison de l'augmentation du courant de fuite et de la longue distance entre les mémoires et les circuits logiques. Au cours des dernières décennies, les dispositifs de spintronique, tels que la jonction tunnel magnétique (JTM) écrit par transfert de spin, sont largement étudiés pour résoudre le problème de la puissance statique grâce à leur non-volatilité. L'architecture logic-in-memory (LIM) hybride permet de fabriquer les dispositifs
APA, Harvard, Vancouver, ISO, and other styles
44

Le, Pelleter Tugdual. "Méthode de discrétisation adaptée à une logique événementielle pour l'utra-faible consommation : application à la reconnaissance de signaux physiologiques." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAT043/document.

Full text
Abstract:
Les systèmes embarqués mobiles font partis intégrante de notre quotidien. Afin de les rendre plus adaptésaux usages, ils ont été miniaturisés et leur autonomie a été augmentée, parfois de façon très considérable.Toutefois, les propositions d’amélioration butent désormais sur les possibilités de la technologie des circuitsintégrés. Pour aller plus loin, il faut donc envisager de repenser la chaîne de traitement du signal afin deréduire la consommation de ces dispositifs. Cette thèse développe une approche originale pour exploiterefficacement l’échantillonnage par traversée de niveaux d’une part
APA, Harvard, Vancouver, ISO, and other styles
45

Bertrand, François. "Conception descendante appliquée aux microprocesseurs VLSI." Phd thesis, Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00316026.

Full text
Abstract:
Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS
APA, Harvard, Vancouver, ISO, and other styles
46

O'Dorchai, Sile Padraigin. "Family, work and welfare states in Europe: women's juggling with multiple roles :a series of empirical essays." Doctoral thesis, Universite Libre de Bruxelles, 2007. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210592.

Full text
Abstract:
The general focus of this thesis is on how the family, work and the welfare system are intertwined. A major determinant is the way responsibilities are shared by the state, the market and civil society in different welfare state regimes. An introductory chapter will therefore be dedicated to the development of the social dimension in the process of European integration. A first chapter will then go deeper into the comparative analysis of welfare state regimes, to comment on the provision of welfare in societies with a different mix of state, market and societal welfare roles and to assess the
APA, Harvard, Vancouver, ISO, and other styles
47

Märcker, Steffen. "Charakterisierung erkennbarer Baumreihen über starken Bimonoiden durch gewichtete MSO-Logik." 2010. https://ul.qucosa.de/id/qucosa%3A16489.

Full text
Abstract:
Endliche Wortautomaten ermöglichen es, reguläre Wortsprachen sowohl zu erkennen als auch zu erzeugen. Julius Richard Büchi gelang es, diese erkennbaren Wortsprachen mithilfe der monadischen Logik zweiter Stufe, kurz MSO, zu charakterisieren [7, 19]. Dieses Ergebnis wurde dann auf erkennbare Baumsprachen, das heißt Mengen von geordneten Bäumen, die durch einenAufwärtsbaumautomaten erkannt werden, erweitert [11, 28]. Anstelle der <-Relation auf den Positionen eines Wortes tritt dabei die Kindrelation edgei(x; y) für die Positionen eines Baumes. Die erkennbaren Wort- und Baumsprachen haben breite
APA, Harvard, Vancouver, ISO, and other styles
48

Götze, Doreen. "Weighted Unranked Tree Automata over Tree Valuation Monoids." Doctoral thesis, 2016. https://ul.qucosa.de/id/qucosa%3A15442.

Full text
Abstract:
Quantitative aspects of systems, like the maximal consumption of resources, can be modeled by weighted automata. The usual approach is to weight transitions with elements of a semiring and to define the behavior of the weighted automaton by mul- tiplying the transition weights along a run. In this thesis, we define and investigate a new class of weighted automata over unranked trees which are defined over valuation monoids. By turning to valuation monoids we use a more general cost model: the weight of a run is now determined by a global valuation function. Besides the binary cost functions im
APA, Harvard, Vancouver, ISO, and other styles
49

Wang, Chi-Shong, and 王啟雄. "A MSG-BASED DESIGN FLOW AUGMENTING LOGIC-PHYSICAL CO-SYNTHESIS." Thesis, 2006. http://ndltd.ncl.edu.tw/handle/51998420682943968190.

Full text
Abstract:
博士<br>國立中正大學<br>電機工程所<br>94<br>Traditionally, in order to simplify the highly complex design flow of VLSI chip, EDA tools often separated the flow of chip design into distinctive stages, such as high level synthesis, logic synthesis, and physical design, etc. However, those mutually un-related phases of design are increasingly incapable to handle the much complicated problems encountered in the deep submicron SOC era, in which the dominant factor affecting performance of the chip is mainly on the wire delays instead of the gate delays. As a result, a new design paradigm that simultaneously con
APA, Harvard, Vancouver, ISO, and other styles
50

Lou, Shao-Wei, and 樓紹緯. "Effect of alumina content on the liquid properties and foaming life of FeO-2.5CaO/SiO2-xAl2O3-MgO-MnO slag system." Thesis, 2019. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22107NCHU5159035%22.&searchmode=basic.

Full text
Abstract:
碩士<br>國立中興大學<br>材料科學與工程學系所<br>107<br>In this study, the carbon was replaced by scrap aluminum except for the foaming process, and then the manipulation was improved to reduce CO2 emission. The effects of different contents of Al2O3 (5.1-18.3wt. %) and FeO (30.2-11.4wt. %) in the slag system of 2.5(CaO/SiO2)-5MgO-5MnO-xAl2O3-FeO on the high temperature characteristics were investigated. After confirming the composition of each slag by XRF and FeO chemical wet titration, each high temperature property of oxygen slag was tested. The fluidity and melting process of the molten slag were analyzed by
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'MSO logic' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography