This paper presents the development of an innovative motion simulator, based on the Eclipse-II mechanism, which is a redundantly actuated parallel kinematic mechanism, with a partially decoupled architecture in its rotational motion. This parallel mechanism can generate six degrees of freedom motion, including continuous rotation through 360 degrees, and translation in any direction. After all ...

Formal methods are experiencing a renaissance, especially in the development of safety-critical systems. An indicator for this is the fact that more and more standards either recommend or prescribe the use of formal methods. Using formal methods on an industrial scale requires their integration into the system engineering process. This paper is exploring how an integrated tool chain that suppor...

Asteroids can be eclipsed by other bodies in the Solar System, but no direct observation of an asteroid eclipse has been reported to date. We describe a statistical method to predict an eclipse for an asteroid based on the analysis of the orbital elements covariance matrix. By propagating a set of Virtual Asteroids to an epoch correspondent to a close approach with a Solar System planet or natu...

This paper studies the three-dimensional (3-D) ionospheric electron density variation over continental US and adjacent regions during August 2017 Great American Solar Eclipse event, using Millstone Hill incoherent scatter radar observations, ionosonde data, Swarm satellite measurements, a new TEC-based data assimilation system (TIDAS). The TIDAS can reconstruct 3-D distribution regions, with sp...

Open Source parsers that support contemporary C/C++, can recover from errors, include a preprocessor, and that are actively maintained, are rare. This work describes how to use the parser contained in the Eclipse C/C++ Development Tooling (CDT) as a Java library. Such parser provides not only the abstract syntax tree of the parsed le but also the semantics, i.e., type information and bindings. ...

Something is about to happen in Nashville, Tennessee, that has not happened since Andrew Johnson was president of the United States in 1865. The time before that was Christmas Day 1628: the year Charles I of England granted a land charter to the Massachusetts Bay Colony. And the next occurrence will not take place until August 2566, some 549 years hence. You get the picture! On Monday, August 2...

Previous attempts to detect Eclipse-induced acoustic gravity waves (AGWs) have met with varying degrees of success. In this study the speed and direction of the waves have been determined at two widely spaced locations by an HF Doppler technique. The AGW activity following the eclipse was different to the background waves detected before the event in amplitude, speed and direction. The velocity...

This paper presents the Eclipse-11, a new six degree-offreedom parallel mechanism, which can be used as a basis for general motion simulators. The Eclipse-I1 is capable of x, y and z-axis translations and a, b and c-axis rotations. In particular, it has the advantage of enabling continuous 360-degree spinning of the platform. The computational procedures for forward and inverse kinematics of th...

Can you name a science event that will engage 100 million people? I can: total eclipse of the Sun. NASA surveys found many people saw 2017 Great American Eclipse, either in person or online. In 2023 and 2024, two solar eclipses be visible throughout US, we have great opportunity to enable students others enjoy rare spectacle (Fig. 1). This article is help prepare yourself, students, friends, ne...

The usability of a user interface is often neglected in the design and development of software applications. An Integrated Development Environment (IDE) is prone to poor usability problems due to the rich functionality offered through its User Interface (UI). Since an IDE targets a wide range of users (from novice to expert users), the usability requirement for an IDE vary considerably. Novice ...