(57)【要約】      （修正有）【課題】閏秒を反映した時刻を、容易且つ適切に、設定及び更新する。【解決手段】時刻設定装置１０００は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、第１の時間間隔より長い第２の時間間隔で衛星から受信する、衛星信号受信部１００１と、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する、記憶部１００２と、衛星信号受信部１００１が、受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、登録閏秒情報を利用して、ＵＴＣ時刻を算出する、時刻算出部１００３と、を備える。【選択図】図１
2019144117.tif 000002
【特許請求の範囲】
【請求項１】
衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する、衛星信号受信部と、
累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する、記憶部と、
前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する、時刻算出部と、
を備える時刻設定装置。
【請求項２】
前記衛星信号受信部が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻、前記次回累積閏秒のうち、少なくとも一方と、前記累積閏秒と、前記衛星時刻情報とを利用して、ＵＴＣ時刻を算出する、請求項１に記載の時刻設定装置。
【請求項３】
前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合、前記受信閏秒情報と前記登録閏秒情報との差分に基づいて、前記登録閏秒情報を更新するか否かを判断する、閏秒情報更新部をさらに含む、請求項１又は２に記載の時刻設定装置。
【請求項４】
前記閏秒情報更新部は、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信した場合であって、且つ前記受信閏秒情報と前記登録閏秒情報とが異なる場合、前記受信閏秒情報を、前記登録閏秒情報として、記憶部に登録する、請求項３に記載の時刻設定装置。
【請求項５】
前記閏秒情報更新部は、前記時刻算出部が算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記累積閏秒以降である場合であって、且つ前記登録閏秒情報に含まれる、前記累積閏秒と前記次回累積閏秒とが異なる場合、前記累積閏秒と前記次回累積閏秒との差分を、累積閏秒差分として算出し、
前記時刻算出部は、前記累積閏秒差分を反映したＵＴＣ時刻を算出し、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項３又は４に記載の時刻設定装置。
【請求項６】
前記時刻算出部は、算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻以降である場合であって、且つ前記登録閏秒情報に含まれる、前記累積閏秒と前記次回累積閏秒とが同一である場合、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項３又は４に記載の時刻設定装置。
【請求項７】
前記時刻算出部は、算出したＵＴＣ時刻が、前記登録閏秒情報に含まれる前記次回閏秒発生時刻未満である場合、算出したＵＴＣ時刻を、自時刻設定装置に設定する、請求項３又は４に記載の時刻設定装置。
【請求項８】
記憶部を備える時刻設定装置が実行する時刻更新方法であって、
衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する工程と、
累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する工程と、
前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する工程と、
を含む時刻更新方法。
【請求項９】
記憶部を備える時刻設定装置を制御するコンピュータに実行させるプログラムであって、
衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する処理と、
累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する処理と、
前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する処理と、
を前記コンピュータに実行させるプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、時刻設定装置、時刻更新方法及びプログラムに関する。
【背景技術】
【０００２】
ＧＰＳ（Global Positioning System）衛星から電波信号（衛星信号）を受信する、受信部（レシーバ）を備える装置は、ＧＰＳ衛星から受信した衛星信号に含まれる、衛星時刻信号を利用して、当該装置の時刻を設定できる。
【０００３】
特許文献１においては、ＧＰＳ衛星のＧＰＳ時刻と、ＵＴＣ（Coordinated Universal Time; Universal Time, Coordinated）時刻（世界協定時）との差を、予め算出し、保持する技術が記載されている。そして、特許文献１に記載された技術においては、算出した差を利用して、ＵＴＣ時刻を修正する技術が記載されている。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００９−１４５３１８号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
なお、上記先行技術文献の開示を、本書に引用をもって繰り込むものとする。以下の分析は、本発明の観点からなされたものである。
【０００６】
装置がＧＰＳ衛星から衛星信号を受信する場合、当該装置は、所定の時間間隔で、閏秒に関する情報（閏秒情報）を取得可能である。
【０００７】
ここで、装置がＧＰＳ衛星から、衛星時刻情報を含む衛星信号を受信する場合、装置は、ＧＰＳ衛星から、１秒間隔で衛星時刻情報を受信可能である。しかし、装置がＧＰＳ衛星から、閏秒に関する情報（閏秒情報）を含む衛星信号を受信する場合、装置は、ＧＰＳ衛星から、１２．５分間隔で、閏秒情報を含む衛星信号を受信することになる。そのため、装置が最新の閏秒情報を受信できていないタイミングにおいて、閏秒が発生した場合、装置は、最新の閏秒を反映して、ＵＴＣ（Coordinated Universal Time; Universal Time, Coordinated）時刻（世界協定時）を算出できない。その場合、装置は、最新の閏秒情報を含む衛星信号を受信するまで、適切にＵＴＣ時刻を算出できない。
【０００８】
特許文献１に記載された技術においては、装置が最新の閏秒情報を受信できていないタイミングにおいて、閏秒が発生した場合、装置は、最新の閏秒を反映して、ＵＴＣ時刻（世界協定時）を算出できない。
【０００９】
そこで、本発明は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置、時刻更新方法及びプログラムを提供することを目的とする。
【課題を解決するための手段】
【００１０】
本発明の第１の視点によれば、時刻設定装置が提供される。前記時刻設定装置は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する、衛星信号受信部を備える。
さらに、前記時刻設定装置は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する、記憶部を備える。
さらに、前記時刻設定装置は、前記衛星信号受信部が、前記受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する、時刻算出部を備える。
【００１１】
本発明の第２の視点によれば、時刻更新方法が提供される。前記時刻更新方法は、記憶部を備える時刻設定装置が実行する方法である。
前記時刻更新方法は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する工程を含む。
さらに、前記時刻更新方法は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する工程を含む。
さらに、前記時刻更新方法は、前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する工程を含む。
なお、本方法は、衛星時刻情報を受信する時刻設定装置という、特定の機械に結び付けられている。
【００１２】
本発明の第３の視点によれば、プログラムが提供される。前記プログラムは、記憶部を備える時刻設定装置を制御するコンピュータに実行させるプログラムである。
前記プログラムは、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で前記衛星から受信する処理を、前記コンピュータに実行させる。
さらに、前記プログラムは、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を、前記記憶部に保持する処理を、前記コンピュータに実行させる。
さらに、前記プログラムは、前記受信閏秒情報を含む衛星信号が受信されてから、次の受信閏秒情報を含む衛星信号が受信されるまでの間に、閏秒が発生した場合、前記登録閏秒情報を利用して、ＵＴＣ時刻を算出する処理を、前記コンピュータに実行させる。
なお、これらのプログラムは、コンピュータが読み取り可能な記憶媒体に記録することができる。記憶媒体は、半導体メモリ、ハードディスク、磁気記録媒体、光記録媒体等の非トランジェント（non-transient）なものとすることができる。本発明は、コンピュータプログラム製品として具現することも可能である。
【発明の効果】
【００１３】
本発明の各視点によれば、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置、時刻更新方法及びプログラムが提供される。
【図面の簡単な説明】
【００１４】
【図１】一実施形態の概要を説明するための図である。
【図２】第１の実施形態に係る時刻設定装置１の内部構成の一例を示すブロック図である。
【図３】登録閏秒情報３２の構成の一例を示す図である。
【図４】時刻設定部４０の内部構成の一例を示すブロック図である。
【図５】設定ファイル取得処理の一例を示すシーケンス図である。
【図６】ＵＴＣ時刻を設定する処理の一例をシーケンス図である。
【図７】ＵＴＣ時刻設定処理の一例を示すフローチャートである。
【図８】ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。
【発明を実施するための形態】
【００１５】
初めに、図１を用いて一実施形態の概要について説明する。なお、この概要に付記した図面参照符号は、理解を助けるための一例として各要素に便宜上付記したものであり、この概要の記載はなんらの限定を意図するものではない。また、各ブロック図のブロック間の接続線は、双方向及び単方向の双方を含む。一方向矢印については、主たる信号（データ）の流れを模式的に示すものであり、双方向性を排除するものではない。
【００１６】
上記の通り、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する時刻設定装置が望まれる。
【００１７】
そこで、一例として、図１に示す時刻設定装置１０００が提供される。時刻設定装置１０００は、衛星信号受信部１００１と、記憶部１００２と、時刻算出部１００３とを備える。
【００１８】
衛星信号受信部１００１は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、第１の時間間隔より長い第２の時間間隔で衛星から受信する。受信閏秒情報とは、衛星から送信される、閏秒に関する情報である。
【００１９】
記憶部１００２は、累積閏秒１０１１と、次回閏秒発生時刻１０１２と、次回累積閏秒１０１３とを含む、登録閏秒情報１０１０を保持する。累積閏秒１０１１は、当該累積閏秒１０１１を登録した時点、又は取得した時点までに発生した、閏秒を積算した秒数である。次回閏秒発生時刻１０１２は、累積閏秒１０１１を登録した時点又は取得した時点以後に、次回の閏秒が発生する時刻である。次回累積閏秒１０１３は、次回の閏秒が発生した後に、発生する閏秒を積算した秒数である。
【００２０】
時刻算出部１００３は、衛星信号受信部１００１が、受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、登録閏秒情報１０１０を利用して、ＵＴＣ時刻を算出する。
【００２１】
従って、時刻設定装置１０００は、受信した衛星信号が、閏秒に関する情報（閏秒情報）を含まない場合に、閏秒が発生した場合であっても、適切に閏秒を反映して、ＵＴＣ時刻を設定できる。従って、時刻設定装置１０００は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する。
【００２２】
［第１の実施形態］
第１の実施形態について、図面を用いて詳細に説明する。
【００２３】
図２は、本実施形態に係る時刻設定装置１の内部構成の一例を示すブロック図である。本実施形態に係る時刻設定装置１は、制御部１０と、衛星信号受信部２０と、記憶部３０とを含んで構成される。図２は、簡単のため、本実施形態に係る時刻設定装置１に関係するモジュールを主に記載する。時刻設定装置１は、図示しないハードウェア、ソフトウェアを含んでもよいことは勿論である。
【００２４】
制御部１０は、時刻設定装置１の全体を制御すると共に、時刻設定装置１の図２に示す各部を制御する。例えば、時刻設定装置１は、ＣＰＵ（Central Processing Unit）を用いて実現可能である。
【００２５】
制御部１０は、時刻設定部４０を含んで構成される。時刻設定部４０は、時刻設定装置の時刻を制御する。時刻設定部４０の詳細については、後述する。
【００２６】
衛星信号受信部２０は、衛星から時刻情報（衛星時刻情報）を含む、衛星信号を受信する。具体的には、衛星信号受信部２０は、衛星時刻情報を含む衛星信号を、第１の時間間隔で衛星から受信し、受信閏秒情報をさらに含む、衛星信号を、前記第１の時間間隔より長い第２の時間間隔で衛星から受信する。例えば、衛星信号は、ＧＰＳ（Global Positioning System）信号であってもよい。
【００２７】
第１の時間間隔は１秒間隔であってもよい。また、第２の時間間隔は、１２．５分間隔であってもよい。
【００２８】
記憶部３０は、時刻設定装置１の動作に必要な情報を記憶する。記憶部３０は、磁気ディスク装置や光ディスク装置、半導体メモリによって実現される。
【００２９】
記憶部３０は、累積閏秒と、次回閏秒発生時刻と、次回累積閏秒とを含む、登録閏秒情報を保持する。具体的には、記憶部３０は、設定ファイル３１を記憶する。設定ファイル３１は、登録閏秒情報３２を含んで構成される。
【００３０】
図３は、登録閏秒情報３２の構成の一例を示す図である。登録閏秒情報３２は、累積閏秒３２１と、次回閏秒発生時刻３２２と、次回累積閏秒３２３とを含んで構成される。
【００３１】
次に、時刻設定部４０について詳細に説明する。
【００３２】
図４は、時刻設定部４０の内部構成の一例を示すブロック図である。時刻設定部４０は、設定ファイル取得部４０１と、時刻算出部４０２と、閏秒情報更新部４０３と、衛星信号管理部４０４と、時刻設定制御部４０５とを含んで構成される。
【００３３】
図４に示す各モジュールは、時刻設定装置１に搭載されたコンピュータに、そのハードウェアを用いて、時刻設定装置１の処理を実行させるコンピュータプログラムにより実現しても良い。
【００３４】
設定ファイル取得部４０１は、記憶部３０から設定ファイル３１を読み出し、設定ファイル３１を取得する。例えば、時刻設定装置１が起動した際に、設定ファイル取得部４０１は、設定ファイル３１を取得してもよい。
【００３５】
時刻算出部４０２は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信してから、次の受信閏秒情報を含む衛星信号を受信するまでの間に、閏秒が発生した場合、登録閏秒情報を利用して、ＵＴＣ時刻を算出する。
【００３６】
時刻算出部４０２は、登録閏秒情報３２に含まれる次回閏秒発生時刻、次回累積閏秒のうち、少なくとも一方と、累積閏秒と、衛星時刻情報とを利用して、ＵＴＣ時刻を算出する。
【００３７】
閏秒情報更新部４０３は、登録閏秒情報３２を更新する。閏秒情報更新部４０３は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信した場合、受信閏秒情報と登録閏秒情報との差分に基づいて、登録閏秒情報を更新するか否かを判断する。
【００３８】
衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号を取得する。さらに、衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号を解析する。具体的には、衛星信号管理部４０４は、取得した衛星信号が、受信閏秒情報を含むか否かを判断する。
【００３９】
時刻設定制御部４０５は、設定ファイル取得部４０１、時刻算出部４０２、閏秒情報更新部４０３、衛星信号管理部４０４を制御する。
【００４０】
次に、時刻設定装置１の動作について詳細に説明する。
【００４１】
まず、設定ファイル３１を取得する処理（以下、設定ファイル取得処理と呼ぶ）について説明する。
【００４２】
図５は、設定ファイル取得処理の一例を示すシーケンス図である。
【００４３】
ステップＡ１において、時刻設定制御部４０５は、設定ファイル取得部４０１に、設定ファイル３１の取得を要求する。ステップＡ２において、設定ファイル取得部４０１は、記憶部３０に、設定ファイル３１を要求する。ステップＡ３において、記憶部３０は、設定ファイル取得部４０１に、設定ファイル３１を応答する。ステップＡ４において、設定ファイル取得部４０１は、設定ファイル３１から、登録閏秒情報３２を取得する。ステップＡ５において、設定ファイル取得部４０１は、時刻設定制御部４０５に設定ファイルの取得完了を応答する。そして、時刻設定装置１は、設定ファイル取得処理を終了する。
【００４４】
次に、受信された衛星信号が受信閏秒情報を含まない場合に、ＵＴＣ時刻を設定する処理について説明する。
【００４５】
図６は、受信された衛星信号が受信閏秒情報を含まない場合に、ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。
【００４６】
ステップＳ１において、衛星信号受信部２０は、受信した衛星信号を、衛星信号管理部４０４に送信する。衛星信号が受信閏秒情報を含まない場合、衛星信号管理部４０４は、ＵＴＣ時刻の設定を、閏秒情報更新部４０３に要求する（ステップＳ２）。ステップＳ３において、時刻設定部４０は、ＵＴＣ時刻を設定する処理（以下、ＵＴＣ時刻設定処理と呼ぶ）を実行する。そして、閏秒情報更新部４０３は、衛星信号管理部４０４に、ＵＴＣ時刻の設定完了を応答する。
【００４７】
図７を参照しながら、ＵＴＣ時刻設定処理について詳細に説明する。
【００４８】
図７は、ＵＴＣ時刻設定処理の一例を示すフローチャートである。
【００４９】
ステップＳ２０１において、時刻算出部４０２は、衛星信号管理部４０４から衛星時刻情報を取得する。具体的には、時刻算出部４０２は、衛星信号管理部４０４に衛星時刻情報を要求する。衛星信号管理部４０４は、衛星信号受信部２０が受信した衛星信号から、衛星時刻情報を取得する。そして、衛星信号管理部４０４は、取得した衛星時刻情報を、時刻算出部４０２に通知する。
【００５０】
ステップＳ２０２において、時刻算出部４０２は、登録閏秒情報を取得する。具体的には、時刻算出部４０２は、時刻設定制御部４０５に、図５に示す設定ファイル取得処理の実行を要求する。設定ファイル取得処理は上記の通りであるため、詳細な説明は省略する。設定ファイル取得部４０１は、取得した登録閏秒情報３２を、時刻算出部４０２に通知する。
【００５１】
ステップＳ２０３において、時刻算出部４０２は、ＵＴＣ時刻を算出する。具体的には、時刻算出部４０２は、受信閏秒情報と登録閏秒情報３２とが同一である場合、衛星時刻情報と、登録閏秒情報３２に含まれる累積閏秒３２１とを用いて、ＵＴＣ時刻を算出する。
【００５２】
ステップＳ２０４において、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降であるか否かを、閏秒情報更新部４０３は判断する。一方、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２未満である場合、時刻算出部４０２は、ステップＳ２０３の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。そして、時刻設定部４０は、ＵＴＣ時刻設定処理を終了する。
【００５３】
一方、時刻算出部４０２が算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降である場合、ステップＳ２０５に遷移する。
【００５４】
ステップＳ２０５において、累積閏秒３２１と次回累積閏秒３２３とが同一であるか否かを、閏秒情報更新部４０３は判断する。累積閏秒３２１と次回累積閏秒３２３とが同一である場合（ステップＳ２０５のＹｅｓ分岐）には、時刻算出部４０２は、ステップＳ２０３の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。つまり、時刻算出部４０２は、算出したＵＴＣ時刻が、次回閏秒発生時刻３２２以降である場合であって、且つ累積閏秒３２１と次回累積閏秒３２３とが同一である場合、算出したＵＴＣ時刻を、時刻設定装置１に設定する。
【００５５】
一方、累積閏秒３２１と次回累積閏秒３２３とが同一ではない場合（ステップＳ２０５のＮｏ分岐）には、閏秒情報更新部４０３は、次回累積閏秒３２３と累積閏秒３２１との差分を、累積閏秒差分として算出する（ステップＳ２０６）。
【００５６】
ステップＳ２０７において、時刻算出部４０２は、累積閏秒差分を反映したＵＴＣ時刻を算出する。そして、時刻算出部４０２は、ステップＳ２０７の処理において算出したＵＴＣ時刻を、時刻設定装置１に設定する（ステップＳ２０８）。そして、時刻設定部４０２は、ＵＴＣ時刻設定処理を終了する。
【００５７】
つまり、閏秒情報更新部４０３は、時刻算出部４０２が算出したＵＴＣ時刻が、累積閏秒３２１以降である場合であって、且つ累積閏秒３２１と次回累積閏秒３２３とが異なる場合、累積閏秒３２１と次回累積閏秒３２３との差分を、累積閏秒差分として算出する。そして、時刻算出部４０２は、累積閏秒差分を反映したＵＴＣ時刻を算出し、算出したＵＴＣ時刻を、時刻設定装置１に設定する。
【００５８】
次に、受信された衛星信号が受信閏秒情報を含む場合に、ＵＴＣ時刻を設定する処理について説明する。
【００５９】
図８は、受信された衛星信号が受信閏秒情報を含む場合に、ＵＴＣ時刻を設定する処理の一例を示すシーケンス図である。
【００６０】
ステップＳ１において、衛星信号受信部２０は、受信した衛星信号を、衛星信号管理部４０４に送信する。衛星信号が受信閏秒情報を含む場合、衛星信号管理部４０４は、受信閏秒情報を、閏秒情報更新部４０３に通知する（ステップＳ１０１）。閏秒情報更新部４０３は、設定ファイル取得処理を実行する（ステップＳ１０２）。具体的には、閏秒情報更新部４０３は、時刻設定制御部４０５に、図５に示す設定ファイル取得処理の実行を要求する。設定ファイル取得処理の詳細は上記の通りであるため、詳細な説明は省略する。
【００６１】
設定ファイル取得部４０１が登録閏秒情報３２を取得した場合、閏秒情報更新部４０３は、受信閏秒情報と登録閏秒情報３２とを比較する。受信閏秒情報と登録閏秒情報３２とが同一である場合には、ステップＳ１０４に遷移する。
【００６２】
一方、受信閏秒情報と登録閏秒情報３２とが異なる場合には、閏秒情報更新部４０３は、受信閏秒情報を、登録閏秒情報として設定する（ステップＳ１０３）。つまり、閏秒情報更新部４０３は、衛星信号受信部２０が、受信閏秒情報を含む衛星信号を受信した場合であって、且つ受信閏秒情報と登録閏秒情報３２とが異なる場合、受信閏秒情報を、登録閏秒情報３２として、記憶部３０に登録する。
【００６３】
ステップＳ１０４において、時刻設定部４０は、図７に示すＵＴＣ時刻設定処理を実行する。ＵＴＣ時刻設定処理の詳細は上記の通りであるため、詳細な説明は省略する。
【００６４】
［変形例１］
本実施形態に係る時刻設定装置１の変形例１として、時刻設定装置１が衛星と接続する前に、時刻設定装置１のユーザ（例えば、時刻設定装置１を運用するオペレータ等）が、設定ファイル３１を更新するときに、次回閏秒発生時刻３２２と次回累積閏秒３２３とを更新してもよい。
【００６５】
［変形例２］
本実施形態に係る時刻設定装置１の変形例２として、衛星信号受信部２０が受信するが衛星信号は、ＰＴＰ（Precision Time Protocol）信号であってもよい。
【００６６】
以上のように、本実施形態に係る時刻設定装置１は、累積閏秒３２１と次回閏秒発生時刻３２２と次回累積閏秒３２３とを含む、最新の閏秒に関する情報を、登録閏秒情報３２として保持する。時刻設定装置１は、登録閏秒情報３２を保持することで、受信した衛星信号が、閏秒に関する情報（閏秒情報）を含まない場合に、閏秒が発生した場合であっても、適切に閏秒を反映して、ＵＴＣ時刻を設定できる。従って、本実施形態に係る時刻設定装置１は、閏秒を反映した時刻を、容易且つ適切に、設定及び更新することに貢献する。
【００６７】
また、本実施形態に係る時刻設定装置１は、衛星から発信される、最新の閏秒に関する情報（閏秒情報）を保持する。従って、本実施形態に係る時刻設定装置１は、最新の閏秒を反映して、時刻を設定及び更新することに貢献する。
【００６８】
また、本実施形態に係る時刻設定装置１は、衛星から閏秒に関する情報（閏秒情報）を受信するまで待つ必要がない。閏秒を反映した時刻を、迅速且つ適切に、設定及び更新することに貢献する。
【００６９】
なお、上記の特許文献の開示を、本書に引用をもって繰り込むものとする。本発明の全開示（請求の範囲を含む）の枠内において、さらにその基本的技術思想に基づいて、実施形態の変更・調整が可能である。また、本発明の全開示の枠内において種々の開示要素（各請求項の各要素、各実施形態の各要素、各図面の各要素等を含む）の多様な組み合わせ、ないし、選択が可能である。すなわち、本発明は、請求の範囲を含む全開示、技術的思想にしたがって当業者であればなし得るであろう各種変形、修正を含むことは勿論である。特に、本書に記載した数値範囲については、当該範囲内に含まれる任意の数値ないし小範囲が、別段の記載のない場合でも具体的に記載されているものと解釈されるべきである。
【符号の説明】
【００７０】
１、１０００  時刻設定装置
１０  制御部
２０、１００１  衛星信号受信部
３０、１００２  記憶部
３１  設定ファイル
３２  登録閏秒情報
４０  時刻設定部
３２１、１０１１  累積閏秒
３２２、１０１２  次回閏秒発生時刻
３２３、１０１３  次回累積閏秒
４０１  設定ファイル取得部
４０２  時刻算出部
４０３  閏秒情報更新部
４０４  衛星信号管理部
４０５  時刻設定制御部
１００３  時刻算出部
【図１】
2019144117.tif 000003
【図２】
2019144117.tif 000004
【図３】
2019144117.tif 000005
【図４】
2019144117.tif 000006
【図５】
2019144117.tif 000007
【図６】
2019144117.tif 000008
【図７】
2019144117.tif 000009
【図８】
2019144117.tif 000010