| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2010年度)
「from:2010-08-02 to:2010-08-02」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2010-08-02 14:00 |
石川 | 金沢学院大 サテライト教室 | 動的再構成可能プロセッサの離散シミュレータの開発 ○沈 忱・中居佑輝・山根 智（金沢大）  CST2010-32 |
[more] | CST2010-32 pp.1-6 |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大） CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| MSS | 2010-08-02 14:50 |
石川 | 金沢学院大 サテライト教室 | 定常連続システムから離散状態システムを得るための一手法 ○松本 忠・恐神正博（福井工大）・茂呂征一郎（福井大） CST2010-34 |
連続システム$ Ax = b ( A = [ a_{ij}] \in R^{m \times n}, b = [ b_i... [more] | CST2010-34 pp.13-18 |
| MSS | 2010-08-02 15:30 |
石川 | 金沢学院大 サテライト教室 | Mealyオートマトンのスーパバイザ制御の余代数による解析 ○神志那 純・潮 俊光（阪大）・木下佳樹（産総研） CST2010-35 |
本報告では，Mealy オートマトンでモデル化された離散事象システムのスーパバ イザ制御の余代数的解析について検討する... [more] |
CST2010-35 pp.19-24 |
| MSS | 2010-08-02 15:55 |
石川 | 金沢学院大 サテライト教室 | 事象駆動とスケジュールを併用した離散事象システム制御における動的対応後の既定計画への復帰手法 ○萩原 雅・高橋宏治（東工大） CST2010-36 |
[more] | CST2010-36 pp.25-30 |
| MSS | 2010-08-02 16:20 |
石川 | 金沢学院大 サテライト教室 | マルチプロセッサスケジューリングにおけるタスクグラフのブロック分割について 陳 霖・○川淵美奈・葛 崎偉・中田 充（山口大）・斗納宏敏・岡本貴子・穴吹篤志（富士通テン） CST2010-37 |
本論文では，マルチプロセッサスケジューリングにおけるブロック分割の方法を提 案し，その評価を行う．ブロックとはタスクグ... [more] |
CST2010-37 pp.31-34 |
[研究会発表申込システムのトップページに戻る]