User Manual 4.2 Time : Différence entre versions

Version actuelle en date du 14 janvier 2019 à 14:54

Introduction

Scope

Despite its current use, time requires careful attention in the description of physical phenomena. Indeed the rate at which time passes has to be accurate in order to guarantee the best physical description of a phenomenon. To that purpose several time scales have been set up and with the introduction of atomic clocks, more accurate time scales have been defined.

Javadoc

The object related with dates and time scales are available in the package fr.cnes.sirius.patrius.time.

Links

Time architecture description, Orekit site.

Useful Documents

None as of now.

Package Overview

This package overview is from the OREKIT website, under apache license.

Features Description

Dates

In Patrius, the class AbsoluteDate represents a specific instant in time. There are different ways to create a date :

• for instance, one way is to give the date with a calendar form (year, month and day as 3 integers or as a DateComponents object) and a time scale : AbsoluteDate(int, int, int, TimeScale) or AbsoluteDate(DateComponents, TimeScale)
• to be more precise the informations of the hour, the minute and the second can be added : AbsoluteDate(int, int, int, int, int, double, TimeScale) or AbsoluteDate(DateComponents, TimeComponents, TimeScale)

NB : a DateComponents object represents a date broken up as year, month and day ; a TimeComponents object represents a day broken up as hour, minute and second.

• another way is to give a predefined date and an elapsed duration from this date : AbsoluteDate(AbsoluteDate, double)

For advanced users only : a constructor AbsoluteDate(long, double) is available. It uses as parameters an "epoch" and an "offset", which are in fact the attributes of AbsoluteDate. These attributes have no meaning outside of AbsoluteDate, and are not meant to be exposed or manipulated directly by regular users. This constructor was added for the purpose of creating AbsoluteDate instances very quickly from a static storage (apart from serialization) and without loss of precision. Getters for "epoch" and "offset" are also available for this purpose.Use at your own risk!

As for the time scale, Patrius contains 10 different time scales among which the TAI scale (International Atomic Time), the TT scale (Terrestrial Time), the UT1 scale (Universal Time), the UTC scale (Coordinated Universal Time)... The creation of a time scale is done through the TimeScalesFactory as follows : TimeScale scale = TimeScalesFactory.getTT();

Some reference epochs are directly available, for instance :

• J2000 epoch (2000-01-01T12:00:00) in TT scale : AbsoluteDate date = AbsoluteDate.J2000_EPOCH;
• julian epoch (-4712-01-01T12:00:00) in TT scale : AbsoluteDate date = AbsoluteDate.JULIAN_EPOCH;
• fifties epoch (CNES julian dates origin, 1950-01-01T00:00:00) in TT scale : AbsoluteDate date = AbsoluteDate.FIFTIES_EPOCH_TT;
• fifties epoch (CNES julian dates origin) in UTC scale : AbsoluteDate date = AbsoluteDate.FIFTIES_EPOCH_UTC;
• Java Reference epoch (1970-01-01T00:00:00) in UTC scale : AbsoluteDate date = AbsoluteDate.JAVA_EPOCH;
• ...

Time Interval

This implementation for time intervals, AbsoluteDateInterval, uses the AbsoluteDate class as the endpoint value type.

Infinite endpoints ( AbsoluteDate.PAST_INFINITY and AbsoluteDate.FUTURE_INFINITY ) are supported, but as open endpoints only. Empty intervals are also forbidden.

This implementation extends the class ComparableInterval, inheriting the following operations:

• check if two intervals are equal:

boolean equal = interval.equals(Object)

• check if two intervals overlap:

boolean overlaps = interval.overlaps(ComparableInterval<T>)

• check if the interval includes another interval:

boolean includes = interval.includes(ComparableInterval<T>)

• check if the interval is connected to another interval (its lower point coincides with the upper point of the input interval, and one point is closed and the other open):

boolean connected = interval.isConnectedTo(ComparableInterval<T>)

• compare the lower end point with the lower end point of another interval:

int compare = interval.compareLowerEndTo(ComparableInterval<T>)

• compare the upper end point with the upper end point of another interval:

int compare = interval.compareUpperEndTo(ComparableInterval<T>)

In addition to inherited capabilities, the class can also:

• compute the duration of the interval in seconds (as computed in a regular timescale- the duration has a physical meaning):

double duration = interval.getDuration()

• compute the duration between intervals in seconds (that is : the duration between the end of the earlier interval and the beginning of the later one):

double duration = interval.durationFrom(AbsoluteDateInterval nextInterval)

• merge the interval with another interval if possible (the intervals must overlap or be connected to be merged):

AbsoluteDateInterval mergedInterval = interval.mergeTo(AbsoluteDateInterval)

• get the intersection between two intervals when overlapping:

AbsoluteDateInterval intersection = interval.getIntersectionWith(AbsoluteDateInterval)

