Log in

Relevant bibliographies by topics / Logical solutions / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Logical solutions.

Dissertations / Theses on the topic 'Logical solutions'

Author: Grafiati

Published: 30 May 2022

Last updated: 31 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 'Logical solutions.'

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

Kazakov, Mikhaïl. "A Methodology of semi-automated software integration : an approach based on logical inference. Application to numerical simulation solutions of Open CASCADE." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0001.

Full text

Abstract:

Application integration is a process of bringing of data or functionality from one program together with that from another application programs that were not initially created to work together. Recently, the integration of numerical simulation solvers gained the importance. Integration within this domain has high complexity due to the presence of non-standard application interfaces that exchange complex, diverse and often ambiguous data. Nowadays, the integration is done mostly manually. Difficulties of the manual process force to increase the level of automation of the integration process. Th

APA, Harvard, Vancouver, ISO, and other styles

2

Yehorova, Victoria, та Вікторія Олександрівна Єгорова. "The world's main manufacturers of programmable logic сontrollers. Overview". Thesis, National Aviation University, 2021. https://er.nau.edu.ua/handle/NAU/50749.

Full text

Abstract:

1. Top Five Vendors in the PLC Market [Electronic resource]. – Mode of access: https://www.spendedge.com/blogs/top-five-vendors-plc-market. 2. Technavio Announces Top Five Vendors in the Global Micro PLC Market from 2016 to 2020 [Electronic resource]. – Mode of access: https://www.businesswire.com/news/home/20160502005493/en/Technavio-Announces-Top-Five-Vendors-in-the-Global-Micro-PLC-Market-from-2016-to-2020. 3. PLC – Programmable Logic Controllers [Electronic resource]. – Mode of access: https://www.deltaww.com/en-US/products/PLCProgrammableLogicControllers/ALL/. 4. FOTEK CONTROLS CO., L

APA, Harvard, Vancouver, ISO, and other styles

3

Comon-Lundh, Hubert. "Unification et disunification : théorie et applications." Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00331263.

Full text

Abstract:

Les règles de transformation des problèmes equationnels sont donnes permettant, en particulier, de décider de l'existence d'une solution fermée. Comme première application, il est montre comment calculer une grammaire pour le langage des termes fermes irréductibles par un système de réécriture. D'autres applications et extensions sont ensuite envisagées. En particulier, en programmation logique et dans les spécifications algébriques

APA, Harvard, Vancouver, ISO, and other styles

4

Sempolinski, Peter. "Automatic Solutions of Logic Puzzles." Thesis, Boston College, 2009. http://hdl.handle.net/2345/690.

Full text

Abstract:

Thesis advisor: Howard Straubing<br>The use of computer programs to automatically solve logic puzzles is examined in this work. A typical example of this type of logic puzzle is one in which there are five people, with five different occupations and five different color houses. The task is to use various clues to determine which occupation and which color belongs to each person. The clues to this type of puzzle often are statements such as, ''John is not the barber,'' or ''Joe lives in the blue house.'' These puzzles range widely in complexity with varying numbers of objects to identify and va

APA, Harvard, Vancouver, ISO, and other styles

5

CAUSAPRUNO, GIOVANNI. "Architectural Solutions for NanoMagnet Logic." Doctoral thesis, Politecnico di Torino, 2016. http://hdl.handle.net/11583/2643285.

Full text

Abstract:

The successful era of CMOS technology is coming to an end. The limit on minimum fabrication dimensions of transistors and the increasing leakage power hinder the technological scaling that has characterized the last decades. In several different ways, this problem has been addressed changing the architectures implemented in CMOS, adopting parallel processors and thus increasing the throughput at the same operating frequency. However, architectural alternatives cannot be the definitive answer to a continuous increase in performance dictated by Moore’s law. This problem must be addressed from a

APA, Harvard, Vancouver, ISO, and other styles

6

