電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 10件中 1〜10件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
NLP, MSS
(併催)
2019-03-14
12:55
福井 福井大学 文京キャンパス SimulinkモデルのSMT-LIBエンコード方法に関する実験
武仲紘輝石井大輔福井大
Simulink モデルの網羅テストなどにおいて,汎用プログラムと同様に SMT ソルバーを用いた静的解析が役立つ.そこ... [more] MSS2018-82
pp.7-11
NLP, MSS
(併催)
2019-03-14
13:45
福井 福井大学 文京キャンパス Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装
小嶋翔太石井大輔福井大
ハイブリッドシステムの解析において, 状態の保守的近似に基づく高信頼な数値シミュレーションが役立つ.
しかし, 既存の... [more]
MSS2018-84
pp.19-22
SS 2019-03-04
10:15
沖縄 沖縄産業支援センター Acumenを用いたハイブリッドシステムの統計的モデル検査
井上晃輔石井大輔福井大
信頼性の高い連続・離散ハイブリッドシステムの開発には, モデリング・シミュレーション・検証のための統合ツールが有用である... [more] SS2018-54
pp.13-18
IBISML 2018-03-06
10:25
福岡 九州大学 西新プラザ Krawczyk-Hansenによる精度保証つき大域的最適化法の局所解を用いた高速化
高田浩彰東大)・美添一樹理研)・石井大輔福井大)・津田宏治東大
Krawczyk-Hansenアルゴリズムとは、区間演算と分枝最適化を用いて大域的最適化を精度保証つきで行う手法である。... [more] IBISML2017-99
pp.63-70
MSS 2016-03-04
09:35
山口 海峡メッセ下関 時相論理式の反証を用いた制御器のチューニング
峰尾太陽東工大)・石井大輔福井大)・渡部卓雄東工大
 [more] MSS2015-79
pp.61-66
SS, MSS
(共催)
2016-01-25
15:00
石川 しいのき迎賓館 セミナールームB [招待講演]区間解析による時相論理式の頑健性モニタリング
石井大輔福井大
 [more] MSS2015-45 SS2015-54
pp.59-62
MSS, SS
(共催)
2015-01-27
08:30
鳥取 ブランナールみささ 区間解析を用いたハイブリッドシステムの統計的モデル検査
石井大輔米崎直樹東工大
 [more] MSS2014-80 SS2014-44
pp.67-71
SS, MSS
(共催)
2014-01-31
16:15
愛知 豊田中央研究所 平行体計算を用いた非線形ハイブリッドシステムのシミュレーション
石井大輔東工大)・Alexandre GoldsztejnCNRS/LINA
 [more] MSS2013-74 SS2013-71
pp.135-139
SS, MSS
(共催)
2012-01-27
09:00
高知 高知市文化プラザかるぽーと [招待講演]区間制約プログラミングの研究事例 ~ Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法 ~
石井大輔NII
区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し,区間計算を用いて高信頼な求解処理を行う枠組みである... [more] MSS2011-67 SS2011-52
pp.73-77
MSS 2009-01-30
09:55
神奈川 神奈川県産業振興センター会議室(第一会議室) 微分制約論理式によるハイブリッドシステムのモデリングと検証
石井大輔上田和紀早大)・細部博史NII
本研究ではハイブリッドシステムの到達可能性検証のための有界モデル検査法(bounded model checking)を... [more] CST2008-53
pp.67-70
 10件中 1〜10件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会