研究者詳細 - 舩曵　信生

MISC - 舩曵　信生

分割表示 573 件中 201 - 220 件目／全件表示 >>

調理手順スケジューリングのためのWeb公開レシピー変換アルゴリズム (ソフトウェアサイエンス)

張一加, 舩曵信生, 中西透

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 422 ) 11 - 16 2014年1月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

本研究グループでは,勤労者や学生など忙しい毎日を送る人への「手作り料理」支援を目的とした調理手順スケジューリングアルゴリズムを提案している.本アルゴリズムを用いて,Webに公開されているレシピーのスケジュールを作成する場合,アルゴリズム固有の入力形式への変換が必要である.そこで本研究では,そのためにアルゴリズムで定義された6種類の調理手順への変換とその調理時間の推定を行うWeb公開レシピー変換アルゴリズムの提案を行う.提案アルゴリズムでは,各調理手順に対応するキーワード群を予め定義しておき,レシピー文章中に現れるキーワードを抽出することで,調理手順変換と時間推定を行う.100種類のWeb公開レシピーへの適用により,本アルゴリズムの有効性を検証する.

CiNii Article

CiNii Books

researchmap

Javaプログラミング学習支援システムのコード作成問題におけるJavadocを用いたヒント機能 (教育工学)

中村拓哉, 舩曵信生, 中西透, 天野憲樹

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 377 ) 115 - 120 2014年1月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

Javaは,信頼性,可搬性,学習性に優れたプログラミング言語として,多くの大学や専門学校で教育が行われている.このJava教育の支援を目的として本グループでは,テスト駆動開発手法に基づき,学生の作成したプログラムの自動検証を行うことで自主学習を可能とするWebを用いたJavaプログラミング学習支援システムJPLAS (Java Programming Learning Assistant System)を提案している.しかし,JPLASでは,自動検証のためのテストコードを理解した上でのソースコード作成を必要とする上,Java言語の経験の浅い学生には利用が困難であった.そこで本研究では,JPLASにおいて,テストコードからソースコード作成に必要な情報の入手方法を学ぶためのコード設計学習機能に,Javadocを用いたヒント機能を追加した.これにより,ソースコードの全体構造の理解を促し,より詳細なコード設計を可能とすることを狙いとしている.提案機能を本研究室の学生10名に適用し,その有効性を明らかにした.

CiNii Article

CiNii Books

researchmap

Implementation of anonymous credential system with efficient proofs for monotone formulas on attributes excluding restriction

Shahidatul Sadiah, Toru Nakanishi, and Nobuo Funabiki

The Second International Symposium on Computing and Networking (CANDAR, WICS) 531 - 535 2014年

A proposal of routing algorithm under practical conditions for wireless Internet-access mesh networks

Nobuo Funabiki, Toru Nakanishi, and Wataru Maruyama

2014 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-TW 2014) 27 - 28 2014年

Extensions of active access-point selection algorithm for wireless mesh networks using IEEE802.11ac protocol

Chang Choon Chew, Nobuo Funabiki, and Sho Fujita

The Second International Symposium on Computing and Networking (CANDAR, PDAA) 310 - 314 2014年

A frame aggregation extension of routing algorithm for wireless mesh networks

Nobuo Funabiki, Yuuma Tani, and Shigeto Tajima

The Second International Symposium on Computing and Networking (CANDAR, ASON) 238 - 242 2014年

An extended active access-point selection algorithm for link speed changes in wireless mesh networks

International Journal Space-Based and Situated Computing 4 ( 3 ) 184 - 193 2014年

A proposal of Javadoc hint function for Java programming learning assistant system

Nobuo Funabiki, Takuya Nakamura, and Wen-Chung Kao

The 3rd IEEE Global Conference on Consumer Electronics (GCCE2014) 304 - 308 2014年

An Extension of Access-Point Allocation Algorithm for Adapting Link Speed Change in Wireless Mesh Network (ネットワークシステム)

ファラグターメル, 舩曵信生, ハッサンワラ

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 360 ) 137 - 142 2013年12月

記述言語：英語出版者・発行元：一般社団法人電子情報通信学会

本グループでは,安価でスケーラブルなインターネットアクセス網として,無線メッシュネットワークWIMNETの設計最適化に関する様々な研究を進めている.WIMNETは,無線リンクで互いに接続される複数のアクセスポイント(AP)で構成される.WIMNETでは,APの適正配置がホストの通信性能の確保と共に,その導入および管理コストの最小化に重要である.そのため,従来,WIMNETのためのAP配置アルゴリズムを提案してきた.その際,全リンクの速度がリンク状態に無関係に一定としている.しかし,近年,利用が増加している高速のIEEE802.11n/acプロトコルでは,リンク速度はその距離や電波干渉によって大きく変化することが本グループの実験で明らかとなっている.そこで本研究では,リンク速度変化に対応するためのAP配置アルゴリズムの拡張を提案する.ここでは,従来アルゴリズムでは固定されていた最大リンク距離の最適化を行う.簡単なトポロジに対するWIMNETシミュレータを用いたシミュレーションにより,提案アルゴリズムの有効性を示す.

