Log in

Relevant bibliographies by topics / Modal / Dissertations / Theses

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

Dissertations / Theses on the topic 'Modal'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 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 'Modal.'

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

Ramshaw, Paul Adrian. "Modal thought and modal knowledge." Thesis, University of Leeds, 2016. http://etheses.whiterose.ac.uk/16965/.

Full text

Abstract:

This thesis is concerned with the epistemology of absolute alethic necessity. The thesis begins with a characterisation of absolute alethic necessity and its distinctive epistemology. The challenge of explaining the reliability of belief in necessity is identified as the primary goal of the thesis and four broad forms of response to that challenge are identified. Of the four strategies, two are dismissed as prima facie inapplicable to the case of necessity. The two remaining options are identified as Modal Anti-Realism and Non-Standard Realism. In chapter 2, it is suggested that the field can

APA, Harvard, Vancouver, ISO, and other styles

2

Papacchini, Fabio. "Minimal model reasoning for modal logic." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.

Full text

Abstract:

Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with

APA, Harvard, Vancouver, ISO, and other styles

3

Kramdi, Seifeddine. "A modal approach to model computational trust." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30146/document.

Full text

Abstract:

Le concept de confiance est un concept sociocognitif qui adresse la question de l'interaction dans les systèmes concurrents. Quand la complexité d'un système informatique prohibe l'utilisation de solutions traditionnelles de sécurité informatique en amont du processus de développement (solutions dites de type dur), la confiance est un concept candidat, pour le développement de systèmes d'aide à l'interaction. Dans cette thèse, notre but majeur est de présenter une vue d'ensemble de la discipline de la modélisation de la confiance dans les systèmes informatiques, et de proposer quelques modèles

APA, Harvard, Vancouver, ISO, and other styles

4

Zanichelli, Riccardo <1993&gt. "Aristotle’s modal syllogistic and first-order modal logic." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2022. http://amsdottorato.unibo.it/10396/1/rzamsafml.pdf.

Full text

Abstract:

In Prior Analytics 1.1–22, Aristotle develops his proof system of non-modal and modal propositions. This system is given in the language of propositions, and Aristotle is concerned with establishing some properties and relations that the expressions of this language enjoy. However, modern scholarship has found some of his results inconsistent with positions defended elsewhere. The set of rules of inference of this system has also caused perplexity: there does not seem to be a single interpretation that validates all the rules which Aristotle is explicitly committed to using in his proofs. Som

APA, Harvard, Vancouver, ISO, and other styles

5

Alechina, Natalia Albertovna. "Modal quantifiers." Amsterdam : Amsterdam : Institute for Logic, Language and Computation ; Universiteit van Amsterdam [Host], 1995. http://dare.uva.nl/document/33079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Vahiddastjerdi, Hamid. "Modal reality." Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315956.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ruyant, Quentin. "L'empirisme modal." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S117/document.

Full text

Abstract:

L'objet de cette thèse est de proposer une position originale dans le débat sur le réalisme scientifique, l'empirisme modal, et d'en démontrer la fructuosité quand il s'agit de tirer des enseignements du contenu cognitif des théories scientifiques. L'empirisme modal est une position empiriste, suivant laquelle le but de la science n'est pas de produire des théories vraies, mais des théories empiriquement adéquate. Cependant, il propose d'adopter un cadre plus large que les versions traditionnelles d'empirisme pour penser l'expérience, en incorporant un engagement envers les modalités naturelle

APA, Harvard, Vancouver, ISO, and other styles

8

Feng, Chunxia. "Transit Bus Load-Based Modal Emission Rate Model Development." Diss., Georgia Institute of Technology, 2007. http://hdl.handle.net/1853/14583.

Full text

Abstract:

Heavy-duty diesel vehicle (HDDV) operations are a major source of pollutant emissions in major metropolitan areas. Accurate estimation of heavy-duty diesel vehicle emissions is essential in air quality planning efforts because highway and non-road heavy-duty diesel emissions account for a significant fraction of the oxides of nitrogen (NOx) and particulate matter (PM) emissions inventories. Yet, major modeling deficiencies in the current MOBILE6 modeling approach for heavy-duty diesel vehicles have been widely recognized for more than ten years. While the most recent MOBILE6.2 model integra