Sandberg, Robert. "Corporate consulting for customer solutions : bridging diverging business logics." Doctoral thesis, Stockholm : Economic Research Institute, Stockholm School of Economics [Ekonomiska forskningsinstitutet vid Handelshögsk.] (EFI), 2003. http://www.hhs.se/efi/summary/617.htm.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Nourtier-Mazauric, Elise. "Modélisation géochimique et numérique des interactions entre des solutions solides et une solution aqueuse. Extension du logiciel de réaction-transport Archimède et application à la diagenèse des réservoirs." Saint-Etienne, EMSE, 2003. http://tel.archives-ouvertes.fr/tel-00088991.

Full text

Abstract:

Cette thèse présente un modèle thermodynamique et cinétique des interactions entre un fluide et des solutions solides idéales à plusieurs pôles. La réaction entre une solution solide et la solution aqueuse résulte de la compétition entre la dissolution stoechiométrique de la solution solide initiale et la coprécipitation de la solution solide la moins soluble dans le fluide à l'instant considéré. Ce modèle a été intégré au logiciel de transport réactif en milieu poreux archimède, puis appliqué à divers exemples. Dans le cas de solutions solides binaires, une méthode graphique a permis de déter

APA, Harvard, Vancouver, ISO, and other styles

8

Tournier, Évelyne. "Solutions formelles d'équations différentielles : le logiciel de calcul formel DESIR : étude théorique et réalisation." Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00323706.

Full text

Abstract:

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux dif

APA, Harvard, Vancouver, ISO, and other styles

9

Nourtier-Mazauric, Elise. "Modélisation géochimique et numérique des interactions entre des solutions solides et une solution aqueuse. Extension du logiciel de réaction-transport Archimède et application à la diagénèse minérale des réservoirs." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2003. http://tel.archives-ouvertes.fr/tel-00088991.

Full text

Abstract:

Cette thèse présente un modèle thermodynamique et cinétique des interactions entre un fluide et des solutions solides idéales à plusieurs pôles. La réaction entre une solution solide et la solution aqueuse résulte de la compétition entre la dissolution stoechiométrique de la solution solide initiale et la coprécipitation de la solution solide la moins soluble dans le fluide à l'instant considéré.<br />Ce modèle a été intégré au logiciel de transport réactif en milieu poreux ARCHIMEDE, puis appliqué à divers exemples. Dans le cas de solutions solides binaires, une méthode graphique a permis de

APA, Harvard, Vancouver, ISO, and other styles

10

Tournier, Évelyne. "Solutions formelles d'équations différentielles le logiciel de calcul formel DESIR : étude théorique et réalisation /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37610358q.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ellia, Francesco <1990&gt. "Integrated Information Theory: an Empirically Testable Solution to the Mind-Body Problem." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amsdottorato.unibo.it/9977/1/Francesco%20Ellia%20-%20IIT%20an%20empirically%20testable%20solution%20to%20the%20mind%20body%20problem.pdf.

Full text

Abstract:

The purpose of this dissertation is to show that consciousness can be studied scientifically and to illustrate a possible way to do it. In particular, I aim to show how Integrated Information Theory (IIT) can provide an empirically testable solution to the mind-body problem. In the first chapter, I introduce the mind-body problem, as the general problem of how mind and matter are related, and the hard problem, as the more specific problem of explaining how consciousness arises from matter. I then proceed to illustrate the terminology and work definitions that I will employ throughout the entir

APA, Harvard, Vancouver, ISO, and other styles

12

Oyamada, Marcio Seiji. "Estimation de performance du logiciel en systèmes multiprocesseur monopuces." Grenoble INPG, 2007. https://tel.archives-ouvertes.fr/tel-00195230.

Full text

Abstract:

Actuellement, la complexité des systèmes embarqués nécessite des nouvelles méthodologies de développement. Des méthodologies au niveau système sont proposées pour traiter la complexité, utilisant comme point de départ des descriptions de plus haut niveau qui au niveau transfert de registre (register transfer level - RTL). Les outils d’estimation de performance sont une importante partie des méthodologies au niveau système, parce qu’ils aident dans les décisions de projet dans les étapes initiales. Cette thèse propose des méthodes d’estimation de performance intégrées dans le flot de conception

APA, Harvard, Vancouver, ISO, and other styles

13

Wendt, Charles G. "Multiple-valued programmable logic array minimization by solution space search." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA278033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Fioraldi, Andrea. "Fuzzing in the 2020s : novel approaches and solutions." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS546.