CiNii Article

CiNii Books

researchmap

現実的環境下での大規模無線メッシュネットワークのための経路木アルゴリズムの提案 (無線通信システム)

丸山渉, 舩曵信生, 中西透

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 361 ) 249 - 254 2013年12月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

本グループでは,柔軟で低コストのインターネットアクセス網として,互いに無線接続された複数のアクセスポイント(AP)で構成される無線メッシュネットワーク(WIMNET:Wireless Internet-access Mesh NETwork)の研究を進めている.これまでの研究で,1つのゲートウェイ(GW:Gateway)を対象としたWIMNETの経路木アルゴリズムを提案してきた.しかし,WIMNETの現実の実装環境を考慮した場合,GWは複数存在する上に,GW・ホスト間のホップ数(中継ノード数)にも制限がある.また,新しい通信プロトコルIEEE802.11acなどでは,通信速度が距離に大きく依存することが明らかとなっている.そこで本研究では,これらの現実的環境に対応した経路木アルゴリズムの提案を行う.WIMNETシミュレータを用いたシミュレーションにより,提案アルゴリズムの有効性を検証する.

CiNii Article

CiNii Books

researchmap

An Extension of Access-Point Allocation Algorithm for Adapting Link Speed Change in Wireless Mesh Network (無線通信システム)

ファラグターメル, 舩曵信生, ハッサンワラ

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 361 ) 255 - 260 2013年12月

記述言語：英語出版者・発行元：一般社団法人電子情報通信学会

CiNii Article

CiNii Books

researchmap

誤り発生確率が変化するボランティアコンピューティングにおける信頼度に基づく多数決法の評価と改善

渡邊寛, 福士将, 舩曵信生, 中西透

研究報告計算機アーキテクチャ（ARC） 2013 ( 26 ) 1 - 8 2013年12月

記述言語：日本語

本稿では，誤った計算結果の発生確率（妨害率）が時間的に変化するボランティアコンピューティング（VC）環境を対象として，信頼度に基づく多数決法の計算信頼性保証能力の評価と改善を行う．同手法は，各参加者が正しい結果を返す確率（信頼度）を計算し，多数決で誤りが採択されてしまう確率を常に指定値以下に抑えることで信頼性保証を実現する．しかし，同手法では，妨害率は時間的に一定な定数値として仮定されているため，実環境のように，妨害率が変動する環境に適用した場合の有効性は十分に検証されていない．そこで本稿では，計算の信頼性を最も大きく低下させると思われる，妨害率がステップ関数に従って変化するモデルを用いて，同手法の信頼性保証能力を評価する．さらに，本モデルを用いた場合の計算信頼性の数学的な解析を行い，パラメータ制限を加える改善法を提案する．この改善により，妨害率が時間的にどのように変化する場合でも信頼性保証が実現できることを示す．To ensure the reliability of computations in Volunteer Computing (VC) systems, credibility-based voting method is proposed. This method has the capability of guaranteeing the reliability condition that the error rate is less than the specified acceptable value. The capability has been demonstrated under the model that the probability of returning incorrect results s is a constant. However, in actual VC systems, the probability should be changed with time for several reasons, e.g. hardware/software failures or age-related degradations. In this paper, we evaluate the capability of credibility-based voting through simulations with step-functions type model of s. We also propose an improvement of credibility-based voting by a simple parameter tuning to ensure the reliability condition for any model of s.

CiNii Article

CiNii Books

researchmap

信頼度に基づく多数決法を用いたボランティアコンピューティングシステムの実装

土居俊也, 渡邊寛, 福士将, 舩曵信生, 中西透

研究報告計算機アーキテクチャ（ARC） 2013 ( 19 ) 1 - 7 2013年12月

記述言語：日本語

ボランティアコンピューティング (VC) では，通常，誤った計算結果に含まれる誤りを排除するために，多数決法が採用される．先行研究では，各参加者が正答を返す信頼度を用いて重み付き多数決を行う信頼度に基づく多数決法が提案されている．シミュレーションにより，少ない冗長数で効率的に誤りを排除可能なことが示されているが，本手法を実際に動作させた際に発生する処理のオーバーヘッドはまだ明らかにされていない．そこで本稿では，実環境における有効性を確認するために，同手法を実装した VC システムを構築し，性能評価実験を行った．実験の結果，システムの規模が大きくなると，信頼度に基づく多数決法を用いた場合では，単純な多数決を用いた場合に比べて性能低下の割合が大きいことが確認された．また，多数決処理に要した時間の内訳を調べた結果，信頼度計算を伴う一部の多数決処理が，性能低下の割合を大きくする原因であることがわかった．In volunteer computing(VC) systems, a management node distributes a computation to multiple participants, collects result candidates, and then preforms voting to eliminate incorrect ones. To enhance the efficiency of voting methods, "credibility-based voting" is proposed, which performs weighted-voting based on each participants' credibility. In this paper, we implement this voting method to actual VC systems and evaluate the performance through experiments with varying scales of the system. As a result of the experiment, we confirmed that the performance degradation of credibility-based voting is proportional to the number of the workers. We also found that the performance degradation comes from the overhead of the management node, i.e. the computation of credibility.

