| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2011年度)
「from:2012-03-08 to:2012-03-08」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2012-03-08 13:30 |
東京 | JAIST東京サテライト | コントローラの起動に関する評価を考慮したself-triggered予測制御 ○中尾将吾・潮 俊光（阪大）  MSS2011-72 |
マイクロプロセッサ技術の発達により, 多くのコントローラはディジタルプラットフォーム上に実装されるようになった. しかし... [more] | MSS2011-72 pp.1-4 |
| MSS | 2012-03-08 13:55 |
東京 | JAIST東京サテライト | 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 ○木村克行・野村雅司・高井重昌（阪大） MSS2011-73 |
本稿では，非決定オートマトンでモデル化された制御対象と制御仕様に対して，スーパバイザ制御されたシステムと制御仕様が双模倣... [more] | MSS2011-73 pp.5-10 |
| MSS | 2012-03-08 14:20 |
東京 | JAIST東京サテライト | ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証 ○山本 聖・高井重昌（阪大） MSS2011-74 |
本稿では，複数の診断器の判断をANDルールにより統合する，離散事象システムの分散型故障診断について考察する． ANDル... [more] |
MSS2011-74 pp.11-16 |
| MSS | 2012-03-08 14:45 |
東京 | JAIST東京サテライト | 仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について ○崔 舜星・平石邦彦（北陸先端大）・内平直志・鳥居健太郎・田中俊明（東芝）・平林裕治（清水建設） MSS2011-75 |
著者らは，看護・介護における作業者間の連携支援や知識共有，記録の省力化を実現し，業務に伴う様々なストレスを減らすことを目... [more] | MSS2011-75 pp.17-22 |
| MSS | 2012-03-08 15:15 |
東京 | JAIST東京サテライト | ベイズフィルタと決定木分類による併用メールフィルタの判定方式の改善と効果 ○山口博之・杉井 学・松野浩嗣（山口大） MSS2011-76 |
近年のスパムメールの増大は, 世界中の電子メール利用者を悩ませている. スパムメール対策として, 様々なメールフィルタが... [more] | MSS2011-76 pp.23-28 |
| MSS | 2012-03-08 15:40 |
東京 | JAIST東京サテライト | シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討 ○村上祐樹・葛 崎偉・松野浩嗣（山口大） MSS2011-77 |
滞留なしペトリネットとは，いずれのプレースにおいても流れてくるトークンと流れ出ていくトークンの量が等しいペトリネットであ... [more] | MSS2011-77 pp.29-34 |
| MSS | 2012-03-08 16:05 |
東京 | JAIST東京サテライト | C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 ○谷口博彬・山口真悟・洲崎武史（山口大） MSS2011-78 |
プログラムの動作解析にペトリネットの解析法が活用されている.ペトリネットの解析法を使うには,プログラムをペトリネットで記... [more] | MSS2011-78 pp.35-40 |
| MSS | 2012-03-08 16:30 |
東京 | JAIST東京サテライト | CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法とその応用 ○石田憲秀・山口真悟・上田滝平（山口大） MSS2011-79 |
エレベータシステムに対する市場ニーズの多様化に伴い，運用に関するモデルベースの研究が重要度を増している． 本稿ではツー... [more] |
MSS2011-79 pp.41-46 |
| MSS | 2012-03-08 17:00 |
東京 | JAIST東京サテライト | ［招待講演］GPGPUの産業への適用 ○加藤公一（日本ユニシス） MSS2011-80 |
GPGPU(General Purpose GPU)は一般的な問題をGPU（Graphics Processor Uni... [more] | MSS2011-80 pp.47-48 |
| MSS | 2012-03-09 09:30 |
東京 | JAIST東京サテライト | ［招待講演］サービスサイエンスからの数理技術への期待 ○神田陽治（北陸先端大） MSS2011-81 |
サービスの原理の解明に向け，数理モデルへの期待を述べる．期待は，これまでは人間が担って来た役割を，現実のサービスで果たす... [more] | MSS2011-81 pp.49-54 |
| MSS | 2012-03-09 10:20 |
東京 | JAIST東京サテライト | ［招待講演］システム論的生命ネットワーク解析の数理と応用 ○堀本勝久（産総研） MSS2011-82 |
[more] | MSS2011-82 pp.55-56 |
| MSS | 2012-03-09 11:10 |
東京 | JAIST東京サテライト | ［招待講演］システム数理基礎理論 ○辻 孝吉（愛知県立大） MSS2011-83 |
本論文では、「コンカレント工学研究専門委員会（ＣＳＴ）」から「システム数理と応用研究専門委員会（MSS)」への継続と発展... [more] | MSS2011-83 pp.57-59 |
| MSS | 2012-03-09 13:00 |
東京 | JAIST東京サテライト | コンシェルジュサーバを持つ電話システムの形式的検証 黒野恵人・前田 彩・○河辺義信（愛知工大） MSS2011-84 |
電話による詐欺から身を守るには，発信者が詐欺師でないことを確認することが重要である． 山本らは，この確認作業を(半)自... [more] |
MSS2011-84 pp.61-66 |
| MSS | 2012-03-09 13:25 |
東京 | JAIST東京サテライト | AGVによる多種多数の搬送が混在するFAシステムにおける稠密状況下の搬送と工程進捗のMFGモデル ○山村憲司・高橋宏治（東工大） MSS2011-85 |
[more] | MSS2011-85 pp.67-72 |
| MSS | 2012-03-09 13:50 |
東京 | JAIST東京サテライト | PBILと厳密解法の融合による繰返しスケジューリング問題の解法 ○粟國信治・官 森林・名嘉村盛和（琉球大） MSS2011-86 |
[more] | MSS2011-86 pp.73-78 |
| MSS | 2012-03-09 14:15 |
東京 | JAIST東京サテライト | 複数評価基準希望リストを用いた安定マッチング問題 ○金城秀樹（沖縄大）・名嘉村盛和（琉球大） MSS2011-87 |
安定マッチング問題は、与えられた同数のメンバーからなる男女の集合と各メンバーの異性グループのメンバーに対する希望リストか... [more] | MSS2011-87 pp.79-83 |
[研究会発表申込システムのトップページに戻る]