著者

武本 充治 大石 哲矢 岩田 哲弥 山登庸次 田中 洋平 徳元 誠一 島本 憲夫 黒川 章 須永 宏 小柳 恵一

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.46, no.2, pp.418-433, 2005-02-15

参考文献数

32

被引用文献数

15

---

新しいネットワーク技術と端末技術が開発されることにより,近い将来ユビキタスコンピューティング環境が確立されるが,その環境でユーザにサービスを提供する方法については,まだ十分な技術が開発されていない.我々は,ユビキタスコンピューティング環境に適したサービス提供方法を実現するUbiquitous Service-Oriented Network(USON)アーキテクチャを提案した.USONアーキテクチャにおいては,サービス提供は,サービステンプレート(ST)に基づき,サービス構成要素(SE)を組み合わせることによるサービス合成と,SEとSTの使用履歴などからSTを生成するサービス創発から構成される.STは,BPELなどのワークフロー型サービス連携技術をユビキタスコンピューティング環境に拡張したものであり,SEは,Semantic Webなどと同様に,Semanticsを持つものである.本稿では,主に,サービス合成を実現するために必要となる基本的な機能とその実装について述べ,それらを実際に利用してのアプリケーションを使っての機能検証を行う.本稿で提案する技術により,近い将来のユビキタスコンピューティング環境におけるサービス提供が可能となる.While new network technologies bring ubiquitous-computing environments ever closer, methods to provide suitable services within such environments remain immature. We describe the Ubiquitous Service-Oriented Network (USON) architecture, a new service-provision architecture, covering the basic concept, components and their roles, and the service-provision mechanism. A USON provides services in two phases, a service-composition phase in which service elements (SEs) are combined on the basis of service templates (STs), and a serviceemergence phase in which a new ST is obtained on the basis of the history of usage of SEs and STs. An ST is an extention of workflow-stype service-coodrination description and an SE has the semantic information suitable for ubiquitous-computing environment. This paper mainly describes the functions of USON service-composition, their implemantations using P2P technologies and evaluation with actual applications. The establishment of USON technologies on networks will provide various services within ubiquitous-computing environments.

著者

巣籠 悠輔 大澤 昇平 松尾 豊

雑誌

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

巻号頁・発行日

vol.56, no.2, pp.744-752, 2015-02-15

---

近年,ビジネスの現場において,ソーシャルネットワークサービス(SNS)を人脈構築に利用するケースが増加してきている.特に,人脈形成に特化したSNSはビジネスSNSと呼ばれる.ビジネスSNS上での人脈の構築は,新規顧客開拓や転職先の確保など,何らかの効用を得ることを目的として行われるのが一般的である.ここでいう効用とは,地位や収入などのステータスが高い人と知り合いであることによって,よい取引に一緒に参加する,何か自分の身に不都合が生じた際に助けを求めることができたり,転職などにおいて自分に有利な情報を得ることができたりするなどの経済的なメリットを得られることを指す.人脈の持つ性質として,人脈の維持に時間的な制約が存在することから,1人の人物が持てる人脈の量に限りがあることがあげられる.また,人脈から獲得できる効用は必ずしも一定ではなく,時間軸に沿って変動する.そのため,人脈の構築は期待効用とリスクという2つの尺度に沿って行う必要がある.本研究では,期待効用とリスクの2つの尺度から人脈の最適化を行うことを目的とし,金融工学の理論の1つである現代ポートフォリオ理論をビジネスSNS上の人脈に適用する枠組みについて提案する.また,本研究はビジネスSNSの1つであるWantedlyのデータに対して実験を行い,クラスタ係数の大きな人脈ほど,リスクが高く最適ポートフォリオから乖離していることを示す.

著者

中村 宏 位守 弘充 中澤 喜三郎

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.34, no.4, pp.669-680, 1993-04-15

被引用文献数

2

---