APA, Harvard, Vancouver, ISO, and other styles

9

Perinpanayagam, Sureshkumar. "Modal test strategy for model validation of engineering structures." Thesis, Imperial College London, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.412914.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Potgieter, Brendon Ryan. "Experimental modal analysis and model validation of antenna structures." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5423.

Full text

Abstract:

Thesis (MScEng (Mechanical and Mechatronic Engineering))--University of Stellenbosch, 2010.<br>ENGLISH ABSTRACT: Numerical design optimisation is a powerful tool that can be used by engi- neers during any stage of the design process. Structural design optimisation is a specialised usage of numerical design optimisation that has been adapted to cater speci cally for structural design problems. A speci c application of structural design optimisation that will be discussed in the following report is experimental data matching. Data obtained from tests on a physical structure will be matched

APA, Harvard, Vancouver, ISO, and other styles

11

Fischbein, Dario. "Foundations for behavioural model elaboration using modal transition systems." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/9796.

Full text

Abstract:

Modal Transition Systems (MTS) are an extension of Labelled Transition Systems (LTS) that have been shown to be useful to reason about system behaviour in the context of partial information. MTSs distinguish between required, proscribed and unknown behaviour and come equipped with a notion of refinement that supports incremental modelling where unknown behaviour is iteratively elaborated into required or proscribed behaviour. A particularly useful notion in the context of software and requirements engineering is that of “merge”. Merging two consistent models is a process that should result in

APA, Harvard, Vancouver, ISO, and other styles

12

Dickson, Mark William. "Aristotle's modal ontology." Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/42125.

Full text

Abstract:

ModaI logic is concerned with the logic of necessity and possibility. The central problem of modal ontology is summed up in the following question, "What are the ontological commitments of the user of modal terminology? " This thesis is primarily about the ontological commitments that Aristotle made when he employed modal terms. Aristotle’s modal ontology is h e r e analysed in conjunction with four modal problems. My primary objective, is to clarify some of the discussions of Aristotle's modal ontology that have been advanced by certain twentieth century philosophers. The first pro

APA, Harvard, Vancouver, ISO, and other styles

13

Wansing, Heinrich. "Displaying modal logic /." Dordrecht [u.a.] : Kluwer, 1998. http://www.gbv.de/dms/ilmenau/toc/24662969X.PDF.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Kalhat, Javier. "Against modal reductionism." Thesis, University of Reading, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.424033.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Henriques, Ana Cristina Felizardo. "Lógica proposicional modal." Master's thesis, Universidade de Aveiro, 2009. http://hdl.handle.net/10773/9457.

Full text

Abstract:

Mestrado em Matemática e Aplicações<br>O presente trabalho oferece uma alternativa para a semântica de Kripke dando ênfase ao valor de uma fórmula em lugar da original definição da semântica de Kripke. Desta forma o raciocínio desenvolve-se principalmente em torno de conceitos da teoria elementar de conjuntos, ao invés da lógica de 1ª ordem, o que nos parece ser uma abordagem mais natural e compacta do tema. São examinados os tópicos verdade e validade num modelo e numa estrutura, equivalência entre fórmulas de 1ª ordem e fórmulas proposicionais modais, aplicações da teoria de prova e l

APA, Harvard, Vancouver, ISO, and other styles

16

Mera, Sergio Fernando. "Modal memory logics." Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10130/document.

Full text

Abstract:

Depuis l'antiquité jusqu'à aujourd'hui, le domaine de la logique a gagné une importance remarquable et contribue désormais à de nombreuses autres branches, telles que la philosophie, les mathématiques, la fabrication de matériel informatique, la linguistique, l'informatique, l'intelligence artificielle, etc. À chacun de ces scénarios correspondent des besoins spécifiques, qui vont d'exigences très concrètes, telles qu'une méthode d'inférence efficace, à des propriétés théoriques plus abstraites, telles qu'un système d'axiomes élégant. Étant donnée cette grande diversité d'utilisations, une pal