Full text

Abstract:

Malgré les efforts considérables mis en œuvres en matière de fuzzing, la sécurité des logiciels informatiques reste menacée par des vulnérabilités insaisissables. Les coverage-guided fuzzers, qui se concentrent uniquement sur la couverture de code, ne parviennent généralement pas à découvrir des vulnérabilités spécifiques. La multiplication de divers outils de fuzzing a grandement divisé la communauté et a rendu difficile la combinaison de différentes techniques de fuzzing, l'évaluation précise des contributions et la comparaison efficace des différents outils. Pour remédier à cette situation,

APA, Harvard, Vancouver, ISO, and other styles

15

Hallgren, Anton. "Post's problem in recursion theory and its solution." Thesis, Uppsala universitet, Algebra och geometri, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-388615.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Macherel, Luc. "Modélisation de la chromatographie liquide non-linéaire : application à l'optimisation de la séparation préparative d'un mélange binaire." Lyon 1, 1991. http://www.theses.fr/1991LYO10219.

Full text

Abstract:

Afin d'etudier de maniere systematique l'influence des conditions d'injection sur les criteres de recuperation (quantite recuperee, rendement et purete) en chromatographie liquide preparative, nous avons developpe un programme, craigsim, permettant la modelisation des profils de pics dans des conditions de surcharge. L'utilisation de ce programme a permis de confirmer l'existence de conditions optimales d'injection pour lesquelles la quantite recuperee est maximale et de mettre en evidence les phenomenes regissant l'optimum. Ces conditions d'injection optimales varient avec l'efficacite de la

APA, Harvard, Vancouver, ISO, and other styles

17

Mkrtchyan, Lusine. "Alternative solutions to traditional approaches to risk analysis and decision making using fuzzy logic." Thesis, IMT Alti Studi Lucca, 2010. http://e-theses.imtlucca.it/29/1/Mkrtchyan_phdthesis.pdf.

Full text

Abstract:

Fuzzy set theory (FST) and Fuzzy logic (FL) are one of the main components of soft computing which is a collection of techniques to handle hard problems in which the application of traditional approaches fails. The father of FST and FL stated that the dominant aim of SC is to exploit the tolerance for imprecision and uncertainty to achieve tractability, robustness, and low solution cost. Since its establishment the theory of fuzzy sets and fuzzy logic became very popular and received much attention especially during the last decade being applied in many different fields. The wide use of fuzzy

APA, Harvard, Vancouver, ISO, and other styles

18

Kwan, Alvin Chi Ming. "A framework for mapping constraint satisfaction problems to solution methods." Thesis, University of Essex, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.339436.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Muench, Marius. "Dynamic binary firmware analysis : challenges & solutions." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS265.

Full text

Abstract:

Les systèmes embarqués sont un élément clé de la vie moderne. Par conséquent, le code fonctionnant sur ces systèmes, appelé "firmware", doit être soigneusement évalué et testé. L'analyse dynamique est un moyen courant d'évaluer la sécurité des firmwares, en particulier en l'absence de code source. Malheureusement, comparée à l'analyse et aux tests sur les ordinateurs de bureau, l'analyse dynamique des firmwares reste à la traîne. Dans cette thèse, nous identifions les principaux défis empêchant l’analyse dynamique et les techniques de test d’exploiter pleinement leur potentiel sur les firmware

APA, Harvard, Vancouver, ISO, and other styles

20

Tian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.

Full text

Abstract:

In this thesis, a comprehensive formalization of Milner's Calculus of Communicating Systems (also known as CCS) has been done in HOL theorem prover (HOL4), based on an old work in HOL88. This includes all classical properties of strong/weak bisimulation equivalences and observation congruence, a theory of congruence for CCS, various versions of ``bisimulation up to'' techniques, and several deep theorems, namely the ``coarsest congruence contained in weak equivalence'', and three versions of the ``unique solution of equations'' theorem in Milner's book. This work is further extended to supp

APA, Harvard, Vancouver, ISO, and other styles

21

