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.

京都大学 / 0048 / 新制・課程博士 / 博士(理学) / 甲第20159号 / 理博第4244号 / 新制||理||1610(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)准教授 照井 一成, 教授 岡本 久, 教授 長谷川 真人 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

No description available.

No description available.

No description available.

[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.

No description available.

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.

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.

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.