APA, Harvard, Vancouver, ISO, and other styles

17

Abendroth, Scherf Nathalie Katharina. "Swedish Modal Particles." Doctoral thesis, Humboldt-Universität zu Berlin, 2019. http://dx.doi.org/10.18452/20659.

Full text

Abstract:

Diese Arbeit geht der Frage nach, ob MPn im Schwedischen syntaktisch Satzadverbien sind. Es wird gezeigt, dass sie sich syntaktisch von Satzadverbien unterscheiden und sich ferner in zwei getrennte Typen von MPn unterteilen lassen. Hierzu wird eine syntaktische Analyse vorgestellt, die diese Unterscheidung in dem phrasalen Status der MPn widerspiegelt. Die syntaktische Analyse wird durch sechs Experimente empirisch bestätigen. Ferner wird gezeigt, dass, um die Linearisierung von Elementen im Mittelfeld, am Beispiel von MPn, DPn und Objektpronomen im Mittelfeld, erklären zu können, nicht

APA, Harvard, Vancouver, ISO, and other styles

18

PRADO, ZENON JOSE GUZMAN NUNEZ DEL. "MODAL COUPLING AND MODAL INTERACTION ON THE DYNAMIC INSTABILITY OF CYLINDRICAL." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2001. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=2061@1.

Full text

Abstract:

CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>Com base nas equações de Donnell para cascas abatidas, estudam-se as vibrações não-lineares e a instabilidade dinâmica de cascas cilíndricas carregadas axialmente, considerando o efeito simultâneo de cargas estáticas e harmônicas. Para isto, o problema é primeiro reduzido a um sistema finito de graus de liberdade usando o método de Galerkin. O sistema de equações diferenciais de movimento não-lineares é resolvido através do método de Runge-Kutta. Na análise do fenômeno de acoplamento modal foi usado um modelo com dois gra

APA, Harvard, Vancouver, ISO, and other styles

19

Hiremaglur, Rajeev. "Real-Normalization of Experimental Complex Modal Vectors with Modal Vector Contamination." University of Cincinnati / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1415283945.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Hanson, David Mechanical &amp Manufacturing Engineering Faculty of Engineering UNSW. "Operational modal analysis and model updating with a cyclostationary input." Awarded by:University of New South Wales. School of Mechanical and Manufacturing Engineering, 2006. http://handle.unsw.edu.au/1959.4/31199.

Full text

Abstract:

This thesis addresses the problem of identifying the modal properties of a system based only on measurements of the system responses. This situation is frequently encountered in structural dynamics and is particularly relevant for systems where the in-service excitation is not artificially reproducible. The inherent non-linearities in these systems mean that the modal properties estimated using traditional input/output techniques will be different to those exhibited in operation. A common example from the literature is an aircraft in flight where the modal properties are heavily influenced by

APA, Harvard, Vancouver, ISO, and other styles

21

Bachman, William Hendricks. "Towards a GIS-based modal model of automobile exhaust emissions." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/21762.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Yan, Jingsheng. "Platoon modal operations under vehicle autonomous adaptive cruise control model." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-07102009-040612/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Coscarelli, Bruno Costa. "Introdução à Lógica Modal." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/.

Full text

Abstract:

O presente trabalho tem como objetivo proporcionar aos estudantes que precisem da lógica modal como ferramenta um texto conciso mas suficientemente completo. Embora seja um texto de cunho matemático, procura-se manter o equilíbrio entre os conceitos matemáticos e suas motivações filosóficas, pela crença de que tal equilíbrio é essencial para situar o pensamento em um texto introdutório. O primeiro capítulo começa com um breve histórico filosófico e trabalha os conceitos fundamentais de um ponto de vista sintático. O segundo capítulo retoma os conceitos do primeiro capítulo de um ponto de vista

APA, Harvard, Vancouver, ISO, and other styles

24