Hutter, Jonas, and Mehnaz Mashayeke. "A dynamic decision model and a system logic evaluation for Sandvik Machining Solutions distribution flows." Thesis, Linköpings universitet, Kommunikations- och transportsystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-110571.

Full text

Abstract:

The aim of this thesis is partly to create a dynamic decision model for Sandvik Machining Solutions distribution flows and partly to evaluate how the stock transfer system logic handle four specific exceptional situations. The purpose is to reduce the total costs while keeping or improving the service level. The thesis presents a total cost model and guidelines for the planning function when deciding the main supplier in the distribution. The thesis also presents a system logic evaluation of the stock transfer logic used by Sandvik Machining Solutions.

APA, Harvard, Vancouver, ISO, and other styles

22

AlGhamdi, Ahmed S. "Analysis and solutions of congestion of vehicles using DTCA, FUZZY logic, and ITS on highways." Thesis, Curtin University, 2013. http://hdl.handle.net/20.500.11937/1451.

Full text

Abstract:

Dynamic Traffic Cellular Automata (DTCA) method has been used to develop a mathematical model of vehicular traffic flow based on acceleration, velocity and position. This model is extended to investigate human driver behavior using Fuzzy Logic algorithms including; asymmetric auto driving, symmetric auto driving, and the driver behavior using ITS. Congestions have been created and solutions are offered thus leading to a better understanding traffic flow, aggregate fuel consumption, and emissions caused by clusters of vehicles. In simulation, ITS is used to provide inter-vehicular information l

APA, Harvard, Vancouver, ISO, and other styles

23

Windler, Katharina. "The development, deployment, and redeployment of business solutions - a systematic review." Thesis, Cranfield University, 2012. http://dspace.lib.cranfield.ac.uk/handle/1826/7882.

Full text

Abstract:

Offering business solutions instead of selling products has been identified by many firms as a strategy to fight against price pressure through commoditisation, to strengthen relationships with customers, and to increase ‘share of wallet’. Yet, three out of four companies selling business solutions fail to see a sustainable economic impact (Johansson et al., 2003). One approach to understanding how business solution suppliers could change this situation is to develop an understanding of the life cycle of business solutions, from idea generation to redeployment. This systematic review examines

APA, Harvard, Vancouver, ISO, and other styles

24

Gauss, Veronica A. "A fuzzy logic solution for navigation of the Subsurface Explorer planetary exploration robot." Thesis, This resource online, 1997. http://scholar.lib.vt.edu/theses/available/etd-08222008-063102/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Vonglao, Paothai. "The solution of traffic signal timing by using traffic intensity estimation and fuzzy logic." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2007. https://ro.ecu.edu.au/theses/50.

Full text

Abstract:

This study aims at calculating the traffic signal timing that suits traffic intensity at intersections studied in the inner city of Ubon Rachathani Provice, Thailand. The mixed models between maximum likelihood estimation and Bayesian inference are presented to estimate traffic intensity. A queuing system is used to generate the performance of traffic flow. A fuzzy logic system is applied to calculate the optimal length of each phase of the cycle. The fortran language is used to produce the computer program for computation. The algorithm of the computer programming is based on EM algorithm, Ma

APA, Harvard, Vancouver, ISO, and other styles

26

Vonglao, Paothai. "The solution of traffic signal timing by using traffic intensity estimation and fuzzy logic." Connect to thesis, 2007. http://portal.ecu.edu.au/adt-public/adt-ECU2007.0035.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Verran, Ginny Britt. "The application of value co-creation in advancing solutions to sustainable consumption." Diss., University of Pretoria, 2010. http://hdl.handle.net/2263/26575.

Full text

Abstract:

The environmental sustainability challenges faced by society represent a discontinuity that requires new systemic ways of thinking and approaching problems. For business and consumers this entails finding new ways of creating value. In this respect, this study argues that an important source of value lies in efficient service co-creation between business and consumers in the consumption process. To this end, this study set out to explore the potential of business-to-consumer co-creation to advance solutions to sustainable consumption in the grocery retail setting. Exploratory qualitative resea

APA, Harvard, Vancouver, ISO, and other styles

28

