著者
丸山 敦史 柴田 直樹 村田 佳洋 安本 慶一 伊藤 実
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.45, no.12, pp.2678-2687, 2004-12-15
被引用文献数
17

本論文では,観光のためのパーソナルナビゲーションシステム"P-Tour" を提案する.P-Tour は,ユーザが出発地と出発時刻,帰着地と帰着時刻,複数の観光候補地と各地への立ち寄り希望度と時間制約(到着時間帯や滞在時間など)を設定すると,制限時間内で巡回可能かつ最も満足度が高くなるような巡回経路(いくつかの観光地を含む)と各観光地への到着・出発予定時刻を含むスケジュールを算出しユーザに提示する機能を提供する.P-Tour は決定したスケジュールに従い,GPS 機能を備えた携帯端末を介し,ユーザにナビゲーション機能を提供する.提案するナビゲーション機能では,現在地を中心とする地図と次の目的地への経路の表示などの空間的な誘導に加え,各目的地での,滞在可能時間の表示や出発時刻の通知などの,時間的な誘導機能を提供する.遺伝的アルゴリズムを用いて準最適なスケジュールを高速に算出するアルゴリズムを設計・開発し,Java サーブレットとして実装した.PC や携帯端末からウェブインタフェースを介してスケジュールの作成,ナビゲーション機能が利用できる.市販のカーナビゲーションシステム用のデジタル地図を用いた評価実験により,準最適なスケジュールを実用的時間で案内できることなどを確認した.In this paper, we propose a personal navigation system for tourism called P-Tour. In PTour, when a tourist specifies the starting location, the departure time, the returning location, the arrival time and the multiple candidate destinations with relative importance and time restrictions on their arrival and staying time, the nearly best schedule is automatically computed. P-Tour can efficiently navigate the tourist according to the decided schedule through a portable computing device with GPS. In addition to the standard navigation function to guide users to destinations by displaying a graphical map, P-Tour provides temporal guidance for the tourist to follow the schedule. We have developed a route search engine to obtain a semi-optimal solution quickly using techniques of genetic algorithms. The engine has been developed as a Java Servlet and can be used from PCs and portable devices via http protocol. Our experimental results show that our route search engine can compute the nearly best schedule in reasonable time.
著者
永田 宗伸 村田 佳洋 柴田 直樹 安本 慶一 伊藤 実
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌数理モデル化と応用(TOM) (ISSN:18827780)
巻号頁・発行日
vol.48, no.6, pp.23-31, 2007-03-15
参考文献数
9
被引用文献数
2

今日の観光において,団体ツアーなどのグループ観光は,個人旅行に比べて費用などの点においての利点を持つ.しかし団体ツアーは,参加メンバの細かな嗜好や制約の違いを反映させることが難しい.本論文では,訪れたい観光地が少しずつ異なる複数のメンバがグループで観光する際に,メンバそれぞれの希望を満たしつつ,希望の合致する部分を共有するようなスケジュールを算出する問題を定義し,それを実用時間で計算する遺伝的アルゴリズム(以下,GA)を用いた近似アルゴリズムを提案する.取り扱う問題においては,メンバの数や巡回候補地の数に応じて,スケジュール中の単独行動とグループ行動の間の分離・合流地点の組合せが爆発的に増える.提案手法におけるGA の解のコーディングでは,分離・合流地点を"参照遺伝子" と呼ばれる遺伝子で表し,解候補の評価値を計算する際に,複数メンバのスケジュールをこの遺伝子を介して結合するという手法を採用した.これにより,広大な解空間を効率良く探索することが可能となり,評価実験を行った結果,メンバ数3~9 程度のグループ観光に対し,高速に準最適な解を得られることを確認した.Group tour is popular in recent years because of its reasonable cost. In group tour, however, members must follow the same schedule, and there is little flexibility to reflect preferences of the members. In this thesis, we propose a GA-based approximation algorithm to find the minimum cost schedule (including routes and stay time at each spot) for a flexible group tour with members who have different preferences. In this problem, the number of combinations of leaving and joining points exponentially increases. In the proposed algorithm, we used the gene called "reference gene". This gene means point where members leave or join in the schedule. With this coding of chromosome, efficient searching in the vast search space is achieved. We implemented and evaluated the proposed algorithm. We confirmed that our algorithm can find efficient schedules within reasonable time for group tours with practical size, 3 to 9 members.
著者
高島 栄一 村田 佳洋 柴田 直樹 伊藤 実
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)
巻号頁・発行日
vol.2003, no.91, pp.65-68, 2003-09-18

