属性文法によるVHDL-AMSの意味解析手法
スポンサーリンク
概要
- 論文の詳細を見る
属性文法を用いてVHDLアナログ・ミクスト・シグナル拡張の形式的意味を与え言語標準化拡張における意味評価の手法を提案する。属性文法のモジュール性, 透過性を生かして洩れのない意味記述を行ない, かつアナログ拡張の明確化を図る。属性文法は意味を構文と独立して定式化するので既存のASMでの意味を再利用できる。また, 静的および動的な意味を与え, 記述の等価性を示す方法を与える。本報告ではプロセスの意味, アーキテクチャ文でのアナログとデジタルの意味, インプリシットな特性式の意味について議論し, サイマルテニアス文の意味, クオンティディの型, ソルバビリティ・チェックおよびスコープ・ルールの記述の可能性について示す。
- 一般社団法人情報処理学会の論文
- 1997-10-28
著者
関連論文
- STS学習制御法とお手玉ロボットへの応用
- μFR : マイクロフライングロボットについて
- 1期的切除再建と集学的治療を行った食道癌穿孔の1例
- OP-230-4 全国公募医学生に対する離島へき地での地域医療・外科診療実習(卒後研修-2,一般口演,第110回日本外科学会定期学術集会)
- OP-279-4 食道癌におけるVEGF-C発現とリンパ管新生(腫瘍基礎-13,一般口演,第110回日本外科学会定期学術集会)
- 手術ロボティックシステム開発プロジェクト
- SF-051-2 一次性下肢静脈瘤の弁不全機序に関与する脂質分子の同定(血管-2,サージカルフォーラム,第110回日本外科学会定期学術集会)
- 振動駆動型リニアアクチュエータの負荷特性解析
- 人体内通信における信号伝送モデルの提案および実験的検証
- 2C3-2 人体を伝送路の一部とする通信方式における周波数特性(2C3 センサシステム)
- P-2-15 食道アカラシアの外科治療(食道(良性),一般演題(ポスター),第64回日本消化器外科学会総会)
- P-1-5 食道癌におけるオートファジーマーカーLC-3発現の意義(食道 基礎,一般演題(ポスター),第64回日本消化器外科学会総会)
- O-2-86 食道癌患者の周術期栄養管理 : 術前管理と早期経腸栄養(企画関連口演35 栄養療法の進歩1,第64回日本消化器外科学会総会)
- 1A1-2 自動車運転シミュレータにおける車線ずれの評価(1A1 生体計測)
- 2423 ブルートゥースによる人体姿勢計測の研究(J23-3 メカニカルシステムとその知能化(3),J23 メカニカルシステムとその知能化,2005年度年次大会)
- 座長コメント
- 第 15 回エレクトロニクス実装学術講演大会印象記
- 小型精密旋盤用ミニチュア磨耗検出装置の開発研究
- 人体を伝送路とした情報通信デバイスの開発
- 快適性フィードバックによるアロマ香気噴出制御法の研究
- 生体内通信システムの開発
- ロボットマニピュレータの総合設計システムに関する研究
- 人間型ピッチングロボットに関する研究 -(第1報) ピッチングロボットの試作-
- 階段昇降移動ロボットTO-ROVER IIIの開発研究
- 北海道戸井町における永久歯むし歯予防SF作戦-第2報啓発活動前後における小学生児童の歯磨剤使用に関する行動の変化-
- 北海道戸井町における永久歯むし歯予防SF作戦-第1報SF作戦の概要-
- 5a-Q-9 表面変性エピタクシー : 表面偏析の最適条件
- 通信技術を用いた野生動物の位置探索システムの開発
- 自励回転型自動発電機の研究2 : インピーダンス制御による自励回転の発生(マイクロメカトロニクス,IIP2004 情報・知能・精密機器部門講演会)
- 2309 環境物質モバイルセンシングの研究(J23-2 メカニカルシステムとその知能化(2),J23 メカニカルシステムとその知能化,2005年度年次大会)
- 快適な濃度のアロマ香気を噴出するための生体情報フィードバックシステム
- ウェアラブル ヘルスケア システムに向けたホルムアルデヒドと脳血流のセンシング
- ウェアラブルセンサによる行動認識システムの開発(研究)
- 2C3-4 行動認識のためのウェアラブルセンサシステム(2C3 センサシステム)
- B-1-43 人体を伝送路として利用したウェアラブル機器のUWBを想定した高周波化に関する検討(B-1. アンテナ・伝播B(アンテナ一般), 通信1)
- 超音波による運動物体の3次元姿勢計測システムの開発とクレーンの振動制御への応用
- 超音波によるロボットの3次元位置・姿勢計測(第4報) : 動的位置計測システムの開発と実際のロボットの静的・動的位置計測
- 指の腹によるB-スプライン曲面物体の把握と操りの運動学およびそのシミュレーションシステムの開発
- 二本指ロボットハンドによる未知形状物体の操り
- 指の腹による物体把握と操りの運動学と力学に関する研究 第7報 摩擦特性の解明と力学的解析
- 指の腹による物体把握と操りの運動学と力学に関する研究 -(第6報)B-スプライン曲面で表される物体の把握と操り-
- 指の腹による物体把握と操りの運動学と力学に関する研究 -(第5報)把握の運動学のシミュレータ開発-
- 2302 分散型ブルートゥース端末を用いた屋内位置探査(J23-1 メカニカルシステムとその知能化(1),J23 メカニカルシステムとその知能化,2005年度年次大会)
- 1211 CoP計測用ワイヤレス靴型デバイスの開発(OS4 福祉工学とリハビリテーション(2))
- 転倒予防を目的とした高齢者の歩行中の足圧計測
- 2411 コントロールバルブ用グランドパッキンの側圧測定に関する研究(J22-3 マイクロ流体素子と弾性表面波応用,J22 マイクロメカトロニクス,2005年度年次大会)
- B-1-48 人体を伝送路として利用したウェアラブル機器の高周波化および小形化における受信電圧特性(B-1.アンテナ・伝播B(アンテナ一般))
- 人体を伝送路として利用したウェアラブル機器の高周波化および小形化に関する検討
- 自動車運転者の疲労センシングのための携帯型評価システムの構築手法に関する研究
- 筋活動についてのウェアラブル生体情報センシング・システムの開発
- ウェアラブルズによる自動車室内快適環境の評価,創成
- 高齢者の身体的特徴を考慮した視線追跡用Face-Mounted Displayの開発
- 1B1-02 無痛無汗症患者のための電子冷暖房服の開発(福祉工学・支援デバイス)
- アドホックネットワークを用いた位置情報システムの開発 : 障害物検出による伝搬損失補正と位置精度向上
- ウェアラブルセンサと情報技術を用いた生体情報システムの評価プラットフォーム
- 行動解析用足圧シューズの開発
- 眼球運動計測を用いた安全運転環境システム
- 2413 漏れ流体を用いる静水圧発電機の研究(J22-3 マイクロ流体素子と弾性表面波応用,J22 マイクロメカトロニクス,2005年度年次大会)
- 2312 自動車内における快適環境アクチュエータの研究(J23-2 メカニカルシステムとその知能化(2),J23 メカニカルシステムとその知能化,2005年度年次大会)
- 第一大臼歯のう蝕有病およびフィッシャーシーラントの処置状況
- インピーダンス制御型振動発電機の基本検討
- 自励回転型自動発電機の研究
- 無線を用いた屋内位置計測端末の開発 : 電界強度補正に関する考察
- ヘルスケア用ウェアラブルセンシングユニットの開発研究
- B-15-38 ユビキタスセンサネットワーク用小型・双方向無線センサモジュール(B-15.モバイルマルチメディア通信)
- 骨延長手術支援メカニズムの開発
- 1102 自励振動型マイクロ風力発電の研究(要旨講演,マイクロメカトロニクス)
- パラメータ励振を応用したフレキシブルアームの制振
- 自励回転型自動発電機の研究1 : 初速度付加による自励回転の発生(マイクロメカトロニクス,IIP2004 情報・知能・精密機器部門講演会)
- ガラス基板上を摺動する光ファイバの振動位置決めに関する研究
- 東京大学大学院新領域創成科学研究科環境学専攻環境情報学研究室(研究室訪問)
- 3226 共振周波数より高い帯域における静電マイクロアクチュエータの制御
- 電磁駆動マイクロ光スキャナの速度検出法:駆動コイルの時分割駆動方式
- 141 自律型画像監視システムのパワーマネージメント(マイクロエネルギー/精密機器マイクロメカトロニクス)
- 人体呼吸時の胸腹部運動センシングに関する研究
- ヘルスケアを目的とした小型振動ジャイロによる人体運動センシング
- 圧電フィルムを用いた触覚センサの開発対象物のエッジ部分や段差などの認識及び操り動作への応用
- 力覚センサと触覚センサを搭載した2本指ハンドによる物体の操り
- 「テレロボティクスからネットワークロボティクスへ」ミニ特集について
- 指先触覚情報に基づく拘束状態のアクティブセンシング
- RECSコンセプトに基づく屋内移動ロボットシステムの開発
- 直方体のハンドリングにおける制御レベルの基本動作解析
- 一連の接触を伴う基本動作の実現と接触状態遷移の実現
- 接触を伴う基本動作の実環境における実現 -第2報-3次元への拡張
- 接触を伴う基本動作の実環境における実現
- 属性文法によるVHDL-AMSの意味解析手法
- 属性文法によるVHDL-AMSの意味解析手法
- 人間の指による操り動作計測システムの開発
- 人間の指による操り動作の計測
- 人間型ピッチングロボットに関する研究 -第3報 ロボットの改良と投球速度の向上-
- 超音波灯台を用いた屋内移動ロボット用位置姿勢検出システム
- LED灯台を用いた移動ロボット用位置姿勢検出システム
- 物体表面の曲率を利用した多指ハンドの把握位置の決定
- 超音波灯台を用いた屋内移動ロボット用位置姿勢検出システム 第3報 デッドレコニングとの融合
- 人間型ピッチングロボットに関する研究 - (第2報) ピッチングロボットの投球速度の向上-
- 多孔体の細孔構造と吸着曲線 : 多孔質ガラスに関する研究(第2報)
- 非平衡状態における2液不混和性に及ぼす圧力効果
- ニューラルネットワークによるロボットの作業対象物の運動拘束認識
- 人間型ピッチングロボットに関する研究 -第4報 投球精度の向上-
- RECSコンセプトに基づいたホームロボットの開発・研究 -ロボット用マークによる食器の後片付け作業-