The nature of gravitation and <em>G</em> is not well understood. A new gravitation mechanism is proposed that explains the origin and essence of the gravitational constant, <em>G</em>. Based on...The nature of gravitation and <em>G</em> is not well understood. A new gravitation mechanism is proposed that explains the origin and essence of the gravitational constant, <em>G</em>. Based on general relativity, the vacuum is considered to be a superfluid with measurable density. Rotating bodies drag vacuum and create a vortex with gradient pressure. The drag force of vacuum fluid flow in the arm of the vortex is calculated relative to the static vacuum and a value that is numerically equal to that of <em>G</em> is obtained. Using Archimedes’ principle, it is determined that <em>G</em> is the volume of vacuum displaced by a force equivalent to its weight which is equal to the drag force of the vacuum. It is concluded that the gravitational constant <em>G</em> expresses the force needed to displace a cubic metre of vacuum that weighs one kg in one second. Therefore, <em>G</em> is not a fundamental physical constant but rather is an expression of the resistance encountered by the gravitational force in the vacuum.展开更多
The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical ...The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical stakeholders during the requirements elicitation phase, as it provides a simple yet technically complete notation that is easy to understand. In this paper, we investigated the efficiency of creating UITDs using draw.io, a widely used diagramming software, compared to a dedicated UITD editor. We conducted a study to compare the time required to use each tool to complete the task of creating a medium size UITD, as well as the subjective ease of use and satisfaction of participants with the dedicated Editor. Our results show that the UITD editor is more efficient and preferred by participants, highlighting the importance of using specialized tools for creating formal models such as UITDs. The findings of this study have implications for software developers, designers, and other stakeholders involved in the specification and design of user-system interactions.展开更多
文摘The nature of gravitation and <em>G</em> is not well understood. A new gravitation mechanism is proposed that explains the origin and essence of the gravitational constant, <em>G</em>. Based on general relativity, the vacuum is considered to be a superfluid with measurable density. Rotating bodies drag vacuum and create a vortex with gradient pressure. The drag force of vacuum fluid flow in the arm of the vortex is calculated relative to the static vacuum and a value that is numerically equal to that of <em>G</em> is obtained. Using Archimedes’ principle, it is determined that <em>G</em> is the volume of vacuum displaced by a force equivalent to its weight which is equal to the drag force of the vacuum. It is concluded that the gravitational constant <em>G</em> expresses the force needed to displace a cubic metre of vacuum that weighs one kg in one second. Therefore, <em>G</em> is not a fundamental physical constant but rather is an expression of the resistance encountered by the gravitational force in the vacuum.
文摘The User Interface Transition Diagram (UITD) is a formal modeling notation that simplifies the specification and design of user-system interactions. It is a valuable communication tool for technical and non-technical stakeholders during the requirements elicitation phase, as it provides a simple yet technically complete notation that is easy to understand. In this paper, we investigated the efficiency of creating UITDs using draw.io, a widely used diagramming software, compared to a dedicated UITD editor. We conducted a study to compare the time required to use each tool to complete the task of creating a medium size UITD, as well as the subjective ease of use and satisfaction of participants with the dedicated Editor. Our results show that the UITD editor is more efficient and preferred by participants, highlighting the importance of using specialized tools for creating formal models such as UITDs. The findings of this study have implications for software developers, designers, and other stakeholders involved in the specification and design of user-system interactions.