レジスタウィンドウ方式を用いてベクトル計算を高速に処理する新しい擬似ベクトルプロセッサを提案する。提案するプロセッサは、スーパスカラ方式を前提としているが基本的にスカラアーキテクチャであり、ベクトル命令やベクトルレジスタを有するものではない。スカラプロセッサではキャッシュミス時の主記億アクセスペナルティによる実効性能の低下が問題となる。ここで提案するプロセッサでは、データキャッシュの代りにレジスタウィンドウ方式により拡張した浮動小数点レジスタを採用し、さらに主記憶アクセスをパイプライン化することでこれを解決する。1つのベクトル命令の処理内容は複数のスカラ命令を垂直マイクロプログラム的に便用することにより擬似的に処理される。これらの特徴により、提案するプロセッサは既存のスカラアーキテクチャとの上位互換性を保つことが可能である。本論文では、提案するプロセッサのアーキテクチャとその処理原理を説明し、ベンチマークを用いた性能評価結果を示す、評価した結果、提案するプロセッサは主記億アクセスペナルティが20CPU Cycleの時に、拡張を行わないスカラプロセッサに対して約10借の性能、キャッシュヘのプリフェッチを行うプロセッサに対しても約1.4倍の性能を達成することがわかった。また、30CPU Cycle程度までの主記億アクセスペナルティをほぽ完全に隠せることがわかった、また、レジスタウィンドウの構成方法の相違による性能への影響についても検討した。これらの評価結果より、提案するプロセッサは主記億アクセスペナルティによって実効性能が低下することなく、高速にベクトル計算を処理できると結論できた。

著者

井上 武 高橋 紀之 宮崎 敏明

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.43, no.12, pp.3911-3921, 2002-12-15

参考文献数

12

---

現行の移動体通信では,各移動端末の移動特性にかかわらずそれぞれの位置を一様に管理している.しかし,実際には多くの端末がまとまって移動している状況が見られ,位置管理システムに大きな負荷を与えている.満員電車や自動車が連なって走っている道路はその一例である.本論文では,位置登録と呼び出しを「負荷」と考え,この負荷が小さくなるように同様の移動特性を持つ端末をグループ化する手法を提案する.移動端末をグループごとに階層的に管理することによって,位置登録発生数を削減することができる.また,グループ数を調整することで,グループ形成にともなう通信オーバヘッドを抑制する手法についてもあわせて提案を行う.いくつかの状況を想定したシミュレーションを行い,大きな負荷軽減効果が得られることを検証した.Present mobile networks handle the location of mobile terminals uniformly. However, many mobiles often move together; i.e., passengers on the same train or a group of cars running on a road. They pass many location areas and issue many location update requests, which incur the heavier location management overheads. In this paper, we present an efficient location management algorithm based on the collaboration of mobiles; accompanying mobiles form groups, and mobile networks handle group locations hierarchically, which reduces the location management overheads. We also describe an unique algorithm which supresses the communication overhead caused by the collaboration. These algorithms can be implemented in a distributed manner, and so they are highly scalable. Simulation results show that our algorithms greatly reduce the location management overheads.

著者

市村 哲 梶並 知記 平野 洋行

雑誌

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

巻号頁・発行日

vol.54, no.12, pp.2518-2527, 2013-12-15

---

プログラミング授業は大学や専門学校等の情報系学科では必須科目となっているが,大学で初めて習う学生の多くはプログラミングに対する苦手意識が強い.そこで本研究では,プログラミング初学者がかかえる問題を早期に発見できるプログラミング学習支援システムを構築し,実際の演習授業で運用を試みた.つまずいている学生の早期発見と,多くの学生が共通にかかえる問題の発見を可能にすることが本研究の目的である.本研究の目的を達成するために,Webブラウザ上で動作するプログラミング演習支援システムを構築し,学生の操作ログ・エラーログを収集して解析できるようにした.評価実験と改良を繰り返し行い,結果として,学生の学習状況を把握しやすくなったことが分かった.The programming exercise is a required subject in the department of information systems in colleges and universities. Most of the students are programming beginners right after they entered university. Our goals are to enable to detect the students who have stumbled, and know problems that many students are facing in common. For this purpose, we built programming exercise support system that runs on a Web browser. The system is able to collect and analyze students' error logs. As a result of the repeated experiments and improvements, the system enabled lecturers to easily grasp the situation of the programming class.

著者

井野 英文 猿田 和樹 加藤寧 根元 義章

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.38, no.2, pp.280-289, 1997-02-15

被引用文献数

