| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 09:00 |
北海道 | 札幌市教育文化会館 | Atelier-Bによる形式検証手法の試行評価 ○山本椋太・山本修一郎（名大）  SS2015-29 KBSE2015-22 |
本論文では，Bメソッドの開発ツールであるAtelier-B(CLEARSY社)を用いて実施した形式的検証手法の評価につい... [more] | SS2015-29 KBSE2015-22 pp.143-148 |
| SP, IPSJ-SLP (併催) |
2015-07-17 13:10 |
長野 | かたくら諏訪湖ホテル | 話者照合におけるポップノイズの有効性に関する検討 ○仲野詩織・中西亮介・塩田さやか・貴家仁志（首都大東京） SP2015-47 |
本稿では，人間の呼気によって無意識に発生させてしまうポップノイズが話者照合にどのような影響を与えるのかを調査し報告する．... [more] | SP2015-47 pp.67-72 |
| SP, IPSJ-SLP (併催) |
2015-07-17 14:10 |
長野 | かたくら諏訪湖ホテル | 自動話者照合システムの性能を低下させるプライバシープリザービングサウンドの検討 ○橋本 佳（名工大）・山岸順一・越前 功（NII） SP2015-49 |
本人の意志によらずに様々な情報が収集され，それらの情報から個人が特定されることによるプライバシーの侵害は深刻な社会問題と... [more] | SP2015-49 pp.79-84 |
| SS | 2015-05-11 16:30 |
熊本 | 熊本大学 | マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫（広島市大） SS2015-7 |
性能とリソースの制約が共に厳しく，高い信頼性を要求される組込みソフトウェア開発においては，開発の設計段階で性能要求を満た... [more] | SS2015-7 pp.33-37 |
| PRMU, BioX (共催) |
2015-03-19 15:30 |
神奈川 | 慶応大学矢上キャンパス | 携帯端末向け署名照合システムの筆記環境と認証精度に関する一考察 ○小野田 晋・合原祐貴・山崎 恭（北九州市大） BioX2014-51 PRMU2014-171 |
近年，スマートフォンやタブレットPCなどの携帯端末が急速に普及し，ペンや指の動きによる情報入力手段が一般的となりつつある... [more] | BioX2014-51 PRMU2014-171 pp.71-76 |
| SS | 2015-03-09 14:15 |
沖縄 | 沖縄県青年会館 | 要求フレームによる非機能要求の検証 松本佑真・○大西 淳（立命館大） SS2014-63 |
要求仕様における機能要求の正しさを検証するために筆者らは要求フレームモデルを用いた検証手法を開発してきた．本稿では，要求... [more] | SS2014-63 pp.49-54 |
| CPSY, DC (共催) IPSJ-EMB, IPSJ-SLDM (共催) (連催) [詳細] |
2015-03-07 14:15 |
鹿児島 | 奄美市社会福祉協議会 会議室（2F・４F） | 組込みシステム検証向け協調シミュレーションの高速化 ○中田啓明・森島憲太・勝 康夫（日立） CPSY2014-183 DC2014-109 |
組込みシステム検証にて活用され始めたマイコンシミュレータとプラントシミュレータを用いた協調シミュレーション技術の適用分野... [more] | CPSY2014-183 DC2014-109 pp.137-142 |
| KBSE | 2015-03-05 14:30 |
東京 | 電通大(調布, 東3号館) | モジュラ化手法によるモデル検査の検討とモジュラ検証の実用化 ○宮島卓巳（茨城大）・小飼 敬（茨城高専）・上田賀一（茨城大）・山形知行・武澤隆之（日立） KBSE2014-56 |
検査対象を機械的かつ網羅的に探索するモデル検査は，探索範囲の指数的増加のため適用が困難である．そこで，検査対象を構造と振... [more] | KBSE2014-56 pp.25-30 |
| SR | 2015-01-29 13:50 |
北海道 | KKR はこだて | QZSSショートメッセージSS-CDMA通信における同期精度の実験的検証 ○秋元浩平・三宅裕士・亀田 卓・平 明徳・末松憲治・高木 直・坪内和夫（東北大） SR2014-96 |
準天頂衛星を活用した災害時の安否確認システム向けに，地上端末から衛星への直接通信を実現するSS-CDMA通信システムを提... [more] | SR2014-96 pp.13-18 |
| SP | 2015-01-22 15:30 |
岐阜 | じゅうろくプラザ | 声真似が話者照合に与える影響と物真似音声の音響特徴の分析 ○岩野公司・曽根泰斗・坂本香菜子（東京都市大） SP2014-134 |
話者照合システムにおいて，物真似（模倣）攻撃に対する脆弱性を正しく把握し，その対応策を講じることは極めて重要である．本稿... [more] | SP2014-134 pp.43-48 |
| RECONF | 2014-09-19 14:40 |
広島 | 杜の宿 | 様相論理によるマルチクロック同期回路の形式検証体系 ○西村俊二・尼崎太樹・末吉敏則（熊本大） RECONF2014-33 |
数学的な理論に基づく厳密な検証が可能となることから，各種の形式検証手法が広がりつつあるが，多くの場合検証対象は単一クロッ... [more] | RECONF2014-33 pp.93-98 |
| MBE, BioX (共催) |
2014-09-12 14:20 |
長野 | 信州大学 | Leap Motionを用いた空中署名での個人認識システムに関する研究 ○畠中一成・鹿嶋雅之・佐藤公則・渡邊 睦（鹿児島大） BioX2014-16 MBE2014-39 |
近年，情報化が進むに伴ってバイオメトリクス個人認証の重要性が注目されている．研究では，生体的特徴の中でも行動的特徴（人の... [more] | BioX2014-16 MBE2014-39 pp.33-38 |
| VLD, IPSJ-SLDM (連催) |
2014-05-29 11:05 |
福岡 | 北九州国際会議場 11会議室 | SystemCモデルから束データ方式による非同期式回路を合成する合成フローの提案 ○小峰太一・齋藤 寛（会津大） VLD2014-5 |
本稿では，束データ方式による非同期式回路をSystemC モデルからレイアウトまで設計するためのフローを提案する．提案す... [more] | VLD2014-5 pp.21-26 |
| RCS | 2014-04-17 14:40 |
愛知 | 名古屋工業大学 | ［依頼講演］方向や空間に着目したルーチングやアクセス制御技術の研究開発 ○宮路祐一・上原秀幸（豊橋技科大） RCS2014-6 |
著者らは，方向や空間に着目したルーチングやアクセス制御技術の研究開発を進めてきた． ルーチング技術として，パケットの伝... [more] |
RCS2014-6 pp.25-30 |
| SS, MSS (共催) |
2014-01-30 14:50 |
愛知 | 豊田中央研究所 | 拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案 ○元家裕介・中田明夫（広島市大） MSS2013-55 SS2013-52 |
組込みシステム開発においては，厳しいリソース制約下での性能要求の達成は重要な設計目標の一つであり，設計段階で性能要求を満... [more] | MSS2013-55 SS2013-52 pp.23-28 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| KBSE | 2013-03-15 11:25 |
東京 | 芝浦工業大学 | アーキテクチャに基づく検証ケースの提案 ○山本修一郎（名大） KBSE2012-82 |
システムの妥当性を形式手法だけで検証することは実践的ではない．このため形式手法と，テストやレビュなどとの組み合わせを明確... [more] | KBSE2012-82 pp.79-83 |
| ICM | 2013-03-15 15:40 |
鹿児島 | 屋久島環境文化村センター | ITシステムの自動運用手順における動作環境の事前検証方式 ○國井 雅・飯塚大介（日立） ICM2012-78 |
ITシステムを運用する際に，運用作業者の作業負荷を軽減すべく，作業時間の短縮及び作業ミスの防止を実現する運用自動化(Ru... [more] | ICM2012-78 pp.113-118 |
| KBSE | 2012-11-22 11:25 |
石川 | 金沢大学 (角間キャンパス) | アセンブリプログラムに対するSMTソルバを使用する有界モデル検査 ○小橋潤平・竹下 淳・山根 智（金沢大） KBSE2012-41 |
本稿では組込みシステム向けアセンブリ言語プログラムコードのレジスタレベルモデルに対してSMTソルバを用いた有界モデル検査... [more] | KBSE2012-41 pp.19-24 |
| US | 2012-05-28 13:55 |
東京 | 機械振興会館 | 位相差分法を用いた超低速流れ計測に関する研究 ○井原智則・木倉宏成・武田 靖（東工大）・越智英治・南 和宏（日本原燃） US2012-9 |
工業的な流れ場計測において，超音波流速分布計(Ultrasound Velocity Profile monitor; ... [more] | US2012-9 pp.7-11 |
[研究会発表申込システムのトップページに戻る]