Spelling suggestions: "subject:"modal"" "subject:"modas""
201 |
On the Decidability of Description Logics with Modal OperatorsWolter, Frank, Zakharyaschev, Michael 18 October 2018 (has links)
The paper considers the standard concept description language ALC augmented with various kinds of modal operators which can be applied to concepts and axioms. The main aim is to develop methods of proving decidability of the satisfiability problem for this language and apply them to description logics with most important temporal and epistemic operators, thereby obtaining satisfiability checking algorithms for these logics. We deal with the possible world semantics under the constant domain assumption and show that the expanding and varying domain assumptions are reducible to it. Models with both finite and arbitrary constant domains are investigated. We begin by considering description logics with only one modal operator and then prove a general transfer theorem which makes it possible to lift the obtained results to many systems of polymodal description logic.
|
202 |
A General Framework for Dynamic Epistemic Logic / 動的認識論理のための一般的枠組みMotoura, Shota 23 March 2017 (has links)
京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20159号 / 理博第4244号 / 新制||理||1610(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 岡本 久, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM
|
203 |
Active Vibration Control Using Modal Control and Experimental Implementation on Arduino MicrocontrollerChaudhary, Vikrant January 2014 (has links)
No description available.
|
204 |
A STUDY OF MODAL TESTING MEASUREMENT ERRORS, SENSOR PLACEMENT AND MODAL COMPLEXITY ON THE PROCESS OF FINITE ELEMENT CORRELATIONPUREKAR, DHANESH MADHUKAR January 2005 (has links)
No description available.
|
205 |
Feasibility of use of four-post road simulators for automotive modal applicationsSharma, Balaji R. 06 August 2010 (has links)
No description available.
|
206 |
[pt] AVALIAÇÃO DE ÍNDICES MODAIS PARA IDENTIFICAÇÃO DE DANOS EM PASSARELAS METÁLICAS / [en] EVALUATION OF MODAL INDICES FOR DAMAGE IDENTIFICATION ON STEEL FOOTBRIDGESAUGUSTO CESAR MIRANDA FEIJAO 27 June 2023 (has links)
[pt] Dentre as diversas metodologias de detecção de danos, destacam-se os
métodos de identificação de danos baseados na resposta da vibração (Vibration-based damage identification - VBDI), uma vez que a deterioração presente em
elementos estruturais influencia diretamente na resposta dinâmica global e local
da estrutura ocasionando alterações nos parâmetros dinâmicos. As diferentes
abordagens encontradas na revisão de literatura para detecção dinâmica de danos
focam principalmente em estruturas unidimensionais ou retas, que, por sua vez,
podem não representar o comportamento dinâmico real de estruturas arrojadas
como pontes e passarelas com geometria diferenciada. Alguns índices modais,
nomeadamente curvatura modal, flexibilidade modal e energia de deformação
modal, foram avaliados para uma passarela de aço com geometria curva. Para isso
utilizou-se um modelo de elementos finitos da mesma, de onde foram extraídos
os modos de vibração tridimensionais. Além disso, um índice recentemente
proposto, denominado vetor resultante, que incorpora coordenadas modais
tridimensionais, também é avaliado e comparado aos índices mencionados
anteriormente. Os resultados mostram que a precisão dos índices na localização
de danos está correlacionada com a região da estrutura onde o dano se encontra.
Conclui-se então que para detecção de dano em uma estrutura real, é necessário
que se utilize mais de um índice de dano. O impacto da magnitude do dano na
acurácia dos índices é também estudado. A influência do dano nas vigas
adjacentes e como isso se reflete nos índices também é investigada, a fim de evitar
ambiguidade na localização de danos, e para direcionar corretamente programas
de inspeção e monitoramento da integridade estrutural. / [en] Among the various damage detection methodologies, the Vibration-based
damage identification (VBDI) methods stand out, since the deterioration present
in structural elements directly influences the global and local dynamic response
of the structure, causing changes in the dynamic parameters. The different
approaches found in the literature review for dynamic damage detection focus
mainly on one-dimensional or straight structures, which in turn may not represent
the actual dynamic behavior of bold structures such as bridges and footbridges
with different geometry. Some modal indices, namely modal curvature, modal
flexibility, and modal strain energy were evaluated for a steel footbridge with
curved geometry. For this purpose, a finite element model of it was used, from
which the three-dimensional mode shapes were extracted. In addition, a recently
proposed index, called resultant vector, which incorporates three-dimensional
modal coordinates, is also evaluated and compared to the aforementioned ones.
The results show that the accuracy of the indices for damage localization is
correlated with the region of the structure where the damage is located. It is then
concluded that for damage detection in a real structure, it is necessary to use more
than one damage index. The impact of the damage magnitude on the accuracy of
the indices is also studied. The influence of damage in adjacent beams and how
this is reflected in the indices is also investigated in order to avoid ambiguity in
damage location, and to correctly direct inspections and structural integrity
monitoring programs.
|
207 |
Real-Normalization of Experimental Complex Modal Vectors with Modal Vector ContaminationHiremaglur, Rajeev January 2014 (has links)
No description available.
|
208 |
Metodologia para escolha de modal do transporte, do ponto de vista da carga, através da aplicação do método de análise hierárquica. / Methodology for freight modal choice, from the cargo owner\'s point of view, through the application of the analytic hierarchy process.Hashiba, Tiffany Ide 04 July 2012 (has links)
Este trabalho propõe uma metodologia para escolha de modal de transporte a partir da aplicação do método de análise hierárquica a um conjunto de critérios levando em consideração o ponto de vista dos donos da carga. Parte-se de uma pesquisa de critérios adotados na escolha de modal sob contextos que incluem variação de cargas avaliadas, de disponibilidade de infraestrutura e serviços logísticos. Avalia-se ainda o método de análise hierárquica, AHP, que permite a decisão multicriterial com fatores quantitativos e qualitativos. Propõe-se uma metodologia de escolha de modal considerando o que é importante para o embarcador baseado no método AHP. Os critérios levantados na literatura são condensados em um conjunto hierarquizado de 3 critérios (custo logístico total; atendimento a particularidades da carga; e confiabilidade) e 7 subcritérios (custo logístico total; acessibilidade, flexibilidade, e oferta de instalações logísticas; pontualidade, perdas e danos, e informações ao cliente). A metodologia resultante é genérica e pode ser aplicada a um conjunto abrangente de situações logísticas. A título de exemplo, a metodologia é aplicada a três casos de transporte, para a escolha entre a alternativa rodoviária direto ou intermodal com ferrovia, variando-se a distância (média ou longa distância) e a carga transportada (açúcar a granel ou contêiner, para exportação). Os resultados são comparados e discutidos em termos dos pesos relativos dos critérios na escolha do embarcador, e das respectivas contribuições à decisão em face dos atributos das alternativas. Conclui-se que a avaliação multicriterial, contemplando critérios quantitativos e qualitativos, proporciona uma análise abrangente da hierarquia e contribuição dos critérios e a distinção dos pontos críticos na competição entre modais. / This study proposes a method for determining modal choice in transport problems based on an analytic hierarchy technique, considering the cargo owners point of view. Initially, a research of criteria used in modal choice in several contexts is carried out: cargos evaluated, availability of infrastructure and logistic services, standpoint of the evaluator. A review of the AHP method (which allows for multicriterial decisions with qualitative and quantitative factors) ensues. The author proposes a method for assisting in the modal choice from the cargo owners standpoint, based on the AHP technique. The criteria collected from the literature review are condensed in a hierarchical set of 3 criteria (total logistic costs; compliance with specificities of the cargo; and reliability) and 7 subcriteria (total logistic costs; accessibility, flexibility, and availability of logistic facilities; timeliness, susceptibility to loss or damage; and information to customers). The resulting method is generic and can be applied to a comprehensive range of logistic situations. The proposed method is then applied, as an example, to three freight cases, to aid the modal choice between direct roadway transportation or intermodal transport based on rail freight, with varying distances (medium or long distance haul) and the cargo being transported (bulk sugar or container, both for export). The results are compared and discussed in terms of the relative weights of each of the 7 subcriteria in the cargo owners modal decision, and the respective contributions to the decision in light of the attributes of the alternatives. The study concludes that the multicriterial evaluation, contemplating quantitative and qualitative criteria, yields a more comprehensive analysis of the important criteria hierarchy and the distinction of key issues in modal competition.
|
209 |
Análise modal operacional: métodos de identificação baseados em transmissibilidade / Operational modal analysis: identification methods based on transmissibilityGómez Araújo, Iván Darío 25 February 2015 (has links)
O presente trabalho tem como objetivo desenvolver novas alternativas de identificação modal para estruturas sob excitações em condição de operação baseadas em funções de transmissibilidade. Recentes metodologias formuladas sobre conceitos de transmissibilidade têm surgido como alternativa para a identificação de parâmetros modais de estruturas. A identificação nestas metodologias é independente do espectro da excitação, sendo uma vantagem importante com respeito a metodologias anteriores no domínio da frequência que supõem a excitação como ruído branco. Dessa forma, aproveitando os diferentes trabalhos dirigidos a avaliar parâmetros modais com uso da transmissibilidade, são propostas três novas alternativas. A primeira delas propõe a decomposição de valores singulares sobre matrizes de funções de transmissibilidade escalar com densidade espectral para estimar frequências naturais e modos de vibração. A segunda alternativa propõe o conceito de funções de transmissibilidade multivariável com diferente referência para a identificação modal. E a terceira introduz uma melhora na primeira alternativa incluindo a possibilidade da estimação de taxas de amortecimento. Uma ferramenta computacional para a análise modal é desenvolvida como apoio para as simulações numéricas de verificação das metodologias de identificação modal propostas. Diferentes exemplos numéricos com uma viga submetida a excitações de ruído colorido mostram que os métodos propostos são capazes de identificar parâmetros modais sem a introdução das frequências adicionais devido às excitações de ruído colorida utilizadas. Além disso, os dados de um teste de vibrações sobre uma ponte em operação foram utilizados para verificar os métodos. / This research aims to develop new alternatives of modal identification for structures under excitation in operation condition based on transmissibility functions. Latest methodologies based on transmissibility concepts have been arising as alternatives for modal parameter identification of structures. Modal parameter identification in this type methodology is input spectrum independent being an important advantage with respect previous frequency domain methods that assumes white noise excitation. Different alternatives of modal identification based on transmissibility functions are proposed in this work. The first of them proposes singular value decomposition on scalar transmissibility functions matrices with spectral density to estimate natural frequencies and vibration modes (PSDTM-SVD method). A second alternative proposes the concept of multivariable transmissibility functions with different transferring outputs for modal parameter identification. And the third alternative proposes an enhanced PSDTM-SVD method, which permits to identify modal damping. Computational tool for modal analysis is developed as a support for the numerical simulations of verification of modal identification methodologies proposed. Different numerical examples of a beam model subjected to colored noise excitations show that the proposed methods are capable of identifying modal parameters without the introduction of the additional frequencies due to the excitations used. Furthermore, data from an operational vibration bridge test were used to verify the methods.
|
210 |
Experimental Modal Analysis Of A Steel Grid FrameKaya, Huseyin 01 February 2004 (has links) (PDF)
In this study, experimental modal analysis was studied. Experimental modal analysis includes modal testing, modal parameter estimation and calibration. For this purpose a 4 span skewed steel frame was constructed in Structural Mechanics Laboratory of Civil Engineering Department of METU. The model was transported to Vibration and Acoustic Laboratory of Mechanical Engineering Department of METU. The tests were conducted by cooperation with Vibration and Acoustics Laboratory. Due to lack of experimental modal analysis software in Structural Mechanics Laboratory, modal parameter estimation and finite element updating softwares were written in Matlab platform. The written softwares were executed on the data obtained from modal testing.
15 reasonable modes are extracted from the FRFs that are obtained from modal testing. 59.23 percent consistency is found for the nominal modal comparison. At the end of calibration process 76.14 percent consistency is achieved between the experimental results and analytical results.
|
Page generated in 0.0237 seconds