13

---

手書き郵便宛名の高精度な認識には 文字切出し 個別文字認識 郵便宛名辞書を用いた知識処理が必要になる.従来 これらの処理を組み合わせた手法が主に報告されているが そのほとんどの場合 単一の筆記具によって書かれた文字を対象としている.文字の平均的な線幅(以下 ストローク幅)がほぼ一定の湯合 接触.入込み文字に対処する手法として 射影ヒストグラムに対し 実際的に求めた闘値により切出し位置を決定する手法が有効であった.しかし 実際の郵便宛名には 筆・サインペン・ボールペン等 様々なストローク幅の文字が存在し これらの手法をそのまま適用するには限界があると考えられる.本論文では 筆記具に依存しない切出し手法として ストローク情報に基づく切出しアルゴリズムを提案する.提案法は ストローク幅 水平方向走査時の文字ストローク交差回数および射影ヒストグラムの変化量という文字ストロークに関する3つの情報を効果的に組み合わせることにより 切出し候補位置を適切に決定する手法である.認識実験では 郵政研究所が配布した手書き宛名サンプル画像を用いて提案法の有効性を示す.また 切出し部に関する評価実験では 提案法が従来法より優れていることを示す.In handwritten address recognition, it's important to segment characters correctly. Conventional methods mainly used fixed threshold to segment characters from handwritten address image. The problem of those methods is that they can not cope with variable stroke width of handwritten characters. In this paper, we propose a new algorithm in which adaptive threshold is used depending on the stroke information of character image. As a result, this algorithm obtained a high recognition rate for the test samples, distributed by Institute for Posts and Telecommunication Policy, MPT.

著者

松尾 治幸 大野 和彦 中島 浩

雑誌

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

巻号頁・発行日

vol.43, no.4, pp.855-865, 2002-04-15

---

共有メモリ型並列計算機における同期処理オーバヘッドを削減する手法として,我々は同期操作に後続するメモリアクセスを同期成立確認以前に実行する機構specmem を提案してきた.この機構の特徴は,投機失敗の検出やそれに伴う計算状態の復元を,機能メモリを用いたコヒーレント・キャッシュの簡単な拡張により実現することにある.これまでの評価では,負荷の変動によって同期区間が伸縮するようなプログラムに対してspecmem が有効であることが確かめられている.しかし同時に,投機によりキャッシュ・ミスペナルティが増加し,プログラムによっては性能が低下してしまうことも明らかになっている.そこで本報告ではspecmem の改良方式として,投機的更新を示す新たな状態の追加と,通常のメモリで構成される2次キャッシュの導入を提案する.SPLASH-2ベンチマークを用いた評価を行った結果,Radix Sortでの性能劣化を8.6%から0.7%まで削減できることや,LU分解の性能向上率が14%から16%に増加することが明らかになった.

著者

森本 有紀 高橋 時市郎

雑誌

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

巻号頁・発行日

vol.56, no.5, pp.1329-1338, 2015-05-15

---

本稿では,自由形状のイラストをデザインの原理に基づき美化する手法を提案する.直線や楕円による単純な描画を美化制約に基づき美化する手法はこれまでにさかんに研究されてきた.しかし,それらの美化制約の自由形状への適応は挑戦的な課題である.本手法では,制約付きドロネー三角形分割を用いて,自由形状における局所的に関連の強い部分を効率的に探索する.また,本手法では,平行・滑らかさ・形状類似性・共曲線性,のデザインの原理を美化制約として用い,自由形状を評価する.本手法は,形状評価,特徴保存平滑化,形状あてはめの3つのステップによって成り立つ.まず制約付きドロネー分割を行った入力に対して,デザインの原理に基づき形状を評価する.次に,形状評価値に,特徴保存の平滑化処理を行う.最後に,形状あてはめでは,複数の異なるデザインの原理に対して形状エネルギーを最小化し,最適な形状を生成する.既存手法との比較アンケートからは,本手法はより適切な美化ができることが分かった.

著者

井田 明男 金田 重郎 熊谷 聡志 藤本 明莉

雑誌

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

巻号頁・発行日

vol.56, no.5, pp.1340-1350, 2015-05-15

---

