The stress-strain state of a layered composite cylindrical shell under local heating by the environment due to convective heat exchange has been studied. equation six-modal theory thermoelasticity and two-dimensional thermal conductivity inhomogeneous anisotropic shells are used for this purpose. solution nonstationary transfer problem quasi-static finite hinged orthogonally reinforced symmetri...

Abstract Based on the technical study of a composite vertical tail, mechanical properties honeycomb sandwich structure at leading edge were studied fundamental computational analysis. The stress calculation and modal analysis beam/plate are carried out by using engineering algorithm two finite element modeling methods. comparative results shows that methods can effectively simulate structure. I...

This note is a friendly amendment to Marti’s analysis of the failure of Føllesdal’s argument that modal distinctions collapse in Carnap’s logic S2. Føllesdal’s argument turns on the treatment of descriptions. Marti considers how modal descriptions, which Carnap banned, might be handled; she adopts an approach which blocks Føllesdal’s argument, but requires a separate treatment of non-modal desc...

These notes were written by Wang Yafeng following a course of three intensive lectures on classical themes in mathematical modal logic given by Johan van Benthem in the Berkeley-Stanford Logic Circle, San Francisco, May 2015. Some of this material was collected in the monograph van Benthem [13], [16], other parts come from later publications. We will provide some references to further relevant ...

A modal analysis procedure is used to model suspended compressors and their excitation forces. The modal method evaluates the dynamic spring forces, modal spring forces, and modal forcing function to determine the effects of a change in suspension configuration on transmitted spring forces. Valuable design insight is gained since the modal parameters explain the behavior of suspension systems d...

We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated...

This paper investigates audio-visual interaction, i.e. inter-modal influences, in linear-regressive model adaptation for multi-modal speech recognition. In the multi-modal adaptation, inter-modal information may contribute the performance of speech recognition. Thus the influence and advantage of intermodal elements should be examined. Experiments were conducted to evaluate several transformati...

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...

We consider the modal-calculus due to Kozen, which is a nitary modal logic with least and greatest xed points of monotone operators. We extend the existing duality between the category of modal algebras with homomorphisms and the category of descriptive modal frames with contractions to the case of having xed point operators. As a corollary, we obtain a completeness result for Kozen's original ...