研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-12 16:15 |
静岡 |
熱海伊豆山温泉 ハートピア熱海 |
一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 ○藤森浩平・張江洋次朗・和崎克己(信州大) CAS2018-65 MSS2018-41 |
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] |
CAS2018-65 MSS2018-41 pp.43-47 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 15:15 |
静岡 |
熱海伊豆山温泉 ハートピア熱海 |
代数仕様を用いた数理計画モデルの形式的検証について ○中村正樹・榊原一紀(富山県立大) CAS2018-76 MSS2018-52 |
最適化ソルバーを数理計画モデルに適用するためには,ソルバーが適用可能な形式にモデル化する必要がある.本研究では,与えられ... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
IBISML |
2018-11-05 15:10 |
北海道 |
北海道民活動センター(かでる2.7) |
[ポスター講演]近傍法と形式概念解析を用いた階層的構造の学習 ○米田友花(阪大)・杉山麿人(NII)・鷲尾 隆(阪大) IBISML2018-53 |
連続値データから階層的構造を学習する手法を提案する.
提案手法は主に2つの段階からなる.
まず,入力の連続値データに... [more] |
IBISML2018-53 pp.69-73 |
ICSS, IA (共催) |
2018-06-26 10:45 |
愛媛 |
愛媛大学 南加記念ホール |
[招待講演]安全性解析技術に関する近年の動向 ○矢内直人(阪大) IA2018-12 ICSS2018-12 |
各研究における提案技術の安全性について, 数理的技法を通じて解析する手法が近年高い注目を受けている. 本稿ではこの数理的... [more] |
IA2018-12 ICSS2018-12 pp.73-75 |
EMT, EST, LQE, MWP, OPE, PN (共催) PEM, IEE-EMT (連催) ※学会内は併催 [詳細] |
2018-01-26 10:55 |
兵庫 |
姫路西はりま地場産業センター |
2次収束性を有する半陰的Conformal FDTDスキームの検討 ○藤田和広(富士通) PN2017-86 EMT2017-123 OPE2017-164 LQE2017-146 EST2017-122 MWP2017-99 |
本稿では,誘電体と完全導体を両方含む電磁構造の解析における階段近似誤差を低減するため,磁界の陰的時間更新に基づく半陰的F... [more] |
PN2017-86 EMT2017-123 OPE2017-164 LQE2017-146 EST2017-122 MWP2017-99 pp.281-286 |
SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 10:45 |
北海道 |
函館コミュニティプラザ |
端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法 ○辻 光顕・長谷部浩二・加藤和彦(筑波大) SS2017-2 KBSE2017-2 |
著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている.このシステムの特長は,隊列を再編成する... [more] |
SS2017-2 KBSE2017-2 pp.7-12 |
SSS |
2017-04-25 13:40 |
東京 |
機械振興会館 |
[招待講演]現場での知識継承・情報共有を促す休憩室での雑談の活性化方法の提案 ○藤野秀則(福井県立大)・浦山大輝(京大)・北村尊義(立命館大)・下田 宏・石井裕剛(京大) SSS2017-2 |
安全管理の現場では,現場のメンバの間で休憩中に行う雑談を通して,互いの業務中に気づいたことや業務をうまくこなすためのノウ... [more] |
SSS2017-2 pp.5-8 |
SANE |
2016-11-25 11:20 |
海外 |
国立台北科技大学 |
Beam Scanning and Radiation Pattern for Conformal Array Antenna ○Takeru Oka・Hirokazu Kobayashi(OIT) SANE2016-92 |
任意形状の曲面アレーのビーム走査アルゴリズムについて解析的に議論する.曲面アレーのビームを走査するには,素子座標から等位... [more] |
SANE2016-92 pp.215-220 |
TL |
2016-10-09 09:45 |
兵庫 |
神戸学院大学ポートアイランドキャンパスD号館アクティブスタジオ |
子供のいる多人数会話で互いの存在を利用すること ~ 科学コミュニケーターの常体/敬体の使い分けに着目して ~ ○牧野遼作(NII)・坊農真弓(NII/総研大) TL2016-27 |
本研究は,子供とその親と他者が参与した多人数会話を対象とし,会話の中でこれらの参与者たちが,互いの存在をどのように取り扱... [more] |
TL2016-27 pp.7-12 |
OPE, MW, EMT, MWP, EST (共催) IEE-EMT (連催) [詳細] |
2016-07-22 09:55 |
北海道 |
網走 オホーツク・文化交流センター(エコーセンター2000) |
曲面矩形パッチおよび曲面アレーによる放射界の計算 ○小林弘一・岡 武(阪工大) EMT2016-34 MW2016-65 OPE2016-46 EST2016-35 MWP2016-36 |
曲率を有する曲面矩形パッチおよび曲面アレーによる放射特性に関して解析的に議論する. 曲面パッチは平面上に実装された場合に... [more] |
EMT2016-34 MW2016-65 OPE2016-46 EST2016-35 MWP2016-36 pp.155-160 |
SANE |
2015-10-30 16:25 |
大阪 |
大阪工業大うめきたナレッジセンター |
曲率をもつ矩形パッチアンテナの放射特性の検討 ○小林弘一・岡 武(阪工大) SANE2015-49 |
本稿では, 曲面上に実装されているパッチアンテナに対し, その放射特性等を解析的に考察している. 平面上に実装された場合... [more] |
SANE2015-49 pp.43-48 |
US |
2015-08-24 13:00 |
東京 |
東京工業大学 大岡山キャンパス |
超高周波での生体音響特性計測時における薄切試料作製過程の影響検討 ○入江 奏・吉田憲司・山口 匡(千葉大) US2015-38 |
厚さ数µmの薄切標本を対象とした物性計測においては,ホルマリン固定等の多くの処理を施す必要があり,これらの処理... [more] |
US2015-38 pp.1-6 |
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 |
QIT (第二種研究会) |
2015-05-25 13:20 |
大阪 |
大阪大学 |
[ポスター講演]Robertson型不確定性関係の形式的検証 増原孝昭・○栗山十織・吉田雅一・程 俊(同志社大) |
大規模な証明の正当性を検証する方法として,定理証明支援系を用いた形式的検証がある.本研究では,量子鍵配送の無条件安全性に... [more] |
|
EST |
2015-05-15 15:30 |
東京 |
法政大学 小金井キャンパス |
磁界の陰的時間更新に基づく半陰的conformal FDTDスキームの基礎検討 ○藤田和広(富士通) EST2015-9 |
本稿では,曲面形状を有するモデルを高精度かつ効率的に解析するため,磁界の陰的時間更新を有する半陰的FDTD法に基づくCo... [more] |
EST2015-9 pp.45-50 |
SS |
2015-03-09 09:55 |
沖縄 |
沖縄県青年会館 |
環境許容性のあるリアクティブシステム合成法 ○上野篤史・冨田 尭・島川昌也・萩原茂樹・米崎直樹(東工大) SS2014-56 |
形式的に記述された仕様からリアクティブシステム(RS)を自動合成する手法では,仕様$varphi_{sys}$を満たす振... [more] |
SS2014-56 pp.7-12 |
MSS |
2015-03-06 10:25 |
石川 |
ITビジネスプラザ武蔵 |
割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発 ○小橋潤平・竹下 淳・山根 智・櫻井孝平(金沢大) MSS2014-100 |
近年の発展を続けている組込みシステムにおいて, ハードウェアに依存する性質を持つソフトウェアが用いられており, 開発期間... [more] |
MSS2014-100 pp.53-58 |
VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2014-11-26 10:45 |
大分 |
ビーコンプラザ(別府国際コンベンションセンター) |
タイミング制約を含んだ回路記述方式とその意味論 ○西村俊二・尼崎太樹・末吉敏則(熊本大) VLD2014-82 DC2014-36 |
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られ... [more] |
VLD2014-82 DC2014-36 pp.81-86 |
RECONF |
2014-09-19 14:40 |
広島 |
杜の宿 |
様相論理によるマルチクロック同期回路の形式検証体系 ○西村俊二・尼崎太樹・末吉敏則(熊本大) RECONF2014-33 |
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,多くの場合検証対象は単一クロッ... [more] |
RECONF2014-33 pp.93-98 |
SC, IPSJ-UBI (連催) |
2014-07-28 10:00 |
東京 |
国立情報学研究所 |
異なる形式手法を用いて検査されたサービスの合成結果の検証 ○船越和大・細野 繁(NEC) SC2014-6 |
複数の形式手法を用いてそれぞれ検査されたサービスのモデルとその制約を示す論理式を入力とし,定理証明支援系であるCoq 上... [more] |
SC2014-6 pp.49-54 |