Let k be a field of characteristic zero, denote by R the ring k[[t]] of formal power series over k, and by K the field k((t)) of Laurent series over k. The aim of this note is to show that the de Rham cohomology of any separated and smooth rigid K-variety X carries a natural formal meromorphic connection ∂X , which we call the Gauss-Manin connection. It relates to the classical Gauss-Manin conn...

Flush end-plate (FEP) connections are one of the most popular bolted steel in construction practice. These possess a semi-rigid moment-rotation behavior that betwixt rigid and pinned connections. Nonetheless, they commonly idealized as design numerical simulations. This paper investigates flexibility, strength ductility such holistic manner, based on recently compiled comprehensive database mor...

Wave glider is an unmanned surface vehicle that can directly convert wave energy into forward propulsion and fulfill long-term marine monitoring. A previous study suggested the motion stiffness of restoring springs mounted on hydrofoil are main factors affecting performance glider. In this paper, dynamic responses nonlinear characteristics underwater mechanism considering investigated based a f...

The connections are used to transfer forces and moments due applied loading. capability of the connection in resisting moment is classify types steelwork particularly for cold-formed steel. Classification schemes based on total moment-rotation behavior have been developed aid design analysis connections. Moment-rotation curve commonly describe that can be obtained from either theoretical or exp...

It is often claimed that Kripke (1980) and Putnam (1975) established that many predicates, most importantly natural kind predicates, are like proper names in being rigid designators. This insight is generally regarded as having important consequences in the theory of necessary truths: the rigidity of terms such as 'Hesperus', 'Phosphorus', 'water' and 'H 2 O' is used in explaining why identity ...

This paper describes QLB, a quantified logic of belief that is a possible extension of the modal system KD45n to predicate level. The main features of QLB are that: (i) it is allowed to quantify over the agents of belief; (ii) the belief operator can be indexed by any term of the formal language; (iii) terms are not rigid designators, but are interpreted contextually; (iv) automatic theorem pro...

Generalization of Rotational Mechanics and Application to Aerospace Systems. (May 2005) Andrew James Sinclair, B.S., University of Florida; M.S., University of Florida Co–Chairs of Advisory Committee: Dr. John L. Junkins Dr. John E. Hurtado This dissertation addresses the generalization of rigid-body attitude kinematics, dynamics, and control to higher dimensions. A new result is developed that...