Bumba, Tresor Mosigo. "A multi-criteria selection of water treatment solutions for rural African villages : a case study of Makwane Village." Diss., University of Pretoria, 2016. http://hdl.handle.net/2263/61285.

Full text

Abstract:

The availability of water can be considered as one of the key ingredients to the human life, yet this resource remains scarcely available to those living in the rural parts of Africa. When water does present itself, it is often impure and requires extensive treatment. Water treatment systems, particularly those capable of treating water in rural areas, are currently areas of research and entrepreneurship focus, making a number of potential solutions available, and other still coming in. Unfortunately, these systems are not always capable of performing in particular socio-cultural and economic

APA, Harvard, Vancouver, ISO, and other styles

29

Mohammad, Azhar. "EMERGING COMPUTING BASED NOVEL SOLUTIONS FOR DESIGN OF LOW POWER CIRCUITS." UKnowledge, 2018. https://uknowledge.uky.edu/ece_etds/125.

Full text

Abstract:

The growing applications for IoT devices have caused an increase in the study of low power consuming circuit design to meet the requirement of devices to operate for various months without external power supply. Scaling down the conventional CMOS causes various complications to design due to CMOS properties, therefore various non-conventional CMOS design techniques are being proposed that overcome the limitations. This thesis focuses on some of those emerging and novel low power design technique namely Adiabatic logic and low power devices like Magnetic Tunnel Junction (MTJ) and Carbon Nanotub

APA, Harvard, Vancouver, ISO, and other styles

30

Dalglish, Steven Jack William. "Accepting Defeat: A Solution to Semantic Paradox with Defeasible Principles for Truth." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1597757494987204.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Lewon, Ivan. "Simulation par éléments finis du comportement mécanique d'un échangeur à plaques : conception et validation d'un logiciel métier." Nancy 1, 2000. http://www.theses.fr/2000NAN10134.

Full text

Abstract:

Le premier chapitre introduit la technologie des échangeurs à plaques en aluminium brase et leurs éléments constitutifs. Il fait le point sur les besoins en calculs et les outils actuellement utilisés et situe le contexte des travaux : la complexité et l'hétérogénéité des structures constitutives explique la faible diffusion de la simulation par éléments finis dans ce domaine. La seconde partie détaille les fondements théoriques du logiciel, en exposant le juste nécessaire à la compréhension des liens entre les différents concepts physiques et à la mise en application au travers de la réalisat

APA, Harvard, Vancouver, ISO, and other styles

32

Ho, Philip. "Investigation of Solution Space of Trees and DAGs for Realization of Combinational Logic in AT 6000 series FPGAs." PDXScholar, 1993. https://pdxscholar.library.pdx.edu/open_access_etds/4586.

Full text

Abstract:

Various tree and Directed Acyclic Graph structures have been used for representation and manipulation of switching functions. Among these structures the Binary Decision DiagramJilave been the most widely used in logic synthesis. A BDD is a binary tree graph that represents the recursive execution of Shannon's expansion. A FDD is a directed function graph that represents the recursive execution of Reed Muller expansion. A family of decision diagrams for representation of Boolean function is introduced in this thesis. This family of Kronecker Functional Decision Diagrams (KFDD) includes the Bina

APA, Harvard, Vancouver, ISO, and other styles

33

Ghazali, Abu Baker Mhd. "Advanced controllers for building energy management systems : advanced controllers based on traditional mathematical methods (MIMO P+I, state-space, adaptive solutions with constraints) and intelligent solutions (fuzzy logic and genetic algorithms) are investigated for humidifying, ventilating and air-conditioning applications." Thesis, University of Bradford, 1996. http://hdl.handle.net/10454/4197.

Full text

Abstract:

This thesis presents the design and implementation of control strategies for building energy management systems (BEMS). The controllers considered include the multi PI-loop controllers, state-space designs, constrained input and output MIMO adaptive controllers, fuzzy logic solutions and genetic algorithm techniques. The control performances of the designs developed using the various methods based on aspects such as regulation errors squared, energy consumptions and the settling periods are investigated for different designs. The aim of the control strategy is to regulate the room temperature

APA, Harvard, Vancouver, ISO, and other styles

34