今日ビジネスアプリケーション開発の現場では空前のアジリティが求められている.また,システムはよりいっそうデータ指向的になってきている.そのため,アプリケーションの中核となるモデルとして構築されるドメインモデルは,1)問題領域を端的に記述し,2)ドメインの専門家と開発技術者との意思疎通を促進し,3)ドメインの論理要件を満たして,4)データベース設計のデータモデルへの変換もストレートフォワードに行えるようなモデルであることが要求される.しかしながら,オブジェクト指向の発想だけでは,このようなドメインモデルを構築することは難しく,かといってデータ項目主導型の正規化理論をそのまま持ち込むことは困難である.そこで,本稿では,存在従属性に着目したドメインモデルの構築手法とUMLのクラス図をベースとした表記法を提案する.ホワイトボードに手書きできるくらい簡潔でありながらも識別子の関係が手に取るように理解できるモデルを目指す.存在従属性の概念は理解しやすく,ドメイン中のいたるところで見出されるため,提案手法により,第4正規形と同等以上の正規化レベルを持ったドメインモデルが自然に構築できる.提案手法がオブジェクト指向手法において正規化に似た役割を果たし,ドメインエキスパートとシステムエンジニアが共同で参加するモデリング作業の一助となれば幸いである.

著者

渡部 孝幸 宮崎 佳典

雑誌

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

巻号頁・発行日

vol.56, no.5, pp.1417-1427, 2015-05-15

---

数式は多くの科学分野において広く用いられているものであり,電子的な文書中に記述されることも多い.電子的な文書の特長として,検索を行うことができるという点があげられる.しかし,数式の検索を行うことは容易ではない.なぜなら数式では,通常の言語とは異なり,文字が二次元的に配置されるためである.そこで本研究では,二次元的な文字の構造に対して文字列のパターンマッチング(文字列探索)に基づく検索を行うことで,文書から特定の数式が記述された箇所を見つけ出す,文書内検索の機能を実現する手法を提案する.また,本研究で提案する手法は,数式のパターンマッチングにおいて正規表現を利用することも可能である.正規表現を用いることで,複雑なパターンを処理することが可能となり,検索の利便性が飛躍的に向上する.さらに,パターンにマッチした数式のハイライト表示および数式の置換の実装についても述べる.

著者

亀井 邦裕 児玉 公信 細澤 あゆみ 成田 雅彦

雑誌

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

巻号頁・発行日

vol.56, no.5, pp.1351-1362, 2015-05-15

---

企業情報システムは変化する企業環境に対し,柔軟で機敏な対応を迫られている.そこで稼働するビジネス系アプリケーションは短期間での構築が可能で,なおかつ変化に強い構造を持っており,再利用開発が可能でなければならない.それは経験に裏打ちされた合理的な概念構造を持ち,変化する部分と固定部分が明確に分かれた実装構造となっているはずである.本論文は,そのようなアプリケーションを開発するための1つの取組みとして,概念モデルに基づく実装方法を試行し,消費税計算などの公開可能な題材を用いた概念モデル,実装モデルなどを成果として提示する.

著者

花田 収悦 佐藤匡正 松本 匡通 長野 宏宣

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.22, no.1, pp.44-50, 1981-01-15

---

本論文は プログラムに与えられた命題を情報とその操作とからなる機能に基づいて論理的な構造を確定した上で処理手順を規定する 二段階から成るプログラム設計方法および 各設計段階に適合するように工夫された新たなドキュメンテーション方法(機能分析図 コンパクト・チャート)を提唱する.本設計方法は処理効率の向上を 処理手順の規定の段階で 主に いくつかの機能で共通な情報へのアクセスを削減するとの観点からはかり 大規模ソフトウェアの適用性を高めた.本設計方法の適用例では 従来手法のプログラム開発データに比べ (1)開発工数を30%削減できた (2)信頼性の尺度であるバグの発生率が 開発段階では約50% 商用開始後は約30?40%減少した (3)ドキュメント量が1/3に削減できたーなどの効果がみられた.

著者

吉田 俊介 野間 春生 柳田 康幸 保坂 憲一

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.48, no.12, pp.3819-3826, 2007-12-15

---