筆者らが以前提案した自己適応島GAは,各島のパラメータをやりとりする際に全ての島が同期して動作しなければならず,島を担当する計算機の能力に違いがある場合に待ち時間が発生していた.本手法では,アルゴリズムに改良を加え,同期を取る必要をなくすることにより性能を向上させた.また,比較実験を通して,計算機の能力に違いがある場合に,従来アルゴリズムよりも時間あたりの探索性能が改善されていることを確認した.また,一定評価回数での探索性能を比較し,解の探索能力が若干改善されていることを確認した.We have previously proposed SAIGA(self adaptive island GA), but it requires all islands to be synchronized when exchanging parameters between islands. In this paper, we propose a technique to avoid this synchronization. We also confirmed that our new algorithm largely outperforms our previous algorithm if there are large differences between processing power of each island. Through experiments, we confirmed that there is slight improvement of search performance from our previous algorithm if both of algorithm uses same number of evaluations.
著者
脇坂 洋祐 柴田 直樹 北道 淳司 安本 慶一 伊藤 実
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.57, no.2, pp.657-668, 2016-02-15

マルチコアプロセッサを搭載した計算機が広く利用されるようになり,また様々なタスクスケジューリング手法が利用されている.マルチコアプロセッサの処理性能を向上させるため,ターボブーストおよびハイパースレッディングと呼ばれる処理高速化および並列処理技術が開発され,搭載されるようになった.これらはそれぞれ一部のコアが使用されていないときに使用されているコアの動作周波数を向上させる技術と,1つの物理コアを複数の論理プロセッサに見せかける技術である.既存のタスクスケジューリング手法は,これらの最新技術を考慮しておらず,多数のタスクを1つのプロセッサに集中させる傾向がある.本研究では,ターボブーストおよびハイパースレッディングによる実効動作周波数の動的変更とネットワークコンテンションを考慮し,より計算機資源を有効に活用するためのタスクスケジューリングアルゴリズムを提案する.実機実験を通してターボブーストおよびハイパースレッディングによる動作周波数モデルを作成し,タスクの処理時間を正確に推定することで両技術を考慮したタスクのスケジュールを行う.シミュレーションと実機実験による評価の結果,提案手法は全体の処理時間をシミュレーションで最大43%,実機実験では最大で36%短縮できることを確認した.
著者
橘 達弘 村田 佳洋 柴田 直樹 安本 慶一 伊藤 実
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.49, no.1, pp.381-392, 2008-01-15
参考文献数
19
被引用文献数
1

多目的遺伝的アルゴリズム(Multi-Objective Genetic Algorithms,MOGA)は,多目的最適化問題を解くために単一目的遺伝的アルゴリズムを拡張した最適化手法である.MOGA では複数の個体群の多様性を維持するための手法であるニッチ法やランク戦略がよく用いられるため,単一目的GA よりさらに計算量が大きくなる傾向がある.本論文では,多目的最適化問題を高速に解くことを目的とし,ハードウェア化のためのMOGA のアーキテクチャを提案する.提案方式では,世代交代モデルとしてハードウェア化に適したMinimal Generation Gap モデルを採用する.既存のニッチ法やランク戦略をパイプライン処理で実装することは困難なため,パイプライン処理に適した多様性を維持する手法を設計,採用した.また,解探索能力の向上のために,島モデル型GA の各島の目的関数を改変した並列GA モデルに即した並列実行方式を設計し,提案アーキテクチャに採用した.実験の結果,提案アーキテクチャによるMOGA 回路はNSGA-II より優れた探索能力を持つことを確認した.Multi-Objective Genetic Algorithms (MOGAs) are enhancement of Single-Objective Genetic Algorithms (SOGAs) to solve multi-objective optimization problems. Since MOGAs require a special selection mechanism such as ranking strategy and niching method to preserve diversity of individuals, MOGAs require larger computation power than SOGAs. In order to improve calculation speed of MOGAs, we propose a new method to easily implement MOGAs as high performance hardware circuits. In the proposed method, we adopt a simple minimal generation gap model as the generation model, which is easy to be pipelined. Since it is difficult to implement niching method and ranking strategy as pipelined circuits, we developed a new selection mechanism which is suitable for hardware implementation. In order to improve search efficiency, our method also includes a parallel execution architecture based on island GA. In this architecture, we use different objective function for each island. Through experiments, we confirmed that our method has higher search efficiency than NSGA-II.
著者
柴田 直樹
出版者
岡山医学会
雑誌
岡山医学会雑誌 (ISSN:00301558)
巻号頁・発行日
vol.104, no.5, pp.609-616, 1992

