A System of Interaction and Structure

This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved therein. It becomes very natural in a new formalism, called the calculus of structures, which is the main contribution of this work. Structures are formulae submitted to certain equational laws typical of sequents. The calculus of structures is obtained by generalising the sequent calculus in such a way that a new top-down symmetry of derivations is observed, and it employs inference rules that rewrite inside structures at any depth. These properties, in addition to allow the design of BV, yield a modular proof of cut elimination.Comment: This is the authoritative version of the article, with readable pictures, in colour, also available at . (The published version contains errors introduced by the editorial processing.) Web site for Deep Inference and the Calculus of Structures at <http://alessio.guglielmi.name/res/cos

A System of Interaction and Structure II: The Need for Deep Inference

This paper studies properties of the logic BV, which is an extension of multiplicative linear logic (MLL) with a self-dual non-commutative operator. BV is presented in the calculus of structures, a proof theoretic formalism that supports deep inference, in which inference rules can be applied anywhere inside logical expressions. The use of deep inference results in a simple logical system for MLL extended with the self-dual non-commutative operator, which has been to date not known to be expressible in sequent calculus. In this paper, deep inference is shown to be crucial for the logic BV, that is, any restriction on the ``depth'' of the inference rules of BV would result in a strictly less expressive logical system

SMC based bilateral control

Design of a motion control system should take into account (a) unconstrained motion performed without interaction with environment or other system, and (b) constrained motion with system in contact with environment or another system or has certain functional interaction with another system. Control in both cases can be formulated in terms of maintaining desired system configuration what makes essentially the same structure for common tasks: trajectory tracking, interaction force control, compliance control etc. It will be shown that the same design approach can be used for systems that maintain some functional relation – like bilateral or multilateral systems, relation among mobile robots or control of haptic systems.

Vibration analysis of a circular plate in interaction with an acoustic cavity leading to extraction of structural modal parameters

When carrying out vibration health monitoring (VHM) of a structure it is usually assumed that the structure is in the absence of fluid interaction and that any environmental effects which can cause changes in natural frequency either remain constant or are negligible. In certain cases, this condition cannot be assumed and therefore it is necessary to extract values of natural frequencies of the structure for the condition with no fluid interaction from those values measured. This paper considers the case of a thin circular plate in contact with a fluid cavity giving rise to strong structural/fluid vibration interaction. The paper details the free vibration analysis of the coupled system and through consideration of modal energy, illustrates how the affined modes of vibration of the plate and the fluid can be qualitatively described. The paper then introduces a method by which the natural frequencies of the plate in the absence of fluid interaction can be obtained from those of the plate in interaction with the fluid

Bose-Einstein Condensate in a Honeycomb Optical Lattice: Fingerprint of Superfluidity at the Dirac Point

Mean-field Bloch bands of a Bose-Einstein condensate in a honeycomb optical lattice are computed. We find that the topological structure of the Bloch bands at the Dirac point is changed completely by the atomic interaction of arbitrary small strength: the Dirac point is extended into a closed curve and an intersecting tube structure arises around the original Dirac point. These tubed Bloch bands are caused by the superfluidity of the system. Furthermore, they imply the inadequacy of the tight-binding model to describe an interacting Boson system around the Dirac point and the breakdown of adiabaticity by interaction of arbitrary small strength

A crowd-structure interaction model to analyze the lateral lock-in phenomenon on footbridges

In this paper a simplified biomechanical crowd-structure interaction model is proposed and validated in order to analyse the lateral lock-in phenomenon on real footbridges. The proposed crowd-structure interaction model is organized in three levels: (i) pedestrian-structure interaction; (ii) interaction among pedestrians in the crowd; and (iii) interaction between the crowd and the structure. To this end, first, the human-structure interaction of each pedestrian is modelled via a simplified two degrees of freedom system. Second, the interaction among pedestrians inside the crowd is simulated using a multi-agent model. The considered model simulates the movement of each pedestrian from the dynamic equilibrium of the different social forces that act on him/her. Finally, the crowd-structure interaction is achieved modifying the behaviour of the pedestrians depending on the comfort level experienced. For this purpose, the recommendations established by the French standards have been considered. The integration of the three levels in an overall model is achieved by the implementation of a predictive– corrective method. The performance of the proposed model is validated correlating the numerical and experimental dynamic response of the Pedro e Inês footbridge during the development of a lateral lock-in pedestrian test. As the first lateral natural frequency of the footbridge is inside the range that characterizes the walking pedestrian step frequency in lateral direction, numerical and experimental studies were performed to analyse its behaviour under pedestrian action. The agreement between the numerical and experimental results is adequate. However, further studies are recommended in order to generalize the proposed approach and facilitate its use during the design project of future footbridges.Ministerio de Ciencia DPI2014-53947-