著者らはすでに2 自由度のリニア誘導モータ(LIM)を利用した力覚付きデジタルデスク環境を提案したが,その手法により同時に制御できる物体は1 つに限られた.本論文では複数人での共同作業をも可能とする,複数物体を同時制御可能な新しい方式のLIM による力覚付きデジタルデスク環境Proactive Desk II を提案する.提案手法では机の下に配置された多数のコイルを独立に制御し,異なる強度の磁束を生成する.それらの集合として構成される磁界はある時刻において従来手法のLIMと等価な状態となるよう制御し,それらを局所的に発生させることで複数物体を駆動させる.そしていくつかのアプリケーションを構築し,複数人が同時に利用でき,個別に異なる力覚を体験可能であることを確認した.We have designed a haptic display for ordinary digital desktop operations. It employs a general two degree-of-freedom linear induction motor (2-DoF LIM) and provides two-dimensional force on a desktop surface, but only for a single object. For cooperative tasks between multiple users, we propose the next-generation Proactive Desk II having a novel style of LIM which can apply individual forces to multiple objects simultaneously. The system employs a cluster of coils for synthesizing several traveling magnetic fields underneath the desktop. These magnetic fields simulate a local region of the field created by standard 1-DoF LIM, and these control multiple objects individually. Finally, we confirmed that this system can provide individual haptic experiences for each user using several applications.

著者

石田 克久 北原 鉄朗 武田 正之

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.46, no.7, pp.1548-1559, 2005-07-15

被引用文献数

2

---

本論文では,即興演奏未習得者のための演奏支援について述べる.我々の最終目標は,即興演奏未習得者が通常の楽器を用いて即興演奏を行えるようになることである.この目標を達成するために,我々は「即時的旋律創作能力の補助」と「即興演奏の練習環境の提供」の2つのアプローチで,即興演奏の未習得者をサポートする.「即時的旋律創作能力の補助」に対しては,旋律中の不適切な音を自動的に補正する演奏支援システムismを開発した.これは,演奏された旋律中の不自然な個所をリアルタイムに検出し,適切な音に変換することで,即時的な旋律創作を容易にするためのものである.「即興演奏の練習環境の提供」に対しては振動により不適切な音を指摘する学習支援システムismvを構築した.このような支援システムを実現するうえでの中心となる課題は,どのように不適切な音を検出するかである.これに対し我々は,N-gramで旋律をモデル化し,その確率値が小さなもののみを不適切と判定する手法を提案する.実験の結果,提案手法により旋律中の不適切な個所の検出精度を向上させることができ,ism/ismvが即興未習得者の演奏支援に有効であることが示された.In this paper, we describe improvisation support for players who do not have sufficient experience in improvisation. The goal of our study is that such players learn the skill for improvisation and enjoy it. In order to reach this goal, we consider two approaches: assisting their skill for real-time melody creation and providing them with a self-education environment for improvisation. For the former approach, we developed a system that automatically corrects musically inappropriate notes in the melodies of their improvisation; for the latter approach, we developed a system that indicates musically inappropriate notes with vibrating corresponding keys. The main issue in developing these systems is how to detect musically inappropriate notes. We propose a method for detecting them based on the N-gram model. This method first calculates N-gram probabilities of played notes, and then judges notes with low probabilities to be inappropriate. Experimental results show that this N-gram-based method improves the acc racy of detecting musically inappropriate notes and our systems are effective in supporting unskilled players' improvisation.

著者

加地 太一 大内 東

出版者

社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.35, no.3, pp.364-372, 1994-03-15

被引用文献数

5

---

頂点が連続的な番号を保持し、始点が初期番号、終点が最終番号となり、両端点が異なるグラフをG(V、E)とする。本論文に右ける最適系列グラフ分割問題はグラフGに対して、各頂点に与えられた重みの総和がブロックサイズP(>0)以下であり、かつ、部分集合の頂点番号が連続的に保特される条件のもとで、カットされる辺のコストの和が最小となるよう分割する問題である。本問題の一つの応用例としては、プログラムを一定の大きさの単位で記億頒域に割当を行うぺ一シングの手法が考えられる。本論文では動的計算による最適系列分割問題に対して、探索法為よび限定操作の観点から改善の余地があるものと考え、分技限定法の手法を導入することによりて効率的算法を構成する。さらに得られた算法の数値実験にもとづいて算法の特性と性能評価を行い、理論的計算量についても論じる。以上より、漸近的計算量は等しいが、細分化禁止則、反復回数の減少、同レベルの優越関係による削除、下界値こよる限定などの探索空間の実際の絞り込みによって計算量の負担を軽減することが可能であることを示す。