The clock gene of <i>Drosophila</i> containing a hexamer repeat sequence (ACAGGC)n (period, <i>per</i>, repeat) is reported to be involved in the circadian rhythm. Young et al. (1985) cloned a mouse genomic DNA with the <i>per repeat</i> (cp2.2). In this study, temporal and spatial expression of <i>CP2.2F.</i> and <i>RB15</i> was examined in the adult rat brain by <i>in situ</i> hybridization. The former is a family of genes detected by using cp2.2 as a probe, and the latter is a gene corresponding to pRB15, one of the 11 rat brain cDNA recombinants homologous to cp2.2. Both genes were expressed in almost all neurons. Fluctuation of the genes under the light-dark cycle was apparently observed in the suprachiasmatic nucleus; an intensive hybridization signal in the middle of the day and a weak in the middle of the night (p<0.01). However, the signal stayed relatively constant in other brain regions. Expression of both genes was detected in some glial and ependymal cells in the day but few at night. The present findings suggest that <i>CP2.2F.</i> and <i>RB15</i> are involved in the circadian rhythm in the rat nervous system.
著者
柴田 直樹
出版者
岡山医学会
雑誌
岡山医学会雑誌 (ISSN:00301558)
巻号頁・発行日
vol.104, no.5, pp.609-616, 1992
被引用文献数
1

The clock gene of Drosophila containing a hexamer repeat sequence (ACAGGC)n(period, per, repeat) is reported to be involved in the circadian rhythm. Young et al. (1985) cloned a mouse genomic DNA with the per repeat (cp202). In this study, temporal and spatial expres-sion of CP2.2F. and RB15 was examined in the adult rat branin by in situ hybridization. The former is a family of genes detected by using cp2.2 as a probe, and the latter is a gene corresponding to pRB15, one of the 11 rat brain cDNA recombinants homologous to cp2.2. Both genes were expressed in almost all neurons. Fluctuation of the genes under the light-dark cycle was apparently observed in the suprachiasmatic nucleus ; an intensive hybridization signal in the middle of the day and a weak in the middle of the night (p<0.01). However, the signal stayed relatively constant in other brain regions. Expression of both genes was detected in some glial and ependymal cells in the day but few at night. The present findings suggest that CP2.2F. and RB15 are involved in the circadian rhythm in the rat nervous system.
著者
柴田 直樹 岡野 浩三 谷口 健一 シバタ ナオキ オカノ コウゾウ タニグチ ケンイチ Shibata Naoki Okano Kozo Taniguchi Kenichi
出版者
電子情報通信学会
雑誌
電子情報通信学会論文誌D (ISSN:09151915)
巻号頁・発行日
vol.J84-, no.7, pp.999-1008, 2001-07-01

