The modal split model is one of the steps of the classical four-step travel demand planning. Predictive, descriptive, and prescriptive modal split models are essential to make a balance between travel demand and supply. To calibrate these models, it is necessary to detect and employ influential independent variables that are related to characteristics of travel modes, individual and family attr...

A general method of automated modal logic theorem proving is discussed and illustrated. This method is based on the sub-stitutional framework for the development of systems for hybrid reasoning. Sentences in modal logic are translated into a constraint logic in which the constraints represent the connections between worlds in the possible world semantics for modal logic. Deduction in the constr...

This article uses the finite element software ABAQUS to establish a three-dimensional model based on overflow dam section 12 # ~15 and surface outlet of Chushandian gravity dam. The stress displacement distribution under normal water storage level are analyzed; On this basis, modal analysis is conducted study impact dam's own conditions operation research shows that: (1) Under condition height ...

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truthfunctional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congru...

Cross-modal retrieval has drawn wide interest for retrieval across different modalities of data (such as text, image, video, audio and 3D model). However, existing methods based on deep neural network (DNN) often face the challenge of insufficient cross-modal training data, which limits the training effectiveness and easily leads to overfitting. Transfer learning is usually adopted for relievin...

in treating the subject of musical language, a persian musician would be intrinsically drawn to the structural similarities between the persian music and language. indeed persian music and language are extremely related in their metrics, intonations and structural phrases (syntax). although we will draw upon this relationship, our aim in this article is to present “music as a language,” consist...

We introduce relativized modal algebra homomorphisms and show that the category of modal algebras and relativized modal algebra homomorphisms is dually equivalent to the category of modal spaces and partial continuous p-morphisms, thus extending the standard duality between the category of modal algebras and modal algebra homomorphisms and the category of modal spaces and continuous p-morphisms...

The response of the North Atlantic meridional overturning circulation (MOC) to wind stress forcing is investigated from an observational standpoint, using four time series of overturning transports below and relative to 1000m, overlapping by 3.6 yr. These time series are derived from four mooring arrays located on the western boundary of the North Atlantic: the RAPIDWestern Atlantic Variability...