著者

金井 崇

雑誌

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

巻号頁・発行日

vol.46, no.2, pp.649-657, 2005-02-15

---

メッシュの球体パラメータ化は,メッシュを球体に写像する技術であり,コンピュータグラフィックスやCAD/CAMなどの分野での様々な応用が期待されている.本論文では,その中でも品質の高い等角球体パラメータ化に関して,頑健でかつ高速な計算手法を提案する.本手法では,メッシュの多重解像度表現に基づき,その階層構造をパラメータ化計算に利用する.従来手法に比べて高速であり,また球体パラメータを頑健かつ安定して求めることができることを様々な実験を通じて実証する.

著者

中條拓伯 藏前 健治 金田 悠紀夫 前川 禎男

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.36, no.7, pp.1719-1728, 1995-07-15

被引用文献数

8

---

本論文では、ワークステーション・クラスタ上においてOSのカーネルに手を加えず、ユーザレベルのソフトウェア制御のみによって、分散共有メモリ(DSM,Distributed Shared?Memory)の構築を試みた結果について報告する。分散共有メモリヘのアクセスの高速化を図るためにアクセス遅延を隠蔽する方法として、ソフトウェア制御のコヒーレントキャッシュを実装する。本稿では、本システムの構成および我々が提案する、無効化に巡回型マノレチキャストメッセージを用いたコンシステンシ・プロトコルについて述べ、基本的な性能評価を行うため、キャッシュヘのミス/ヒットなどのアクセスタイプによる遅延時間を測定した結果を示す、さらに、実際の並列プログラムによりシステムを評価するために、行列の乗算と、SPLASHベンチマークプログラムを実行した場合の性能評価も示す。現有のイーサネットを用いたネットワーク環境では十分な性能を発揮することはできなかったが、今後の高速ネットワーク環境において、本システムの可能性について述べる。

著者

田中 真 内田 純平 宮岡 祐一郎 戸川 望 柳澤 政生 大附 辰夫

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.46, no.6, pp.1383-1394, 2005-06-15

参考文献数

13

被引用文献数

11

---

演算器ごとに専用のローカルレジスタを持たせるレジスタ分散型アーキテクチャを用いると,レジスタ間データ転送を利用することによって配線遅延が回路の性能に与える影響を削減することが可能である.しかし,高位合成のスケジューリングの段階からフロアプラン情報を考慮する必要がある.本論文では,レジスタ分散型をターゲットアーキテクチャとし,(1) スケジューリング,(2) レジスタバインディング,(3) モジュール配置,の工程を繰り返し,(3) から得られたフロアプラン情報を(1),(3) の工程にフィードバックすることによって,解(合成結果)を収束させる高位合成手法を提案する.フロアプラン情報をスケジューリングに反映させるために,フィードバックされた配置情報とタイミング制約に基づいて,レジスタ間データ転送を利用することができるスケジューリング手法を提案する.また,レジスタ分散型に対応したレジスタバインディング手法を提案する.提案バインディング手法では,ローカルレジスタを入力側と出力側で区別し,出力側レジスタで可能な限りデータを保持することにより,総レジスタ数を削減する.提案手法により,フロアプランを考慮したレジスタ間データ転送を用いた回路を解として得ることが可能となる.計算機実験によって,提案手法の有効性を示す.By using a distributed-register architecture, we can synthesize the circuits with register-toregister data transfer, and can reduce influence of interconnect delay. In this paper, we propose a high-level synthesis method targeting a distributed-register architecture. Our method repeats (1) scheduling, (2) register binding, (3) module placement processes, and feeds back floorplan information from (3) to (1) in order to decide which functional units use registertoregister data transfers. Our scheduling algorithm can use register-to-register data transfer based on floorplan and timing constraint. We also propose a register binding algorithm on a distributed-register architecture. We show effectiveness of the proposed methods through experimental results.

