| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SCE | 2019-04-19 09:55 |
東京 | 機械振興会館 | 単一命令セットSFQマイクロプロセッサを用いたSFQ/CMOSハイブリッドメモリシステムの動作実証 ○弘中祐樹・山梨裕希・吉川信行（横浜国大）  SCE2019-2 |
単一磁束量子 (SFQ) 回路に適合する大規模メモリシステムの実現方式として、CMOSメモリをSFQ回路と組み合わせるS... [more] | SCE2019-2 pp.7-11 |
| NLP, MSS (併催) |
2019-03-14 13:45 |
福井 | 福井大学 文京キャンパス | Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装 ○小嶋翔太・石井大輔（福井大） MSS2018-84 |
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ. しかし, 既存の... [more] |
MSS2018-84 pp.19-22 |
| SS | 2019-03-04 10:15 |
沖縄 | 沖縄産業支援センター | Acumenを用いたハイブリッドシステムの統計的モデル検査 ○井上晃輔・石井大輔（福井大） SS2018-54 |
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] | SS2018-54 pp.13-18 |
| SS | 2019-03-04 17:10 |
沖縄 | 沖縄産業支援センター | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲（奈良先端大）・片平真史・石濱直樹（JAXA）・柿本和希・飯田 元（奈良先端大） SS2018-67 |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] | SS2018-67 pp.91-96 |
| NLP | 2017-05-12 09:30 |
岡山 | 岡山理科大学 | 簡素な区分線形力学系に発現するホモクリニック点の分岐 ○美井野 優・上田哲史・川上 博（徳島大） NLP2017-15 |
区分的には線形である力学系が豊富な非線形現象を発現する場合がある．本報告では，簡素な設計の区分線形非自律力学系にみられる... [more] | NLP2017-15 pp.73-76 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 13:45 |
兵庫 | 神戸情報大学院大学 | 時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出 ○前田佳樹・潮 俊光（阪大） CAS2016-75 MSS2016-55 |
人間機械系におけるユーザとマシンの振舞いをオートマトンでモデル化して，オートメーションサプライズを形式的に検証する方法が... [more] | CAS2016-75 MSS2016-55 pp.109-112 |
| NLP | 2016-09-14 14:30 |
兵庫 | 甲南大学 | ヒステリシスを有する区分線形Duffing方程式にみられる非線形現象 ○美井野 優・上田哲史・川上 博（徳島大） NLP2016-50 |
ヒステリシス特性のモデリングは，区分線形関数とハイブリッドシステムの概念を応用することで実現可能ある．本研究では,Duf... [more] | NLP2016-50 pp.31-36 |
| NLP | 2016-05-27 09:25 |
高知 | 高知大学 学生会館 | 結合Izhikevichニューロンモデルにみられる同時発火現象と分岐 ○美井野 優・上田哲史（徳島大） NLP2016-11 |
結合Izhikevichニューロンモデルにおいては，別々のニューロン素子における発火現象が同時刻に発生するパラメタが存在... [more] | NLP2016-11 pp.51-56 |
| SS, MSS (共催) |
2016-01-25 18:05 |
石川 | しいのき迎賓館 セミナールームB | ハイブリッドシステムのシミュレーションにおける精度保証数値計算と数式処理との連携 ○松本翔太・上田和紀（早大） MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム （ハイブリッドシステム）の精度保証シミュレータの開発である．... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
| SS, MSS (共催) |
2016-01-26 11:30 |
石川 | しいのき迎賓館 セミナールームB | ハイブリッドシステムに対するCCSの拡張について ○川北悠人・結縁祥治（名大） MSS2015-58 SS2015-67 |
連続的な振舞いと離散的な振舞いを同時にモデル化するハイブリッドシステムの記述において，Schniderらによって提案され... [more] | MSS2015-58 SS2015-67 pp.129-134 |
| DC, SS (共催) |
2015-10-13 13:50 |
奈良 | 東大寺総合文化センター | HCCSによる再帰的ハイブリッドシステムの記述 ○川北悠人・結縁祥治（名大） SS2015-36 DC2015-26 |
連続した振舞いと通信としての離散的振舞いを記述可能なCCSの拡張としてHCCSがNestmannらによって提案されている... [more] | SS2015-36 DC2015-26 pp.7-12 |
| SS | 2015-05-11 13:30 |
熊本 | 熊本大学 | ハイブリッドプロセス計算を用いたスーパーバイザ合成について ○川北悠人・結縁祥治（名大） SS2015-2 |
本研究では，CCSの拡張であるハイブリッドプロセス計算HCCSを用いて，ハイブリッドシステムの制御を行うスーパーバイザを... [more] | SS2015-2 pp.7-10 |
| CCS (第二種研究会) |
2015-03-06 10:20 |
東京 | 東京工業大学 | 電力パケット伝送を実現する回路接続の存在条件に関する一考察 ○縄田信哉・高橋 亮・引原隆士（京大） |
電力パケットは，電力パルスに宛先などの情報をタグとして付与した，電力伝送の単位である．本報告では，複数の電源と負荷が複数... [more] | |
| SIS | 2014-12-18 15:50 |
京都 | 京都リサーチパーク（京都市） | ［招待講演］ハイブリッドシステムによるマルチメディア・タイミング構造のモデル化と学習 ○川嶋宏彰（京大） SIS2014-78 |
カメラやマイクといったセンサから得られる時系列データから，実世界における人の動きや，表情変化，発話などの動的事象をモデル... [more] | SIS2014-78 pp.63-68 |
| NLP | 2013-03-14 14:50 |
千葉 | 千葉大学 西千葉キャンパス | ハイブリッドシステムにおけるリミットサイクル振動子に対する位相縮約法とその応用 ○白坂 将・紅林 亘・中尾裕也（東工大） NLP2012-154 |
位相縮約法はリミットサイクル振動子の解析において有用だが，既存の理論は連続ダイナミクスと離散ダイナミクスの両者を含むハイ... [more] | NLP2012-154 pp.55-58 |
| MSS, SS (共催) |
2013-03-07 09:30 |
福岡 | 休暇村志賀島 | 確率ハイブリッドシステムの離散抽象化 ～ 遺伝子トグルスイッチの解析への適用 ～ ○福井康仁・小林孝一・平石邦彦（北陸先端大） MSS2012-72 SS2012-72 |
離散抽象化とは，動的システムの振る舞いを離散状態システムに変換する手法である．本論文では，確率ハイブリッドシステムに対す... [more] | MSS2012-72 SS2012-72 pp.75-79 |
| NLP | 2012-12-18 09:20 |
福井 | 福井市地域交流プラザ | 前後に動く受動歩行機の数理モデル導出とその解析 ○竹本雅哉・小西啓治・原 尚之（阪府大） NLP2012-97 |
重力のみで坂道を歩き下る受動歩行ロボットが数多く提案されている．これらの周期歩行は安定なリミットサイクルと見なすことがで... [more] | NLP2012-97 pp.51-56 |
| SS, MSS (共催) |
2012-01-27 09:00 |
高知 | 高知市文化プラザかるぽーと | ［招待講演］区間制約プログラミングの研究事例 ～ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ～ ○石井大輔（NII） MSS2011-67 SS2011-52 |
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである... [more] | MSS2011-67 SS2011-52 pp.73-77 |
| EA | 2011-11-19 11:15 |
熊本 | 熊本大学 | 広帯域と狭帯域の騒音成分を同時に低減できる新しいハイブリッド型能動騒音制御システム ○肖 業貴（県立広島大）・宮田康平（データホライゾン）・黄 博妍・生田 顕（県立広島大） EA2011-93 |
従来の広帯域能動騒音制御（Active Noise Control: ANC）システムは、 低周波の狭帯域成分または正... [more] |
EA2011-93 pp.67-71 |
| NC | 2011-07-25 11:10 |
兵庫 | 神戸大学大学院工学研究科 | ネットワーク結合システムのハイブリッド制御 ○村山 暢・羅 志偉・長野明紀（神戸大） NC2011-22 |
ネットワーク結合システムのハイブリッド制御について述べる． ネットワーク結合システムはサブシステムがネットワークを通じ... [more] |
NC2011-22 pp.11-14 |
[研究会発表申込システムのトップページに戻る]