Sadi, Muhammad Sheikh. "Towards minimizing the risks of soft errors at the design level of embedded systems." Thesis, Curtin University, 2009. http://hdl.handle.net/20.500.11937/1300.

Full text

Abstract:

The risks of soft errors increase with system complexity, reduction in operational voltages, exponential growth in transistors per chip, increases in clock frequencies and device shrinking. Research into techniques to cope with soft errors has mostly focused on post-design phases such as circuit level solutions, logic level solutions, spatial redundancy, temporal redundancy, and/or error correction codes. Clearly, though, it would be better to tackle the issue early in the design process. A novel method is outlined in this research for assigning a criticality ranking to the components in a des

APA, Harvard, Vancouver, ISO, and other styles

35

Louis, Christophe. "La protection des logiciels : une solution pour ordinateurs personnels utilisant la carte a micro-calculateur." Paris 6, 1988. http://www.theses.fr/1988PA066373.

Full text

Abstract:

Deux solutions de protection utilisant la carte a microcalculateur ont ete etudiees. L'une est une protection d'acces a la machine. La deuxieme protege le logiciel en chiffrant une partie de ses instructions. Ces solutions ont ete validees par deux maquettes associant du materiel et du logiciel afin de proteger des attaques des utilitaires pour ibm pc

APA, Harvard, Vancouver, ISO, and other styles

36

Ghazali, Abu Baker MHD. "Advanced controllers for building energy management systems. Advanced controllers based on traditional mathematical methods (MIMO P+I, state-space, adaptive solutions with constraints) and intelligent solutions (fuzzy logic and genetic algorithms) are investigated for humidifying, ventilating and air-conditioning applications." Thesis, University of Bradford, 1996. http://hdl.handle.net/10454/4197.

Full text

Abstract:

This thesis presents the design and implementation of control strategies for building energy management systems (BEMS). The controllers considered include the multi PI-loop controllers, state-space designs, constrained input and output MIMO adaptive controllers, fuzzy logic solutions and genetic algorithm techniques. The control performances of the designs developed using the various methods based on aspects such as regulation errors squared, energy consumptions and the settling periods are investigated for different designs. The aim of the control strategy is to regulate the room temper

APA, Harvard, Vancouver, ISO, and other styles

37

ULPIANI, GIULIA. "Towards energy efficient, comfortable and climate resilient built environment: Development and application of smart, optimized and mitigation-oriented solutions." Doctoral thesis, Università Politecnica delle Marche, 2018. http://hdl.handle.net/11566/252561.

Full text

Abstract:

Questa tesi riporta una serie di attività di ricerca che indagano, sotto diversi aspetti spaziali e temporali, i temi di efficienza energetica, comfort e resilienza al cambiamento climatico relativi al settore edilizio. Il primo macroblocco tematico è incentrato sul design di logiche di controllo ottimizzate a servizio di svariati componenti edilizi, nella fattispecie: radiatori elettrici (logiche on-off, PID e fuzzy), finestre (algoritmi di comfort adattivi basati su qualità dell’aria e comfort termico), serre solari (ventilazione meccanica controllata a logica termoigrometrica) e ventilconve

APA, Harvard, Vancouver, ISO, and other styles

38

Groppfeldt, Philip, and Oscar Frisk. "Säljares personliga egenskaper vid tjänstefiering : Behovet av förtroende och relationer." Thesis, Linköpings universitet, Företagsekonomi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-134912.

Full text

Abstract:

Bakgrund/problem: Produktföretag skapar nya erbjudanden utformade som tjänster och helhetslösningar. Företaget säljer paket inkluderande produkten samt tillhörande. Kärnverksamheten utvidgas. Kräver dessa lösningar en annan typ av säljare än den som idag är dominant på tillverkande företag? Syfte: Med denna uppsats vill vi finna ifall dagens säljare ser att det finns vissa personliga egenskaper som är anses vara mer gynnsamma än andra vid försäljning av dessa helhetslösningar. Metod: Det är en komparativ flerfallsstudie med en kvalitativ forskningsansats. Med hjälp av sex stycken semistrukture

APA, Harvard, Vancouver, ISO, and other styles

39

