| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2024-01-17 16:00 |
石川 | 金沢商工会議所会館（石川県金沢市） （ハイブリッド開催，主：現地開催，副：オンライン開催） |
コンカレント水火力協調問題における火力発電コスト決定要因の回帰分析による考察 ○豊嶋伊知郎（東芝エネルギーシステムズ）・竹内智紀・原 亮一（北大）・百川涼平（東芝エネルギーシステムズ）・北 裕幸（北大）  MSS2023-58 SS2023-37 |
電力会社の需給運用業務において，水力発電は火力発電の燃料費を抑制する手段の一つとして活用されてきた．水力および火力の発電... [more] | MSS2023-58 SS2023-37 pp.35-39 |
| AI | 2023-09-12 14:15 |
北海道 | 登別グランドホテル | サプライチェーンマネジメントのための取引状況と統計量による動的な価格調整を導入したエージェント戦略 ○宮島龍冴・藤田桂英（東京農工大） AI2023-14 |
マルチエージェントシステムにおける合意形成の手段として自動交渉が注目されている．国際自動交渉エージェント競技会（ANAC... [more] | AI2023-14 pp.72-76 |
| NS, ASN, RCC, RCS, SR (併催) |
2017-07-21 13:20 |
北海道 | 北海道大学 | LPWA（CSS変調方式）の復調方法とマルチホップ方法の検討 ～ CSSパケット衝突の回避と転送方法の提案 ～ ○竹内嘉彦（日本無線）・廖 椿豪・鈴木 誠・森川博之（東大） RCC2017-46 NS2017-63 RCS2017-138 SR2017-61 ASN2017-54 |
LPWAの通信方式のひとつCSS変調と，多値FMデータ変調（M-ary）を組み合わせた方式について検討した．マッチドフィ... [more] | RCC2017-46 NS2017-63 RCS2017-138 SR2017-61 ASN2017-54 pp.179-184(RCC), pp.169-174(NS), pp.233-238(RCS), pp.191-196(SR), pp.205-210(ASN) |
| ASN | 2014-05-29 14:30 |
東京 | 東京大学先端科学技術研究センター An棟2階 コンベンションホール | ［ポスター講演］長期同期計測が可能な省電力無線橋梁モニタリングシステム ○鈴木 誠・長山智則・森川博之（東大） ASN2014-17 |
本稿の目的は，無線橋梁モニタリングシステムの抜本的な省電力化により，常時時刻同期および計測を行いつつも，数年程度のバッテ... [more] | ASN2014-17 pp.57-58 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2013-11-28 09:45 |
鹿児島 | 鹿児島県文化センター | 信頼性と時間オーバーヘッド間のトレードオフを考慮した面積制約にもとづくRDRアーキテクチャ向けフォールトセキュア高位合成手法 ○川村一志・柳澤政生・戸川 望（早大） VLD2013-79 DC2013-45 |
半導体の微細化技術の進展に伴い，ソフトエラーに起因する信頼性の低下，及び配線遅延の相対的増大が問題となっている． 信頼... [more] |
VLD2013-79 DC2013-45 pp.129-134 |
| MSS | 2013-01-23 10:40 |
大阪 | 大阪国際会議場 | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 ○王 龍江・高井重昌（阪大） MSS2012-52 |
本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様... [more] | MSS2012-52 pp.39-44 |
| IN, NS, CS (併催) |
2012-09-20 10:10 |
宮城 | 東北大学 電気通信研究所 2号館 | ノードシステムへのJAVA(TM)言語適用に関する検討 ○澤崎文彦・中村宏之・上田清志（NTT） NS2012-54 |
多くの開発者人口を抱え，ミッションクリティカル系等，高い信頼性を要するシステムへの適用も増えつつあるJava言語は，ライ... [more] | NS2012-54 pp.19-24 |
| CAS, MSS (共催) |
2011-11-17 14:50 |
山口 | 山口大学大学会館 | トラップ包含閉路ネットの判定法 ○太田 淳・辻 孝吉（愛知県立大） CAS2011-68 MSS2011-37 |
ペトリネットはコンカレントシステムのための有効なモデルの一つである。 一般にペトリネットの解析問題には膨大な計算量が必... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
| DC | 2011-10-20 11:00 |
東京 | 機械振興会館 | 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査 ○井上裕之・土屋達弘・菊野 亨（阪大） DC2011-20 |
モデル検査において上界のない整数型変数を有するシステムを対象とした場合，状態数は無限となるため，状態全てを個々に探索する... [more] | DC2011-20 pp.1-5 |
| MSS | 2011-01-20 16:00 |
山口 | 海峡メッセ下関 | ［パネル討論］コンカレント工学研究会の活動を振り返って ～ 歴代委員長からのメッセージ ～ ○翁長健治（琉球大）・松本 忠（福井大）・難波田 愈（静岡産大）・渡邉敏正（広島大）・長尾陽一（川崎重工）・長谷川晴朗（沖コンサルティングソリューションズ）・椎塚久雄（工学院大）・辻 孝吉（愛知県立大）・内平直志（東芝）・葛 崎偉（山口大）・潮 俊光（阪大） CST2010-67 |
コンカレント工学研究専門委員会（CST）は，平成23年度からシステム数理と応用研究専門委員会（MSS）に名称を変更する．... [more] | CST2010-67 pp.45-48 |
| AN, MoNA, USN (併催) |
2011-01-21 10:50 |
広島 | 広島市立大学 | 分散送信電力制御のダウンリンクマルチユーザ通信への拡張に関する一検討 ○熊川成正・山本高至・村田英一・吉田 進・梅原大祐・田野 哲・守倉正博（京大） AN2010-66 |
マルチユーザ分散アンテナシステムにおいて周波数利用効率を向上させるために電力制御は大きな役割を果たす． 本稿ではその... [more] |
AN2010-66 pp.119-123 |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大） CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 12:30 |
北海道 | 北見工大 | 構造的弱パーシステントネットの活性問題の計算量 ○太田 淳（愛知県立大）・GuanJiu Liu（Tongji Univ.）・辻 孝吉（愛知県立大）・ChangJun Jiang（Tongji Univ.）・Daniel Y. Chao（Natl. Chengchi Univ.） CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 |
ペトリネットはコンカレントシステムのための有効なモデルの一つである。トランジションの発火可能性を検証する活性問題はペトリ... [more] | CAS2010-23 VLD2010-33 SIP2010-44 CST2010-23 pp.127-132 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 13:20 |
北海道 | 北見工大 | 並行システムを解析するための逐次化と状態削減機能の実装 ～ 仕様の自動生成を目指して ～ ○磯部祥尚（産総研） CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 |
並行システムは逐次システムに比べてその全体の動作を把握することが難しい．そこで，並行システムが仕様を満たすことを判定する... [more] | CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 pp.139-144 |
| MSS | 2009-06-03 14:50 |
大阪 | 摂南大学大阪センター | SAT and SMT Based Model Checking of Concurrent Systems ○Tatsuhiro Tsuchiya・Tohru Kikuno（Osaka Univ.） CST2009-4 |
SATやSMTを用いたモデル検査について議論する．この種のモデル検査手法では，検証問題を論理式の充足可能性判定問題に帰着... [more] | CST2009-4 pp.19-23 |
| RCS, SAT (併催) |
2008-12-19 14:35 |
東京 | 機械振興会館 | 周波数帯域統合システムの受信機構成に関する一検討 ○北藪 透・池田裕司・天野良晃・石川博康（KDDI研） SAT2008-56 |
1 Gbps以上の広帯域無線通信システムを実現するため，IMT-Advancedでは最大100 MHz幅の帯域を利用した... [more] | SAT2008-56 pp.17-22 |
| CAS, MSS (共催) |
2008-11-06 11:00 |
大阪 | 大阪大学 | ［招待講演］OSにおけるプロセススケジューリング手法のマルチカーエレベータにおけるシャフト内運行制御問題への応用 ○鈴木裕通（フジテック） CAS2008-48 CST2008-26 |
マルチカーエレベータ（Multi-Car Elevators，以下MCE）を運行制御するには 複数のかごが昇降路空間で... [more] |
CAS2008-48 CST2008-26 pp.17-24 |
| MSS | 2008-08-04 15:05 |
静岡 | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 | 通信プロトコルのネットモデルとその解析 上田昌弘（トヨタテクニカルディベロップメント）・○太田 淳・辻 孝吉（愛知県立大） CST2008-16 |
ペトリネットはコンカレントシステムのモデルの一つである。この 報告では、OSI プロトコル層における通信エンティティの... [more] |
CST2008-16 pp.23-28 |
| MSS | 2008-01-28 16:50 |
徳島 | 徳島大学 | Ｅｒｌａｎｇ言語による組込みソフト・アーキテクチャの品質向上 ○橋詰賢二・マルコン シャンドル（神戸情報大） CST2007-45 |
組込みソフトウェアの信頼性やロバスト性は、まずそのアーキテクチャデザインに左右され、次に利用可能なツールに依存する。 ... [more] |
CST2007-45 pp.55-58 |
| COMP | 2007-12-14 16:50 |
広島 | 広島大学 | 共有変数へのアクセス競合の回避を目的とする同時実行可能で拡張可能なハッシュアルゴリズムの改良 ○末田直也・上土井陽子・若林真一（広島市大） COMP2007-54 |
本研究では非同期共有メモリシステムにおいて，ShalevとNirが提案した複数の命令を同時に処理でき，かつ，テーブルサイ... [more] | COMP2007-54 pp.43-50 |
[研究会発表申込システムのトップページに戻る]