著者

上嶋 祐紀 住井 英二郎

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.1, pp.139-154, 2009

---

C言語サブセットのプログラムを安全なJava言語のプログラムに変換する方式を実装した.そのような変換のためには,C言語独特の操作であるポインタ演算を,Javaプログラムで安全に模倣する必要がある.これを実現するために,まずC言語のポインタやメモリブロックを表現するJavaのクラスを定義した.次に,これらのクラスを利用するようなJavaへの変換規則を定め,規則に従ってトランスレータを実装した.また,C言語ではポインタと整数を相互にキャストすることが可能なので,整数もポインタと同様のオブジェクトに変換しなければならない.しかし,すべての整数をポインタと同様に表現すると大幅に効率が悪化する.そこで,データフロー解析により,ポインタが代入されない基本型の変数は,Javaの通常の基本型変数に変換する,などの最適化を実装した.9個のベンチマークプログラムで実験したところ,最適化前の変換結果コードは元のCプログラムに対し3.3倍~585倍程度の実行時間がかかったが,最適化後は(元のCプログラムに対し)1.3倍~5.9倍程度に改善した.

著者

上嶋祐紀 内山彰 山口弘純 東野輝夫

雑誌

研究報告ユビキタスコンピューティングシステム(UBI)

巻号頁・発行日

vol.2014-UBI-41, no.32, pp.1-8, 2014-03-07

---

本研究では都市部における GPS を用いた高信頼な端末の存在領域推定を目標に,都市部の 3 次元モデルを利用した手法を提案する.提案手法では,各地点と各 GPS 衛星の間に障害物が存在する状態 (NLOS:None-Line-Of-Sight) であるか,または存在しない状態 (LOS:Line-Of-Sight) であるかを事前に計算し,フィンガープリントとする.携帯端末が受信した GPS の Signal to Noise Ratio (SNR) から LOS/NLOS を学習データに基づき判定し,その判定結果とフィンガープリントに応じて各地点に端末が存在している尤度 (存在尤度) を決定する.しかし,フィンガープリントとのマッチングのみではフィンガープリントの境界付近において安定した結果が得られない場合がある.そこで,提案手法では短期間の SNR 分布に対する統計量から端末の移動に伴う LOS/NLOS の切り替わりを検知する.これによって,フィンガープリントの境界を通過した場合に切り替わり後の地点の存在尤度を一時的に高めることができ,安定した結果が得られる.フィンガープリントの境界通過検知について大阪大学構内で実験を行った結果,検知率,正解率はともに高いことがわかり,平均を用いた場合は検知率は 97%,正解率は 95%,遅延時間は 3.5秒,変化量を用いた場合は検知率は 84%,正解率は 98%,遅延時間は 1.9秒となることがわかった.

著者

上嶋 祐紀 住井 英二郎

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.26, no.1, pp.1_139-1_154, 2009-01-27 (Released:2009-03-27)

---

C言語サブセットのプログラムを安全なJava言語のプログラムに変換する方式を実装した.そのような変換のためには,C言語独特の操作であるポインタ演算を,Javaプログラムで安全に模倣する必要がある.これを実現するために,まずC言語のポインタやメモリブロックを表現するJavaのクラスを定義した.次に,これらのクラスを利用するようなJavaへの変換規則を定め,規則に従ってトランスレータを実装した.また,C言語ではポインタと整数を相互にキャストすることが可能なので,整数もポインタと同様のオブジェクトに変換しなければならない.しかし,すべての整数をポインタと同様に表現すると大幅に効率が悪化する.そこで,データフロー解析により,ポインタが代入されない基本型の変数は,Javaの通常の基本型変数に変換する,などの最適化を実装した.9個のベンチマークプログラムで実験したところ,最適化前の変換結果コードは元のCプログラムに対し3.3倍~585倍程度の実行時間がかかったが,最適化後は(元のCプログラムに対し)1.3倍~5.9倍程度に改善した.

著者

内山 彰 勝田 悦子 上嶋 祐紀 山口 弘純 東野 輝夫

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.55, no.1, pp.389-398, 2014-01-15

---

GPSは多くの携帯端末に搭載され,我々の生活に欠かせないものとなっているが,都市部においてはビルなどの障害物による遮蔽や反射・回折の影響を受け,測位誤差が大きくなることが知られている.そこで本研究ではGPSの見通し状況と建物の3次元モデルを利用した位置精度向上法を提案する.提案手法では建物の形状や配置により,各GPS衛星の見通し状況が地点ごとに決まることに着目する.衛星の見通し状況は,スマートフォンなどで一般に取得可能なGPS信号のSignal to Noise Ratioに基づき推定する.建物の3次元モデルに基づき,衛星の見通し状況を各地点において事前に計算しておき,フィンガープリントを構築する.構築したフィンガープリントと,GPSの受信状況から判定した見通し状況とのマッチングを行うことで存在領域を絞り込み,位置精度向上を図る.大阪駅周辺で取得したGPSログを用いて提案手法の性能を評価した結果,平均正解率81%でGPS測位結果の誤差範囲に対して17%相当の領域に絞り込みが可能なことが分かった.