著者

宗官 祥史 江木 啓訓 藤波 香織

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.56, no.4, pp.1269-1277, 2015-04-15

---

教育現場におけるICTの活用は進んでいるが,依然として大学初年次における化学実験中の事故は後を絶たない.その原因の1つに,安全学習の場と実践の場の時間的・空間的な分離があると考えられる.実験の最中に安全作業を支援するシステムが有効であると考えられるが,実験教育という背景を考えると作業者を重大な危険から回避させるだけでなく,将来の独立作業のためにシステムへの依存を避ける必要がある.我々は,危険の内容や発生源,対処方法などを学習者が能動的に思考することが必要であると考え,提示された情報の解釈における多義性の活用を提案する.本論文では,警告情報の内容と提示場所に関する多義性が学習者に対して与える効果を,危険回避と技能獲得(学習)の観点から明らかにすることを目的として,ユーザ調査を通じて多義的な情報提示の効果を明らかにした.その結果,危険回避と学習の2つの目的に応じて意味的な多義性と空間的な多義性の組合せを使い分ける必要があることを明らかにした.A chemistry experiment in a school should be conducted safely, yet provide an effective education. In this paper, we explore the impacts of nondirective presentation on on-site safety training for avoiding prospective danger and learning safe experimental operations in chemistry experiment. The nondirective presentation is intended for a student's future independent operation by facilitating active-thinking, which is realized by two aspects of presentation ambiguity: multiple interpretations in the content of a message (semantic ambiguity) and its positioning on a table (spatial ambiguity). Based on a preliminary experiment to define the two types of ambiguous presentations, we conduct comparative experiments with high and low level of ambiguity to see their impact on safe and learning aspects. As a result, we show design suggestions to determine an appropriate level ambiguity for avoiding danger or learning safe way of experiment.

著者

藤井 裕也 武内 良典 今井 正治

雑誌

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

巻号頁・発行日

vol.54, no.7, pp.1883-1891, 2013-07-15

---

本論文では,VLIWプロセッサのための電力制約を考慮した命令スケジューリング手法を提案する.近年,組込みプロセッサは家電製品や携帯電話など様々な製品で用いられる.これらの組込みプロセッサの中には,消費電力に制約がある中で高い性能を発揮することが求められるものもある.低消費電力で高い性能を期待できるプロセッサとして,VLIW(Very Long Instruction Word)プロセッサがある.VLIWプロセッサは複数の演算を同時に実行できるため演算処理能力が高いが,同時に処理する演算の組合せによって消費電力が大きく異なるため,ピーク電力が高くなってしまう可能性がある.そこで,VLIWプロセッサのための電力制約を考慮した命令スケジューリング手法を提案する.本スケジューリング問題を電力制約下で実行サイクル数を最小化する最適化問題と定式化し,この問題の最適解を求めるアルゴリズムを示す.その後,この問題の準最適解を求めるアルゴリズムを提案し,最適解との比較を行う.評価実験では,パイプライン構造とマルチサイクル命令を持つプロセッサに対し様々な電力制約のもとでベンチマークプログラムへのスケジューリングを行い,スケジューリング時間と得られたスケジュールの性能を比較した.その結果,提案するアルゴリズムでは,短い命令列に対してはほぼ最適解と同等の解が得られること,最適解が1時間以内に求まらない問題に対しても準最適解を1ミリ秒以内に求められることを確認した.In this paper, an instruction scheduling for VLIW processors considering power constraints is proposed. In recent years, most products such as home electronics and mobile phones contain embedded processors, which are required high performance under the limited power. While Very Long Instruction Word (VLIW) processors can achieve high performance because they can execute several instructions simultaneously, they consume high power at the peak load. Therefore, an instruction scheduling for VLIW processors considering power constraints is proposed. This scheduling problem is defined as an optimization problem for minimizing execution cycles under the power constraint. The algorithms for searching optimal solutions and suboptimal solutions are proposed. Experimental results show that the proposed method can generate almost optimal scheduling results within enough short time for small problems. Scheduling results can be obtained within a millisecond for the input that the optimal solution cannot be obtained within an hour.