研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
SIP, EA, SP (共催) MI (併催) [詳細] |
2018-03-19 13:00 |
沖縄 |
石垣島 ホテルミヤヒラ |
[ポスター講演]超広帯域音声のための低周波成分への影響を考慮した非線形帯域拡張法に基づく話者照合の検討 ○宮本春奈・塩田さやか・貴家仁志(首都大東京) EA2017-110 SIP2017-119 SP2017-93 |
本論文では,エイリアシングの影響を考慮した非線形帯域拡張法を提案し,その有効性を客観評価および話者照合において評価してい... [more] |
EA2017-110 SIP2017-119 SP2017-93 pp.51-55 |
SIP, EA, SP (共催) MI (併催) [詳細] |
2018-03-19 13:00 |
沖縄 |
石垣島 ホテルミヤヒラ |
[ポスター講演]話者照合のための話者性を考慮した音素情報に基づくポップノイズ検出法を用いたテキスト依存型声の生体検知 ○望月紫穂野・塩田さやか・貴家仁志(首都大東京) EA2017-111 SIP2017-120 SP2017-94 |
本稿では,話者性を考慮した音素情報に基づくポップノイズ検出法を用いたテキスト依存型の声の生体検知を提案する.近年,話者照... [more] |
EA2017-111 SIP2017-120 SP2017-94 pp.57-62 |
PRMU, BioX (共催) |
2018-03-18 13:30 |
東京 |
青山学院大学 青山キャンパス |
イヤホンマイクを備えた話者照合システムの種々の音響条件下での精度評価 ○王 琼琼・岡部浩司・マハト シワンギ・越仲孝文(NEC) BioX2017-43 PRMU2017-179 |
多くの話者照合システムが備える標準的なマイクは,雑音や残響を含む実環境で精度低下を生ずる.耳に装着するイヤホンタイプのマ... [more] |
BioX2017-43 PRMU2017-179 pp.43-48 |
MSS, NLP (併催) |
2018-03-13 14:55 |
大阪 |
大阪大学豊中キャンパス |
定理証明器Princessを用いた組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ○小田島直樹(金沢大)・福田岳飛(金沢錦丘高校)・山根 智(金沢大) MSS2017-84 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] |
MSS2017-84 pp.35-40 |
ICM |
2018-03-09 10:20 |
沖縄 |
沖縄青年会館 |
クラウド時代のファイヤーウォールルール自動検証方式の検討 ○宇都宮拓馬・小口直樹(富士通) ICM2017-68 |
クラウド,5G,IoTといった技術の普及,柔軟な業務形態に対応するSoEシステムのオンデマンドな構築といった需要から,今... [more] |
ICM2017-68 pp.73-77 |
ICTSSL, CAS (共催) |
2018-01-26 10:00 |
東京 |
機械振興会館 |
特許第4958574号のプログラム論理の検証方法の紹介と展開について ○岡崎秀晃(湘南工科大)・高井邦夫(高井工務店) CAS2017-122 ICTSSL2017-49 |
本報告では,テストデータチェックやロジックチェックでは検出が困難なソフトウェアの不具合(バグ)を数学的見地から検証する方... [more] |
CAS2017-122 ICTSSL2017-49 pp.63-68 |
SS, MSS (共催) |
2018-01-18 15:05 |
広島 |
広島市立大学サテライトキャンパス |
EDFスケジューリングでプロセッサ共有する実時間マルチタスク分散システムに対する拡張時間ペトリネットを用いたデッドライン割り当て最適化手法 ○松岡伶音・中田明夫(広島市大) MSS2017-56 SS2017-43 |
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
SIP, CAS, MSS, VLD (共催) |
2017-06-20 09:30 |
新潟 |
新潟大学五十嵐キャンパス 中央図書館ライブラリーホール |
組込みアセンブリプログラムのリアルタイム安全性の演繹的検証 ~ □≦TIME q = □(q∧(time≦TIME)) ~ ○山根 智(金沢大) CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, 組込みプログラムのリ... [more] |
CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
MSS |
2017-03-16 11:20 |
島根 |
島根大学総合理工学部1号館情報棟1階情報科学講義室 |
組込みアセンブリプログラムのリアルタイム性の検証手法 ~ 組込みプログラムのためのモデル検査と演繹的検証 ~ ○山根 智(金沢大) MSS2016-83 |
組込みシステムでは, 論理的正当性だけではなく, リアルタイム性の検証が重要である. 本論文では, リアルタイム性の検証... [more] |
MSS2016-83 pp.11-16 |
SS |
2017-03-10 11:35 |
沖縄 |
てんぶす那覇 |
マルチタスクシステム仕様に対する性能検証のタスク併合による効率化 ○橋本和磨・中田明夫(広島市大) SS2016-79 |
リソース制約が厳しく,高い性能と信頼性が要求される組込みソフトウェア開発において,最悪時に性能要求を満たすか否かの検証(... [more] |
SS2016-79 pp.115-120 |
NS, IN (併催) |
2017-03-02 11:20 |
沖縄 |
沖縄残波岬ロイヤルホテル |
ネットワーク機器における設定情報の抽象化に関する研究 ○廣瀬真人・明石邦夫・篠田陽一(北陸先端大) |
インターネット初期におけるネットワークは、現在と比べて単純な構造であった。
そのため、ネットワークオペレータがネットワ... [more] |
|
SP, IPSJ-SLP (連催) NLC, IPSJ-NL (連催) (併催) [詳細] |
2016-12-20 11:45 |
東京 |
NTT武蔵野研究開発センタ |
i-vectorによるランキングを用いた短い発話における話者照合の検討 ○辻川美沙貴(パナソニック/総研大)・西川剛樹(パナソニック)・松井知子(統計数理研) SP2016-53 |
一般的に,話者認識の性能は発話長が短いときに劣化する.しかしながら音声による機器操作などで話者認識機能を実用化する場合,... [more] |
SP2016-53 pp.23-26 |
NS, CQ, ICM, NV (併催) |
2016-11-24 11:25 |
山口 |
下関商工会議所 |
複数SDNアプリケーションにおけるフローエントリ競合検知手法の提案 ○西間木 哲・引地謙治・宗宮利夫・山田亜紀子(富士通研) NS2016-105 |
SDN技術により、ネットワークをSDNアプリケーション(SDNアプリ)でプログラマブルに制御できるようになった。我々は、... [more] |
NS2016-105 pp.25-30 |
NS, CS, IN, NV (併催) |
2016-09-29 11:50 |
宮城 |
東北大学 |
[奨励講演]仮想化技術を用いたネットワークシステムを検証する運用時検証システムの実現 ○坪内宏司・渡辺直聡・光延秀樹・西島孝通・加納慎也(富士通研) NS2016-77 |
NFVなどの仮想化技術の登場にともない、ネットワークサービス事業者もサービスリリースサイクルの短縮化に向けてアジャイル開... [more] |
NS2016-77 pp.17-22 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-13 10:20 |
北海道 |
北海道立道民活動センター |
シーケンス図のメーセージ順序の適正な修正手法 ○岡野浩三(信州大)・原内 聡(三菱電機)・田島洋介・小形真平(信州大) SS2016-2 KBSE2016-8 |
ソフトウェア開発において,品質を保証するための手法として設計の欠陥の検出,修正に関する多くの提案がされている.仕様設計の... [more] |
SS2016-2 KBSE2016-8 pp.7-12 |
EA, SP, SIP (共催) |
2016-03-29 09:00 |
大分 |
別府国際コンベンションセンター B-ConPlaza |
[ポスター講演]残響環境下における話者照合のための逐次適応を用いたスコア統合重みの推定 ○中西亮介・塩田さやか・貴家仁志(首都大東京) EA2015-114 SIP2015-163 SP2015-142 |
本稿では,スコア統合による話者照合のための残響に頑健なスコア統合重みの推定法を提案する.
実環境下において,話者照合シ... [more] |
EA2015-114 SIP2015-163 SP2015-142 pp.267-272 |
SS, MSS (共催) |
2016-01-25 18:30 |
石川 |
しいのき迎賓館 セミナールームB |
モデル検査とテストを応用した制御システム検証手法の検討 ○松原潤弥・髙木理恵子・中澤輝幸(デンソークリエイト)・東道徹也・井原博之・川合幸典(デンソー) MSS2015-52 SS2015-61 |
近年の車載制御システムの複雑化により,システムの信頼性の確保とその客観性が求められている.このため,システム設計の過程で... [more] |
MSS2015-52 SS2015-61 pp.99-103 |
SS, MSS (共催) |
2016-01-26 11:55 |
石川 |
しいのき迎賓館 セミナールームB |
Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証 ○中村貴史・中田明夫(広島市大) MSS2015-59 SS2015-68 |
性能とリソースの制約が共に厳しく,高い信頼性を要求される組込みソフトウェア開発においては,開発の設計段階で性能要求を満た... [more] |
MSS2015-59 SS2015-68 pp.135-140 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2015-11-20 14:20 |
鹿児島 |
指宿市民会館 大会議室 |
分散アルゴリズムの実行列からプログラム合成とそのプログラム検証 ○山根 智(金沢大) CAS2015-50 MSS2015-24 |
分散システムの分散問題を解決する分散アルゴリズムはクラウドコンピュータやP2Pなどで多数動作しており, その正当性検証は... [more] |
CAS2015-50 MSS2015-24 pp.35-40 |
SP |
2015-08-21 15:05 |
岩手 |
岩手県立大学アイーナキャンパス |
DNNによる音素誤りパターン学習に基づく音声中の検索語検出 ○澤田直輝・西崎博光(山梨大) SP2015-56 |
本稿では,Deep Neural Network (DNN) を使用して,複数の音声認識システムから得られた音素系列から... [more] |
SP2015-56 pp.33-38 |