Поваляев А.А. Спутниковые радионавигационные системы (2008) (1151867), страница 7
Текст из файла (страница 7)
Таким образом, показания любых часов являются лишь приближением к тому, что принято называть временем. Если посмотреть внимательно, то показания любых часов формируются как сумма их начальной установки, приращения фазы процесса часов на интервале времени от момента начальной установки до текущего момента и возможных коррекций показаний часов на том же интервале времени. Таким образом, показания часов являются фазой, значение которой используется для количественного определения времени.
В момент считывания показаний часов (т.е. при количественном определении времени) фаза представляется как время, а размерность фазы заменяется на размерность времени. Для обозначения показаний часов в монографии используется символ Т1!) . В дальнейшем для определения понятия псевдофазы, помимо понятия процесса часов необходимо будет использовать дополнительное понятие сигнала часов. Под сигналом часов далее будем понимать гипотетический сигнал, фаза которого в каждый момент времени равна показаниям этих часов Т1!) . Напомним, что процессом часов ранее был назван процесс, наблюдение за фазой которого используется в этих часах для формирования их показаний (т.е.
для количественного определения времени). Однако показания часов нс совпадают с фазой процесса часов. Ранее было определено, что показания часов формируются как сумма их начальной установки, приращения фазы процесса часов на интервале времени от момента начальной установки до текущего момента и возможных коррекций показаний часов на том же интервале времени. Таким образом, несмотря на то, что показания часов формируются на основе наблюдения за фазой процесса часов, показания часов не равны 2в Гхае«2 фазе процесса часов. Сигнал же часов определяется так, что его фаза в любой момент времени равна показаниям этих часов.
В один и тот же момент времени разные часы могут иметь разные показания и в разные моменты времени разные часы могут иметь одинаковые показания. Под смещением показаний одних часов относительно других в монографии подразумевается разность показаний этих часов на один и тот же момент времени с При этом смещение показаний одних часов относительно других не следует путать с интервалом времени между моментами одинаковых показаний этих часов. Вследствие того, что любые часы нестабильны, разность показаний часов на один и тот же момент времени в общем случае не равна интервалу времени между моментами одинаковых показаний этих часов. 2.2. Последовательности моментов времени, определяемые показаниями часов Введем в рассмотрение понятие последовательности моментов времени, определяемой показаниями некоторых часов, как последовательности моментов, в которые показания этих часов равны заданным значениям.
В качестве примеров таких последовательностей можно привести последовательности моментов времени, в которые показания часов равны целому числу секунд (миллисекунд); последовательности моментов времени, в которые показания часов кратны номинальной длительности интервала времени между прерываниями, и т.д. Неравномерность изменения показаний часов во времени приводит к тому, что длительность интервалов времени между моментами таких последовательностей изменяется, Далее, для краткости, последовательности моментов времени, определяемые показаниями часов, будут называться последовательностями определенных моментов времени соответствующих часов или еще проще — последовательностями моментов времени часов.
Например, последовательности моментов времени, в которые показания некоторых часов равны целому числу секунд (миллисекунд), будут называться последовательностями секунд (миллисекунд) этих часов. Для того, чтобы исключить при построении предложений употребление одинаковых слов, вместо термина «моменты, определяемые показаниями часов», там, где это потребуется, будет использоваться его синоним «моменты, привязанные к показаниям часов».
Определим первичные и вторичные последовательности моментов времени часов. Первичными являются последовательности моментов появления физически регистрируемых событий, характерных для процесса рассматриваемых часов. Приращения показаний часов на интервалах времени между моментами первичных последовательностей могут приниматься равными номинальному значению длительности этих Оцюниж вы .Ллдионавиаяцяоняые гигиены интервалов, но могут и вычисляться специальным образом.
Например, для собственных часов приемника такими событиями являются моменты прерываний СП, к которым привязаны измерения навигационного приемника (см. гл. 1). Приращения показаний собственных часов между моментами этих прерываний могут приниматься равными номинальной длительности интервала времени между прерываниями, но могут и вычисляться с учетом оценок Ьз (!) смешения частоты задающего гене- ратора приемника относительно его номинального значения (см.
п.2.5.5). Показания часов в моменты своих первичных последовательностей (в моменты появления физически регистрируемых событий процесса часов) определяются путем добавления приращений к показаниям часов, которые наблюдались в предыдущие моменты этих последовательностей. Таким образом, отличительным свойством физически регистрируемых событий процесса часов и определяемых ими первичных последовательностей этих часов является то, что нс показания часов определяют моменты времени появления событий (моментов первичных последовательностей), а события процесса часов определяют моменты времени (моменты первичных последовательностей), в которые показания часов вычисляются путем добавления приращений к показаниям, которые наблюдались в предылушие моменты появления событий.
Вторичным последовательностям моментов времени часов не обязательно сопутствуют какие-либо физически регистрируемые события, за исключением того, что показания часов в моменты этих последовательностей равны заданным значениям.
Например, последовательности моментов секунд (миллисекунд) собственных часов приемника являются вторичными. В моменты этих последовательностей в приемнике не осуществляется регистрация каких-либо физических событий. Если на моменты последовательности секунд собственных часов приемника необходимо сформировать измерения и по ним вычислить координаты приемника, то все это реализуется в приемнике путем вычислений в СП на интервалах времени после моментов указанных секунд и выдастся потребителю с указанием показаний собственных часов на моменты этих секунд.
2.3. Индексация показаний часов и моментов времени, определяемых показаниями часов Моменты времени, определяемые одинаковыми показаниями разных часов, в общем случае не совпадают. Рассмотрим двое разных часов, показания которых обозначим как т,(г) и т,(1). Рассмотрим, например, моменты миллисекунд г 'и и ~",~~ этих часов. Поскольку часы являются разными, то моменты времени 1„„п и ~~~~ в общем случае не зо и 2 совпадают.
Это позволяет рассматривать показания первых часов Т, ~~~ы) в моменты миллисекунд ~"',ы вторых часов, и наоборот, показания вторых часов Т,~! ', ) в моменты миллисекунд первых часов ! ьпз ~'"„-'"'. Отсюда видим, что когда требуется определить показания некоторых часов на определенные моменты времени, то необходимо указывать ис только то, о каких часах идет речь, но и то, показаниями каких часов определяются эти моменты времени. Поэтому, если в монографии символ Т, используемый для обозначения показаний часов, снабжен нижним индексом, то этот индекс обозначает тип часов, показания которых имеются в виду. Если символ й используемый в монографии для обозначения времени, снабжен верхним индексом, то этот индекс обозначает тип часов, показания которых определяют рассматриваемый момент времени.
Нижний индекс при символе [ обозначает тип моментов времени. Например, ~'„,' обозначает моменты миллисекунд собственных часов приемника, а ~~„",„' обозначает моменты прерываний, в которые собственные часы приемника показывают значения, кратные номинальной длительности интервала времени между прерываниями. Если при символе ~ указан только верхний индекс, то имеются в виду любые моменты времени, определяемые показаниями часов, тип которых указывает этот верхний индекс. Если при символе г указан только нижний индекс, то имеется в виду момент времени некоторого события в приемнике, на которое указывает нижний индекс.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