González, Alzate Alejandro. "Multi-modal pedestrian detection." Doctoral thesis, Universitat Autònoma de Barcelona, 2015. http://hdl.handle.net/10803/325150.

Full text

Abstract:

La detección de peatones continua siendo un problema muy difícil en escenarios reales, donde diferentes situaciones como cambios en iluminación, imágenes ruidosas, objetos inesperados, escenarios sin control y la variabilidad en la apariencia de los objetos ocurren constantemente. Todos estos problemas fuerzan el desarrollo de detectores más robustos para aplicaciones relevantes como lo son los vehículos autónomos basados en visión, vigilancia inteligente y el seguimiento de peatones para el análisis del comportamiento. Los detectores de peatones basados en visión más confiables deciden basán

APA, Harvard, Vancouver, ISO, and other styles

25

Liu, Tianhan. "Modal concord in Mandarin." Thesis, University of British Columbia, 2015. http://hdl.handle.net/2429/54769.

Full text

Abstract:

The aim of this thesis is to describe and analyze modal concord in Mandarin Chinese. Modal concord is a semantic phenomenon in which multiple modal words in a sentence are interpreted semantically as if there was only a single modal expression. The thesis provides a description of the Mandarin modal system (especially the necessity modals), following the formal analysis of Kratzer (1991) and von Fintel & Iatridou (2008). The generalization is established that a concord reading is available only when the modals agree in their modal type, ordering sources and quantificational force. This general

APA, Harvard, Vancouver, ISO, and other styles

26

Chandrapati, Srivardhan. "Multi-modal expression recognition." Thesis, Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/762.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Yang, Chin-mu. "A natural modal system." Thesis, University of Oxford, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Hyde, Joanne Krysia. "Multi-modal usability evaluation." Thesis, Middlesex University, 2001. http://eprints.mdx.ac.uk/6693/.

Full text

Abstract:

Research into the usability of multi-modal systems has tended to be device-led, with a resulting lack of theory about multi-modal interaction and how it might differ from more conventional interaction. This is compounded by a confusion over the precise definition of modality between the various disciplines within the HCI community, how modalities can be effectively classified, and their usability properties. There is a consequent lack of appropriate methodologies and notations to model such interactions and assess the usability implications of these interfaces. The role of expertise and craft

APA, Harvard, Vancouver, ISO, and other styles

29

Batchelor, Roderick. "Investigations in modal logic." Thesis, King's College London (University of London), 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.409258.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Brummell, Nicholas H. "Modal methods of convection." Thesis, Imperial College London, 1988. http://hdl.handle.net/10044/1/46977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Magossi, José Carlos 1963. "Uma logica modal temporal." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278664.

Full text

Abstract:

Orientador: Jose Alexandre Durry Guerzoni<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994<br>Resumo: Não informado<br>Abstract: Not informed.<br>Mestrado<br>Mestre em Lógica e Filosofia da Ciência

APA, Harvard, Vancouver, ISO, and other styles

32

Dod?, Adriano Alves. "On rich modal logics." Universidade Federal do Rio Grande do Norte, 2013. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18688.

Full text

Abstract:

Made available in DSpace on 2015-03-03T15:47:48Z (GMT). No. of bitstreams: 1 AdrianoAD_DISSERT.pdf: 771338 bytes, checksum: 06adea5feab9914c5a48eb146511b556 (MD5) Previous issue date: 2013-11-19<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>I thank to my advisor, Jo?o Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benja

APA, Harvard, Vancouver, ISO, and other styles

33

Wilkinson, Toby. "Enriched coalgebraic modal logic." Thesis, University of Southampton, 2013. https://eprints.soton.ac.uk/354112/.

Full text

Abstract:

We formalise the notion of enriched coalgebraic modal logic, and determine conditions on the category V (over which we enrich), that allow an enriched logical connection to be extended to a framework for enriched coalgebraic modal logic. Our framework uses V-functors L: A → A and T: X → X, where L determines the modalities of the resulting modal logics, and T determines the coalgebras that provide the semantics. We introduce the V-category Mod(A, α) of models for an L-algebra (A, α), and show that the forgetful V-functor from Mod(A, α) to X creates conical colimits. The concepts of bisimulatio