Birle, Stephan J. [Verfasser], Thomas [Akademischer Betreuer] Becker, Hermann [Gutachter] Nirschl, and Thomas [Gutachter] Becker. "Fuzzy logic based solutions for the management of uncertainty-biased process control of fermentative systems / Stephan J. Birle ; Gutachter: Hermann Nirschl, Thomas Becker ; Betreuer: Thomas Becker." München : Universitätsbibliothek der TU München, 2017. http://d-nb.info/1150852038/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Birle, Stephan J. Verfasser], Thomas [Akademischer Betreuer] [Becker, Hermann [Gutachter] Nirschl, and Thomas [Gutachter] Becker. "Fuzzy logic based solutions for the management of uncertainty-biased process control of fermentative systems / Stephan J. Birle ; Gutachter: Hermann Nirschl, Thomas Becker ; Betreuer: Thomas Becker." München : Universitätsbibliothek der TU München, 2017. http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20171127-1327234-1-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Enlund, Elin, and Jennie Nilsson. "Sustainable Decision-Making in the Fashion Industry : How to influence the fashion industry to adopt more sustainable packaging solutions." Thesis, KTH, Industriell ekonomi och organisation (Inst.), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-296518.

Full text

Abstract:

Today, the fashion industry is responsible for 4 per cent of the global greenhouse gas emissions in the atmosphere and 20-35 per cent of the microplastics in the ocean. It is thereby a highly debated industry when it comes to environmental sustainability. Different actors in the sector are stressing how reducing the ecological impact of the business is a matter of staying competitive forward. Many actors in the industry are trying to change towards reducing its effects on the environment. Still, complex global supply chains and business models such as ‘fast fashion’, i.e. fashion produced unde

APA, Harvard, Vancouver, ISO, and other styles

42

Hašková, Simona. "Managerial calculations from the viewpoint of logic, analysis microeconomics and other theoretical disciplines." Doctoral thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-200217.

Full text

Abstract:

It is no secret that 'managerial' solutions are not, on average, nearly as reliable as 'technical' solutions. The focus of this work is to clarify the reasons why this is so, and to seek ways to increase the reliability of managerial solutions. The causes of this situation are both subjective (human factor failure), which can be influenced, and objective (complexity of the problem, the specifics of human behaviour, etc.) that can be only minimally influenced. Significant subjective causes at work were identified as: a. cognitive distortions at the mental level of thinking of the problem solver

APA, Harvard, Vancouver, ISO, and other styles

43

Gaber, Tarek. "Support consumers' rights in DRM : a secure and fair solution to digital license reselling over the Internet." Thesis, University of Manchester, 2012. https://www.research.manchester.ac.uk/portal/en/theses/support-consumers-rights-in-drm-a-secure-and-fair-solution-to-digital-license-reselling-over-the-internet(6b653587-36d3-4074-8578-5eaacdb68004).html.

Full text

Abstract:

Consumers of digital contents are empowered with numerous technologies allowing them to produce perfect copies of these contents and distribute them around the world with little or no cost. To prevent illegal copying and distribution, a technology called Digital Rights Management (DRM) is developed. With this technology, consumers are allowed to access digital contents only if they have purchased the corresponding licenses from license issuers. The problem, however, is that those consumers are not allowed to resell their own licenses- a restriction that goes against the first-sale doctrine. En

APA, Harvard, Vancouver, ISO, and other styles

44

Tabanjat, Abdulkader. "Modélisation, commande et supervision d'un système multi-sources connecté au réseau avec stockage tampon de l'énergie électrique via le vecteur hydrogène." Thesis, Belfort-Montbéliard, 2015. http://www.theses.fr/2015BELF0266/document.

Full text

Abstract:

Les réserves limitées de combustibles fossiles et la pollution entrainée par les gaz produits ouvrent la voie à desressources énergétiques renouvelables (RER) alternatives et prometteuses telles que les ressources solaires (RS)et les ressources éoliennes (RE). Ces ressources sont librement disponibles et respectueuses de l'environnement.Cependant, les RER sont de nature intermittente. Par conséquent, il existe un besoin de lissage des fluctuations depuissance en stockant l'énergie pendant les périodes de surproduction pour la restituer au réseau lorsque lademande énergétique devient importante

