Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
MSS2018-81
データ項目の参照関係に基づく画面設計の個別化の提案 ～ 電力需給管理システムを対象として ～
○荒田琢也・山口真悟（山口大）・豊嶋伊知郎（東芝エネルギーシステムズ）
pp. 1 - 6
MSS2018-82
SimulinkモデルのSMT-LIBエンコード方法に関する実験
○武仲紘輝・石井大輔（福井大）
pp. 7 - 11
MSS2018-83
OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
○東 周輝・中村正樹・榊原一紀（富山県立大）・緒方和博（北陸先端大）
pp. 13 - 18
MSS2018-84
Duraczらの操作的意味論に基づくハイブリッドシステムの高信頼シミュレータの実装
○小嶋翔太・石井大輔（福井大）
pp. 19 - 22
MSS2018-85
配電系統における需要家効用公平化のためのADMMを用いた分散最適化モデル
○日高直樹・宮本俊幸（阪大）
pp. 23 - 27
MSS2018-86
レビューにおける価値観の誤認識を考慮した消費者の集団ゲームモデル
○黒見大希・金澤尚史（阪大）
pp. 29 - 34
MSS2018-87
On Stability of Consensus Control of Discrete-time Multi-agent Systems by a Single Pinning Agent
○Dongwu Xu・Toshimitsu Ushio（Osaka Univ.）
pp. 35 - 38
MSS2018-88
セルオートマトンの不変式と不変群
○佐藤忠一（東洋大）
pp. 39 - 44
MSS2018-89
機械学習結果を利用した確率的情報処理法に関する一検討
○片岡 駿（小樽商科大）
pp. 45 - 50
MSS2018-90
デジタル制御入出力信号の非定常検出方式の検証
○柴田昌彦・中原大貴・三井 聡（三菱電機）
pp. 51 - 55
MSS2018-91
［招待講演］電力自由化向け最適技術
○マルミローリ マルタ（三菱電機）
pp. 57 - 58
MSS2018-92
Jaccard係数を用いた単語の共起度に基づくメールフィルタの提案
○天満誠也・杉井 学・松野浩嗣（山口大）
pp. 59 - 64
MSS2018-93
Form and function in gene regulatory networks: revisiting Ahnert and Fink, 2016
○Minami Harada・Hiroshi Matsuno・Adrien Faure（Yamaguchi Univ.）
pp. 65 - 68
MSS2018-94
格文法を用いた言語系統分類のための形式化手法の提案
○原添修司・神谷捺希（山口大）・呉 靭（山口短大）・松野浩嗣（山口大）
pp. 69 - 74
MSS2018-95
Simulinkモデルに対するシミュレーションによる重み付き記号的状態遷移系の導出
○大脇亮太・結縁祥治（名大）
pp. 75 - 80
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．