APA, Harvard, Vancouver, ISO, and other styles

34

Astorga, Camarena Fernando. "Estación de transferencia modal." Tesis, Universidad de Chile, 2005. http://repositorio.uchile.cl/handle/2250/100753.

Full text

Abstract:

Considerando el estado de la ciudad y su relación con el transporte y el territorio mayor, el proyecto se define como Estación de Transferencia Modal, haciendo referencia a las relaciones entre el edificio propuesto, su funcionamiento interno y el sector de la ciudad en que se emplaza.

APA, Harvard, Vancouver, ISO, and other styles

35

Pemmaraju, Sriram V. "Modal logics of provability." Thesis, Virginia Tech, 1989. http://hdl.handle.net/10919/44652.

Full text

Abstract:

<p>Gödel proved his Incompleteness theorems for any theory 'strong' enough to represent recursive functions. In the process he showed that the provability predicate can be represented in such theories. Modal logics of provability are modal logics which attempt to express the concept of 'provability' and 'consistency' using the modal operators '[]' and '<>' respectively. This is achieved by forcing '[]' to behave like the provability predicate. GL is a modal logic which has been shown to be complete and sound with respect to arithmetic theories (theories which can represent all recursive

APA, Harvard, Vancouver, ISO, and other styles

36

Nora, Pedro Miguel Teixeira Olhero Pessoa. "Dualidades na lógica modal." Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11174.

Full text

Abstract:

Mestrado em Matemática e Aplicações<br>O objectivo deste trabalho é desenvolver algumas ferramentas categoriais para provar teoremas de dualidades para categorias de álgebras relevantes na lógica (modal). O primeiro capítulo engloba os conceitos mais elementares de teoria das categorias. No segundo, analisamos adjunções, mónadas e algumas construções associadas, no sentido de determinar uma relação entre as meta-categorias das mónadas definidas numa categoria e das adjunções de Kleisli sobre a mesma categoria. Álem disso, mostramos que a construção de Vietoris é uma componente de uma m

APA, Harvard, Vancouver, ISO, and other styles

37

Murakami, Yuko. "Modal logic of partitions." [Bloomington, Ind.] : Indiana University, 2005. http://wwwlib.umi.com/dissertations/fullcit/3162977.

Full text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Philosophy, 2005.<br>Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-02, Section: A, page: 0620. Chairs: Lawrence Moss; Michael Dunn.

APA, Harvard, Vancouver, ISO, and other styles

38

Kangasniemi, Heikki. "Modal expressions in Finnish /." Helsinki : SKS, 1992. http://catalogue.bnf.fr/ark:/12148/cb37604113z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Dodó, Adriano Alves. "On Rich Modal Logics." reponame:Repositório Institucional da UFC, 2013. http://www.repositorio.ufc.br/handle/riufc/9589.

Full text

Abstract:

Submitted by Aline Mendes (alinemendes.ufc@gmail.com) on 2014-10-30T16:41:14Z No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5)<br>Approved for entry into archive by Aline Mendes(alinemendes.ufc@gmail.com) on 2014-10-30T16:43:23Z (GMT) No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5)<br>Made available in DSpace on 2014-10-30T16:43:23Z (GMT). No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) Previous issue date: 2013<br>This

APA, Harvard, Vancouver, ISO, and other styles

40

You, You, and Daxin Chen. "Modal Analysis on a MIMO System : For an asphalt roller CC1200." Thesis, Blekinge Tekniska Högskola, Institutionen för maskinteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-10998.

Full text

Abstract:

Impact hammer is the current modal testing way in Dynapac testing department. Due to highly damped characteristic of big construction machines, there are a few weaknesses for modal testing when using hammer, such as short response time, limited frequency resolution, poor quality of frequency response functions. Therefore, a more advanced excitation equipment is needed to improve the measurement quality. The object for this study is to compare two different measuring methods. The thesis will show a comparison between the hammer testing and the shaker MIMO testing compared with analytical model

