(57)【要約】【課題】仮想時間制御装置、仮想時間制御方法およびその非一時的コンピュータ可読記憶媒体を提供すること。【解決手段】仮想時間制御装置は、システムタイマ、リアル・タイム・クロックおよび処理装置を備え、処理装置は、システムタイマおよびリアル・タイム・クロックに電気的に接続される。システムタイマは、独自のタイマ期間を有し、一方、リアル・タイム・クロックは独自のティック（ｔｉｃｋ）期間を有する。処理装置は、ハイパーバイザを実行する。ハイパーバイザは、調整比および独自のタイマ期間に従って仮想タイマ期間を生成する。ハイパーバイザは、調整比および独自のティック期間に従って仮想ティック期間を生成する。【選択図】図２
2015046141.tif 000002
【特許請求の範囲】
【請求項１】
仮想時間制御装置であって、
独自のタイマ期間を有するシステムタイマと、
独自のティック（ｔｉｃｋ）期間を有するリアル・タイム・クロックと、
前記システムタイマおよび前記リアル・タイム・クロックに電気的に接続され、ハイパーバイザを実行するように構成された処理装置と
を備え、前記ハイパーバイザは、調整比および前記独自のタイマ期間に従って仮想タイマ期間を生成し、かつ前記調整比および前記独自のティック期間に従って仮想ティック期間を生成するように構成された仮想時間制御装置。
【請求項２】
前記ハイパーバイザは、さらに、仮想リアル・タイム・クロックを生成し、かつ前記仮想リアル・タイム・クロックおよび前記仮想ティック期間に従って仮想実時間を生成するように構成される、請求項１に記載の仮想時間制御装置。
【請求項３】
前記処理装置は、オペレーティングシステムを実行するようにさらに構成され、前記ハイパーバイザは、前記仮想実時間を前記オペレーティングシステムにさらに提供し、前記ハイパーバイザは、さらに、前記仮想タイマ期間に従って前記オペレーティングシステムへのトリガ信号を定期的に生成する、請求項２に記載の仮想時間制御装置。
【請求項４】
前記オペレーティングシステムは、さらに、前記仮想実時間を壁時間とみなし、前記トリガ信号を使用して、動作時間を更新する、請求項３に記載の仮想時間制御装置。
【請求項５】
前記調整比は正数である、請求項１に記載の仮想時間制御装置。
【請求項６】
前記ハイパーバイザは、前記独自のタイマ期間を前記調整比で除算することにより前記仮想タイマ期間を生成し、前記独自のティック期間を前記調整比で除算することにより前記仮想ティック期間を生成する、請求項１に記載の仮想時間制御装置。
【請求項７】
処理装置内で実行されているハイパーバイザで使用するための仮想時間制御方法であって、
調整比、およびシステムタイマの独自のタイマ期間に従って仮想タイマ期間を生成するステップと、
前記調整比、およびリアル・タイム・クロックの独自のティック期間に従って仮想ティック期間を生成するステップと
を備える仮想時間制御方法。
【請求項８】
仮想リアル・タイム・クロックを生成するステップと、
前記仮想リアル・タイム・クロックおよび前記仮想ティック期間に従って仮想実時間を生成するステップと
をさらに備える、請求項７に記載の仮想時間制御方法。
【請求項９】
前記処理装置は、オペレーティングシステムを実行するようにさらに構成され、前記仮想時間制御方法は、
前記仮想実時間を前記オペレーティングシステムに提供するステップと、
前記仮想タイマ期間に従って、前記オペレーティングシステムへのトリガ信号を定期的に生成するステップと
をさらに備える、請求項８に記載の仮想時間制御方法。
【請求項１０】
前記調整比は正数である、請求項７に記載の仮想時間制御方法。
【請求項１１】
前記仮想タイマ期間は、前記独自のタイマ期間を前記調整比で除算することにより得られ、前記仮想ティック期間は、前記独自のティック期間を前記調整比で除算することにより得られる、請求項７に記載の仮想時間制御方法。
【請求項１２】
処理装置上で実行されるハイパーバイザの中にロードされた後に仮想時間制御方法を実行する、記憶されたコンピュータプログラムを中に有する非一時的コンピュータ可読記憶媒体であって、前記コンピュータプログラムは、
前記ハイパーバイザが調整比、およびシステムタイマの独自のタイマ期間に従って仮想タイマ期間を生成することが可能になるコードＡと、
前記ハイパーバイザが前記調整比、およびリアル・タイム・クロックの独自のティック期間に従って仮想ティック期間を生成することが可能になるコードＢと
を備える非一時的コンピュータ可読記憶媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本出願は、その全体が参照により本明細書に組み入れられる、２０１３年８月２７日に出願された台湾特許出願第１０２１３０６８９号明細書の優先権を主張する。
【０００２】
本出願は、仮想時間制御装置、仮想時間制御方法およびその非一時的コンピュータ可読記憶媒体に関し、より詳細には、本発明は、システムタイマおよびリアル・タイム・クロックを使用する、仮想時間制御装置、仮想時間制御方法およびその非一時的コンピュータ可読記憶媒体に関する。
【背景技術】
【０００３】
情報産業では、アプリケーションソフトウェアの開発、ソフトウェア情報サービスの提供、および／または他のソフトウェア業務の提供には、すべて１つまたは複数のオペレーティングシステムを伴う。オペレーティングシステムで使用される実時間は、通常これらの工程で重要な役割を果たす。
【０００４】
一例として、アプリケーションソフトウェアの開発工程を取り上げると、ソフトウェア開発者は、アプリケーションソフトウェアに対してさまざまな試験を行わなければならない。アプリケーションソフトウェアは、正常に動作することができることが確認されたときだけ、市場に出される。
いくつかのアプリケーションソフトウェアが、潜在的問題を見つけ出すために比較的長い試験時間を必要とすることが分かっている。詳細には、アプリケーションソフトウェアがアンチウィルスソフトウェアであるとき、ソフトウェア開発者は、アンチウィルスソフトウェアに対してさまざまな種類の試験を行って、アンチウィルスソフトウェアがさまざまな種類の悪意のあるソフトウェアによる攻撃から保護できることを保証しなければならない。
いくつかの悪意のあるソフトウェアが、潜伏状態に長い間留まることがあるので、試験時間を長くしなければならない。試験時間を長くしたとき、コストが増大する。したがって、試験環境の時間を加速することができれば、コストを低減することができる。
他の例としてクラウドサービスを取り上げると、クラウド・サービス・プロバイダにより提供されるクラウドプラットフォームが、制御された悪意のある仮想ホストにより攻撃される可能性がある。このシナリオでは、ホストのシステム時間を遅くすることができる場合、攻撃により引き起こされる損害を低減することができる。
【０００５】
図１は、従来のオペレーティングシステム１０で使用される実際の時間を示す概略図である。従来のコンピュータシステム１は、システムタイマ１１、リアル・タイム・クロック１３および処理装置１５を備え、オペレーティングシステム１０は、処理装置１５内で実行される。
有効にされているとき、オペレーティングシステム１０は、リクエスト信号１００をリアル・タイム・クロック１３に送信する。リアル・タイム・クロック１３は、リクエスト信号１００に応答して、実時間１０２をオペレーティングシステム１０に送信する。オペレーティングシステム１０は、実時間を壁時間とみなす。その後、オペレーティングシステム１０が自分の動作時間を更新するように、システムタイマ１１は、タイマトリガ信号１０４をオペレーティングシステム１０に定期的に（たとえば、１秒に１回）提供する。より具体的に言えば、オペレーティングシステム１０は、壁時間と動作時間の和を自分の実際の時間とみなす。
【０００６】
上述のように、ハードウェア内で実行されるオペレーティングシステムでは、実際の時間は通常、重要な役割を果たす。情報産業の中にいる人々については、これらの人々の中にはオペレーティングシステムの実際の時間が加速することを望む人がいれば、実際の時間が減速することを望む人もいる。
【０００７】
前述の望みを満たすために、オペレーティングシステムで使用するさまざまな種類の時間を修正するために、２種類の従来技術が開発された。
第１の種類の技術は、時間と関係があるオペレーティング・システム・カーネル内部のパラメータを修正するためのものである。しかしながら、異なるオペレーティングシステムを個々に修正しなければならず、これは、非常に不都合である。さらに、ソースコードがリリースされていないオペレーティングシステム（たとえばＷｉｎｄｏｗｓ(登録商標)）では、解決策がない。
第２の種類の技術は、オペレーティングシステム関数のためのＡＰＩフッキング機構を採用し、次いで、これらの関数の時間パラメータを修正する。この種の技術は、時間に関係があるすべての関数を前もって捕捉する必要がある。関数が修正され、隠され、または修正が許可されていない場合、修正は不完全になる。
【発明の概要】
【発明が解決しようとする課題】
【０００８】
したがって、オペレーティングシステムのカーネルを修正する必要がなく、システム関数呼出をインターセプトする必要がなく、かつ異なるオペレーティングシステムに適したシステム時間制御機構が緊急に必要である。
【課題を解決するための手段】
【０００９】
従来技術の問題を克服するために、本発明は、仮想時間制御装置、仮想時間制御方法、およびその非一時的コンピュータ可読記憶媒体を提供する。
【００１０】
本発明の仮想時間制御装置は、システムタイマ、リアル・タイム・クロックおよび処理装置を備え、処理装置は、システムタイマおよびリアル・タイム・クロックに電気的に接続される。システムタイマは、独自のタイマ期間を有し、一方、リアル・タイム・クロックは独自のティック（ｔｉｃｋ）期間を有する。処理装置は、ハイパーバイザを実行するように構成される。ハイパーバイザは、調整比および独自のタイマ期間に従って仮想タイマ期間を生成するように構成される。ハイパーバイザはまた、調整比および独自のティック期間に従って仮想ティック期間を生成するように構成される。
【００１１】
本発明で提供する仮想時間制御方法は、処理装置内で実行されるハイパーバイザで使用するためのものである。仮想時間制御方法は、（ａ）調整比、およびシステムタイマの独自のタイマ期間に従って仮想タイマ期間を生成するステップ、および（ｂ）調整比、およびリアル・タイム・クロックの独自のティック期間に従って仮想ティック期間を生成するステップを備える。
【００１２】
本発明で提供する非一時的コンピュータ可読記憶媒体は、その中にコンピュータプログラムが記憶される。コンピュータプログラムは、処理装置上で実行されるハイパーバイザの中にロードされた後に仮想時間制御方法を実行する。
コンピュータプログラムは、コードＡおよびコードＢを備える。コードＡは、調整比、およびシステムタイマの独自のタイマ期間に従って仮想タイマ期間を生成するために、ハイパーバイザにより実行される。コードＢは、調整比、およびリアル・タイム・クロックの独自のティック期間に従って仮想ティック期間を生成するために、ハイパーバイザにより実行される。
【００１３】
本発明では、処理装置により実行されるハイパーバイザは、調整比に従ってシステムタイマの独自のタイマ期間を調整して仮想タイマ期間にし、調整比に従って独自のティック期間を調整して仮想ティック期間にする。
オペレーティングシステムが同じく処理装置により実行されるとき、ハイパーバイザは、リアル・タイム・クロックの独自の実時間、および仮想ティック期間に従って、オペレーティングシステムへの仮想実時間をさらに生成する。さらに、ハイパーバイザは、仮想タイマ期間に従って、オペレーティングシステムにトリガ信号を定期的に送信する。
この方法では、オペレーティングシステムは、仮想実時間を壁時間とみなし、トリガ信号を使用して、自分の動作時間を更新し、次いで、壁時間と動作時間の和を、自分が使用する実際の時間とみなすことができる。
【００１４】
本発明は、処理装置により実行されるハイパーバイザにより、仮想タイマ期間、仮想ティック期間、仮想実時間期間およびトリガ信号を生成するので、オペレーティングシステムのカーネルを修正する必要がなく、システム関数呼出をインターセプトする必要がなく、さまざまなオペレーティングシステムの時間制御機構に適している。
【図面の簡単な説明】
【００１５】
【図１】従来のオペレーティングシステムで使用される実際の時間の概略図である。
【図２】本発明の第１の実施形態による仮想時間制御装置を示す。
【図３】本発明の第２の実施形態による仮想時間制御装置を示す。
【図４】本発明の第３の実施形態による仮想時間制御方法の流れ図である。
【図５】同数のシステムコールをモニタするために得られた時間量の実験データを示す。
【発明を実施するための形態】
【００１６】
以下の説明では、本発明の仮想時間制御装置、仮想時間制御方法、およびその非一時的コンピュータ可読記憶媒体について、本発明の実施形態を参照して説明する。しかしながら、これらの実施形態は、これらの実施形態で説明する任意の具体的な環境、用途、または特定の実装形態に本発明を限定するものではない。したがって、これらの実施形態の説明は、本発明を限定するためではなく、例示のためだけのものである。以下の実施形態および添付図面では、本発明に関係がない要素が説明から省かれていることを理解されたい。
【００１７】
本発明の第１の実施形態は仮想時間制御装置２である。その概略図を図２に示す。仮想時間制御装置２は、システムタイマ２１、リアル・タイム・クロック２３および処理装置２５を備える。処理装置２５は、システムタイマ２１およびリアル・タイム・クロック２３に電気的に接続される。処理装置２５は、ソフトウェアにより実装された仮想ハードウェアと考えてもよいハイパーバイザ２２を実行する。
【００１８】
処理装置２５は、さまざまなプロセッサ、中央処理装置（ＣＰＵ）、マイクロプロセッサ、または当業者に周知の、他の種類のコンピューティングデバイスのいずれであってもよい。さらに、システムタイマ２１およびリアル・タイム・クロック２３の機能および動作は、当業者に周知であるので、本明細書ではこれらの機能および動作についてさらなる説明を行わない。
【００１９】
この実施形態では、システムタイマ２１は、独自のタイマ期間２００を有し、一方、リアル・タイム・クロック２３は独自のティック期間２０２を有する。システムタイマ２１は、独自のタイマ期間２００をハイパーバイザ２２に提供し、一方、リアル・タイム・クロック２３は、独自のティック期間２０２をハイパーバイザ２２に提供する。
ハイパーバイザ２２は、調整比（図示せず）および独自のタイマ期間２００に従って仮想タイマ期間（図示せず）を生成する。さらに、ハイパーバイザ２２は、調整比および独自のティック期間に従って仮想ティック期間（図示せず）を生成する。
【００２０】
一例では、調整比は正数であってもよい。ハイパーバイザ２２は、独自のタイマ期間２００を調整比で除算することにより仮想タイマ期間を生成し、独自のティック期間２０２を調整比で除算することにより仮想ティック期間を生成してもよい。
調整比が１より大きい場合、ハイパーバイザ２２が供給することができる動作周波数が、システムタイマ２１およびリアル・タイム・クロック２３の動作周波数より高いことを意味する。一方、調整比が１より小さい場合、ハイパーバイザ２２が供給することができる動作周波数が、システムタイマ２１およびリアル・タイム・クロック２３の動作周波数より低いことを意味する。
【００２１】
その後、ハイパーバイザ２２は、仮想タイマ期間および仮想ティック期間に従って関連する時間情報を生成し、時間情報を必要とするソフトウェアまたはハードウェアに、関連する時間情報を提供してもよい。この方法では、第１の実施形態で開示する技術は、オペレーティングシステムのカーネルを修正する必要なしに、かつシステム関数呼出をインターセプトする必要なしに、時間情報を調整することができ、さまざまなオペレーティングシステムに適している。
【００２２】
本発明の第２の実施形態は仮想時間制御装置３である。その概略図を図３に示す。仮想時間制御装置３は、システムタイマ２１、リアル・タイム・クロック２３、ならびにシステムタイマ２１およびリアル・タイム・クロック２３に電気的に接続された処理装置３５を備える。
仮想時間制御装置３が備えるシステムタイマ２１およびリアル・タイム・クロック２３は、仮想時間制御装置２が備えるものと同一である。処理装置３５は、ハイパーバイザ３２およびオペレーティングシステム３４を実行し、ハイパーバイザ３２は、ソフトウェアにより実装された仮想ハードウェアと考えてもよい。同様に、処理装置３５は、さまざまなプロセッサ、ＣＰＵ、マイクロプロセッサ、または当業者に周知の、他の種類のコンピューティングデバイスのいずれであってもよい。
【００２３】
第１の実施形態のように、ハイパーバイザ３２は、調整比（図示せず）、およびシステムタイマ２１の独自のタイマ期間２００に従って仮想タイマ期間（図示せず）を生成する。また、ハイパーバイザ３２は、調整比、およびリアル・タイム・クロック２３の独自のティック期間２０２に従って仮想ティック期間（図示せず）を生成する。
【００２４】
この実施形態では、ハイパーバイザ３２は、仮想リアル・タイム・クロックを生成し、仮想リアル・タイム・クロックおよび仮想ティック期間に従って仮想実時間３０６をさらに生成する。
次いで、ハイパーバイザ３２は、仮想実時間３０６をオペレーティングシステム３４に提供し、仮想タイマ期間に従ってトリガ信号３０８をオペレーティングシステム３４に送信する。トリガ信号３０８は、仮想タイミングまたは何らかの他のトリガ信号をトリガするためのトリガ信号であってもよい。
【００２５】
その後、オペレーティングシステム３４は、仮想実時間３０６を壁時間とみなし、トリガ信号３０８を使用して、動作時間を更新し、次いで、壁時間と動作時間の和を、実際の時間とみなす。さらに、オペレーティングシステム３４が使用するタイム・スタンプ・カウンタ（ｔｉｍｅ  ｓｔａｍｐ  ｃｏｕｎｔｅｒ、ＴＳＣ）、プログラム可能インターバルタイマ（ｐｒｏｇｒａｍｍａｂｌｅ  ｉｎｔｅｒｖａｌ  ｔｉｍｅｒ、ＰＩＴ）およびＡＰＩＣ（ａｄｖａｎｃｅｄ  ｐｒｏｇｒａｍｍａｂｌｅ  ｉｎｔｅｒｒｕｐｔ  ｃｏｎｔｒｏｌｌｅｒ）が、同じく新しい動作時間および仮想実時間３０６に従って調整される。
【００２６】
上記の説明によれば、ハイパーバイザ３２は、仮想タイマ期間および仮想ティック期間を生成し、仮想リアル・タイム・クロックおよび仮想ティック期間に従ってオペレーティングシステム３４のための仮想実時間３０６を生成し、仮想タイマ期間に従ってオペレーティングシステム３４にトリガ信号３０８を定期的に送信する。
この機構により、ハイパーバイザ３２が供給する仮想実時間３０６およびトリガ信号３０８に従って、オペレーティングシステム３４が使用する実際の時間が生成される。したがって、異なる応用分野では、ハイパーバイザ３２が使用する調整比を設定することにより、情報技師がオペレーティングシステムの実際の時間を加速または減速することができる。この実施形態は、オペレーティングシステムのカーネルを修正する必要なしに、かつシステム関数呼出をインターセプトする必要なしに、時間情報を調整することができ、さまざまなオペレーティングシステムに適している。
【００２７】
本発明の第３の実施形態は仮想時間制御方法である。その流れ図を図４に示す。仮想時間制御方法は、処理装置（たとえば、前述の処理装置２５または３５）内で実行されるハイパーバイザにより実行される。仮想時間制御方法は、ソフトウェア試験のために使用されてもよい。
【００２８】
まず、調整比、およびシステムタイマの独自のタイマ期間に従って、ハイパーバイザにより仮想タイマ期間が生成されるように、ステップＳ４０１を実行する。
次いで、ステップＳ４０３で、調整比、およびリアル・タイム・クロックの独自のティック期間に従って、ハイパーバイザにより仮想ティック期間が生成される。ステップＳ４０１およびＳ４０３は、逆順で実行されても、同時に実行されてもよいことを理解されたい。
【００２９】
一例では、調整比は正数であってもよい。仮想タイマ期間は、ステップＳ４０１で、独自のタイマ期間を調整比で除算することにより生成されてもよく、一方、仮想ティック期間は、ステップＳ４０３で、独自のティック期間を調整比で除算することにより生成されてもよい。
調整比が１より大きい場合、ハイパーバイザが供給することができる動作周波数が、システムタイマおよびリアル・タイム・クロックの動作周波数より高いことを意味する。一方、調整比が１より小さい場合、ハイパーバイザが供給することができる動作周波数が、システムタイマおよびリアル・タイム・クロックの動作周波数より低いことを意味する。
【００３０】
次に、ステップ４０５で、ハイパーバイザにより仮想リアル・タイム・クロックが生成され、仮想リアル・タイム・クロックおよび仮想ティック期間に従って、ハイパーバイザにより仮想実時間が生成される。
その後、ステップＳ４０７で、ハイパーバイザにより、前述の処理装置で、または異なる処理装置で実行されてもよいオペレーティングシステムに仮想実時間が供給される。その後、ステップＳ４０９で、ハイパーバイザにより、仮想タイマ期間に従って、トリガ信号がオペレーティングシステムに定期的に生成される。
【００３１】
前述のステップにより、オペレーティングシステムは、仮想実時間を自分の壁時間とみなし、トリガ信号を使用して、自分の動作時間を更新し、次いで、壁時間と動作時間の和を、自分が使用する実時間とみなすことができる。
【００３２】
前述のステップに加えて、第３の実施形態はまた、第１の実施形態および第２の実施形態で示したすべての動作および機能を実行することができる。第３の実施形態がこれらの動作および機能をどのように実行するかは、第１の実施形態および第２の実施形態の説明に基づき、当業者には容易に理解される。したがって、本明細書ではさらなる説明は行わない。
【００３３】
さらに、第３の実施形態の仮想時間制御方法は、複数のコードを有するコンピュータプログラムにより実装されてもよい。コンピュータプログラムは、非一時的コンピュータ可読記憶媒体に記憶される。コンピュータプログラムが処理装置の中にロードされ、コードが処理装置により実行されたとき、第３の実施形態の仮想時間制御方法を実現することができる。
非一時的コンピュータ可読記憶媒体は、読出専用メモリ（ＲＯＭ）、フラッシュメモリ、フロッピー(登録商標)ディスク、ハードディスク、コンパクトディスク（ＣＤ）、モバイルディスク、磁気テープ、ネットワークにアクセス可能なデータベース、または同一機能を有し、当業者に周知の任意の他の記憶媒体であってもよい。
【００３４】
図５は、同数のシステムコールをモニタするために得られた時間量の実験データを示す。この実験では、プロセッサＩｎｔｅｌ(登録商標)  Ｘｅｏｎ  Ｅ５−２６２０  ２．００ＧＨｚ、メモリＤＤＲ−１３３３  ３２ＧＢ、ハードディスク容量２ＴＢ、オペレーティングシステムＤｅｂｉａｎ(登録商標)  ６．０カーネル３．３．０、Ｘｅｎハイパーバイザ４．０．３、および調整比３２を使用した。
【００３５】
図５に示す実験データから、１３００のシステムコールが類似の順序で出現し、本発明と従来技術の両方に対して類似の内容を有する。本発明で使用した調整比を３２に設定したとき、本発明が必要とする時間は、従来技術が必要とする時間の約５％だけであることが言及されるべきである。すなわち、実行効率についてかなりの改善が達成された。
【００３６】
本発明では、ハイパーバイザは、調整比に従って、システムタイマの独自のタイマ期間を調整して仮想タイマ期間にする。さらに、ハイパーバイザは、調整比に従って、独自のティック期間を調整して仮想ティック期間にする。
オペレーティングシステムが同じく処理装置により実行されたとき、ハイパーバイザは、仮想リアル・タイム・クロックをさらに生成し、仮想リアル・タイム・クロックおよび仮想ティック期間に従ってオペレーティングシステムへの仮想実時間を生成する。さらに、ハイパーバイザは、仮想タイマ期間に従って、オペレーティングシステムにトリガ信号を定期的に送信する。
この方法では、オペレーティングシステムは、仮想実時間を自分の壁時間とみなし、トリガ信号を使用して、自分の動作時間を更新し、次いで、壁時間と動作時間の和を、自分が使用する実際の時間とみなすことができる。
【００３７】
本発明は、処理装置内で実行されるハイパーバイザにより、仮想タイマ期間、仮想ティック期間、仮想実時間期間およびトリガ信号を生成するので、オペレーティングシステムのカーネルを修正する必要がなく、システム関数呼出をインターセプトする必要がなく、さまざまなオペレーティングシステムの時間制御機構に適している。
【００３８】
上記の開示は、詳細な技術的内容、および本発明の進歩性のある特徴に関する。当業者は、本発明の特性から逸脱することなく、説明したように、本発明の開示および示唆に基づき、さまざまな修正および置換を続行してもよい。このような修正および置換は、上記の説明で完全に開示されていないが、添付した以下の特許請求の範囲で実質的にカバーされている。
【図１】
2015046141.tif 000003
【図２】
2015046141.tif 000004
【図３】
2015046141.tif 000005
【図４】
2015046141.tif 000006
【図５】
2015046141.tif 000007