加算をもつ有理数の理論(有理数変数,有理数定数,+,-,=,<∧, ∨, ∀, ∃からなる理論)の上の閉論理式(RP文)の真偽判定ルーチンは通信プロトコルのテスト,ハードウェアのタイミング検証などに利用できる.筆者らは以前,計算幾何学の手法を利用し,時間計算量を改善したRP文真偽判定アルゴリズムを提案した.本論文では,まずそのアルゴリズムに対する凹多面体併合を用いた高速化法について述べる.次に,その手法を実装した真偽判定ルーチンをMC68030バス上で非同期バスマスタ転送を行う時間オートマトンの適合性試験系列生成に適用し,評価した結果について述べる.高速化により,比較的簡単な時間制約をもつ時間オートマトンの実行可能性判定の例に対し,実際の検証で現れる変数の数が16個,不等式の数が20個程度のRP文をCPU時間数秒程度(Pentium III 600 MHz)で判定できるようになった.
著者
千田 昌伸 柴田 直樹
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. LQE, レーザ・量子エレクトロニクス (ISSN:09135685)
巻号頁・発行日
vol.103, no.345, pp.27-31, 2003-09-25
参考文献数
7

「III族窒化物半導体」を用いた高光度青色,緑色,短波長LEDの開発に成功したことから,従来からの赤色LEDと併せて,可視光の3原色と呼ばれる「赤」「緑」「青」がすべてLEDでまかなうことができるようになり,大型フルカラーディスプレイ,液晶のバックライト等,LEDの用途が大きく拡がってきた.また,短波長LEDを励起光源とし「赤」「緑」「青」などの蛍光体を組み合わせて光らせることによる白色LEDへの製品適用も始まった.
著者
森岡 澄夫 柴田 直樹 東野 輝夫 谷口 健一
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. VLD, VLSI設計技術
巻号頁・発行日
vol.96, no.299, pp.49-56, 1996-10-18
被引用文献数
5

加算器, 乗算器, ALUなど, 算術演算を行う組み合わせ論理回路が, そのワードレベル仕様F (整数上の論理式として書かれた入出力関係の記述) を正しく実現している事を, プレスブルガー文真偽判定手続きを用いて自動証明する方法と, 証明例について述べる. 証明は, いわゆるビットレベル検証 (各回路モジュールM_jごと, そのワードレベル仕様F_jがゲートレベルで正しく実現されていることの証明) とワードレベル検証 (各M_jの接続関係および各ワードレベル仕様F_jのもとで, Fが満たされることの証明) に分けて行う. 乗算など, プレスブルガー算術で直接扱えない演算を行う回路についても, その演算に関して数学的に成り立つ性質等を仮定することにより, 証明できる場合がある. 本手法の特徴は, 幾つかの工夫を行ったプレスブルガー真偽判定ルーチンを用いることにより, 各モジュールの演算ビット長 n が増えても, 回路中のモジュールの数や組合せ方が同じで, かつ仕様記述のサイズが n 依存していなければ, ワードレベル検証にかかる時間がほとんど増加しないことである. 例えば n ビット乗算器から 2n ビット乗算器を構成した場合のワードレベル検証を, 2分程度のCPU時間で行えた. ビットレベル検証についても, 演算ビット長が4ビット程度であれば, 例えば加減算・論理演算を行うALU (74382) について6分程度のCPU時間で行えた.
著者
孫 為華 木谷 友哉 柴田 直樹 安本 慶一
出版者
一般社団法人情報処理学会
雑誌
研究報告マルチメディア通信と分散処理(DPS) (ISSN:09196072)
巻号頁・発行日
vol.2009, no.20, pp.61-66, 2009-02-26

大規模災害により,被災地の通信インフラが破壊された場合,災害情報の収集と共有が困難となり,救援活動に大きな支障をきたす.本稿では,インフラが機能しない災害現場において携帯端末を携えた救急隊員間でDTN (Delay Tolerant Network) に基づいた通信を行うことで災害情報を災害対策本部のサーバにできるだけ早く収集し共有する方法を提案する.提案手法では,救急隊員の行動モデルを考慮し,情報伝送効率を向上させる方法を検討する.The information gathering and sharing are difficult in a disaster area where the commnunication infrastructures are destroyed due to the large-scale disaster. As a result, the rescue operation will be interfered. In this paper, we propose an efficient method for gathering disaster related information to a server at the headquarters in a disaster area, taking into account the mobility of rescue parties based on DTN (Delay tolerant Network).