APA, Harvard, Vancouver, ISO, and other styles

41

Aluri, Srinivas. "Updating low-profile FRP deck FE model using experimental modal analysis." Morgantown, W. Va. : [West Virginia University Libraries], 2006. https://eidr.wvu.edu/etd/documentdata.eTD?documentid=4656.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 2006.<br>Title from document title page. Document formatted into pages; contains vi, 76 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 60-61).

APA, Harvard, Vancouver, ISO, and other styles

42

Ramaswamy, Ganesh Nachiappa. "Modal structures and model reduction, with application to power system equivalencing." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11405.

Full text

Abstract:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.<br>Includes bibliographical references (p. 131-145).<br>by Ganesh Nachiappa Ramaswamy.<br>Ph.D.

APA, Harvard, Vancouver, ISO, and other styles

43

Bensari, Aida. "La mobilité durable facteur de changement et d'évolution pour la société marocaine : Le cas de Rabat-Salé." Thesis, Evry-Val d'Essonne, 2015. http://www.theses.fr/2015EVRY0003.

Full text

Abstract:

L’objectif de cette thèse est de comprendre l’usage et les pratiques modales des individus et saisir les conséquences globales d’un nouveau mode alternatif « tramway » au sein de l’agglomération Rabat- Salé sur une société donnée (marocaine). Cette étude doctorale met en exergue les variables, les logiques individuelles qui interagissent dans un report modal et qui peuvent parfois être la cause des freins et de comportements résistants face au changement et à l’innovation. Les choix modaux se trouvent au cœur d’un processus complexe autour d’une multitude de facteurs et de variables. Un des él

APA, Harvard, Vancouver, ISO, and other styles

44

Kolhatkar, Shashank C. "Modal analysis of a robot arm using the finite element analysis and modal testing /." Online version of thesis, 1989. http://hdl.handle.net/1850/10623.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

May, James E. "Non-Linear Control of Long, Flexible Structures Employing Inter-Modal Energy Transfer [Modal Damping]." University of Akron / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=akron1247711518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Nagesh, Mahesh. "Nonlinear Modal Testing and System Modeling Techniques." University of Cincinnati / OhioLINK, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1627664318530247.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Chou, Soi Ngan. "Normal systems of modal logic." Thesis, University of Macau, 2000. http://umaclib3.umac.mo/record=b1446655.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Martin, Alan J. "Modal and fixpoint linear logic." Thesis, University of Ottawa (Canada), 2002. http://hdl.handle.net/10393/6074.

Full text

Abstract:

This thesis provides adaptations of the algebraic and relational semantics of modal logic to model J.-Y. Girard's linear logic extended with general modalities. This work extends the work of M. D'Agostino, D. Gabbay, and A. Russo on modalities in implication systems, which include a fragment of linear logic, and the work of J.-Y. Girard on phase semantics for linear logic. We develop deductive systems based on the Gentzen-style sequent calculi of Ohnishi and Matsumoto and the indexed sequents of Mints, and prove cut-elimination properties. We show that semantics and deductive systems that are

APA, Harvard, Vancouver, ISO, and other styles

49

Schoenstgen, Jean. "Acoustic features of modal voice." Doctoral thesis, Universite Libre de Bruxelles, 2003. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211340.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

French, Timothy Noel. "Bisimulation quantifiers for modal logics." University of Western Australia. School of Computer Science and Software Engineering, 2006. http://theses.library.uwa.edu.au/adt-WU2007.0013.

Full text

Abstract:

Modal logics have found applications in many diferent contexts. For example, epistemic modal logics can be used to reason about security protocols, temporal modal logics can be used to reason about the correctness of distributed systems and propositional dynamic logic can reason about the correctness of programs. However, pure modal logic is expressively weak and cannot represent many interesting secondorder properties that are expressible, for example, in the μ-calculus. Here we investigate the extension of modal logics with propositional quantification modulo bisimulation (bisimulation quant

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!