Digital Twin for Maintenance Information Management

BIM and the construction sector have long been an inseparable pair: in many European Countries it is a consolidated practice while in others there is a big debate about it but. Although there are important signs of a turning point, it still does not seem to be really feasible. In Italy, the leverage for transformation is certainly the public works sector, but this is not enough: to really talk about a whole digitization of the AEC sector, it is necessary to “attract” the private sector, where more than 50% of investments are invested. The chapter will attempt, starting from an Italian framework overview, to assess the main perceived obstacles of the applicability of a BIM model for facility management. The tool chosen by the authors as a preliminary approach to the problem, the SWOT analysis, allows an effective synthesis of the strengths and weaknesses resulting from such implementation.

FINDING THE LIMIT OF INCOMPLETENESS I

In this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ($\textsf {G1}$ for short). We first define the notion “$\textsf {G1}$ holds for the theory $T$”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $, we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that $U_{\langle A,B\rangle }$ is weaker than $\mathbf {R}$ w.r.t. interpretation and $\textsf {G1}$ holds for $U_{\langle A,B\rangle }$. As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf {0}< \mathbf {d}<\mathbf {0}^{\prime }$, there is a theory T with Turing degree $\mathbf {d}$ such that $\textsf {G1}$ holds for T and T is weaker than $\mathbf {R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield’s work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\textsf {G1}$ holds.

Interlude

Music inspires me. When I listen to music, I feel calm and focused. When I play music, I feel energized. I love playing the viola because of how it makes me feel, how it creates friendships and makes life happier and funnier every time I play. My viola and I are an inseparable pair....

MORTAL MOTIVES IN GUZEL YAKHINA'S NOVEL ZULEYKHA OPENS HER EYES

The article is devoted to a comprehensive study of the motives of death in G. Yakhina's novel Zuleykha Opens Her Eyes, which are significant and stable in the world literature. Two main types of death are distinguished and analyzed: physical and symbolic. On the basis of the studied works by M. Eliade and O. Sedakova, death is considered as a process of transition from a living state to a non-living state and as a transition to another space. In accordance with the classification of death motives given by O. Sedakova, „own” and „not own” death are distinguished and analyzed. Life and death, forming an inseparable pair, are considered both as a unified but variable whole, and as a binary opposition.

Affordance-Based Assessment Cuts Across The Dichotomy Of Subjective-Objective Outcome Measure At The Knee Joint

There is increasing awareness of the need to include patient-reported outcome (PRO) instruments in evaluating the measurement of clinical outcomes, with an increasing focus placed on the patients’ perspective. Scientists have tried to link PROs with objective outcomes, providing unique information for managing patient care. Traditionally, objective and patient-reported outcomes (such as the Knee Injury and Osteoarthritis Outcome Score (KOOS)) are considered two distinct constructs, which cannot serve as a direct proxy for each other. Can Gibson´s affordance theory specify more about objective outcome measurements vs. subjective outcomes measurement and unify them? The present article develops a theoretical framework called entrainment of touch and posture that advocates the vis viva (living force) as the proper gauge for the dynamical action of a force, and that could explain “possibilities for action or affordance” during outcome measurement. We found that active touch and posture refer to what is ordinarily called touchingvariations in skin stimulation caused by surfaces are altered together by motor activity variations. This affordance of “walk-on-able” is worth noting because it is often neglected that locomotion and its surfaces form an inseparable pair. The assessment process can be viewed in terms of action possibilities provided by the active sets of organs residing that can obtain and utilize information about the tissue environments in which the grafts are to be located.

Genre as cognitive construction

The present article investigates a set of discourse connectors in the academic lecture genre from the viewpoint of the inseparable pair of pragmatics and cognition. Making use of the MICASE corpus for data retrieval, a selection of discourse constructions encoding comparative contrastive meanings are analysed and their distinctive features are critically described and explained. The aim is to show how each particular genre promotes the use of certain constructions. The MICASE database reveals that, among all the subgroups of complementary contrastive constructions, some seem incompatible with the academic lecture contexts by virtue of the particular characteristics of this specific genre.