• compare the duration of an interval with the duration of another interval:

int compare = interval.compareDurationTo(AbsoluteDateInterval)

List of time intervals

The class AbsoluteDateIntervalsList represents a list of time intervals (whose elements are AbsoluteDateInterval instances). As AbsoluteDateInterval objects implement the Comparable interface via the class ComparableInterval, the time intervals in the list are automatically ordered by their lower/upper dates.

        final AbsoluteDateIntervalsList list = new AbsoluteDateIntervalsList();
        IntervalEndpointType open = IntervalEndpointType.OPEN;
        IntervalEndpointType closed = IntervalEndpointType.CLOSED;
        // set up the time intervals to add:
        final AbsoluteDateInterval i1 = new AbsoluteDateInterval(open, date1, date2, closed);
        final AbsoluteDateInterval i2 = new AbsoluteDateInterval(closed, date1, date3, open);      
        list.add(i1);
        list.add(i2);

In addition to the methods inherited from the TreeSet class, AbsoluteDateIntervalsList can also:

• tell which time intervals in the list contain a predetermined date:

AbsoluteDateIntervalsList intervals = list.getIntervalsContainingDate(date)

• compute the shortest interval containing all the intervals belonging to the list:

AbsoluteDateInterval inclusiveInterval = list.getInclusiveInterval();

• compute the list of complementary intervals of the given intervals list:

AbsoluteDateIntervalsList complementaryList = list.getComplementaryIntervals();

Please see the Javadoc for more information.

Local time and solar time

Local time is represented by the angle between the projections of the Earth-Sun vector and the Earth-Spacecraft vector in the equatorial plane. Local time is expressed in hours and its value is 12h when this angle is 0 rad. Beware, in PATRIUS, local time is always expressed as an angle in the range [-PI; PI[ and always represents the angle between the projections of the Earth-Sun vector and the Earth-Spacecraft vector in the equatorial plane. If one wants to retrieve local time (in hours) from the local time angle provided by PATRIUS, the following formula should be used:

Local time increases for prograde orbits and decreases for retrograde orbits.

Similarly, solar time is represented by the angle between the Earth-Sun projection in the orbital plane and the Earth-Spacecraft vector. Solar time is expressed in hours and its value is 12h when this angle is 0 rad. Beware, in PATRIUS, solar time is always expressed as an angle in the range [-PI; PI[ and always represents the angle between the Earth-Sun projection in the orbital plane and the Earth-Spacecraft vector. If one wants to retrieve solar time (in hours) from the solar time angle provided by PATRIUS, the following formula should be used:

Solar time always increases with time. It is mesured around the orbit momentum.

The class LocalTimeAngle provides methods to compute:

• True local time angle using computeTrueLocalTimeAngle(). Local time is always computed in TIRF frame. True local time is represented by the angle between projection of satellite position and Sun position over the equatorial plane in provided frame. Returned time is expressed in seconds in the range [-PI; PI[.
• Mean local time angle using computeMeanLocalTimeAngle(). Local time angle is always computed in TIRF frame. Mean local time is the sum of true local time and equation of time (EOT):

• Equation of time using computeEquationOfTime():

Equation of time is true local time of GMST ([0; 0; 1] vector in TIRF frame) minus seconds in the date:

Equation of time is periodic over one year in the range [-16min; +14min]:

Getting Started

AbsoluteDateInterval

Here is given a code example on how to use the AbsoluteDateInterval:

        final AbsoluteDate t1 = new AbsoluteDate("1969-11-03", TimeScalesFactory.getTT());
        final AbsoluteDate t2 = new AbsoluteDate("1969-11-04", TimeScalesFactory.getTT());
        final AbsoluteDate t3 = new AbsoluteDate("1969-11-06", TimeScalesFactory.getTT());
        final AbsoluteDate t4 = new AbsoluteDate("1969-11-07", TimeScalesFactory.getTT());
        final IntervalEndpointType open = IntervalEndpointType.OPEN;
        final double dayInSeconds = Constants.JULIAN_DAY;
        // Two separated intervals, two days of separation :
        // ..] t1 ; t2 [....] t3 ; t4 [..
        final AbsoluteDateInterval ad1A = new AbsoluteDateInterval(open, t1, t2, open);
        final AbsoluteDateInterval ad1B = new AbsoluteDateInterval(open, t3, t4, open);
        final double dur11 = ad1B.durationFrom(ad1A);
        final double dur12 = ad1A.durationFrom(ad1B);
        // ad1B begins 2 days after ad1A ends : duration from is + 2 days
        Assert.assertEquals(2.* dayInSeconds, dur11, 0.);
        // ad1A ends 2 days before ad1B begins : duration from is- 2 days
        Assert.assertEquals(-2.* dayInSeconds, dur12, 0.);

Contents

Interfaces

Classes

Tutorials

Tutorial 1

Tutoriel sur les dates