CiNii Article

CiNii Books

researchmap

Efficient proofs for CNF formulas on attributes in pairing-based anonymous credential system

Nasima Begum, Toru Nakanishi, Nobuo Funabiki

IEICE Transactions on Fundamentals E96A ( 12 ) 2422 - 2433 2013年12月

効率的に年齢の大小関係を証明可能な匿名属性認証方式の提案

SADIAH Shahidatul, 中西透, 渡邊寛, 舩曳信生

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 217 ) 21 - 28 2013年9月

記述言語：英語出版者・発行元：一般社団法人電子情報通信学会

匿名属性認証システムでは,ユーザが誰であるかを秘匿したまま,自分の年齢や性別などの属性を保持していることをサービス提供者に証明する.従来,和積標準形(CNF)の論理式を満たす属性の所持を証明可能な匿名属性システムが提案されている.しかし,年齢の大小関係を生年月日を用いてCNF式で証明する場合,各生年月日を属性一つに対応づける必要があり,各属性は一つの公開パラメータを要することから,公開鍵サイズが大きくなり,計算時間も大きくなる問題がある.そこで本論文では,公開鍵サイズと計算時間を減らすことを目的とし,「年月日」の属性を「年」「月」「日」の属性に分割することを考える.これにより属性数が0.3%程度に軽減され,公開鍵サイズも同様に軽減される.年齢の大小関係を証明する場合,属性のモノトーン論理式で表す必要がある.本研究では,従来方式で用いていたアキュムレータを拡張し,モノトーン論理式を証明可能な方式を提案する.また,実装したシステムの処理時間の測定から提案システムの有効性を示す.

CiNii Article

CiNii Books

researchmap

無線メッシュネットワークにおけるリンク速度を考慮したクラスタ分割アルゴリズム (ネットワークシステム)

田島滋人, 舩曵信生, 東野輝夫

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 113 ( 129 ) 155 - 160 2013年7月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

無線メッシュネットワークWIMNET (Wireless Internet-access Mesh NETwork)は,無線接続された複数のアクセスポイント(AP)を利用することで,スケーラブルなインターネットアクセス網を形成する.これまでの研究において,全無線リンクの速度を一定として,大規模WIMNETのAPを複数のクラスタに分割するためのアルゴリズムを提案している.一方,近年普及の始まっている高速通信プロトコルIEEE802.11nでは,予備実験において,リンク速度はその距離などに大きく依存することが明らかとなっている.そこで本研究では,WIMNETにおけるIEEE802.11nの効果的な導入のために,リンク速度を考慮するためのクラスタ分割アルゴリズムの拡張を行う.例題に対するシミュレーションにより,本拡張の有効性を示す.

CiNii Article

CiNii Books

researchmap

A fixed backoff-time switching method for CSMA/CA protocol in wireless mesh networks

Sritrusta Sukaridhoto, Nobuo Funabiki, Toru Nakanishi, Kan Watanabe, Shigeto Tajima

IEICE Transactions on Communications E96B ( 4 ) 1019 - 1029 2013年4月

BS-1-26 A Design for OpenFlow lmplementation of Fixed Backoff-time Switching Method in Wireless Mesh Networks

Sukaridhoto Sritrusta, Funabiki Nobuo, Nakanishi Toru, Watanabe Kan

電子情報通信学会総合大会講演論文集 2013 ( 2 ) "S - 50"-"S-51" 2013年3月

D-9-27 4種料理の調理での調理手順最適化アルゴリズム適用評価(D-9.ライフインテリジェンスとオフィス情報システム)

松島由紀子, 岡田朋也, 舩曵信生, 中西透, 渡邊寛

電子情報通信学会総合大会講演論文集 2013 ( 1 ) 125 - 125 2013年3月

BS-1-2 AN IMPROVED HOST ASSOCIATION OPTIMIZATION STAGE IN ACCESS-POINT AGGREGATION ALGORITHM FOR WIRELESS LOCAL AREA NETWORKS

Islam Ezharul, Funabiki Nobuo, Nakanishi Toru, Watanabe Kan

電子情報通信学会総合大会講演論文集 2013 ( 2 ) "S - 3"-"S-4" 2013年3月

　前のページ - 次のページ　

<舩曵 信生>

MISC - 舩曵 信生

<舩曵　信生>

MISC - 舩曵　信生