APA, Harvard, Vancouver, ISO, and other styles

45

Dinh, Quang-Thang. "Apprentissage statistique relationnel : apprentissage de structures de réseaux de Markov logiques." Phd thesis, Université d'Orléans, 2011. http://tel.archives-ouvertes.fr/tel-00659738.

Full text

Abstract:

Un réseau logique de Markov est formé de clauses en logique du premier ordre auxquelles sont associés des poids. Cette thèse propose plusieurs méthodes pour l'apprentissage de la structure de réseaux logiques de Markov (MLN) à partir de données relationnelles. Ces méthodes sont de deux types, un premier groupe reposant sur les techniques de propositionnalisation et un second groupe reposant sur la notion de Graphe des Prédicats. L'idée sous-jacente aux méthodes à base de propositionnalisation consiste à construire un jeu de clauses candidates à partir de jeux de littéraux dépendants. Pour trou

APA, Harvard, Vancouver, ISO, and other styles

46

He, Zhou. "Performance optimization of a class of deterministic timed Petri nets : weighted marked graphs." Thesis, Aix-Marseille, 2017. http://www.theses.fr/2017AIXM0166/document.

Full text

Abstract:

Au cours des dernières décennies, la complexité croissante des systèmes de production et de leur commande a rendu crucial le besoin d’utiliser les méthodes formelles pour faire face aux problèmes relatifs au contrôle, à la fiabilité, au diagnostic des fautes et à l’utilisation optimale des ressources dans les installations de production. Cela concerne en particulier les systèmes automatisés de production (SAP), caractérisés par des cycles technologiques complexes qui doivent s’adapter à des conditions changeantes. Les SAP modernes sont des sous-systèmes interconnectés tels que des machines à c

APA, Harvard, Vancouver, ISO, and other styles

47

Berrebi, Johanna. "Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00800141.

Full text

Abstract:

Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs

APA, Harvard, Vancouver, ISO, and other styles

48

Yang, Yu-Shen. "Automated Software Solutions to Logic Restructuring and Silicon Debug." Thesis, 2010. http://hdl.handle.net/1807/26264.

Full text

Abstract:

With the growing size of modern integrated circuit designs, automated design tools have taken an important role in the development ﬂow. Through the use of these tools, designers can develop circuits in a robust and systematic manner. However, due to the high complexity of the designs and strict resource constraints, it is inevitable that mistakes will be made during the design process. Today, a significant amount of development time is dedicated to pre- and post-silicon verification and debug, which can increase the production cost and jeopardize the future growth of the industry. Hence, there

APA, Harvard, Vancouver, ISO, and other styles

49

Yasasvi, Raghavendra G. P. "Towards Logic Circuit Applications Using Solution Processed CNTs." Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5271.

Full text

Abstract:

With Silicon transistor technology reaching its practical limits, e orts to replace Si with new materials with better electronic transport properties have gained considerable at- tention. Single-walled carbon nanotubes (CNTs) are one of the promising materials for transistors operating beyond 10 nm node technology because of their excellent electronic, thermal and optical properties. There have been many reports on CNTs for various ap- plications including logic circuits, sensors etc. However, field effect transistors (FET) made of CNTs generally exhibit p-type behaviour. In order to re

APA, Harvard, Vancouver, ISO, and other styles

50

何寬湖. "Fuzzy Logic Based Solution for the Congestion Collapse Problem." Thesis, 2004. http://ndltd.ncl.edu.tw/handle/06097158262919382329.

Full text

Abstract:

碩士<br>中華大學<br>資訊工程學系碩士班<br>93<br>For guaranteeing successful transmission of packets, timers are set when packets transmitted and acknowledgements of receiving packets at destinations should be returned within the period corresponding to values of timers. If the waiting time of an acknowledgement expires the value of the timer known as retransmission timeout timer (RTO), the corresponding packet is viewed as lost and the packet is retransmitted. A possible problem making the Internet congested is then considered. If network load is heavy, packet transmission delay increases; similar

APA, Harvard, Vancouver, ISO, and other styles

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!